compute lambda = X1 + Y1/X1 compute X3 = lambda^2 + lambda + a2 compute Y3 = lambda (X1 + X3) +X3 +Y1