The following trig identities are useful