Add -3 Add x0 Mul Mul -3 cosh Add Mul Mul exp x0 atan x0 x0 4 asec cbrt x1 
Add 1 Mul asec cbrt x1 Mul -3 Mul sinh Add Mul Mul exp x0 atan x0 x0 4 Add Mul x0 Add Mul atan x0 exp x0 Mul exp x0 Pow Add 1 Mul x0 x0 -1 Mul exp x0 atan x0 