x'=(1+x)/(1-t^2), x(0)=1