Proving Trig Identities by Trying Stuff