Mul Mul x7 Add sec Mul Pow x3 x0 x0 x0 coth Mul x6 Add x0 1 
Add Mul coth Mul x6 Add x0 1 Mul x7 Add Mul Mul tan Mul Pow x3 x0 x0 sec Mul Pow x3 x0 x0 Add Mul x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow x3 x0 1 Mul Mul x7 Add sec Mul Pow x3 x0 x0 x0 Mul Mul -1 Pow csch Mul x6 Add x0 1 2 x6 