Mul atan x0 Mul asec sin x0 Add x6 -4 
Add Mul Mul asec sin x0 Add x6 -4 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Add x6 -4 Mul cos x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sin x0 sin x0 -1 sin x0 sin x0 -1 