What's the integral of int (tanx)ln(cosx)dx ?