What is the integral of 2sin(x)cos(x)?