sqrt Mul x1 Mul 4 Mul Mul acos Add -4 x0 1.81844645923207 Add Mul Mul x0 x3 x1 x0 
Mul Pow Mul 2 sqrt Mul x1 Mul 4 Mul Mul acos Add -4 x0 1.81844645923207 Add Mul Mul x0 x3 x1 x0 -1 Mul x1 Mul 4 Add Mul Add Mul Mul x0 x3 x1 x0 Mul 1.81844645923207 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 Mul Mul acos Add -4 x0 1.81844645923207 Add Mul x1 x3 1 