What is #int 2sec^2xtanxdx#?