37.638 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.242 * * * [progress]: [2/2] Setting up program. 0.252 * [progress]: [Phase 2 of 3] Improving. 0.252 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.253 * [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))) 0.253 * * [simplify]: iteration 0: 31 enodes 0.276 * * [simplify]: iteration 1: 93 enodes 0.343 * * [simplify]: iteration 2: 254 enodes 0.405 * * [simplify]: iteration 3: 429 enodes 0.551 * * [simplify]: iteration 4: 898 enodes 1.098 * * [simplify]: iteration 5: 2141 enodes 3.743 * * [simplify]: iteration complete: 5000 enodes 3.743 * * [simplify]: Extracting #0: cost 1 inf + 0 3.745 * * [simplify]: Extracting #1: cost 420 inf + 0 3.753 * * [simplify]: Extracting #2: cost 724 inf + 192 3.761 * * [simplify]: Extracting #3: cost 607 inf + 4739 3.776 * * [simplify]: Extracting #4: cost 486 inf + 18513 3.812 * * [simplify]: Extracting #5: cost 97 inf + 81263 3.852 * * [simplify]: Extracting #6: cost 0 inf + 100548 3.909 * * [simplify]: Extracting #7: cost 0 inf + 100507 3.966 * [simplify]: Simplified to: (+ (+ (* 1314174534371215466459037696 333.75) -524049462893751750438462482680487001249263/66192) (* 1439474789212538429291115400277262336 5.5)) 3.970 * * [progress]: iteration 1 / 4 3.971 * * * [progress]: picking best candidate 3.981 * * * * [pick]: Picked # 3.981 * * * [progress]: localizing error 4.058 * * * [progress]: generating rewritten candidates 4.058 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 378.887 * * * * [progress]: [ 2 / 4 ] rewriting at (2)