What is int 2sec^2xtanxdx?