Add Pow Mul Pow x0 acot coth x0 Mul sec x2 x0 1.36943840600457 x0 
Add Mul Pow Mul Pow x0 acot coth x0 Mul sec x2 x0 0.369438406004566 Mul 1.36943840600457 Add Mul Mul sec x2 x0 Mul Pow x0 Add acot coth x0 -1 Add acot coth x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Mul Pow x0 acot coth x0 sec x2 1 