What is int 23/sqrt(13+3x^2) dx?