>>875
x+(1/2)=｛(√3)/2｝tanθで変数変換して、θの積分に帰着させる。
大学の知識があるのなら、arctanを使う。