Add -2 Mul Pow x0 Pow x0 E Pow sqrt Mul x2 x0 atan coth x0 
Add Mul Pow sqrt Mul x2 x0 atan coth x0 Mul Pow x0 Add Pow x0 E -1 Add Pow x0 E Mul Mul x0 log x0 Mul Pow x0 Add E -1 E Mul Pow x0 Pow x0 E Mul Pow sqrt Mul x2 x0 Add atan coth x0 -1 Add Mul atan coth x0 Mul Pow Mul 2 sqrt Mul x2 x0 -1 x2 Mul Mul sqrt Mul x2 x0 log sqrt Mul x2 x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 