Pow acosh Mul -3 acsc x2 coth Mul sqrt Pow pi x0 x0 
Mul Pow acosh Mul -3 acsc x2 Add coth Mul sqrt Pow pi x0 x0 -1 Mul Mul acosh Mul -3 acsc x2 log acosh Mul -3 acsc x2 Mul Mul -1 Pow csch Mul sqrt Pow pi x0 x0 2 Add Mul x0 Mul Pow Mul 2 sqrt Pow pi x0 -1 Mul Pow pi Add x0 -1 Mul pi log pi sqrt Pow pi x0 