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