Prove that sin(2x) = 2sin(x)cos(x) - Epsilonify