Add Mul Add Pow acoth csch exp log x0 -3 3125 4 x4 
Mul 4 Mul Pow acoth csch exp log x0 4 Mul -3 Mul Mul Mul Mul -1 coth exp log x0 csch exp log x0 Mul exp log x0 Pow x0 -1 Pow Add 1 Mul -1 Mul csch exp log x0 csch exp log x0 -1 