В результате преобразования получилось
int (1 - x^2) dx/((1 + x^2) * (1 + 3 * x^2))
Знаю, что надо решать методом разложения на простейшие дроби, но как дальше???