integral from 0 to sqrt3 of 9pi/(9+x^2)dx