1553860156.539 * [progress]: [Phase 1 of 3] Setting up. 1553860156.539 * * * [progress]: [1/2] Preparing points 1553860156.724 * * * [progress]: [2/2] Setting up program. 1553860156.733 * [progress]: [Phase 2 of 3] Improving. 1553860156.733 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553860156.734 * [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))) 1553860156.734 * * [simplify]: iters left: 6 (31 enodes) 1553860156.802 * * [simplify]: iters left: 5 (155 enodes) 1553860156.907 * * [simplify]: iters left: 4 (384 enodes) 1553860157.068 * * [simplify]: Extracting #0: cost 1 inf + 0 1553860157.068 * * [simplify]: Extracting #1: cost 31 inf + 0 1553860157.068 * * [simplify]: Extracting #2: cost 50 inf + 248 1553860157.070 * * [simplify]: Extracting #3: cost 28 inf + 2263 1553860157.072 * * [simplify]: Extracting #4: cost 7 inf + 3930 1553860157.075 * * [simplify]: Extracting #5: cost 1 inf + 4419 1553860157.078 * * [simplify]: Extracting #6: cost 0 inf + 4502 1553860157.081 * [simplify]: Simplified to (fma 333.75 1314174534371215466459037696 (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336))) 1553860157.081 * [simplify]: Simplified (2) to (λ () (fma 333.75 1314174534371215466459037696 (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))) 1553860157.085 * * [progress]: iteration 1 / 4 1553860157.085 * * * [progress]: picking best candidate 1553860157.095 * * * * [pick]: Picked # 1553860157.095 * * * [progress]: localizing error 1553860157.187 * * * [progress]: generating rewritten candidates 1553860157.187 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1553860355.441 * * * * [progress]: [ 2 / 4 ] rewriting at (2)