SOLVED: Verify the identity. Verify the identity 2 tan(x) = sin(2x) 1 ...