Mul Pow Pow x4 x0 csc sec acos log x6 coth Add x0 coth Pow x0 x7 
Add Mul coth Add x0 coth Pow x0 x7 Mul Pow Pow x4 x0 Add csc sec acos log x6 -1 Mul csc sec acos log x6 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow Pow x4 x0 csc sec acos log x6 Mul Mul -1 Pow csch Add x0 coth Pow x0 x7 2 Add 1 Mul Mul -1 Pow csch Pow x0 x7 2 Mul Pow x0 Add x7 -1 x7 