x'=v
v'=big*(1-v^2-x^2)
init x=0,v=1
par big=1000
done