Mul Pow cos x0 x0 Pow Mul Pow Add x0 x0 x3 atan x0 x6 
Add Mul Pow Mul Pow Add x0 x0 x3 atan x0 x6 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 Mul Pow cos x0 x0 Mul Pow Mul Pow Add x0 x0 x3 atan x0 Add x6 -1 Mul x6 Add Mul atan x0 Mul Pow Add x0 x0 Add x3 -1 Mul x3 2 Mul Pow Add x0 x0 x3 Pow Add 1 Mul x0 x0 -1 