How do you rationalize the numerator for cosxsinx?