Add x0 cot sqrt Mul Mul csch Add x5 atan x0 acoth x1 sqrt x0 
Add 1 Mul Mul -1 Pow csc sqrt Mul Mul csch Add x5 atan x0 acoth x1 sqrt x0 2 Mul Pow Mul 2 sqrt Mul Mul csch Add x5 atan x0 acoth x1 sqrt x0 -1 Add Mul sqrt x0 Mul acoth x1 Mul Mul Mul -1 coth Add x5 atan x0 csch Add x5 atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul csch Add x5 atan x0 acoth x1 Pow Mul 2 sqrt x0 -1 