0.182 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.584 * * * [progress]: [2/2] Setting up program.
1.654 * [progress]: [Phase 2 of 3] Improving.
1.654 * [simplify]: Simplifying:
  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))
1.655 * * [simplify]: iteration 0: 63 enodes
1.674 * * [simplify]: iteration 1: 132 enodes
1.711 * * [simplify]: iteration 2: 350 enodes
1.877 * * [simplify]: iteration 3: 1745 enodes
2.476 * * [simplify]: iteration complete: 5001 enodes
2.476 * * [simplify]: Extracting #0: cost 1 inf + 0
2.477 * * [simplify]: Extracting #1: cost 71 inf + 0
2.480 * * [simplify]: Extracting #2: cost 765 inf + 0
2.490 * * [simplify]: Extracting #3: cost 1646 inf + 41
2.502 * * [simplify]: Extracting #4: cost 1702 inf + 1183
2.521 * * [simplify]: Extracting #5: cost 1113 inf + 7530
2.532 * * [simplify]: Extracting #6: cost 323 inf + 31541
2.538 * * [simplify]: Extracting #7: cost 20 inf + 45717
2.545 * * [simplify]: Extracting #8: cost 0 inf + 46893
2.551 * [simplify]: Simplified to:
  (+ (- (* (- (* t j) (* k y)) (- (* b y4) (* y5 i))) (* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))) (+ (+ (* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3))) (* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))) (- (* (- (* a b) (* c i)) (- (* x y) (* z t))) (* (- (* y0 b) (* i y1)) (- (* j x) (* z k))))))
2.582 * * [progress]: iteration 1 / 4
2.582 * * * [progress]: picking best candidate