verify
cos^4x-sin^4x=cos2x
cos^4x-sin^4x=cos2x