Add Mul x0 sec Mul Mul Pow x1 x5 x4 -4 Add Add x6 Pow exp cos csch x0 -2 x6 
Add sec Mul Mul Pow x1 x5 x4 -4 Mul Pow exp cos csch x0 3 Mul -2 Mul exp cos csch x0 Mul Mul -1 sin csch x0 Mul Mul -1 coth x0 csch x0 