coth Pow Pow Mul Add acoth x0 Add Pow log Add asec asech x1 x0 x0 1 -3 x0 acot E 
Mul Mul -1 Pow csch Pow Pow Mul Add acoth x0 Add Pow log Add asec asech x1 x0 x0 1 -3 x0 acot E 2 Mul Pow Pow Mul Add acoth x0 Add Pow log Add asec asech x1 x0 x0 1 -3 x0 Add acot E -1 Mul acot E Mul Pow Mul Add acoth x0 Add Pow log Add asec asech x1 x0 x0 1 -3 Add x0 -1 Add Mul x0 Mul -3 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow log Add asec asech x1 x0 Add x0 -1 Add Mul x0 Pow Add asec asech x1 x0 -1 Mul log Add asec asech x1 x0 log log Add asec asech x1 x0 Mul Mul Add acoth x0 Add Pow log Add asec asech x1 x0 x0 1 -3 log Mul Add acoth x0 Add Pow log Add asec asech x1 x0 x0 1 -3 