0.487 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.083 * * * [progress]: [2/2] Setting up program.
0.088 * [progress]: [Phase 2 of 3] Improving.
0.090 * [simplify]: Simplifying:
  (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))
0.091 * * [simplify]: iteration 0: 8 enodes
0.095 * * [simplify]: iteration 1: 25 enodes
0.100 * * [simplify]: iteration 2: 67 enodes
0.111 * * [simplify]: iteration 3: 144 enodes
0.161 * * [simplify]: iteration 4: 271 enodes
0.297 * * [simplify]: iteration 5: 411 enodes
0.403 * * [simplify]: iteration 6: 492 enodes
0.465 * * [simplify]: iteration 7: 535 enodes
0.520 * * [simplify]: iteration 8: 579 enodes
0.584 * * [simplify]: iteration 9: 670 enodes
0.696 * * [simplify]: iteration 10: 1417 enodes
1.234 * * [simplify]: iteration complete: 5000 enodes
1.235 * * [simplify]: Extracting #0: cost 1 inf + 0
1.236 * * [simplify]: Extracting #1: cost 155 inf + 0
1.240 * * [simplify]: Extracting #2: cost 1066 inf + 20
1.249 * * [simplify]: Extracting #3: cost 1519 inf + 1033
1.271 * * [simplify]: Extracting #4: cost 800 inf + 7265
1.284 * * [simplify]: Extracting #5: cost 6 inf + 11410
1.295 * * [simplify]: Extracting #6: cost 0 inf + 11478
1.301 * [simplify]: Simplified to:
  (* (/ t1 (* (+ u t1) (+ t1 u))) (- v))
1.308 * * [progress]: iteration 1 / 4
1.308 * * * [progress]: picking best candidate