acos Mul pi atan Pow Mul x2 x0 3 
Mul -1 Mul Mul pi Mul Mul Pow Mul x2 x0 2 Mul 3 x2 Pow Add 1 Mul Pow Mul x2 x0 3 Pow Mul x2 x0 3 -1 Pow sqrt Add 1 Mul -1 Mul Mul pi atan Pow Mul x2 x0 3 Mul pi atan Pow Mul x2 x0 3 -1 