Fixed trig identities a bit and started double angles