atanh Add exp Add x0 Pow Mul csch Add x1 atan x0 cos x2 x0 acoth x1 
Mul Mul exp Add x0 Pow Mul csch Add x1 atan x0 cos x2 x0 Add 1 Mul Pow Mul csch Add x1 atan x0 cos x2 Add x0 -1 Add Mul x0 Mul cos x2 Mul Mul Mul -1 coth Add x1 atan x0 csch Add x1 atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul csch Add x1 atan x0 cos x2 log Mul csch Add x1 atan x0 cos x2 Pow Add 1 Mul -1 Mul Add exp Add x0 Pow Mul csch Add x1 atan x0 cos x2 x0 acoth x1 Add exp Add x0 Pow Mul csch Add x1 atan x0 cos x2 x0 acoth x1 -1 