sin Mul 2 Add Mul Mul -2 x0 Mul sec cos x0 cosh Add 3 x7 x0 
Mul cos Mul 2 Add Mul Mul -2 x0 Mul sec cos x0 cosh Add 3 x7 x0 Mul 2 Add Add Mul Mul sec cos x0 cosh Add 3 x7 -2 Mul Mul -2 x0 Mul cosh Add 3 x7 Mul Mul tan cos x0 sec cos x0 Mul -1 sin x0 1 