Pow x0 Pow 3 Pow Mul Add 2 x0 atan atan x7 cosh x0 
Mul Pow x0 Add Pow 3 Pow Mul Add 2 x0 atan atan x7 cosh x0 -1 Add Pow 3 Pow Mul Add 2 x0 atan atan x7 cosh x0 Mul Mul x0 log x0 Mul Pow 3 Add Pow Mul Add 2 x0 atan atan x7 cosh x0 -1 Mul 4.09861228866811 Mul Pow Mul Add 2 x0 atan atan x7 Add cosh x0 -1 Add Mul cosh x0 atan atan x7 Mul Mul Mul Add 2 x0 atan atan x7 log Mul Add 2 x0 atan atan x7 sinh x0 