25(x y) simplified