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