0.211 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.674 * * * [progress]: [2/2] Setting up program.
1.693 * [progress]: [Phase 2 of 3] Improving.
1.693 * [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.694 * * [simplify]: iteration 0: 63 enodes
1.703 * * [simplify]: iteration 1: 145 enodes
1.760 * * [simplify]: iteration 2: 391 enodes
1.960 * * [simplify]: iteration 3: 1923 enodes
2.810 * * [simplify]: iteration complete: 5001 enodes
2.810 * * [simplify]: Extracting #0: cost 1 inf + 0
2.810 * * [simplify]: Extracting #1: cost 121 inf + 0
2.813 * * [simplify]: Extracting #2: cost 540 inf + 13
2.818 * * [simplify]: Extracting #3: cost 872 inf + 557
2.824 * * [simplify]: Extracting #4: cost 520 inf + 5398
2.833 * * [simplify]: Extracting #5: cost 89 inf + 14911
2.852 * * [simplify]: Extracting #6: cost 3 inf + 19088
2.864 * * [simplify]: Extracting #7: cost 0 inf + 19209
2.874 * [simplify]: Simplified to:
  (fma (fma y0 (- y5) (* y4 y1)) (fma y3 (- j) (* y2 k)) (fma (fma j t (* (- k) y)) (- (* b y4) (* y5 i)) (- (fma (fma c y0 (* y1 (- a))) (fma y2 x (* z (- y3))) (* (- (* a b) (* c i)) (- (* x y) (* z t)))) (fma (fma y0 b (- (* i y1))) (fma z (- k) (* j x)) (* (fma y (- y3) (* y2 t)) (fma (- y5) a (* c y4)))))))
2.915 * * [progress]: iteration 1 / 4
2.915 * * * [progress]: picking best candidate