4.211 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying:
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.056 * * [simplify]: iteration 0: 19 enodes
0.059 * * [simplify]: iteration 1: 44 enodes
0.067 * * [simplify]: iteration 2: 163 enodes
0.139 * * [simplify]: iteration 3: 819 enodes
1.274 * * [simplify]: iteration 4: 4048 enodes
2.863 * * [simplify]: iteration complete: 5000 enodes
2.863 * * [simplify]: Extracting #0: cost 1 inf + 0
2.863 * * [simplify]: Extracting #1: cost 50 inf + 0
2.865 * * [simplify]: Extracting #2: cost 737 inf + 5
2.870 * * [simplify]: Extracting #3: cost 1121 inf + 152
2.884 * * [simplify]: Extracting #4: cost 909 inf + 2378
2.895 * * [simplify]: Extracting #5: cost 726 inf + 4241
2.907 * * [simplify]: Extracting #6: cost 366 inf + 11730
2.918 * * [simplify]: Extracting #7: cost 37 inf + 19052
2.930 * * [simplify]: Extracting #8: cost 0 inf + 19299
2.939 * * [simplify]: Extracting #9: cost 0 inf + 19223
2.945 * [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.951 * * [progress]: iteration 1 / 4
2.951 * * * [progress]: picking best candidate
2.961 * * * * [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.961 * * * [progress]: localizing error