acos Mul Pow Add Mul x0 Mul x6 x0 2 -3 pi 
Mul -1 Mul Mul pi Mul Pow Add Mul x0 Mul x6 x0 2 4 Mul -3 Add Mul x6 x0 Mul x0 x6 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add Mul x0 Mul x6 x0 2 -3 pi Mul Pow Add Mul x0 Mul x6 x0 2 -3 pi -1 