4.305 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.063 * * * [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.068 * * [simplify]: iteration 0: 19 enodes
0.071 * * [simplify]: iteration 1: 44 enodes
0.079 * * [simplify]: iteration 2: 163 enodes
0.193 * * [simplify]: iteration 3: 819 enodes
1.308 * * [simplify]: iteration 4: 4048 enodes
3.093 * * [simplify]: iteration complete: 5000 enodes
3.093 * * [simplify]: Extracting #0: cost 1 inf + 0
3.093 * * [simplify]: Extracting #1: cost 50 inf + 0
3.095 * * [simplify]: Extracting #2: cost 737 inf + 5
3.100 * * [simplify]: Extracting #3: cost 1121 inf + 152
3.110 * * [simplify]: Extracting #4: cost 909 inf + 2378
3.119 * * [simplify]: Extracting #5: cost 726 inf + 4241
3.130 * * [simplify]: Extracting #6: cost 366 inf + 11730
3.140 * * [simplify]: Extracting #7: cost 37 inf + 19052
3.151 * * [simplify]: Extracting #8: cost 0 inf + 19299
3.162 * * [simplify]: Extracting #9: cost 0 inf + 19223
3.172 * [simplify]: Simplified to:
  (/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0))))))
3.181 * * [progress]: iteration 1 / 4
3.182 * * * [progress]: picking best candidate
3.198 * * * * [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)))))))>
3.198 * * * [progress]: localizing error