Mul acot Pow Pow x0 atanh pi cosh x7 Pow 1.55740772465490 atan Pow -3.61370563888011 x7 
Mul Pow 1.55740772465490 atan Pow -3.61370563888011 x7 Mul -1 Mul Mul Pow Pow x0 atanh pi Add cosh x7 -1 Mul cosh x7 Mul Pow x0 Add atanh pi -1 atanh pi Pow Add 1 Mul Pow Pow x0 atanh pi cosh x7 Pow Pow x0 atanh pi cosh x7 -1 