exp csch acoth tan Pow x0 acoth x1 
Mul exp csch acoth tan Pow x0 acoth x1 Mul Mul Mul -1 coth acoth tan Pow x0 acoth x1 csch acoth tan Pow x0 acoth x1 Mul Mul Pow sec Pow x0 acoth x1 2 Mul Pow x0 Add acoth x1 -1 acoth x1 Pow Add 1 Mul -1 Mul tan Pow x0 acoth x1 tan Pow x0 acoth x1 -1 