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