acos Pow Add Mul x3 Mul x0 Mul Add x3 sqrt tan Pow Add 1.60943791243410 x0 -2 atan x0 x0 x7 
Mul -1 Mul Mul Pow Add Mul x3 Mul x0 Mul Add x3 sqrt tan Pow Add 1.60943791243410 x0 -2 atan x0 x0 Add x7 -1 Mul x7 Add Mul x3 Add Mul Add x3 sqrt tan Pow Add 1.60943791243410 x0 -2 atan x0 Mul x0 Add Mul atan x0 Mul Pow Mul 2 sqrt tan Pow Add 1.60943791243410 x0 -2 -1 Mul Pow sec Pow Add 1.60943791243410 x0 -2 2 Mul Pow Add 1.60943791243410 x0 3 -2 Mul Add x3 sqrt tan Pow Add 1.60943791243410 x0 -2 Pow Add 1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Pow Add Mul x3 Mul x0 Mul Add x3 sqrt tan Pow Add 1.60943791243410 x0 -2 atan x0 x0 x7 Pow Add Mul x3 Mul x0 Mul Add x3 sqrt tan Pow Add 1.60943791243410 x0 -2 atan x0 x0 x7 -1 