acos Mul atan x0 Pow asec coth x0 x1 
Mul -1 Mul Add Mul Pow asec coth x0 x1 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow asec coth x0 Add x1 -1 Mul x1 Mul Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 coth x0 coth x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul atan x0 Pow asec coth x0 x1 Mul atan x0 Pow asec coth x0 x1 -1 