Add Add x0 x0 Pow Mul sin cos x0 sec Mul csch Add x2 2 Mul acosh x7 -3 x2 
Add 2 Mul Pow Mul sin cos x0 sec Mul csch Add x2 2 Mul acosh x7 -3 Add x2 -1 Mul x2 Mul sec Mul csch Add x2 2 Mul acosh x7 -3 Mul cos cos x0 Mul -1 sin x0 