Mul tan Mul Add acsch coth x0 Pow pi x0 acsc x0 acoth acsc x3 
Mul acoth acsc x3 Mul Pow sec Mul Add acsch coth x0 Pow pi x0 acsc x0 2 Add Mul acsc x0 Add Mul Mul -1 Mul -1 Pow csch x0 2 Pow Mul Mul coth x0 coth x0 sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 -1 Mul Pow pi Add x0 -1 Mul pi log pi Mul Add acsch coth x0 Pow pi x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 