when integrating 1/(cos(x)+1), the output from nerdamer is log(1+cos(x)), hasIntegral( ) return false.
The correct result should be tan(x/2) (i check the result using other integral calculator and also test with upper lower bound)
This error often occur when the expression involve trigo and fraction