atan Mul x0 sec Mul coth x0 x0 
Mul Add sec Mul coth x0 x0 Mul x0 Mul Mul tan Mul coth x0 x0 sec Mul coth x0 x0 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Pow Add 1 Mul Mul x0 sec Mul coth x0 x0 Mul x0 sec Mul coth x0 x0 -1 