Pow log atan asec x7 Add cos x0 Pow Mul cos x0 Mul x5 3 3 
Mul Pow log atan asec x7 Add Add cos x0 Pow Mul cos x0 Mul x5 3 3 -1 Mul Mul log atan asec x7 log log atan asec x7 Add Mul -1 sin x0 Mul Pow Mul cos x0 Mul x5 3 2 Mul 3 Mul Mul x5 3 Mul -1 sin x0 