Add x0 coth Pow exp x1 atan Pow x0 x1 
Add 1 Mul Mul -1 Pow csch Pow exp x1 atan Pow x0 x1 2 Mul Pow exp x1 Add atan Pow x0 x1 -1 Mul Mul exp x1 log exp x1 Mul Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul Pow x0 x1 Pow x0 x1 -1 