Add Pow Pow Mul Mul x0 Pow 4 atanh x0 pi Add cosh E -1 Pow x2 x4 Mul -3 x0 
Add Mul Pow Pow Mul Mul x0 Pow 4 atanh x0 pi Add cosh E -1 Add Pow x2 x4 -1 Mul Pow x2 x4 Mul Pow Mul Mul x0 Pow 4 atanh x0 pi Add Add cosh E -1 -1 Mul Add cosh E -1 Mul pi Add Pow 4 atanh x0 Mul x0 Mul Pow 4 Add atanh x0 -1 Mul 5.38629436111989 Pow Add 1 Mul -1 Mul x0 x0 -1 -3 