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