1552121002.787 * [progress]: [Phase 1 of 3] Setting up. 1552121002.787 * * * [progress]: [1/2] Preparing points 1552121002.869 * * * [progress]: [2/2] Setting up program. 1552121002.872 * [progress]: [Phase 2 of 3] Improving. 1552121002.873 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552121002.873 * [simplify]: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 1552121002.873 * * [simplify]: iters left: 6 (9 enodes) 1552121002.878 * * [simplify]: iters left: 5 (42 enodes) 1552121002.893 * * [simplify]: iters left: 4 (72 enodes) 1552121002.933 * * [simplify]: iters left: 3 (86 enodes) 1552121002.955 * * [simplify]: iters left: 2 (90 enodes) 1552121002.973 * * [simplify]: iters left: 1 (93 enodes) 1552121002.985 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121002.985 * * [simplify]: Extracting #1: cost 12 inf + 0 1552121002.985 * * [simplify]: Extracting #2: cost 20 inf + 2 1552121002.985 * * [simplify]: Extracting #3: cost 14 inf + 248 1552121002.985 * * [simplify]: Extracting #4: cost 3 inf + 1659 1552121002.986 * * [simplify]: Extracting #5: cost 0 inf + 2102 1552121002.987 * [simplify]: Simplified to (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 1552121002.987 * [simplify]: Simplified (2) to (λ (d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) 1552121002.990 * * [progress]: iteration 1 / 4 1552121002.990 * * * [progress]: picking best candidate 1552121002.993 * * * * [pick]: Picked # 1552121002.993 * * * [progress]: localizing error 1552121003.331 * * * [progress]: generating rewritten candidates 1552121003.331 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 1552121003.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 1552121003.343 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 1552121003.347 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1552121003.512 * * * [progress]: generating series expansions 1552121003.512 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 1552121003.512 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 1552121003.512 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 1552121003.512 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1552121003.512 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.512 * [backup-simplify]: Simplify 0 into 0 1552121003.512 * [backup-simplify]: Simplify 1 into 1 1552121003.512 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1552121003.512 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.512 * [backup-simplify]: Simplify 0 into 0 1552121003.512 * [backup-simplify]: Simplify 1 into 1 1552121003.513 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.513 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.513 * [backup-simplify]: Simplify 1 into 1 1552121003.514 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.515 * [backup-simplify]: Simplify 0 into 0 1552121003.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.517 * [backup-simplify]: Simplify 0 into 0 1552121003.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.519 * [backup-simplify]: Simplify 0 into 0 1552121003.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.521 * [backup-simplify]: Simplify 0 into 0 1552121003.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.524 * [backup-simplify]: Simplify 0 into 0 1552121003.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.527 * [backup-simplify]: Simplify 0 into 0 1552121003.527 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1552121003.527 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 1552121003.527 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1552121003.527 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1552121003.527 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1552121003.527 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.527 * [backup-simplify]: Simplify 0 into 0 1552121003.527 * [backup-simplify]: Simplify 1 into 1 1552121003.528 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.528 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.529 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.529 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1552121003.529 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1552121003.529 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.529 * [backup-simplify]: Simplify 0 into 0 1552121003.529 * [backup-simplify]: Simplify 1 into 1 1552121003.529 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.529 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.530 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.530 * [backup-simplify]: Simplify 1 into 1 1552121003.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121003.532 * [backup-simplify]: Simplify 0 into 0 1552121003.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.534 * [backup-simplify]: Simplify 0 into 0 1552121003.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.536 * [backup-simplify]: Simplify 0 into 0 1552121003.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.538 * [backup-simplify]: Simplify 0 into 0 1552121003.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.540 * [backup-simplify]: Simplify 0 into 0 1552121003.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.542 * [backup-simplify]: Simplify 0 into 0 1552121003.542 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1552121003.542 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 1552121003.542 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1552121003.542 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1552121003.542 * [taylor]: Taking taylor expansion of -1 in d1 1552121003.542 * [backup-simplify]: Simplify -1 into -1 1552121003.542 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1552121003.542 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.542 * [backup-simplify]: Simplify 0 into 0 1552121003.542 * [backup-simplify]: Simplify 1 into 1 1552121003.543 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.543 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.543 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121003.543 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1552121003.543 * [taylor]: Taking taylor expansion of -1 in d1 1552121003.543 * [backup-simplify]: Simplify -1 into -1 1552121003.543 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1552121003.543 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.543 * [backup-simplify]: Simplify 0 into 0 1552121003.543 * [backup-simplify]: Simplify 1 into 1 1552121003.543 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.544 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.544 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121003.544 * [backup-simplify]: Simplify -1 into -1 1552121003.544 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1552121003.545 * [backup-simplify]: Simplify 0 into 0 1552121003.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.547 * [backup-simplify]: Simplify 0 into 0 1552121003.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.549 * [backup-simplify]: Simplify 0 into 0 1552121003.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.551 * [backup-simplify]: Simplify 0 into 0 1552121003.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.553 * [backup-simplify]: Simplify 0 into 0 1552121003.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.556 * [backup-simplify]: Simplify 0 into 0 1552121003.556 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1552121003.556 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 1552121003.556 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 1552121003.556 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 1552121003.556 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1552121003.556 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.556 * [backup-simplify]: Simplify 0 into 0 1552121003.556 * [backup-simplify]: Simplify 1 into 1 1552121003.556 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1552121003.556 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.556 * [backup-simplify]: Simplify 0 into 0 1552121003.556 * [backup-simplify]: Simplify 1 into 1 1552121003.556 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.556 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.557 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.557 * [backup-simplify]: Simplify 1 into 1 1552121003.557 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.558 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.558 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.558 * [backup-simplify]: Simplify 0 into 0 1552121003.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.560 * [backup-simplify]: Simplify 0 into 0 1552121003.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.561 * [backup-simplify]: Simplify 0 into 0 1552121003.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.564 * [backup-simplify]: Simplify 0 into 0 1552121003.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.566 * [backup-simplify]: Simplify 0 into 0 1552121003.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.569 * [backup-simplify]: Simplify 0 into 0 1552121003.569 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 1552121003.569 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 1552121003.569 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 1552121003.569 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1552121003.569 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1552121003.569 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.569 * [backup-simplify]: Simplify 0 into 0 1552121003.569 * [backup-simplify]: Simplify 1 into 1 1552121003.569 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.570 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.570 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.571 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.571 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1552121003.571 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1552121003.571 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.571 * [backup-simplify]: Simplify 0 into 0 1552121003.571 * [backup-simplify]: Simplify 1 into 1 1552121003.571 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.571 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.572 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.572 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.572 * [backup-simplify]: Simplify 1 into 1 1552121003.573 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121003.575 * [backup-simplify]: Simplify 0 into 0 1552121003.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.579 * [backup-simplify]: Simplify 0 into 0 1552121003.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.583 * [backup-simplify]: Simplify 0 into 0 1552121003.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.587 * [backup-simplify]: Simplify 0 into 0 1552121003.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.593 * [backup-simplify]: Simplify 0 into 0 1552121003.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.598 * [backup-simplify]: Simplify 0 into 0 1552121003.598 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 1552121003.598 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 1552121003.598 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 1552121003.598 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1552121003.598 * [taylor]: Taking taylor expansion of -1 in d1 1552121003.598 * [backup-simplify]: Simplify -1 into -1 1552121003.598 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1552121003.598 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.598 * [backup-simplify]: Simplify 0 into 0 1552121003.598 * [backup-simplify]: Simplify 1 into 1 1552121003.599 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.599 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.599 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.599 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121003.599 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1552121003.599 * [taylor]: Taking taylor expansion of -1 in d1 1552121003.599 * [backup-simplify]: Simplify -1 into -1 1552121003.599 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1552121003.600 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.600 * [backup-simplify]: Simplify 0 into 0 1552121003.600 * [backup-simplify]: Simplify 1 into 1 1552121003.600 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.602 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.602 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.602 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121003.602 * [backup-simplify]: Simplify -1 into -1 1552121003.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1552121003.604 * [backup-simplify]: Simplify 0 into 0 1552121003.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.606 * [backup-simplify]: Simplify 0 into 0 1552121003.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.608 * [backup-simplify]: Simplify 0 into 0 1552121003.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.611 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.611 * [backup-simplify]: Simplify 0 into 0 1552121003.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.614 * [backup-simplify]: Simplify 0 into 0 1552121003.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.617 * [backup-simplify]: Simplify 0 into 0 1552121003.617 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 1552121003.617 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 1552121003.617 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 1552121003.617 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 1552121003.617 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1552121003.617 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.617 * [backup-simplify]: Simplify 0 into 0 1552121003.617 * [backup-simplify]: Simplify 1 into 1 1552121003.617 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1552121003.617 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.618 * [backup-simplify]: Simplify 0 into 0 1552121003.618 * [backup-simplify]: Simplify 1 into 1 1552121003.618 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.618 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.618 * [backup-simplify]: Simplify 1 into 1 1552121003.618 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.619 * [backup-simplify]: Simplify 0 into 0 1552121003.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.620 * [backup-simplify]: Simplify 0 into 0 1552121003.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.621 * [backup-simplify]: Simplify 0 into 0 1552121003.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.623 * [backup-simplify]: Simplify 0 into 0 1552121003.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.624 * [backup-simplify]: Simplify 0 into 0 1552121003.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.626 * [backup-simplify]: Simplify 0 into 0 1552121003.626 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1552121003.626 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 1552121003.626 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1552121003.626 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1552121003.626 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1552121003.626 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.626 * [backup-simplify]: Simplify 0 into 0 1552121003.626 * [backup-simplify]: Simplify 1 into 1 1552121003.627 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.627 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.627 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.627 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1552121003.627 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1552121003.627 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.627 * [backup-simplify]: Simplify 0 into 0 1552121003.627 * [backup-simplify]: Simplify 1 into 1 1552121003.627 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.628 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.628 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.628 * [backup-simplify]: Simplify 1 into 1 1552121003.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121003.629 * [backup-simplify]: Simplify 0 into 0 1552121003.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.632 * [backup-simplify]: Simplify 0 into 0 1552121003.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.635 * [backup-simplify]: Simplify 0 into 0 1552121003.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.638 * [backup-simplify]: Simplify 0 into 0 1552121003.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.642 * [backup-simplify]: Simplify 0 into 0 1552121003.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.646 * [backup-simplify]: Simplify 0 into 0 1552121003.646 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1552121003.646 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1552121003.646 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1552121003.646 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1552121003.646 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1552121003.646 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.646 * [backup-simplify]: Simplify 0 into 0 1552121003.647 * [backup-simplify]: Simplify 1 into 1 1552121003.647 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.647 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.648 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.648 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1552121003.648 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1552121003.648 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.648 * [backup-simplify]: Simplify 0 into 0 1552121003.648 * [backup-simplify]: Simplify 1 into 1 1552121003.648 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.649 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.649 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.649 * [backup-simplify]: Simplify 1 into 1 1552121003.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121003.651 * [backup-simplify]: Simplify 0 into 0 1552121003.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.654 * [backup-simplify]: Simplify 0 into 0 1552121003.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.657 * [backup-simplify]: Simplify 0 into 0 1552121003.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.661 * [backup-simplify]: Simplify 0 into 0 1552121003.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.665 * [backup-simplify]: Simplify 0 into 0 1552121003.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.669 * [backup-simplify]: Simplify 0 into 0 1552121003.669 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1552121003.669 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1552121003.669 * [backup-simplify]: Simplify (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) into (pow d1 10) 1552121003.669 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 1552121003.669 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1552121003.669 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.669 * [backup-simplify]: Simplify 0 into 0 1552121003.669 * [backup-simplify]: Simplify 1 into 1 1552121003.669 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1552121003.669 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.669 * [backup-simplify]: Simplify 0 into 0 1552121003.669 * [backup-simplify]: Simplify 1 into 1 1552121003.670 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.670 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.671 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.671 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.671 * [backup-simplify]: Simplify 1 into 1 1552121003.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.674 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.674 * [backup-simplify]: Simplify 0 into 0 1552121003.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.677 * [backup-simplify]: Simplify 0 into 0 1552121003.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.681 * [backup-simplify]: Simplify 0 into 0 1552121003.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.684 * [backup-simplify]: Simplify 0 into 0 1552121003.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.687 * [backup-simplify]: Simplify 0 into 0 1552121003.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.691 * [backup-simplify]: Simplify 0 into 0 1552121003.691 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 1552121003.691 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 1552121003.691 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1552121003.691 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1552121003.691 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1552121003.691 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.691 * [backup-simplify]: Simplify 0 into 0 1552121003.691 * [backup-simplify]: Simplify 1 into 1 1552121003.691 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.692 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.692 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.692 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.692 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.692 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1552121003.692 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1552121003.692 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.692 * [backup-simplify]: Simplify 0 into 0 1552121003.692 * [backup-simplify]: Simplify 1 into 1 1552121003.693 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.693 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.693 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.693 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.694 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.694 * [backup-simplify]: Simplify 1 into 1 1552121003.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121003.696 * [backup-simplify]: Simplify 0 into 0 1552121003.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.698 * [backup-simplify]: Simplify 0 into 0 1552121003.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.701 * [backup-simplify]: Simplify 0 into 0 1552121003.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.706 * [backup-simplify]: Simplify 0 into 0 1552121003.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.709 * [backup-simplify]: Simplify 0 into 0 1552121003.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.713 * [backup-simplify]: Simplify 0 into 0 1552121003.713 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 1552121003.714 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 1552121003.714 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1552121003.714 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1552121003.714 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1552121003.714 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.714 * [backup-simplify]: Simplify 0 into 0 1552121003.714 * [backup-simplify]: Simplify 1 into 1 1552121003.714 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.714 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.715 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.715 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.715 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.715 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1552121003.715 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1552121003.715 * [taylor]: Taking taylor expansion of d1 in d1 1552121003.715 * [backup-simplify]: Simplify 0 into 0 1552121003.715 * [backup-simplify]: Simplify 1 into 1 1552121003.715 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.716 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.716 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.716 * [backup-simplify]: Simplify (* 1 1) into 1 1552121003.716 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121003.716 * [backup-simplify]: Simplify 1 into 1 1552121003.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121003.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121003.718 * [backup-simplify]: Simplify 0 into 0 1552121003.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121003.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.721 * [backup-simplify]: Simplify 0 into 0 1552121003.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121003.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.726 * [backup-simplify]: Simplify 0 into 0 1552121003.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121003.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.732 * [backup-simplify]: Simplify 0 into 0 1552121003.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121003.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.739 * [backup-simplify]: Simplify 0 into 0 1552121003.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552121003.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121003.747 * [backup-simplify]: Simplify 0 into 0 1552121003.747 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 1552121003.747 * * * [progress]: simplifying candidates 1552121003.747 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 10 / 55 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 1552121003.748 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 15 / 55 ] simplifiying candidate # 1552121003.748 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 1552121003.749 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 1552121003.749 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 1552121003.749 * * * * [progress]: [ 19 / 55 ] simplifiying candidate # 1552121003.749 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 1552121003.749 * [simplify]: Simplifying (* d1 (* d1 d1)) 1552121003.749 * * [simplify]: iters left: 4 (3 enodes) 1552121003.751 * * [simplify]: iters left: 3 (12 enodes) 1552121003.755 * * [simplify]: iters left: 2 (14 enodes) 1552121003.759 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.759 * * [simplify]: Extracting #1: cost 5 inf + 0 1552121003.759 * * [simplify]: Extracting #2: cost 3 inf + 43 1552121003.759 * * [simplify]: Extracting #3: cost 0 inf + 246 1552121003.759 * [simplify]: Simplified to (* d1 (* d1 d1)) 1552121003.759 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1)) 1552121003.759 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))> 1552121003.759 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 1552121003.759 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 1552121003.759 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 31 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 32 / 55 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 1552121003.760 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 34 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 1552121003.760 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 1552121003.761 * * * * [progress]: [ 42 / 55 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))))> 1552121003.761 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 1552121003.761 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 1552121003.761 * [simplify]: Simplifying (pow d1 3) 1552121003.761 * * [simplify]: iters left: 1 (3 enodes) 1552121003.763 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.763 * * [simplify]: Extracting #1: cost 5 inf + 0 1552121003.763 * * [simplify]: Extracting #2: cost 3 inf + 2 1552121003.763 * * [simplify]: Extracting #3: cost 1 inf + 255 1552121003.763 * * [simplify]: Extracting #4: cost 0 inf + 336 1552121003.763 * * [simplify]: Extracting #5: cost 0 inf + 205 1552121003.764 * [simplify]: Simplified to (* (* d1 d1) d1) 1552121003.764 * [simplify]: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1)) 1552121003.764 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 1552121003.764 * [simplify]: Simplifying (pow d1 3) 1552121003.764 * * [simplify]: iters left: 1 (3 enodes) 1552121003.766 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.766 * * [simplify]: Extracting #1: cost 5 inf + 0 1552121003.766 * * [simplify]: Extracting #2: cost 3 inf + 2 1552121003.766 * * [simplify]: Extracting #3: cost 1 inf + 255 1552121003.766 * * [simplify]: Extracting #4: cost 0 inf + 336 1552121003.766 * * [simplify]: Extracting #5: cost 0 inf + 205 1552121003.766 * [simplify]: Simplified to (* (* d1 d1) d1) 1552121003.766 * [simplify]: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1)) 1552121003.766 * * * * [progress]: [ 46 / 55 ] simplifiying candidate # 1552121003.766 * [simplify]: Simplifying (pow d1 3) 1552121003.766 * * [simplify]: iters left: 1 (3 enodes) 1552121003.767 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.767 * * [simplify]: Extracting #1: cost 5 inf + 0 1552121003.767 * * [simplify]: Extracting #2: cost 3 inf + 2 1552121003.767 * * [simplify]: Extracting #3: cost 1 inf + 255 1552121003.767 * * [simplify]: Extracting #4: cost 0 inf + 336 1552121003.767 * * [simplify]: Extracting #5: cost 0 inf + 205 1552121003.767 * [simplify]: Simplified to (* (* d1 d1) d1) 1552121003.768 * [simplify]: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1)) 1552121003.768 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 1552121003.768 * [simplify]: Simplifying (pow d1 5) 1552121003.768 * * [simplify]: iters left: 1 (3 enodes) 1552121003.769 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.769 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.769 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.769 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.769 * [simplify]: Simplified to (pow d1 5) 1552121003.769 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1552121003.769 * * * * [progress]: [ 48 / 55 ] simplifiying candidate # 1552121003.769 * [simplify]: Simplifying (pow d1 5) 1552121003.769 * * [simplify]: iters left: 1 (3 enodes) 1552121003.770 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.770 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.770 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.770 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.770 * [simplify]: Simplified to (pow d1 5) 1552121003.770 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1552121003.770 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 1552121003.770 * [simplify]: Simplifying (pow d1 5) 1552121003.770 * * [simplify]: iters left: 1 (3 enodes) 1552121003.771 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.771 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.771 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.771 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.771 * [simplify]: Simplified to (pow d1 5) 1552121003.771 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1552121003.771 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 1552121003.772 * [simplify]: Simplifying (pow d1 4) 1552121003.772 * * [simplify]: iters left: 1 (3 enodes) 1552121003.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.773 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.773 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.773 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.773 * [simplify]: Simplified to (pow d1 4) 1552121003.773 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1552121003.773 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 1552121003.773 * [simplify]: Simplifying (pow d1 4) 1552121003.773 * * [simplify]: iters left: 1 (3 enodes) 1552121003.774 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.774 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.774 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.774 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.774 * [simplify]: Simplified to (pow d1 4) 1552121003.774 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1552121003.774 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 1552121003.774 * [simplify]: Simplifying (pow d1 4) 1552121003.774 * * [simplify]: iters left: 1 (3 enodes) 1552121003.775 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.775 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.775 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.775 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.775 * [simplify]: Simplified to (pow d1 4) 1552121003.775 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1552121003.775 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 1552121003.776 * [simplify]: Simplifying (pow d1 10) 1552121003.776 * * [simplify]: iters left: 1 (3 enodes) 1552121003.776 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.777 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.777 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.777 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.777 * [simplify]: Simplified to (pow d1 10) 1552121003.777 * [simplify]: Simplified (2) to (λ (d1) (pow d1 10)) 1552121003.777 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 1552121003.777 * [simplify]: Simplifying (pow d1 10) 1552121003.777 * * [simplify]: iters left: 1 (3 enodes) 1552121003.778 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.778 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.778 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.778 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.778 * [simplify]: Simplified to (pow d1 10) 1552121003.778 * [simplify]: Simplified (2) to (λ (d1) (pow d1 10)) 1552121003.778 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 1552121003.778 * [simplify]: Simplifying (pow d1 10) 1552121003.778 * * [simplify]: iters left: 1 (3 enodes) 1552121003.779 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121003.779 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121003.779 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121003.779 * * [simplify]: Extracting #3: cost 0 inf + 426 1552121003.779 * [simplify]: Simplified to (pow d1 10) 1552121003.779 * [simplify]: Simplified (2) to (λ (d1) (pow d1 10)) 1552121003.779 * * * [progress]: adding candidates to table 1552121004.143 * * [progress]: iteration 2 / 4 1552121004.143 * * * [progress]: picking best candidate 1552121004.144 * * * * [pick]: Picked # 1552121004.144 * * * [progress]: localizing error 1552121004.149 * * * [progress]: generating rewritten candidates 1552121004.149 * * * [progress]: generating series expansions 1552121004.149 * * * [progress]: simplifying candidates 1552121004.149 * * * [progress]: adding candidates to table 1552121004.149 * [progress]: [Phase 3 of 3] Extracting. 1552121004.151 * [simplify]: Simplifying (pow d1 10) 1552121004.151 * * [simplify]: iters left: 1 (3 enodes) 1552121004.151 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121004.151 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121004.151 * * [simplify]: Extracting #2: cost 1 inf + 2 1552121004.151 * * [simplify]: Extracting #3: cost 0 inf + 214 1552121004.151 * [simplify]: Simplified to (pow d1 10) 1552121006.526 * [regime-testing]: Baseline error score: 0 1552121006.527 * [regime-testing]: Oracle error score: 0 1552121006.528 * [regime-testing]: End program error score: 0 1552121006.562 * [regime-testing]: Target error score: 0