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