Pow Add sec acos Add x0 -3 Pow Mul x0 x6 sin x0 x7 
Mul Pow Add sec acos Add x0 -3 Pow Mul x0 x6 sin x0 Add x7 -1 Mul x7 Add Mul Mul tan acos Add x0 -3 sec acos Add x0 -3 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 -3 Add x0 -3 -1 Mul Pow Mul x0 x6 Add sin x0 -1 Add Mul sin x0 x6 Mul Mul Mul x0 x6 log Mul x0 x6 cos x0 