1553850454.547 * [progress]: [Phase 1 of 3] Setting up. 1553850454.547 * * * [progress]: [1/2] Preparing points 1553850454.734 * * * [progress]: [2/2] Setting up program. 1553850454.739 * [progress]: [Phase 2 of 3] Improving. 1553850454.739 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553850454.739 * [simplify]: Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))) 1553850454.739 * * [simplify]: iters left: 6 (31 enodes) 1553850454.769 * * [simplify]: iters left: 5 (153 enodes) 1553850454.882 * * [simplify]: iters left: 4 (339 enodes) 1553850454.991 * * [simplify]: Extracting #0: cost 1 inf + 0 1553850454.991 * * [simplify]: Extracting #1: cost 35 inf + 0 1553850454.991 * * [simplify]: Extracting #2: cost 75 inf + 4 1553850454.992 * * [simplify]: Extracting #3: cost 67 inf + 263 1553850454.994 * * [simplify]: Extracting #4: cost 26 inf + 3994 1553850454.998 * * [simplify]: Extracting #5: cost 3 inf + 6682 1553850455.002 * * [simplify]: Extracting #6: cost 0 inf + 7136 1553850455.006 * [simplify]: Simplified to (+ (+ -524049462893751750438462482680487001249263/66192 (* 1439474789212538429291115400277262336 5.5)) (* 333.75 1314174534371215466459037696)) 1553850455.006 * [simplify]: Simplified (2) to (λ () (+ (+ -524049462893751750438462482680487001249263/66192 (* 1439474789212538429291115400277262336 5.5)) (* 333.75 1314174534371215466459037696))) 1553850455.010 * * [progress]: iteration 1 / 4 1553850455.010 * * * [progress]: picking best candidate 1553850455.016 * * * * [pick]: Picked # 1553850455.016 * * * [progress]: localizing error 1553850455.072 * * * [progress]: generating rewritten candidates 1553850455.072 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1553850624.339 * * * * [progress]: [ 2 / 4 ] rewriting at (2)