derivative of cosx * sinx