Результат интегрирования проверяется дифференцированием. Нужно взять производную от полученной первообразной и убедиться, что она равна подынтегральной функции.