x'=v
0=1-v^2-x^2
solve v=1
init x=0
aux xp=v
done