C'est marrant, tes deux messages donnent un résultat différent.
Sauf qu'attention, tu commets une erreur.
La primitive de 1/2 * sin(x) n'est pas -1/2 * cos(2x), mais -1/4 * cos(2x). 
Bien entendu, on oublie pas la constante.
Autre méthode, tu sais que la primitive de u.u' c'est 1/2 * u² 
Et pour cos(x).sin(x), tu peux voir que si tu poses:
u = sin(x)
Alors u' = cos(x)
Du coup la primitive de cos(x).sin(x) c'est 1/2 * (sin²(x))
Plus la constante bien sûr.
Voilà. 