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