exp Mul pi Pow pi Pow 1.52098866714977 acot cosh x0 
Mul exp Mul pi Pow pi Pow 1.52098866714977 acot cosh x0 Mul pi Mul Pow pi Add Pow 1.52098866714977 acot cosh x0 -1 Mul Mul pi log pi Mul Pow 1.52098866714977 Add acot cosh x0 -1 Mul 1.94034922947857 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 