Pow x0 cosh Pow Add Mul x0 4 x0 atan x7 
Mul Pow x0 Add cosh Pow Add Mul x0 4 x0 atan x7 -1 Add cosh Pow Add Mul x0 4 x0 atan x7 Mul Mul x0 log x0 Mul sinh Pow Add Mul x0 4 x0 atan x7 Mul Pow Add Mul x0 4 x0 Add atan x7 -1 Mul atan x7 5 