Started Trig identities section replacing law of cos