How do you find the antiderivative of #cos(x) Ln(sin(x)) #?