How do you find the antiderivative of #ln(cosx)tanxdx#?