Mul Pow Pow cosh x7 x0 -1 csc sin x0 
Add Mul csc sin x0 Mul Pow Pow cosh x7 x0 2 Mul -1 Mul Pow cosh x7 Add x0 -1 Mul cosh x7 log cosh x7 Mul Pow Pow cosh x7 x0 -1 Mul Mul Mul -1 cot sin x0 csc sin x0 cos x0 