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