Double-Angle Formulas:
sin 2a = 2 sin a cos a
cos 2a = cos2 a - sin2 a = 1 - 2sin2 a = 2cos2 a - 1
tan 2a = (2tan a) / (1-tan2 a)