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