Pow x0 cosh Mul Pow 7 atan x0 cosh acosh Mul Mul x2 x1 -3 
Mul Pow x0 Add cosh Mul Pow 7 atan x0 cosh acosh Mul Mul x2 x1 -3 -1 Add cosh Mul Pow 7 atan x0 cosh acosh Mul Mul x2 x1 -3 Mul Mul x0 log x0 Mul sinh Mul Pow 7 atan x0 cosh acosh Mul Mul x2 x1 -3 Mul cosh acosh Mul Mul x2 x1 -3 Mul Pow 7 Add atan x0 -1 Mul 8.94591014905531 Pow Add 1 Mul x0 x0 -1 