Verifying trig identity :cos to the second power theta minus sin to the second power theta  equals 1 minus 2 sin to the second power theta