asymptote (x-2*sqrt(x^2+1))