Y mul div c c mul x1 mul pow x3 c mul pow add x3 x0 div c c add mul c mul x3 add mul c x3 add mul c x1 mul x3 sqrt c add mul c mul add x3 x0 add mul c x3 add mul c x1 mul x3 sqrt c mul c mul x1 add x3 x0