Mul Mul sin x0 Pow Add -1 coth x7 sqrt cosh x0 4 
Mul 4 Add Mul Pow Add -1 coth x7 sqrt cosh x0 cos x0 Mul sin x0 Mul Pow Add -1 coth x7 Add sqrt cosh x0 -1 Mul Mul Add -1 coth x7 log Add -1 coth x7 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 