Mul Mul sin x0 x0 Mul sec sqrt pi atan Add Mul x7 x0 x5 
Add Mul Mul sec sqrt pi atan Add Mul x7 x0 x5 Add Mul x0 cos x0 sin x0 Mul Mul sin x0 x0 Mul sec sqrt pi Mul x7 Pow Add 1 Mul Add Mul x7 x0 x5 Add Mul x7 x0 x5 -1 