42.714 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.037 * * [simplify]: iteration 0: 9 enodes
0.039 * * [simplify]: iteration 1: 24 enodes
0.044 * * [simplify]: iteration 2: 54 enodes
0.065 * * [simplify]: iteration 3: 92 enodes
0.128 * * [simplify]: iteration 4: 248 enodes
0.222 * * [simplify]: iteration 5: 496 enodes
1.148 * * [simplify]: iteration 6: 2065 enodes
2.120 * * [simplify]: iteration complete: 5000 enodes
2.120 * * [simplify]: Extracting #0: cost 1 inf + 0
2.121 * * [simplify]: Extracting #1: cost 191 inf + 0
2.127 * * [simplify]: Extracting #2: cost 1210 inf + 1216
2.141 * * [simplify]: Extracting #3: cost 1443 inf + 19425
2.185 * * [simplify]: Extracting #4: cost 961 inf + 223154
2.242 * * [simplify]: Extracting #5: cost 227 inf + 631970
2.327 * * [simplify]: Extracting #6: cost 5 inf + 770658
2.433 * * [simplify]: Extracting #7: cost 0 inf + 771450
2.519 * [simplify]: Simplified to:
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
2.526 * * [progress]: iteration 1 / 4
2.526 * * * [progress]: picking best candidate
2.536 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.537 * * * [progress]: localizing error
2.567 * * * [progress]: generating rewritten candidates
2.567 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
2.594 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
2.653 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.348 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
3.549 * * * [progress]: generating series expansions
3.549 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
3.550 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
3.550 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
3.550 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.550 * [taylor]: Taking taylor expansion of d1 in d1
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.550 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.550 * [taylor]: Taking taylor expansion of d1 in d1
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.551 * [backup-simplify]: Simplify (* 1 1) into 1
3.551 * [backup-simplify]: Simplify (* 1 1) into 1
3.551 * [backup-simplify]: Simplify 1 into 1
3.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.553 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.553 * [backup-simplify]: Simplify 0 into 0
3.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.555 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.557 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.565 * [backup-simplify]: Simplify 0 into 0
3.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.568 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.571 * [backup-simplify]: Simplify 0 into 0
3.571 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
3.571 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
3.571 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
3.571 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.571 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.571 * [taylor]: Taking taylor expansion of d1 in d1
3.571 * [backup-simplify]: Simplify 0 into 0
3.572 * [backup-simplify]: Simplify 1 into 1
3.572 * [backup-simplify]: Simplify (* 1 1) into 1
3.572 * [backup-simplify]: Simplify (* 1 1) into 1
3.573 * [backup-simplify]: Simplify (/ 1 1) into 1
3.573 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.573 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.573 * [taylor]: Taking taylor expansion of d1 in d1
3.573 * [backup-simplify]: Simplify 0 into 0
3.573 * [backup-simplify]: Simplify 1 into 1
3.573 * [backup-simplify]: Simplify (* 1 1) into 1
3.574 * [backup-simplify]: Simplify (* 1 1) into 1
3.574 * [backup-simplify]: Simplify (/ 1 1) into 1
3.574 * [backup-simplify]: Simplify 1 into 1
3.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.576 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.579 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.582 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.586 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.589 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.593 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
3.594 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
3.594 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
3.594 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.594 * [taylor]: Taking taylor expansion of -1 in d1
3.594 * [backup-simplify]: Simplify -1 into -1
3.594 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.594 * [taylor]: Taking taylor expansion of d1 in d1
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 1 into 1
3.594 * [backup-simplify]: Simplify (* 1 1) into 1
3.595 * [backup-simplify]: Simplify (* 1 1) into 1
3.595 * [backup-simplify]: Simplify (/ -1 1) into -1
3.595 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.596 * [taylor]: Taking taylor expansion of -1 in d1
3.596 * [backup-simplify]: Simplify -1 into -1
3.596 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.596 * [taylor]: Taking taylor expansion of d1 in d1
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 1 into 1
3.596 * [backup-simplify]: Simplify (* 1 1) into 1
3.596 * [backup-simplify]: Simplify (* 1 1) into 1
3.597 * [backup-simplify]: Simplify (/ -1 1) into -1
3.597 * [backup-simplify]: Simplify -1 into -1
3.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.599 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.602 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.609 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.613 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.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
3.617 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
3.617 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
3.618 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
3.618 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
3.618 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.618 * [taylor]: Taking taylor expansion of d1 in d1
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify 1 into 1
3.618 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.618 * [taylor]: Taking taylor expansion of d1 in d1
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify 1 into 1
3.618 * [backup-simplify]: Simplify (* 1 1) into 1
3.619 * [backup-simplify]: Simplify (* 1 1) into 1
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.620 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.624 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.627 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.630 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
3.633 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
3.633 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.633 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.633 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.633 * [taylor]: Taking taylor expansion of d1 in d1
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify 1 into 1
3.634 * [backup-simplify]: Simplify (* 1 1) into 1
3.634 * [backup-simplify]: Simplify (* 1 1) into 1
3.635 * [backup-simplify]: Simplify (/ 1 1) into 1
3.635 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.635 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.635 * [taylor]: Taking taylor expansion of d1 in d1
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.635 * [backup-simplify]: Simplify (* 1 1) into 1
3.635 * [backup-simplify]: Simplify (* 1 1) into 1
3.636 * [backup-simplify]: Simplify (/ 1 1) into 1
3.636 * [backup-simplify]: Simplify 1 into 1
3.637 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.637 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.641 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.647 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.651 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
3.656 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
3.656 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.656 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.656 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.656 * [taylor]: Taking taylor expansion of d1 in d1
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.657 * [backup-simplify]: Simplify (* 1 1) into 1
3.657 * [backup-simplify]: Simplify (* 1 1) into 1
3.657 * [backup-simplify]: Simplify (/ 1 1) into 1
3.657 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.658 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.658 * [taylor]: Taking taylor expansion of d1 in d1
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 1 into 1
3.658 * [backup-simplify]: Simplify (* 1 1) into 1
3.658 * [backup-simplify]: Simplify (* 1 1) into 1
3.659 * [backup-simplify]: Simplify (/ 1 1) into 1
3.659 * [backup-simplify]: Simplify 1 into 1
3.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.661 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.664 * [backup-simplify]: Simplify 0 into 0
3.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.667 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.674 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.678 * [backup-simplify]: Simplify 0 into 0
3.678 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
3.679 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.679 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
3.679 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
3.679 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.679 * [taylor]: Taking taylor expansion of d1 in d1
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.679 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.679 * [taylor]: Taking taylor expansion of d1 in d1
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.680 * [backup-simplify]: Simplify (* 1 1) into 1
3.680 * [backup-simplify]: Simplify (* 1 1) into 1
3.680 * [backup-simplify]: Simplify (* 1 1) into 1
3.681 * [backup-simplify]: Simplify (* 1 1) into 1
3.681 * [backup-simplify]: Simplify 1 into 1
3.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.682 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.683 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.687 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.690 * [backup-simplify]: Simplify 0 into 0
3.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.692 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.695 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.699 * [backup-simplify]: Simplify 0 into 0
3.699 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
3.699 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
3.699 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
3.699 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
3.699 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.699 * [taylor]: Taking taylor expansion of d1 in d1
3.699 * [backup-simplify]: Simplify 0 into 0
3.699 * [backup-simplify]: Simplify 1 into 1
3.700 * [backup-simplify]: Simplify (* 1 1) into 1
3.700 * [backup-simplify]: Simplify (* 1 1) into 1
3.700 * [backup-simplify]: Simplify (* 1 1) into 1
3.704 * [backup-simplify]: Simplify (* 1 1) into 1
3.704 * [backup-simplify]: Simplify (/ 1 1) into 1
3.704 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
3.704 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.704 * [taylor]: Taking taylor expansion of d1 in d1
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify 1 into 1
3.705 * [backup-simplify]: Simplify (* 1 1) into 1
3.705 * [backup-simplify]: Simplify (* 1 1) into 1
3.705 * [backup-simplify]: Simplify (* 1 1) into 1
3.705 * [backup-simplify]: Simplify (* 1 1) into 1
3.706 * [backup-simplify]: Simplify (/ 1 1) into 1
3.706 * [backup-simplify]: Simplify 1 into 1
3.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.710 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.713 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.717 * [backup-simplify]: Simplify 0 into 0
3.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.726 * [backup-simplify]: Simplify 0 into 0
3.726 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
3.727 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
3.727 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
3.727 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
3.727 * [taylor]: Taking taylor expansion of -1 in d1
3.727 * [backup-simplify]: Simplify -1 into -1
3.727 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.727 * [taylor]: Taking taylor expansion of d1 in d1
3.727 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify 1 into 1
3.727 * [backup-simplify]: Simplify (* 1 1) into 1
3.728 * [backup-simplify]: Simplify (* 1 1) into 1
3.728 * [backup-simplify]: Simplify (* 1 1) into 1
3.728 * [backup-simplify]: Simplify (* 1 1) into 1
3.729 * [backup-simplify]: Simplify (/ -1 1) into -1
3.729 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
3.729 * [taylor]: Taking taylor expansion of -1 in d1
3.729 * [backup-simplify]: Simplify -1 into -1
3.729 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.729 * [taylor]: Taking taylor expansion of d1 in d1
3.729 * [backup-simplify]: Simplify 0 into 0
3.729 * [backup-simplify]: Simplify 1 into 1
3.729 * [backup-simplify]: Simplify (* 1 1) into 1
3.730 * [backup-simplify]: Simplify (* 1 1) into 1
3.730 * [backup-simplify]: Simplify (* 1 1) into 1
3.731 * [backup-simplify]: Simplify (* 1 1) into 1
3.731 * [backup-simplify]: Simplify (/ -1 1) into -1
3.731 * [backup-simplify]: Simplify -1 into -1
3.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.734 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.735 * [backup-simplify]: Simplify 0 into 0
3.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.740 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.743 * [backup-simplify]: Simplify 0 into 0
3.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.746 * [backup-simplify]: Simplify 0 into 0
3.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.749 * [backup-simplify]: Simplify 0 into 0
3.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.753 * [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
3.753 * [backup-simplify]: Simplify 0 into 0
3.754 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
3.754 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
3.754 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
3.754 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
3.754 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.754 * [taylor]: Taking taylor expansion of d1 in d1
3.754 * [backup-simplify]: Simplify 0 into 0
3.754 * [backup-simplify]: Simplify 1 into 1
3.754 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.754 * [taylor]: Taking taylor expansion of d1 in d1
3.754 * [backup-simplify]: Simplify 0 into 0
3.754 * [backup-simplify]: Simplify 1 into 1
3.754 * [backup-simplify]: Simplify (* 1 1) into 1
3.755 * [backup-simplify]: Simplify (* 1 1) into 1
3.755 * [backup-simplify]: Simplify (* 1 1) into 1
3.755 * [backup-simplify]: Simplify 1 into 1
3.755 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.756 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.756 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.756 * [backup-simplify]: Simplify 0 into 0
3.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.758 * [backup-simplify]: Simplify 0 into 0
3.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.759 * [backup-simplify]: Simplify 0 into 0
3.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.761 * [backup-simplify]: Simplify 0 into 0
3.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.764 * [backup-simplify]: Simplify 0 into 0
3.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.766 * [backup-simplify]: Simplify 0 into 0
3.766 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
3.767 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
3.767 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
3.767 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.767 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.767 * [taylor]: Taking taylor expansion of d1 in d1
3.767 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify 1 into 1
3.767 * [backup-simplify]: Simplify (* 1 1) into 1
3.767 * [backup-simplify]: Simplify (* 1 1) into 1
3.767 * [backup-simplify]: Simplify (* 1 1) into 1
3.768 * [backup-simplify]: Simplify (/ 1 1) into 1
3.768 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.768 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.768 * [taylor]: Taking taylor expansion of d1 in d1
3.768 * [backup-simplify]: Simplify 0 into 0
3.768 * [backup-simplify]: Simplify 1 into 1
3.768 * [backup-simplify]: Simplify (* 1 1) into 1
3.769 * [backup-simplify]: Simplify (* 1 1) into 1
3.769 * [backup-simplify]: Simplify (* 1 1) into 1
3.769 * [backup-simplify]: Simplify (/ 1 1) into 1
3.769 * [backup-simplify]: Simplify 1 into 1
3.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.772 * [backup-simplify]: Simplify 0 into 0
3.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.776 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.780 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.785 * [backup-simplify]: Simplify 0 into 0
3.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.787 * [backup-simplify]: Simplify 0 into 0
3.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.791 * [backup-simplify]: Simplify 0 into 0
3.791 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
3.791 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
3.791 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
3.791 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.791 * [taylor]: Taking taylor expansion of -1 in d1
3.791 * [backup-simplify]: Simplify -1 into -1
3.791 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.791 * [taylor]: Taking taylor expansion of d1 in d1
3.791 * [backup-simplify]: Simplify 0 into 0
3.791 * [backup-simplify]: Simplify 1 into 1
3.791 * [backup-simplify]: Simplify (* 1 1) into 1
3.792 * [backup-simplify]: Simplify (* 1 1) into 1
3.792 * [backup-simplify]: Simplify (* 1 1) into 1
3.792 * [backup-simplify]: Simplify (/ -1 1) into -1
3.792 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.792 * [taylor]: Taking taylor expansion of -1 in d1
3.792 * [backup-simplify]: Simplify -1 into -1
3.792 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.792 * [taylor]: Taking taylor expansion of d1 in d1
3.792 * [backup-simplify]: Simplify 0 into 0
3.792 * [backup-simplify]: Simplify 1 into 1
3.792 * [backup-simplify]: Simplify (* 1 1) into 1
3.793 * [backup-simplify]: Simplify (* 1 1) into 1
3.793 * [backup-simplify]: Simplify (* 1 1) into 1
3.793 * [backup-simplify]: Simplify (/ -1 1) into -1
3.793 * [backup-simplify]: Simplify -1 into -1
3.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.797 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.799 * [backup-simplify]: Simplify 0 into 0
3.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.806 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.809 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.812 * [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
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
3.812 * * * [progress]: simplifying candidates
3.815 * [simplify]: Simplifying:
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))
  (+ (+ (log d1) (log (* d1 d1))) (log d1))
  (+ (log (* d1 (* d1 d1))) (log d1))
  (log (* (* d1 (* d1 d1)) d1))
  (exp (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1)))
  (cbrt (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* (* d1 (* d1 d1)) 1)
  (* (* d1 d1) d1)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))
  (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))))
  (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) d1) d1) d1)
  (* d1 (* d1 d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
3.820 * * [simplify]: iteration 0: 127 enodes
3.872 * * [simplify]: iteration 1: 352 enodes
4.045 * * [simplify]: iteration 2: 1044 enodes
5.681 * * [simplify]: iteration 3: 3511 enodes
8.174 * * [simplify]: iteration complete: 5004 enodes
8.175 * * [simplify]: Extracting #0: cost 41 inf + 0
8.177 * * [simplify]: Extracting #1: cost 639 inf + 5
8.185 * * [simplify]: Extracting #2: cost 872 inf + 31226
8.203 * * [simplify]: Extracting #3: cost 514 inf + 87186
8.239 * * [simplify]: Extracting #4: cost 285 inf + 155393
8.296 * * [simplify]: Extracting #5: cost 41 inf + 253108
8.374 * * [simplify]: Extracting #6: cost 0 inf + 271992
8.437 * [simplify]: Simplified to:
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* d1 d1)
  d1
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (* d1 (cbrt d1)) d1)
  (* (* d1 d1) (sqrt d1))
  (* d1 (* d1 d1))
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (+ (* 3 (log d1)) (+ (log d1) (* 3 (log d1))))
  (exp (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (* (cbrt (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))) (cbrt (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (cbrt (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))))
  (sqrt (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1))))
  (sqrt (* (* d1 (* d1 (* d1 d1))) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
  (* d1 (* d1 d1))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* (* d1 d1) (* d1 (* d1 d1))))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (cbrt (* (* d1 d1) (* d1 (* d1 d1)))) (cbrt (* (* d1 d1) (* d1 (* d1 d1)))))
  (cbrt (* (* d1 d1) (* d1 (* d1 d1))))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (sqrt (* (* d1 d1) (* d1 (* d1 d1))))
  (sqrt (* (* d1 d1) (* d1 (* d1 d1))))
  (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (sqrt d1))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
