How do you verify #(cosx - sinx) ^ 2 + 2 sinx cosx = 1#?