Mul Mul coth Mul 3 x0 x1 Add Pow E x0 Add Add exp x0 tan Pow x0 x0 x0 
Add Mul Add Pow E x0 Add Add exp x0 tan Pow x0 x0 x0 Mul x1 Mul Mul -1 Pow csch Mul 3 x0 2 3 Mul Mul coth Mul 3 x0 x1 Add Mul Pow E Add x0 -1 Mul E log E Add Add exp x0 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 