How do you calculate the derivative of #d/dx∫sin^2tdt# from 0 to x?