Pow Pow x2 Mul 4 x0 acos Mul x0 x2 
Mul Pow Pow x2 Mul 4 x0 Add acos Mul x0 x2 -1 Add Mul acos Mul x0 x2 Mul Pow x2 Add Mul 4 x0 -1 Mul Mul x2 log x2 4 Mul Mul Pow x2 Mul 4 x0 log Pow x2 Mul 4 x0 Mul -1 Mul x2 Pow sqrt Add 1 Mul -1 Mul Mul x0 x2 Mul x0 x2 -1 