Deriving Double Angle Formula