Mul x0 acot sqrt Mul Mul x0 Add atan x1 Add pi -0.481225129800776 Mul x5 x5 
Add acot sqrt Mul Mul x0 Add atan x1 Add pi -0.481225129800776 Mul x5 x5 Mul x0 Mul -1 Mul Mul Pow Mul 2 sqrt Mul Mul x0 Add atan x1 Add pi -0.481225129800776 Mul x5 x5 -1 Mul Mul x5 x5 Add atan x1 Add pi -0.481225129800776 Pow Add 1 Mul sqrt Mul Mul x0 Add atan x1 Add pi -0.481225129800776 Mul x5 x5 sqrt Mul Mul x0 Add atan x1 Add pi -0.481225129800776 Mul x5 x5 -1 