csc sec cosh Mul Pow coth sech x7 x0 x0 
Mul Mul Mul -1 cot sec cosh Mul Pow coth sech x7 x0 x0 csc sec cosh Mul Pow coth sech x7 x0 x0 Mul Mul tan cosh Mul Pow coth sech x7 x0 x0 sec cosh Mul Pow coth sech x7 x0 x0 Mul sinh Mul Pow coth sech x7 x0 x0 Add Mul x0 Mul Pow coth sech x7 Add x0 -1 Mul coth sech x7 log coth sech x7 Pow coth sech x7 x0 