simplify 0.5x + 0.5 *x * (x * y - 1) / (y-1) + 0.5 * (1-x) * (x * y) /(y-1) = x