sen x - cos x = sen 2x - cos 2x - 1