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