integrate[x^2/4+2log2-3/4-log(x^2+1),[x,-sqrt3,sqrt3]]