Mul atan Pow Pow x0 Pow -3 E acot Mul 3 cosh Mul Pow x0 x3 pi exp acosh x0 
Add Mul exp acosh x0 Mul Mul Pow Pow x0 Pow -3 E Add acot Mul 3 cosh Mul Pow x0 x3 pi -1 Add Mul acot Mul 3 cosh Mul Pow x0 x3 pi Mul Pow x0 Add Pow -3 E -1 Pow -3 E Mul Mul Pow x0 Pow -3 E log Pow x0 Pow -3 E Mul -1 Mul Mul 3 Mul sinh Mul Pow x0 x3 pi Mul pi Mul Pow x0 Add x3 -1 x3 Pow Add 1 Mul Mul 3 cosh Mul Pow x0 x3 pi Mul 3 cosh Mul Pow x0 x3 pi -1 Pow Add 1 Mul Pow Pow x0 Pow -3 E acot Mul 3 cosh Mul Pow x0 x3 pi Pow Pow x0 Pow -3 E acot Mul 3 cosh Mul Pow x0 x3 pi -1 Mul atan Pow Pow x0 Pow -3 E acot Mul 3 cosh Mul Pow x0 x3 pi Mul exp acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 