Add sqrt Mul acos Mul x0 -1 Add Mul Add Mul x0 x5 x0 Add -4 x0 Pow x0 4 x7 
Mul Pow Mul 2 sqrt Mul acos Mul x0 -1 Add Mul Add Mul x0 x5 x0 Add -4 x0 Pow x0 4 -1 Add Mul Add Mul Add Mul x0 x5 x0 Add -4 x0 Pow x0 4 Mul -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 -1 Mul x0 -1 -1 Mul acos Mul x0 -1 Add Add Mul Add -4 x0 Add x5 1 Add Mul x0 x5 x0 Mul Pow x0 3 4 