8.448 * * * [progress]: adding candidates to table
8.732 * * [progress]: iteration 2 / 4
8.732 * * * [progress]: picking best candidate
8.764 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
8.764 * * * [progress]: localizing error
8.783 * * * [progress]: generating rewritten candidates
8.783 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
8.792 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
8.811 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.888 * * * [progress]: generating series expansions
8.888 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
8.888 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
8.888 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
8.888 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.888 * [taylor]: Taking taylor expansion of d1 in d1
8.888 * [backup-simplify]: Simplify 0 into 0
8.888 * [backup-simplify]: Simplify 1 into 1
8.888 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.888 * [taylor]: Taking taylor expansion of d1 in d1
8.889 * [backup-simplify]: Simplify 0 into 0
8.889 * [backup-simplify]: Simplify 1 into 1
8.889 * [backup-simplify]: Simplify (* 1 1) into 1
8.889 * [backup-simplify]: Simplify (* 1 1) into 1
8.890 * [backup-simplify]: Simplify (* 1 1) into 1
8.890 * [backup-simplify]: Simplify 1 into 1
8.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.891 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.891 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.891 * [backup-simplify]: Simplify 0 into 0
8.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.893 * [backup-simplify]: Simplify 0 into 0
8.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.895 * [backup-simplify]: Simplify 0 into 0
8.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.897 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.903 * [backup-simplify]: Simplify 0 into 0
8.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.908 * [backup-simplify]: Simplify 0 into 0
8.908 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
8.908 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
8.908 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
8.908 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.908 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.908 * [taylor]: Taking taylor expansion of d1 in d1
8.908 * [backup-simplify]: Simplify 0 into 0
8.908 * [backup-simplify]: Simplify 1 into 1
8.909 * [backup-simplify]: Simplify (* 1 1) into 1
8.909 * [backup-simplify]: Simplify (* 1 1) into 1
8.909 * [backup-simplify]: Simplify (* 1 1) into 1
8.910 * [backup-simplify]: Simplify (/ 1 1) into 1
8.910 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.910 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.910 * [taylor]: Taking taylor expansion of d1 in d1
8.910 * [backup-simplify]: Simplify 0 into 0
8.910 * [backup-simplify]: Simplify 1 into 1
8.910 * [backup-simplify]: Simplify (* 1 1) into 1
8.911 * [backup-simplify]: Simplify (* 1 1) into 1
8.911 * [backup-simplify]: Simplify (* 1 1) into 1
8.911 * [backup-simplify]: Simplify (/ 1 1) into 1
8.912 * [backup-simplify]: Simplify 1 into 1
8.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.913 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.913 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.914 * [backup-simplify]: Simplify 0 into 0
8.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.918 * [backup-simplify]: Simplify 0 into 0
8.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.922 * [backup-simplify]: Simplify 0 into 0
8.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.927 * [backup-simplify]: Simplify 0 into 0
8.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.932 * [backup-simplify]: Simplify 0 into 0
8.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.938 * [backup-simplify]: Simplify 0 into 0
8.938 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
8.939 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
8.939 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
8.939 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.939 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.939 * [taylor]: Taking taylor expansion of d1 in d1
8.939 * [backup-simplify]: Simplify 0 into 0
8.939 * [backup-simplify]: Simplify 1 into 1
8.939 * [backup-simplify]: Simplify (* 1 1) into 1
8.939 * [backup-simplify]: Simplify (* 1 1) into 1
8.940 * [backup-simplify]: Simplify (* 1 1) into 1
8.940 * [backup-simplify]: Simplify (/ 1 1) into 1
8.940 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.940 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.940 * [taylor]: Taking taylor expansion of d1 in d1
8.940 * [backup-simplify]: Simplify 0 into 0
8.940 * [backup-simplify]: Simplify 1 into 1
8.941 * [backup-simplify]: Simplify (* 1 1) into 1
8.941 * [backup-simplify]: Simplify (* 1 1) into 1
8.942 * [backup-simplify]: Simplify (* 1 1) into 1
8.942 * [backup-simplify]: Simplify (/ 1 1) into 1
8.942 * [backup-simplify]: Simplify 1 into 1
8.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.945 * [backup-simplify]: Simplify 0 into 0
8.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.953 * [backup-simplify]: Simplify 0 into 0
8.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.957 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.963 * [backup-simplify]: Simplify 0 into 0
8.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.968 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
8.969 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
8.969 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
8.969 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
8.969 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.969 * [taylor]: Taking taylor expansion of d1 in d1
8.969 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify 1 into 1
8.969 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.969 * [taylor]: Taking taylor expansion of d1 in d1
8.969 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify 1 into 1
8.970 * [backup-simplify]: Simplify (* 1 1) into 1
8.970 * [backup-simplify]: Simplify (* 1 1) into 1
8.970 * [backup-simplify]: Simplify (* 1 1) into 1
8.971 * [backup-simplify]: Simplify (* 1 1) into 1
8.971 * [backup-simplify]: Simplify 1 into 1
8.971 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.972 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.973 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.973 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.973 * [backup-simplify]: Simplify 0 into 0
8.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.977 * [backup-simplify]: Simplify 0 into 0
8.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.981 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.986 * [backup-simplify]: Simplify 0 into 0
8.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.997 * [backup-simplify]: Simplify 0 into 0
8.998 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
8.998 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
8.998 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
8.998 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.998 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.998 * [taylor]: Taking taylor expansion of d1 in d1
8.998 * [backup-simplify]: Simplify 0 into 0
8.998 * [backup-simplify]: Simplify 1 into 1
8.998 * [backup-simplify]: Simplify (* 1 1) into 1
8.999 * [backup-simplify]: Simplify (* 1 1) into 1
8.999 * [backup-simplify]: Simplify (* 1 1) into 1
9.000 * [backup-simplify]: Simplify (* 1 1) into 1
9.000 * [backup-simplify]: Simplify (/ 1 1) into 1
9.000 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
9.000 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.000 * [taylor]: Taking taylor expansion of d1 in d1
9.000 * [backup-simplify]: Simplify 0 into 0
9.000 * [backup-simplify]: Simplify 1 into 1
9.000 * [backup-simplify]: Simplify (* 1 1) into 1
9.001 * [backup-simplify]: Simplify (* 1 1) into 1
9.001 * [backup-simplify]: Simplify (* 1 1) into 1
9.002 * [backup-simplify]: Simplify (* 1 1) into 1
9.002 * [backup-simplify]: Simplify (/ 1 1) into 1
9.002 * [backup-simplify]: Simplify 1 into 1
9.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.004 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.005 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.005 * [backup-simplify]: Simplify 0 into 0
9.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.010 * [backup-simplify]: Simplify 0 into 0
9.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.015 * [backup-simplify]: Simplify 0 into 0
9.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.021 * [backup-simplify]: Simplify 0 into 0
9.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.027 * [backup-simplify]: Simplify 0 into 0
9.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.034 * [backup-simplify]: Simplify 0 into 0
9.035 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
9.035 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
9.035 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
9.035 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
9.035 * [taylor]: Taking taylor expansion of -1 in d1
9.035 * [backup-simplify]: Simplify -1 into -1
9.035 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.035 * [taylor]: Taking taylor expansion of d1 in d1
9.035 * [backup-simplify]: Simplify 0 into 0
9.035 * [backup-simplify]: Simplify 1 into 1
9.035 * [backup-simplify]: Simplify (* 1 1) into 1
9.036 * [backup-simplify]: Simplify (* 1 1) into 1
9.036 * [backup-simplify]: Simplify (* 1 1) into 1
9.037 * [backup-simplify]: Simplify (* 1 1) into 1
9.037 * [backup-simplify]: Simplify (/ -1 1) into -1
9.037 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
9.037 * [taylor]: Taking taylor expansion of -1 in d1
9.037 * [backup-simplify]: Simplify -1 into -1
9.037 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.037 * [taylor]: Taking taylor expansion of d1 in d1
9.037 * [backup-simplify]: Simplify 0 into 0
9.037 * [backup-simplify]: Simplify 1 into 1
9.038 * [backup-simplify]: Simplify (* 1 1) into 1
9.038 * [backup-simplify]: Simplify (* 1 1) into 1
9.038 * [backup-simplify]: Simplify (* 1 1) into 1
9.039 * [backup-simplify]: Simplify (* 1 1) into 1
9.039 * [backup-simplify]: Simplify (/ -1 1) into -1
9.039 * [backup-simplify]: Simplify -1 into -1
9.040 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.040 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.041 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.048 * [backup-simplify]: Simplify 0 into 0
9.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.053 * [backup-simplify]: Simplify 0 into 0
9.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.058 * [backup-simplify]: Simplify 0 into 0
9.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.062 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.064 * [backup-simplify]: Simplify 0 into 0
9.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.071 * [backup-simplify]: Simplify 0 into 0
9.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.077 * [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
9.078 * [backup-simplify]: Simplify 0 into 0
9.078 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
9.078 * * * * [progress]: [ 3 / 3 ] generating series at (2)
9.078 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
9.078 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
9.078 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.078 * [taylor]: Taking taylor expansion of d1 in d1
9.078 * [backup-simplify]: Simplify 0 into 0
9.078 * [backup-simplify]: Simplify 1 into 1
9.078 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.078 * [taylor]: Taking taylor expansion of d1 in d1
9.078 * [backup-simplify]: Simplify 0 into 0
9.078 * [backup-simplify]: Simplify 1 into 1
9.079 * [backup-simplify]: Simplify (* 1 1) into 1
9.079 * [backup-simplify]: Simplify (* 1 1) into 1
9.080 * [backup-simplify]: Simplify (* 1 1) into 1
9.080 * [backup-simplify]: Simplify (* 1 1) into 1
9.080 * [backup-simplify]: Simplify 1 into 1
9.081 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.081 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.082 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.082 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.082 * [backup-simplify]: Simplify 0 into 0
9.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.086 * [backup-simplify]: Simplify 0 into 0
9.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.090 * [backup-simplify]: Simplify 0 into 0
9.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.095 * [backup-simplify]: Simplify 0 into 0
9.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.101 * [backup-simplify]: Simplify 0 into 0
9.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.107 * [backup-simplify]: Simplify 0 into 0
9.107 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
9.107 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
9.108 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
9.108 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.108 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.108 * [taylor]: Taking taylor expansion of d1 in d1
9.108 * [backup-simplify]: Simplify 0 into 0
9.108 * [backup-simplify]: Simplify 1 into 1
9.108 * [backup-simplify]: Simplify (* 1 1) into 1
9.108 * [backup-simplify]: Simplify (* 1 1) into 1
9.109 * [backup-simplify]: Simplify (* 1 1) into 1
9.109 * [backup-simplify]: Simplify (* 1 1) into 1
9.109 * [backup-simplify]: Simplify (/ 1 1) into 1
9.110 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.110 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.110 * [taylor]: Taking taylor expansion of d1 in d1
9.110 * [backup-simplify]: Simplify 0 into 0
9.110 * [backup-simplify]: Simplify 1 into 1
9.110 * [backup-simplify]: Simplify (* 1 1) into 1
9.110 * [backup-simplify]: Simplify (* 1 1) into 1
9.111 * [backup-simplify]: Simplify (* 1 1) into 1
9.111 * [backup-simplify]: Simplify (* 1 1) into 1
9.112 * [backup-simplify]: Simplify (/ 1 1) into 1
9.112 * [backup-simplify]: Simplify 1 into 1
9.112 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.113 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.115 * [backup-simplify]: Simplify 0 into 0
9.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.119 * [backup-simplify]: Simplify 0 into 0
9.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.122 * [backup-simplify]: Simplify 0 into 0
9.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.126 * [backup-simplify]: Simplify 0 into 0
9.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.129 * [backup-simplify]: Simplify 0 into 0
9.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.133 * [backup-simplify]: Simplify 0 into 0
9.133 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
9.134 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
9.134 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
9.134 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.134 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.134 * [taylor]: Taking taylor expansion of d1 in d1
9.134 * [backup-simplify]: Simplify 0 into 0
9.134 * [backup-simplify]: Simplify 1 into 1
9.134 * [backup-simplify]: Simplify (* 1 1) into 1
9.134 * [backup-simplify]: Simplify (* 1 1) into 1
9.134 * [backup-simplify]: Simplify (* 1 1) into 1
9.135 * [backup-simplify]: Simplify (* 1 1) into 1
9.135 * [backup-simplify]: Simplify (/ 1 1) into 1
9.135 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.135 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.135 * [taylor]: Taking taylor expansion of d1 in d1
9.135 * [backup-simplify]: Simplify 0 into 0
9.135 * [backup-simplify]: Simplify 1 into 1
9.135 * [backup-simplify]: Simplify (* 1 1) into 1
9.135 * [backup-simplify]: Simplify (* 1 1) into 1
9.136 * [backup-simplify]: Simplify (* 1 1) into 1
9.136 * [backup-simplify]: Simplify (* 1 1) into 1
9.136 * [backup-simplify]: Simplify (/ 1 1) into 1
9.136 * [backup-simplify]: Simplify 1 into 1
9.137 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.137 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.138 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.138 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.139 * [backup-simplify]: Simplify 0 into 0
9.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.141 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.144 * [backup-simplify]: Simplify 0 into 0
9.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.147 * [backup-simplify]: Simplify 0 into 0
9.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.154 * [backup-simplify]: Simplify 0 into 0
9.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.162 * [backup-simplify]: Simplify 0 into 0
9.162 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
9.162 * * * [progress]: simplifying candidates
9.164 * [simplify]: Simplifying:
  (+ 7 1)
  (+ 7 1)
  (+ (* (log d1) 7) (log d1))
  (+ (* (log d1) 7) (log d1))
  (+ (log (pow d1 7)) (log d1))
  (log (* (pow d1 7) d1))
  (exp (* (pow d1 7) d1))
  (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1)))
  (cbrt (* (pow d1 7) d1))
  (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (* (pow d1 7) 1)
  (* (pow (cbrt d1) 7) d1)
  (* (pow (sqrt d1) 7) d1)
  (* (pow d1 7) d1)
  (* (cbrt (pow d1 7)) d1)
  (* (sqrt (pow d1 7)) d1)
  (* (pow d1 7) d1)
  (* (pow d1 (/ 7 2)) d1)
  (+ 1 (+ 7 1))
  (+ 1 (+ 7 1))
  (* d1 (* (pow d1 7) d1))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (log (pow d1 7)) (log d1)))
  (+ (log d1) (log (* (pow d1 7) d1)))
  (log (* d1 (* (pow d1 7) d1)))
  (exp (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))
  (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1))))
  (cbrt (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (* d1 (pow d1 7))
  (* (cbrt d1) (* (pow d1 7) d1))
  (* (sqrt d1) (* (pow d1 7) d1))
  (* d1 (* (pow d1 7) d1))
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))
  (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))
  (+ (log (* d1 (* (pow d1 7) d1))) (log d1))
  (log (* (* d1 (* (pow d1 7) d1)) d1))
  (exp (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)))
  (cbrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* (pow d1 7) d1)) (sqrt d1))
  (* (* d1 (* (pow d1 7) d1)) 1)
  (* (* (pow d1 7) d1) d1)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
