acos Mul Add sqrt E x0 Add Add pi Mul x7 x0 x0 
Mul -1 Mul Add Add Add pi Mul x7 x0 x0 Mul Add sqrt E x0 Add x7 1 Pow sqrt Add 1 Mul -1 Mul Mul Add sqrt E x0 Add Add pi Mul x7 x0 x0 Mul Add sqrt E x0 Add Add pi Mul x7 x0 x0 -1 