What's the integral of int (tan(x))/x dx tan(x)xdx?