sec Add Mul Mul E Pow x3 coth x0 -2 -4 
Mul Mul tan Add Mul Mul E Pow x3 coth x0 -2 -4 sec Add Mul Mul E Pow x3 coth x0 -2 -4 Mul -2 Mul E Mul Pow x3 Add coth x0 -1 Mul Mul x3 log x3 Mul -1 Pow csch x0 2 