Derived from Compound Angle Identity Literally just make x = y.