what is the integral identities of sin2xdx