Replacing yy by -y-y gives more identities. Putting y=xy=x in the second, third and last gives the double-angle formulæ
Circles.
When x=costx=\cos t and y=sinty=\sin t, the point (x,y)(x,y) lies on the unit circle in the (x,y)(x,y) plane.