Add Add x0 x0 Add -3 Mul pi exp Pow atan x0 Mul Mul -2 cosh E x0 
Add 2 Mul pi Mul exp Pow atan x0 Mul Mul -2 cosh E x0 Mul Pow atan x0 Add Mul Mul -2 cosh E x0 -1 Add Mul Mul Mul -2 cosh E x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul -2 cosh E 