How do you find 1tan2xdx?