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