4.455 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.060 * * * [progress]: [2/2] Setting up program.
0.068 * [progress]: [Phase 2 of 3] Improving.
0.068 * [simplify]: Simplifying:
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.069 * * [simplify]: iteration 0: 19 enodes
0.074 * * [simplify]: iteration 1: 44 enodes
0.087 * * [simplify]: iteration 2: 163 enodes
0.185 * * [simplify]: iteration 3: 819 enodes
1.253 * * [simplify]: iteration 4: 4048 enodes
2.878 * * [simplify]: iteration complete: 5000 enodes
2.878 * * [simplify]: Extracting #0: cost 1 inf + 0
2.878 * * [simplify]: Extracting #1: cost 50 inf + 0
2.881 * * [simplify]: Extracting #2: cost 737 inf + 5
2.890 * * [simplify]: Extracting #3: cost 1121 inf + 152
2.900 * * [simplify]: Extracting #4: cost 909 inf + 2378
2.915 * * [simplify]: Extracting #5: cost 726 inf + 4241
2.924 * * [simplify]: Extracting #6: cost 366 inf + 11730
2.934 * * [simplify]: Extracting #7: cost 37 inf + 19052
2.944 * * [simplify]: Extracting #8: cost 0 inf + 19299
2.949 * * [simplify]: Extracting #9: cost 0 inf + 19223
2.954 * [simplify]: Simplified to:
  (/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0))))))
2.960 * * [progress]: iteration 1 / 4
2.960 * * * [progress]: picking best candidate
2.967 * * * * [pick]: Picked  #<alt (λ (v t) (/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0)))))))>
2.967 * * * [progress]: localizing error