http://integrals.wolfram.com интегрирует Sin[x] / (1 + Cos[x]) в -2 Log[Cos[x/2]], что при дифференцировании дает Sin[x/2] / Cos[x/2].
Решая вручную, вышло - log(cosx + 1), с чем согласилась Maxima.
У кого есть Mathematica, кто может проверить, действительно ли она так ошибается?