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