Mul Mul asech Add x0 Add x3 acos x0 0.283105890333760 sqrt Mul Pow sqrt x0 atan x2 x0 
Add Mul sqrt Mul Pow sqrt x0 atan x2 x0 Mul 0.283105890333760 Mul Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Add x0 Add x3 acos x0 Add x0 Add x3 acos x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x3 acos x0 Add x0 Add x3 acos x0 -1 -1 Mul Mul asech Add x0 Add x3 acos x0 0.283105890333760 Mul Pow Mul 2 sqrt Mul Pow sqrt x0 atan x2 x0 -1 Add Mul x0 Mul Pow sqrt x0 Add atan x2 -1 Mul atan x2 Pow Mul 2 sqrt x0 -1 Pow sqrt x0 atan x2 