Add Mul 5 sqrt sec sec cos cosh Add cos x0 x7 x0 
Add Mul 5 Mul Pow Mul 2 sqrt sec sec cos cosh Add cos x0 x7 -1 Mul Mul tan sec cos cosh Add cos x0 x7 sec sec cos cosh Add cos x0 x7 Mul Mul tan cos cosh Add cos x0 x7 sec cos cosh Add cos x0 x7 Mul Mul -1 sin cosh Add cos x0 x7 Mul sinh Add cos x0 x7 Mul -1 sin x0 1 