How do you use the product rule to differentiate y=cos(x)*sin(x) ?