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