Pow acosh asech pi Add x2 Mul Pow Mul x0 x0 -4 sin x0 
Mul Pow acosh asech pi Add Add x2 Mul Pow Mul x0 x0 -4 sin x0 -1 Mul Mul acosh asech pi log acosh asech pi Add Mul sin x0 Mul Pow Mul x0 x0 5 Mul -4 Add x0 x0 Mul Pow Mul x0 x0 -4 cos x0 