195.347 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.081 * * * [progress]: [2/2] Setting up program.
0.100 * [progress]: [Phase 2 of 3] Improving.
0.100 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (v t) (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))>
0.101 * [simplify]: Simplifying:
  (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.101 * * [simplify]: iteration 0: 19 enodes
0.118 * * [simplify]: iteration 1: 44 enodes
0.172 * * [simplify]: iteration 2: 158 enodes
0.451 * * [simplify]: iteration 3: 751 enodes
2.216 * * [simplify]: iteration 4: 3410 enodes
5.672 * * [simplify]: iteration complete: 5000 enodes
5.672 * * [simplify]: Extracting #0: cost 1 inf + 0
5.672 * * [simplify]: Extracting #1: cost 53 inf + 0
5.675 * * [simplify]: Extracting #2: cost 709 inf + 44
5.684 * * [simplify]: Extracting #3: cost 1037 inf + 7208
5.699 * * [simplify]: Extracting #4: cost 788 inf + 52330
5.726 * * [simplify]: Extracting #5: cost 705 inf + 65485
5.765 * * [simplify]: Extracting #6: cost 696 inf + 66552
5.825 * * [simplify]: Extracting #7: cost 363 inf + 194116
6.007 * * [simplify]: Extracting #8: cost 67 inf + 312977
6.134 * * [simplify]: Extracting #9: cost 0 inf + 344227
6.321 * [simplify]: Simplified to:
  (/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0))))))
6.324 * * [progress]: iteration 1 / 4
6.324 * * * [progress]: picking best candidate
6.343 * * * * [pick]: Picked  #<alt (λ (v t) (/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))))>
6.344 * * * [progress]: localizing error