Pow Pow Pow asinh cosh x0 atan exp Add x2 x0 E -3 
Mul Pow Pow Pow asinh cosh x0 atan exp Add x2 x0 E 4 Mul -3 Mul Pow Pow asinh cosh x0 atan exp Add x2 x0 Add E -1 Mul E Mul Pow asinh cosh x0 Add atan exp Add x2 x0 -1 Add Mul atan exp Add x2 x0 Mul sinh x0 Pow sqrt Add 1 Mul cosh x0 cosh x0 -1 Mul Mul asinh cosh x0 log asinh cosh x0 Mul exp Add x2 x0 Pow Add 1 Mul exp Add x2 x0 exp Add x2 x0 -1 