coth Add Mul 4 Pow Pow coth E x0 x1 Pow sqrt x0 2 
Mul Mul -1 Pow csch Add Mul 4 Pow Pow coth E x0 x1 Pow sqrt x0 2 2 Add Mul 4 Mul Pow Pow coth E x0 Add x1 -1 Mul x1 Mul Pow coth E Add x0 -1 Mul coth E log coth E Mul sqrt x0 Mul 2 Pow Mul 2 sqrt x0 -1 