9.165 * * [simplify]: iteration 0: 87 enodes
9.217 * * [simplify]: iteration 1: 232 enodes
9.380 * * [simplify]: iteration 2: 739 enodes
10.092 * * [simplify]: iteration 3: 3174 enodes
12.203 * * [simplify]: iteration complete: 5000 enodes
12.204 * * [simplify]: Extracting #0: cost 39 inf + 0
12.207 * * [simplify]: Extracting #1: cost 661 inf + 3
12.218 * * [simplify]: Extracting #2: cost 1302 inf + 15177
12.262 * * [simplify]: Extracting #3: cost 706 inf + 187066
12.327 * * [simplify]: Extracting #4: cost 310 inf + 387541
12.393 * * [simplify]: Extracting #5: cost 20 inf + 492490
12.482 * * [simplify]: Extracting #6: cost 0 inf + 502556
12.580 * [simplify]: Simplified to:
  8
  8
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (fabs (* (* d1 d1) (* d1 d1)))
  (fabs (* (* d1 d1) (* d1 d1)))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (sqrt d1) (sqrt (pow d1 7)))
  (* (sqrt d1) (sqrt (pow d1 7)))
  (* (sqrt d1) (pow d1 7/2))
  (* (sqrt d1) (pow d1 7/2))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (sqrt d1) (pow d1 7))
  (pow d1 7)
  (* d1 (pow (cbrt d1) 7))
  (* (pow (sqrt d1) 7) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (pow d1 7)) d1)
  (* d1 (sqrt (pow d1 7)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  9
  9
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))))
  (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (sqrt d1))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  10
  10
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  10
  10
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (exp (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (fabs (* d1 (* (* d1 d1) (* d1 d1))))
  (fabs (* d1 (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* (* d1 d1) (* d1 d1)) (cbrt d1)) (* (* (* d1 d1) (* d1 d1)) (cbrt d1))))
  (* (* (* d1 (sqrt d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
12.586 * * * [progress]: adding candidates to table
12.870 * * [progress]: iteration 3 / 4
12.870 * * * [progress]: picking best candidate
12.875 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
12.875 * * * [progress]: localizing error
12.882 * * * [progress]: generating rewritten candidates
12.882 * * * [progress]: generating series expansions
12.882 * * * [progress]: simplifying candidates
12.882 * [simplify]: Simplifying:
  
12.882 * * [simplify]: iteration 0: 0 enodes
12.882 * * [simplify]: iteration complete: 0 enodes
12.882 * * [simplify]: Extracting #0: cost 0 inf + 0
12.882 * [simplify]: Simplified to:
  
12.882 * * * [progress]: adding candidates to table
12.883 * [progress]: [Phase 3 of 3] Extracting.
12.889 * [simplify]: Simplifying:
  (pow d1 10)
12.889 * * [simplify]: iteration 0: 3 enodes
12.889 * * [simplify]: iteration complete: 3 enodes
12.889 * * [simplify]: Extracting #0: cost 1 inf + 0
12.889 * * [simplify]: Extracting #1: cost 3 inf + 0
12.890 * * [simplify]: Extracting #2: cost 1 inf + 2
12.890 * * [simplify]: Extracting #3: cost 0 inf + 214
12.890 * [simplify]: Simplified to:
  (pow d1 10)
14.995 * [regime-testing]: Baseline error score: 0
15.004 * [regime-testing]: Oracle error score: 0
15.004 * [regime-testing]: End program error score: 0
15.139 * [regime-testing]: Target error score: 0