SolveARationalFunctionWithComplexCoefficients​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​System.​Boolean)

A rational function with complex numbers among its coefficients, 1/((1 + i x)^2 (1 + x^2)),
which is what the tangent substitution makes of 1/(a + i a tan(x))^2. Times the
conjugate of its denominator over itself, N/D = N D'/(D D') with D' the
polynomial whose coefficients are those of D conjugated, the denominator has real
coefficients and the numerator is P + i S with P and S real: the
integral is that of P/(D D') and i times that of S/(D D'), which the
rules for real coefficients answer. An identity of polynomials, so exact wherever the
quotient is defined; the factors free of x are taken out first, and may hold
symbols.
https://github.com/asc-community/AngouriMath/issues/718