asech Pow coth x0 acot x1 
Mul Mul Pow coth x0 Add acot x1 -1 Mul acot x1 Mul -1 Pow csch x0 2 Pow Mul Mul Pow coth x0 acot x1 Pow coth x0 acot x1 sqrt Add 1 Mul -1 Pow Mul Pow coth x0 acot x1 Pow coth x0 acot x1 -1 -1 