Mul asinh cosh x7 Mul Pow atanh cosh x0 Mul 4 acos log coth E Add cosh pi x2 
Mul asinh cosh x7 Mul Add cosh pi x2 Mul Pow atanh cosh x0 Add Mul 4 acos log coth E -1 Mul Mul 4 acos log coth E Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 