dx(ln((sqrt(3)+x)/sqrt(3))