integration result incorrect

[junaun]

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