Add Add Mul Pow coth x0 sech csch x0 x3 coth Mul x3 x3 1 
Mul x3 Mul Pow coth x0 Add sech csch x0 -1 Add Mul sech csch x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Mul tanh csch x0 Mul -1 sech csch x0 Mul Mul -1 coth x0 csch x0 