atan Pow Pow x2 Mul x0 4 Mul acos x1 x0 
Mul Mul Pow Pow x2 Mul x0 4 Add Mul acos x1 x0 -1 Add Mul Mul acos x1 x0 Mul Pow x2 Add Mul x0 4 -1 Mul Mul x2 log x2 4 Mul Mul Pow x2 Mul x0 4 log Pow x2 Mul x0 4 acos x1 Pow Add 1 Mul Pow Pow x2 Mul x0 4 Mul acos x1 x0 Pow Pow x2 Mul x0 4 Mul acos x1 x0 -1 