What's the integral of #int sinx * tanxdx#?