Pow Mul cosh E Add -4 Add pi x0 Mul cosh Mul x0 x7 atan x1 
Mul Pow Mul cosh E Add -4 Add pi x0 Add Mul cosh Mul x0 x7 atan x1 -1 Add Mul Mul cosh Mul x0 x7 atan x1 cosh E Mul Mul Mul cosh E Add -4 Add pi x0 log Mul cosh E Add -4 Add pi x0 Mul atan x1 Mul sinh Mul x0 x7 x7 