100.708 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
0.101 * * * [progress]: [2/2] Setting up program.
0.106 * [progress]: [Phase 2 of 3] Improving.
0.106 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.106 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.106 * * [simplify]: iteration 0: 9 enodes
0.111 * * [simplify]: iteration 1: 24 enodes
0.121 * * [simplify]: iteration 2: 54 enodes
0.146 * * [simplify]: iteration 3: 92 enodes
0.203 * * [simplify]: iteration 4: 248 enodes
0.313 * * [simplify]: iteration 5: 496 enodes
0.827 * * [simplify]: iteration 6: 2009 enodes
1.491 * * [simplify]: iteration complete: 2009 enodes
1.491 * * [simplify]: Extracting #0: cost 1 inf + 0
1.492 * * [simplify]: Extracting #1: cost 122 inf + 0
1.496 * * [simplify]: Extracting #2: cost 471 inf + 1295
1.502 * * [simplify]: Extracting #3: cost 389 inf + 9023
1.517 * * [simplify]: Extracting #4: cost 222 inf + 71516
1.536 * * [simplify]: Extracting #5: cost 5 inf + 174846
1.561 * * [simplify]: Extracting #6: cost 0 inf + 173968
1.603 * * [simplify]: Extracting #7: cost 0 inf + 173837
1.644 * [simplify]: Simplified to:
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
1.648 * * [progress]: iteration 1 / 4
1.649 * * * [progress]: picking best candidate
1.655 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
1.655 * * * [progress]: localizing error
1.685 * * * [progress]: generating rewritten candidates
1.685 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.705 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
1.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
1.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
2.623 * * * [progress]: generating series expansions
2.624 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
2.624 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
2.624 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
2.624 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.624 * [taylor]: Taking taylor expansion of d1 in d1
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 1 into 1
2.624 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.624 * [taylor]: Taking taylor expansion of d1 in d1
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 1 into 1
2.625 * [backup-simplify]: Simplify (* 1 1) into 1
2.626 * [backup-simplify]: Simplify (* 1 1) into 1
2.626 * [backup-simplify]: Simplify 1 into 1
2.627 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.628 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.630 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.632 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.635 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.642 * [backup-simplify]: Simplify 0 into 0
2.642 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
2.642 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
2.642 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
2.642 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
2.642 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.642 * [taylor]: Taking taylor expansion of d1 in d1
2.642 * [backup-simplify]: Simplify 0 into 0
2.642 * [backup-simplify]: Simplify 1 into 1
2.643 * [backup-simplify]: Simplify (* 1 1) into 1
2.643 * [backup-simplify]: Simplify (* 1 1) into 1
2.643 * [backup-simplify]: Simplify (/ 1 1) into 1
2.643 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
2.643 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.643 * [taylor]: Taking taylor expansion of d1 in d1
2.644 * [backup-simplify]: Simplify 0 into 0
2.644 * [backup-simplify]: Simplify 1 into 1
2.644 * [backup-simplify]: Simplify (* 1 1) into 1
2.644 * [backup-simplify]: Simplify (* 1 1) into 1
2.645 * [backup-simplify]: Simplify (/ 1 1) into 1
2.645 * [backup-simplify]: Simplify 1 into 1
2.645 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.647 * [backup-simplify]: Simplify 0 into 0
2.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.650 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.653 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.657 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.661 * [backup-simplify]: Simplify 0 into 0
2.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.665 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
2.666 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
2.666 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
2.666 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
2.666 * [taylor]: Taking taylor expansion of -1 in d1
2.666 * [backup-simplify]: Simplify -1 into -1
2.666 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.666 * [taylor]: Taking taylor expansion of d1 in d1
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify 1 into 1
2.666 * [backup-simplify]: Simplify (* 1 1) into 1
2.667 * [backup-simplify]: Simplify (* 1 1) into 1
2.667 * [backup-simplify]: Simplify (/ -1 1) into -1
2.667 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
2.668 * [taylor]: Taking taylor expansion of -1 in d1
2.668 * [backup-simplify]: Simplify -1 into -1
2.668 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.668 * [taylor]: Taking taylor expansion of d1 in d1
2.668 * [backup-simplify]: Simplify 0 into 0
2.668 * [backup-simplify]: Simplify 1 into 1
2.668 * [backup-simplify]: Simplify (* 1 1) into 1
2.668 * [backup-simplify]: Simplify (* 1 1) into 1
2.669 * [backup-simplify]: Simplify (/ -1 1) into -1
2.669 * [backup-simplify]: Simplify -1 into -1
2.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.671 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.674 * [backup-simplify]: Simplify 0 into 0
2.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.678 * [backup-simplify]: Simplify 0 into 0
2.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.681 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.685 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.690 * [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
2.690 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
2.690 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
2.690 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
2.690 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
2.690 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.690 * [taylor]: Taking taylor expansion of d1 in d1
2.690 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify 1 into 1
2.690 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.690 * [taylor]: Taking taylor expansion of d1 in d1
2.690 * [backup-simplify]: Simplify 0 into 0
2.691 * [backup-simplify]: Simplify 1 into 1
2.691 * [backup-simplify]: Simplify (* 1 1) into 1
2.691 * [backup-simplify]: Simplify (* 1 1) into 1
2.691 * [backup-simplify]: Simplify 1 into 1
2.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.693 * [backup-simplify]: Simplify 0 into 0
2.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.695 * [backup-simplify]: Simplify 0 into 0
2.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.697 * [backup-simplify]: Simplify 0 into 0
2.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.705 * [backup-simplify]: Simplify 0 into 0
2.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.708 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.711 * [backup-simplify]: Simplify 0 into 0
2.712 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
2.712 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
2.712 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
2.712 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.712 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.712 * [taylor]: Taking taylor expansion of d1 in d1
2.712 * [backup-simplify]: Simplify 0 into 0
2.712 * [backup-simplify]: Simplify 1 into 1
2.712 * [backup-simplify]: Simplify (* 1 1) into 1
2.713 * [backup-simplify]: Simplify (* 1 1) into 1
2.713 * [backup-simplify]: Simplify (/ 1 1) into 1
2.713 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.713 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.713 * [taylor]: Taking taylor expansion of d1 in d1
2.713 * [backup-simplify]: Simplify 0 into 0
2.713 * [backup-simplify]: Simplify 1 into 1
2.714 * [backup-simplify]: Simplify (* 1 1) into 1
2.714 * [backup-simplify]: Simplify (* 1 1) into 1
2.715 * [backup-simplify]: Simplify (/ 1 1) into 1
2.715 * [backup-simplify]: Simplify 1 into 1
2.716 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.716 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.717 * [backup-simplify]: Simplify 0 into 0
2.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.720 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.723 * [backup-simplify]: Simplify 0 into 0
2.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.727 * [backup-simplify]: Simplify 0 into 0
2.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.731 * [backup-simplify]: Simplify 0 into 0
2.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.734 * [backup-simplify]: Simplify 0 into 0
2.734 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
2.735 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
2.735 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
2.735 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.735 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.735 * [taylor]: Taking taylor expansion of d1 in d1
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify 1 into 1
2.735 * [backup-simplify]: Simplify (* 1 1) into 1
2.735 * [backup-simplify]: Simplify (* 1 1) into 1
2.735 * [backup-simplify]: Simplify (/ 1 1) into 1
2.735 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.735 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.736 * [taylor]: Taking taylor expansion of d1 in d1
2.736 * [backup-simplify]: Simplify 0 into 0
2.736 * [backup-simplify]: Simplify 1 into 1
2.736 * [backup-simplify]: Simplify (* 1 1) into 1
2.736 * [backup-simplify]: Simplify (* 1 1) into 1
2.736 * [backup-simplify]: Simplify (/ 1 1) into 1
2.736 * [backup-simplify]: Simplify 1 into 1
2.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.738 * [backup-simplify]: Simplify 0 into 0
2.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.739 * [backup-simplify]: Simplify 0 into 0
2.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.741 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.743 * [backup-simplify]: Simplify 0 into 0
2.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.745 * [backup-simplify]: Simplify 0 into 0
2.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.747 * [backup-simplify]: Simplify 0 into 0
2.747 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
2.747 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
2.748 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
2.748 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
2.748 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.748 * [taylor]: Taking taylor expansion of d1 in d1
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.748 * [taylor]: Taking taylor expansion of d1 in d1
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [backup-simplify]: Simplify (* 1 1) into 1
2.748 * [backup-simplify]: Simplify (* 1 1) into 1
2.748 * [backup-simplify]: Simplify (* 1 1) into 1
2.748 * [backup-simplify]: Simplify 1 into 1
2.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.750 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.750 * [backup-simplify]: Simplify 0 into 0
2.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.751 * [backup-simplify]: Simplify 0 into 0
2.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.753 * [backup-simplify]: Simplify 0 into 0
2.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.755 * [backup-simplify]: Simplify 0 into 0
2.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.757 * [backup-simplify]: Simplify 0 into 0
2.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.760 * [backup-simplify]: Simplify 0 into 0
2.760 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
2.760 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
2.760 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
2.760 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
2.760 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.760 * [taylor]: Taking taylor expansion of d1 in d1
2.760 * [backup-simplify]: Simplify 0 into 0
2.760 * [backup-simplify]: Simplify 1 into 1
2.761 * [backup-simplify]: Simplify (* 1 1) into 1
2.761 * [backup-simplify]: Simplify (* 1 1) into 1
2.761 * [backup-simplify]: Simplify (* 1 1) into 1
2.761 * [backup-simplify]: Simplify (/ 1 1) into 1
2.761 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
2.761 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.761 * [taylor]: Taking taylor expansion of d1 in d1
2.761 * [backup-simplify]: Simplify 0 into 0
2.761 * [backup-simplify]: Simplify 1 into 1
2.762 * [backup-simplify]: Simplify (* 1 1) into 1
2.762 * [backup-simplify]: Simplify (* 1 1) into 1
2.762 * [backup-simplify]: Simplify (* 1 1) into 1
2.762 * [backup-simplify]: Simplify (/ 1 1) into 1
2.762 * [backup-simplify]: Simplify 1 into 1
2.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.764 * [backup-simplify]: Simplify 0 into 0
2.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.766 * [backup-simplify]: Simplify 0 into 0
2.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.768 * [backup-simplify]: Simplify 0 into 0
2.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.771 * [backup-simplify]: Simplify 0 into 0
2.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.775 * [backup-simplify]: Simplify 0 into 0
2.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.779 * [backup-simplify]: Simplify 0 into 0
2.779 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
2.779 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
2.779 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
2.779 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
2.779 * [taylor]: Taking taylor expansion of -1 in d1
2.779 * [backup-simplify]: Simplify -1 into -1
2.779 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.779 * [taylor]: Taking taylor expansion of d1 in d1
2.779 * [backup-simplify]: Simplify 0 into 0
2.779 * [backup-simplify]: Simplify 1 into 1
2.779 * [backup-simplify]: Simplify (* 1 1) into 1
2.780 * [backup-simplify]: Simplify (* 1 1) into 1
2.780 * [backup-simplify]: Simplify (* 1 1) into 1
2.780 * [backup-simplify]: Simplify (/ -1 1) into -1
2.780 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
2.780 * [taylor]: Taking taylor expansion of -1 in d1
2.780 * [backup-simplify]: Simplify -1 into -1
2.780 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.780 * [taylor]: Taking taylor expansion of d1 in d1
2.780 * [backup-simplify]: Simplify 0 into 0
2.780 * [backup-simplify]: Simplify 1 into 1
2.781 * [backup-simplify]: Simplify (* 1 1) into 1
2.781 * [backup-simplify]: Simplify (* 1 1) into 1
2.781 * [backup-simplify]: Simplify (* 1 1) into 1
2.781 * [backup-simplify]: Simplify (/ -1 1) into -1
2.782 * [backup-simplify]: Simplify -1 into -1
2.782 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.783 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.784 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.784 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.784 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.787 * [backup-simplify]: Simplify 0 into 0
2.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.789 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.792 * [backup-simplify]: Simplify 0 into 0
2.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.795 * [backup-simplify]: Simplify 0 into 0
2.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.798 * [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
2.798 * [backup-simplify]: Simplify 0 into 0
2.798 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
2.799 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
2.799 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
2.799 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
2.799 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.799 * [taylor]: Taking taylor expansion of d1 in d1
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify 1 into 1
2.799 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.799 * [taylor]: Taking taylor expansion of d1 in d1
2.799 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify 1 into 1
2.799 * [backup-simplify]: Simplify (* 1 1) into 1
2.799 * [backup-simplify]: Simplify (* 1 1) into 1
2.800 * [backup-simplify]: Simplify (* 1 1) into 1
2.800 * [backup-simplify]: Simplify (* 1 1) into 1
2.800 * [backup-simplify]: Simplify 1 into 1
2.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.801 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.805 * [backup-simplify]: Simplify 0 into 0
2.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.807 * [backup-simplify]: Simplify 0 into 0
2.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.810 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.814 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
2.821 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
2.821 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
2.821 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
2.821 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.821 * [taylor]: Taking taylor expansion of d1 in d1
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify 1 into 1
2.822 * [backup-simplify]: Simplify (* 1 1) into 1
2.822 * [backup-simplify]: Simplify (* 1 1) into 1
2.823 * [backup-simplify]: Simplify (* 1 1) into 1
2.823 * [backup-simplify]: Simplify (* 1 1) into 1
2.823 * [backup-simplify]: Simplify (/ 1 1) into 1
2.823 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
2.823 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.823 * [taylor]: Taking taylor expansion of d1 in d1
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify 1 into 1
2.824 * [backup-simplify]: Simplify (* 1 1) into 1
2.824 * [backup-simplify]: Simplify (* 1 1) into 1
2.825 * [backup-simplify]: Simplify (* 1 1) into 1
2.825 * [backup-simplify]: Simplify (* 1 1) into 1
2.825 * [backup-simplify]: Simplify (/ 1 1) into 1
2.825 * [backup-simplify]: Simplify 1 into 1
2.826 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.828 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.829 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.834 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.840 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.846 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.852 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
2.860 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
2.860 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
2.860 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
2.860 * [taylor]: Taking taylor expansion of -1 in d1
2.860 * [backup-simplify]: Simplify -1 into -1
2.860 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.860 * [taylor]: Taking taylor expansion of d1 in d1
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 1 into 1
2.861 * [backup-simplify]: Simplify (* 1 1) into 1
2.861 * [backup-simplify]: Simplify (* 1 1) into 1
2.862 * [backup-simplify]: Simplify (* 1 1) into 1
2.862 * [backup-simplify]: Simplify (* 1 1) into 1
2.862 * [backup-simplify]: Simplify (/ -1 1) into -1
2.862 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
2.863 * [taylor]: Taking taylor expansion of -1 in d1
2.863 * [backup-simplify]: Simplify -1 into -1
2.863 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.863 * [taylor]: Taking taylor expansion of d1 in d1
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 1 into 1
2.863 * [backup-simplify]: Simplify (* 1 1) into 1
2.863 * [backup-simplify]: Simplify (* 1 1) into 1
2.864 * [backup-simplify]: Simplify (* 1 1) into 1
2.864 * [backup-simplify]: Simplify (* 1 1) into 1
2.865 * [backup-simplify]: Simplify (/ -1 1) into -1
2.865 * [backup-simplify]: Simplify -1 into -1
2.865 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.868 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.873 * [backup-simplify]: Simplify 0 into 0
2.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.878 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.884 * [backup-simplify]: Simplify 0 into 0
2.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.890 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.897 * [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
2.897 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
2.898 * * * [progress]: simplifying candidates
2.898 * * * * [progress]: [ 1 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log1p (expm1 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.898 * * * * [progress]: [ 2 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (expm1 (log1p (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.898 * * * * [progress]: [ 3 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
2.898 * * * * [progress]: [ 4 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
2.898 * * * * [progress]: [ 5 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
2.898 * * * * [progress]: [ 6 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
2.898 * * * * [progress]: [ 7 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 8 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 9 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 10 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 11 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 12 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 13 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 14 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 15 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 16 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 17 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 18 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 19 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 20 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 21 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 22 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
2.899 * * * * [progress]: [ 23 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 24 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 25 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 26 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 27 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 28 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log1p (expm1 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 29 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (expm1 (log1p (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 30 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 31 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 32 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 33 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 34 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 35 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 36 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 37 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
2.900 * * * * [progress]: [ 38 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 39 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 40 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 41 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 42 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 43 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 44 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 45 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 46 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 47 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 48 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 49 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 50 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 51 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
2.901 * * * * [progress]: [ 52 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 53 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 54 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 55 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 56 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 57 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 58 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 59 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 60 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 61 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 62 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log1p (expm1 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 63 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (expm1 (log1p (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 64 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.902 * * * * [progress]: [ 65 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 66 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 67 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 68 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 69 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 70 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 71 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 72 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 73 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 74 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 75 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 76 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 77 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 78 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.903 * * * * [progress]: [ 79 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 80 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 81 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 82 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 83 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 84 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 85 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 86 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 87 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 88 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 89 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 90 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 91 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 92 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 93 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 94 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 95 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
2.904 * * * * [progress]: [ 96 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 97 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 98 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 99 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 100 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 101 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 102 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 103 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 104 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 105 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 106 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 107 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 108 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
2.905 * * * * [progress]: [ 109 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log1p (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
2.905 * * * * [progress]: [ 110 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (expm1 (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
2.905 * * * * [progress]: [ 111 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.905 * * * * [progress]: [ 112 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.905 * * * * [progress]: [ 113 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.905 * * * * [progress]: [ 114 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.905 * * * * [progress]: [ 115 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.905 * * * * [progress]: [ 116 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
2.905 * * * * [progress]: [ 117 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.905 * * * * [progress]: [ 118 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
2.905 * * * * [progress]: [ 119 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.905 * * * * [progress]: [ 120 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.906 * * * * [progress]: [ 121 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 122 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.906 * * * * [progress]: [ 123 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 124 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
2.906 * * * * [progress]: [ 125 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 126 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
2.906 * * * * [progress]: [ 127 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 128 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
2.906 * * * * [progress]: [ 129 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 130 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
2.906 * * * * [progress]: [ 131 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 132 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.906 * * * * [progress]: [ 133 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 134 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.906 * * * * [progress]: [ 135 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 136 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
2.906 * * * * [progress]: [ 137 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 138 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
2.906 * * * * [progress]: [ 139 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.906 * * * * [progress]: [ 140 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.906 * * * * [progress]: [ 141 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 142 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.907 * * * * [progress]: [ 143 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 144 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
2.907 * * * * [progress]: [ 145 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 146 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
2.907 * * * * [progress]: [ 147 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 148 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
2.907 * * * * [progress]: [ 149 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 150 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
2.907 * * * * [progress]: [ 151 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 152 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.907 * * * * [progress]: [ 153 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 154 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.907 * * * * [progress]: [ 155 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 156 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
2.907 * * * * [progress]: [ 157 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 158 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
2.907 * * * * [progress]: [ 159 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 160 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.907 * * * * [progress]: [ 161 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 162 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.907 * * * * [progress]: [ 163 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.907 * * * * [progress]: [ 164 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
2.908 * * * * [progress]: [ 165 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 166 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
2.908 * * * * [progress]: [ 167 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 168 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
2.908 * * * * [progress]: [ 169 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 170 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
2.908 * * * * [progress]: [ 171 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 172 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.908 * * * * [progress]: [ 173 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 174 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.908 * * * * [progress]: [ 175 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 176 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
2.908 * * * * [progress]: [ 177 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 178 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
2.908 * * * * [progress]: [ 179 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 180 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
2.908 * * * * [progress]: [ 181 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 182 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
2.908 * * * * [progress]: [ 183 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 184 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
2.908 * * * * [progress]: [ 185 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 186 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
2.908 * * * * [progress]: [ 187 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.908 * * * * [progress]: [ 188 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
2.909 * * * * [progress]: [ 189 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
2.909 * * * * [progress]: [ 190 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
2.909 * * * * [progress]: [ 191 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 192 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 193 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 194 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 195 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 196 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 197 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 198 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 199 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 200 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 201 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
2.909 * * * * [progress]: [ 202 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 203 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 204 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 205 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 206 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 207 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 208 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 209 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 210 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 211 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))) d1)) d1))>
2.909 * * * * [progress]: [ 212 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
2.910 * * * * [progress]: [ 213 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
2.910 * * * * [progress]: [ 214 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 215 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 216 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 217 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 218 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 219 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 220 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 221 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 222 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 223 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 224 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 225 / 243 ] simplifiying candidate #<alt (λ (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))>
2.910 * * * * [progress]: [ 226 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
2.910 * * * * [progress]: [ 227 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* 1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1)) d1))>
2.910 * * * * [progress]: [ 228 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) d1) d1) d1)) d1))>
2.910 * * * * [progress]: [ 229 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) (* d1 (* d1 d1))) d1)) d1))>
2.910 * * * * [progress]: [ 230 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (posit16->real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
2.910 * * * * [progress]: [ 231 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 d1) (* (* (* d1 (* d1 d1)) d1) d1)) d1)) d1))>
2.910 * * * * [progress]: [ 232 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 233 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 234 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 235 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 236 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 237 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 238 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
2.910 * * * * [progress]: [ 239 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
2.911 * * * * [progress]: [ 240 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
2.911 * * * * [progress]: [ 241 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
2.911 * * * * [progress]: [ 242 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
2.911 * * * * [progress]: [ 243 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
2.912 * [simplify]: Simplifying:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 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))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* d1 (* d1 d1)) d1))
  (log1p (* (* 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)
  (real->posit16 (* (* d1 (* d1 d1)) d1))
  (expm1 (* (* (* d1 (* d1 d1)) d1) d1))
  (log1p (* (* (* 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)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (log1p (* (* (* (* d1 (* d1 d1)) d1) 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))
  (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
2.914 * * [simplify]: iteration 0: 139 enodes
2.968 * * [simplify]: iteration 1: 353 enodes
3.135 * * [simplify]: iteration 2: 991 enodes
3.558 * * [simplify]: iteration 3: 2008 enodes
4.019 * * [simplify]: iteration complete: 2008 enodes
4.019 * * [simplify]: Extracting #0: cost 53 inf + 0
4.020 * * [simplify]: Extracting #1: cost 376 inf + 5
4.024 * * [simplify]: Extracting #2: cost 429 inf + 37600
4.045 * * [simplify]: Extracting #3: cost 98 inf + 122946
4.065 * * [simplify]: Extracting #4: cost 12 inf + 135573
4.087 * * [simplify]: Extracting #5: cost 0 inf + 138948
4.120 * * [simplify]: Extracting #6: cost 0 inf + 138908
4.158 * [simplify]: Simplified to:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  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)))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* (* (cbrt d1) d1) d1)
  (* (* d1 (sqrt d1)) d1)
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* d1 d1) (* d1 d1)))
  (log1p (* (* 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
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (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)))
  (* (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))))
  (* (sqrt d1) (* d1 (* d1 d1)))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  (expm1 (* (* d1 (* d1 d1)) (* d1 d1)))
  (log1p (* (* 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
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (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)
  (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))
  (expm1 (* (* (* d1 d1) (* d1 (* d1 d1))) (* d1 d1)))
  (log1p (* (* (* 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))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (log d1)))
  (fma 3 (log d1) (* 4 (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))
  (real->posit16 (* (* (* d1 d1) (* d1 (* d1 d1))) (* d1 d1)))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* (* d1 d1) (* d1 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)
4.170 * * * [progress]: adding candidates to table
4.560 * * [progress]: iteration 2 / 4
4.560 * * * [progress]: picking best candidate
4.567 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.567 * * * [progress]: localizing error
4.583 * * * [progress]: generating rewritten candidates
4.583 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.641 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
4.661 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
4.695 * * * [progress]: generating series expansions
4.695 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.695 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
4.696 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
4.696 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
4.696 * [taylor]: Taking taylor expansion of d1 in d1
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.696 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
4.696 * [taylor]: Taking taylor expansion of d1 in d1
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (* 1 1) into 1
4.697 * [backup-simplify]: Simplify (* 1 1) into 1
4.697 * [backup-simplify]: Simplify (* 1 1) into 1
4.698 * [backup-simplify]: Simplify (* 1 1) into 1
4.698 * [backup-simplify]: Simplify 1 into 1
4.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.700 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.704 * [backup-simplify]: Simplify 0 into 0
4.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.709 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.714 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.723 * [backup-simplify]: Simplify 0 into 0
4.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
4.727 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
4.727 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
4.727 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
4.727 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
4.727 * [taylor]: Taking taylor expansion of d1 in d1
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify 1 into 1
4.728 * [backup-simplify]: Simplify (* 1 1) into 1
4.728 * [backup-simplify]: Simplify (* 1 1) into 1
4.728 * [backup-simplify]: Simplify (* 1 1) into 1
4.728 * [backup-simplify]: Simplify (* 1 1) into 1
4.729 * [backup-simplify]: Simplify (/ 1 1) into 1
4.729 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
4.729 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
4.729 * [taylor]: Taking taylor expansion of d1 in d1
4.729 * [backup-simplify]: Simplify 0 into 0
4.729 * [backup-simplify]: Simplify 1 into 1
4.729 * [backup-simplify]: Simplify (* 1 1) into 1
4.729 * [backup-simplify]: Simplify (* 1 1) into 1
4.729 * [backup-simplify]: Simplify (* 1 1) into 1
4.730 * [backup-simplify]: Simplify (* 1 1) into 1
4.730 * [backup-simplify]: Simplify (/ 1 1) into 1
4.730 * [backup-simplify]: Simplify 1 into 1
4.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.731 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.731 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.731 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.732 * [backup-simplify]: Simplify 0 into 0
4.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.741 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.745 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
4.752 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
4.752 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
4.752 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
4.752 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
4.753 * [taylor]: Taking taylor expansion of d1 in d1
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 1 into 1
4.753 * [backup-simplify]: Simplify (* 1 1) into 1
4.753 * [backup-simplify]: Simplify (* 1 1) into 1
4.754 * [backup-simplify]: Simplify (* 1 1) into 1
4.754 * [backup-simplify]: Simplify (* 1 1) into 1
4.754 * [backup-simplify]: Simplify (/ 1 1) into 1
4.754 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
4.754 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
4.754 * [taylor]: Taking taylor expansion of d1 in d1
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.755 * [backup-simplify]: Simplify (* 1 1) into 1
4.755 * [backup-simplify]: Simplify (* 1 1) into 1
4.756 * [backup-simplify]: Simplify (* 1 1) into 1
4.756 * [backup-simplify]: Simplify (* 1 1) into 1
4.756 * [backup-simplify]: Simplify (/ 1 1) into 1
4.757 * [backup-simplify]: Simplify 1 into 1
4.757 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.759 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.765 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.771 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.784 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.792 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
4.793 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
4.793 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
4.793 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
4.793 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
4.793 * [taylor]: Taking taylor expansion of d1 in d1
4.793 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify 1 into 1
4.793 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
4.793 * [taylor]: Taking taylor expansion of d1 in d1
4.793 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify 1 into 1
4.794 * [backup-simplify]: Simplify (* 1 1) into 1
4.794 * [backup-simplify]: Simplify (* 1 1) into 1
4.794 * [backup-simplify]: Simplify (* 1 1) into 1
4.794 * [backup-simplify]: Simplify 1 into 1
4.795 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.796 * [backup-simplify]: Simplify 0 into 0
4.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.799 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.803 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
4.817 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
4.817 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
4.817 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
4.817 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
4.817 * [taylor]: Taking taylor expansion of d1 in d1
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify 1 into 1
4.818 * [backup-simplify]: Simplify (* 1 1) into 1
4.818 * [backup-simplify]: Simplify (* 1 1) into 1
4.819 * [backup-simplify]: Simplify (* 1 1) into 1
4.819 * [backup-simplify]: Simplify (/ 1 1) into 1
4.819 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
4.819 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
4.819 * [taylor]: Taking taylor expansion of d1 in d1
4.819 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [backup-simplify]: Simplify (* 1 1) into 1
4.820 * [backup-simplify]: Simplify (* 1 1) into 1
4.821 * [backup-simplify]: Simplify (* 1 1) into 1
4.821 * [backup-simplify]: Simplify (/ 1 1) into 1
4.821 * [backup-simplify]: Simplify 1 into 1
4.822 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.822 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.824 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.828 * [backup-simplify]: Simplify 0 into 0
4.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.832 * [backup-simplify]: Simplify 0 into 0
4.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.836 * [backup-simplify]: Simplify 0 into 0
4.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.839 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.842 * [backup-simplify]: Simplify 0 into 0
4.843 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
4.843 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
4.843 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
4.843 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
4.843 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
4.843 * [taylor]: Taking taylor expansion of d1 in d1
4.843 * [backup-simplify]: Simplify 0 into 0
4.843 * [backup-simplify]: Simplify 1 into 1
4.843 * [backup-simplify]: Simplify (* 1 1) into 1
4.843 * [backup-simplify]: Simplify (* 1 1) into 1
4.844 * [backup-simplify]: Simplify (* 1 1) into 1
4.845 * [backup-simplify]: Simplify (/ 1 1) into 1
4.845 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
4.845 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
4.845 * [taylor]: Taking taylor expansion of d1 in d1
4.845 * [backup-simplify]: Simplify 0 into 0
4.845 * [backup-simplify]: Simplify 1 into 1
4.845 * [backup-simplify]: Simplify (* 1 1) into 1
4.846 * [backup-simplify]: Simplify (* 1 1) into 1
4.846 * [backup-simplify]: Simplify (* 1 1) into 1
4.846 * [backup-simplify]: Simplify (/ 1 1) into 1
4.846 * [backup-simplify]: Simplify 1 into 1
4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.848 * [backup-simplify]: Simplify 0 into 0
4.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.850 * [backup-simplify]: Simplify 0 into 0
4.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.853 * [backup-simplify]: Simplify 0 into 0
4.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.855 * [backup-simplify]: Simplify 0 into 0
4.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.858 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.861 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
4.861 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
4.862 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
4.862 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
4.862 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
4.862 * [taylor]: Taking taylor expansion of d1 in d1
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 1 into 1
4.862 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
4.862 * [taylor]: Taking taylor expansion of d1 in d1
4.862 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify 1 into 1
4.862 * [backup-simplify]: Simplify (* 1 1) into 1
4.862 * [backup-simplify]: Simplify (* 1 1) into 1
4.862 * [backup-simplify]: Simplify (* 1 1) into 1
4.863 * [backup-simplify]: Simplify (* 1 1) into 1
4.863 * [backup-simplify]: Simplify 1 into 1
4.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.868 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.878 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.885 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.891 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
4.892 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
4.892 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
4.892 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
4.892 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
4.892 * [taylor]: Taking taylor expansion of d1 in d1
4.892 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [backup-simplify]: Simplify (* 1 1) into 1
4.893 * [backup-simplify]: Simplify (* 1 1) into 1
4.893 * [backup-simplify]: Simplify (* 1 1) into 1
4.894 * [backup-simplify]: Simplify (* 1 1) into 1
4.894 * [backup-simplify]: Simplify (/ 1 1) into 1
4.894 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
4.894 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
4.894 * [taylor]: Taking taylor expansion of d1 in d1
4.894 * [backup-simplify]: Simplify 0 into 0
4.894 * [backup-simplify]: Simplify 1 into 1
4.895 * [backup-simplify]: Simplify (* 1 1) into 1
4.895 * [backup-simplify]: Simplify (* 1 1) into 1
4.895 * [backup-simplify]: Simplify (* 1 1) into 1
4.896 * [backup-simplify]: Simplify (* 1 1) into 1
4.896 * [backup-simplify]: Simplify (/ 1 1) into 1
4.896 * [backup-simplify]: Simplify 1 into 1
4.897 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.898 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.898 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.899 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.905 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.910 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.916 * [backup-simplify]: Simplify 0 into 0
4.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.923 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
4.931 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
4.931 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
4.931 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
4.931 * [taylor]: Taking taylor expansion of -1 in d1
4.931 * [backup-simplify]: Simplify -1 into -1
4.931 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
4.931 * [taylor]: Taking taylor expansion of d1 in d1
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify 1 into 1
4.932 * [backup-simplify]: Simplify (* 1 1) into 1
4.932 * [backup-simplify]: Simplify (* 1 1) into 1
4.933 * [backup-simplify]: Simplify (* 1 1) into 1
4.933 * [backup-simplify]: Simplify (* 1 1) into 1
4.933 * [backup-simplify]: Simplify (/ -1 1) into -1
4.933 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
4.933 * [taylor]: Taking taylor expansion of -1 in d1
4.934 * [backup-simplify]: Simplify -1 into -1
4.934 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
4.934 * [taylor]: Taking taylor expansion of d1 in d1
4.934 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify 1 into 1
4.934 * [backup-simplify]: Simplify (* 1 1) into 1
4.934 * [backup-simplify]: Simplify (* 1 1) into 1
4.935 * [backup-simplify]: Simplify (* 1 1) into 1
4.935 * [backup-simplify]: Simplify (* 1 1) into 1
4.935 * [backup-simplify]: Simplify (/ -1 1) into -1
4.936 * [backup-simplify]: Simplify -1 into -1
4.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.937 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.939 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.945 * [backup-simplify]: Simplify 0 into 0
4.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.957 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.965 * [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
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
4.965 * * * [progress]: simplifying candidates
4.965 * * * * [progress]: [ 1 / 92 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (* d1 (* (pow d1 7) d1)) d1))))>
4.965 * * * * [progress]: [ 2 / 92 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (* d1 (* (pow d1 7) d1)) d1))))>
4.965 * * * * [progress]: [ 3 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
4.966 * * * * [progress]: [ 4 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
4.966 * * * * [progress]: [ 5 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
4.966 * * * * [progress]: [ 6 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
4.966 * * * * [progress]: [ 7 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
4.966 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
4.966 * * * * [progress]: [ 9 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
4.966 * * * * [progress]: [ 10 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
4.966 * * * * [progress]: [ 11 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
4.966 * * * * [progress]: [ 12 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))))>
4.966 * * * * [progress]: [ 13 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))))>
4.966 * * * * [progress]: [ 14 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (* d1 (* (pow d1 7) d1))) (log d1))))>
4.966 * * * * [progress]: [ 15 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (* d1 (* (pow d1 7) d1)) d1))))>
4.966 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (* d1 (* (pow d1 7) d1)) d1))))>
4.966 * * * * [progress]: [ 17 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))))>
4.966 * * * * [progress]: [ 18 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
4.966 * * * * [progress]: [ 19 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
4.966 * * * * [progress]: [ 20 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))))>
4.966 * * * * [progress]: [ 21 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))))>
4.966 * * * * [progress]: [ 22 / 92 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1))))>
4.966 * * * * [progress]: [ 23 / 92 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (* d1 (* (pow d1 7) d1)) d1)))>
4.966 * * * * [progress]: [ 24 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
4.966 * * * * [progress]: [ 25 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (sqrt d1)))>
4.966 * * * * [progress]: [ 26 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) 1) d1))>
4.966 * * * * [progress]: [ 27 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* (* (pow d1 7) d1) d1)))>
4.966 * * * * [progress]: [ 28 / 92 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))>
4.966 * * * * [progress]: [ 29 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* d1 (* (pow d1 7) d1))))>
4.966 * * * * [progress]: [ 30 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log1p (expm1 (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 31 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (expm1 (log1p (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 32 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
4.967 * * * * [progress]: [ 33 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
4.967 * * * * [progress]: [ 34 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow (* (pow d1 7) d1) 1)) d1))>
4.967 * * * * [progress]: [ 35 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
4.967 * * * * [progress]: [ 36 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
4.967 * * * * [progress]: [ 37 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (log (pow d1 7)) (log d1)))) d1))>
4.967 * * * * [progress]: [ 38 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (log (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 39 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log (exp (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 40 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
4.967 * * * * [progress]: [ 41 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 42 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 43 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 44 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
4.967 * * * * [progress]: [ 45 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)))) d1))>
4.967 * * * * [progress]: [ 46 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)))) d1))>
4.967 * * * * [progress]: [ 47 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)))) d1))>
4.967 * * * * [progress]: [ 48 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (cbrt d1))) d1))>
4.967 * * * * [progress]: [ 49 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (sqrt d1)) (sqrt d1))) d1))>
4.967 * * * * [progress]: [ 50 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) 1) d1)) d1))>
4.967 * * * * [progress]: [ 51 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (cbrt d1) (cbrt d1)) 7) (* (pow (cbrt d1) 7) d1))) d1))>
4.967 * * * * [progress]: [ 52 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (sqrt d1) 7) (* (pow (sqrt d1) 7) d1))) d1))>
4.967 * * * * [progress]: [ 53 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow 1 7) (* (pow d1 7) d1))) d1))>
4.967 * * * * [progress]: [ 54 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (pow d1 7)) (cbrt (pow d1 7))) (* (cbrt (pow d1 7)) d1))) d1))>
4.967 * * * * [progress]: [ 55 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (pow d1 7)) (* (sqrt (pow d1 7)) d1))) d1))>
4.967 * * * * [progress]: [ 56 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
4.967 * * * * [progress]: [ 57 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (/ 7 2)) (* (pow d1 (/ 7 2)) d1))) d1))>
4.967 * * * * [progress]: [ 58 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (posit16->real (real->posit16 (* (pow d1 7) d1)))) d1))>
4.967 * * * * [progress]: [ 59 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* d1 (pow d1 7))) d1))>
4.968 * * * * [progress]: [ 60 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 61 / 92 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 62 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
4.968 * * * * [progress]: [ 63 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
4.968 * * * * [progress]: [ 64 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
4.968 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
4.968 * * * * [progress]: [ 66 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
4.968 * * * * [progress]: [ 67 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
4.968 * * * * [progress]: [ 68 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (pow d1 7)) (log d1)))) d1))>
4.968 * * * * [progress]: [ 69 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 70 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 71 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 72 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
4.968 * * * * [progress]: [ 73 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 74 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 75 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 76 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 77 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
4.968 * * * * [progress]: [ 78 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (pow d1 7)) d1) d1))>
4.968 * * * * [progress]: [ 79 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (pow d1 7) d1))) d1))>
4.968 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (pow d1 7) d1))) d1))>
4.968 * * * * [progress]: [ 81 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
4.968 * * * * [progress]: [ 82 / 92 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))>
4.968 * * * * [progress]: [ 83 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (pow d1 7) d1) d1) d1))>
4.968 * * * * [progress]: [ 84 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
4.968 * * * * [progress]: [ 85 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
4.968 * * * * [progress]: [ 86 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
4.968 * * * * [progress]: [ 87 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
4.968 * * * * [progress]: [ 88 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
4.968 * * * * [progress]: [ 89 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
4.969 * * * * [progress]: [ 90 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
4.969 * * * * [progress]: [ 91 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
4.969 * * * * [progress]: [ 92 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
4.969 * [simplify]: Simplifying:
  (expm1 (* (* d1 (* (pow d1 7) d1)) d1))
  (log1p (* (* d1 (* (pow d1 7) d1)) 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)
  (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))
  (expm1 (* (pow d1 7) d1))
  (log1p (* (pow d1 7) d1))
  (+ 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)
  (real->posit16 (* (pow d1 7) d1))
  (expm1 (* d1 (* (pow d1 7) d1)))
  (log1p (* d1 (* (pow d1 7) 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))
  (real->posit16 (* d1 (* (pow d1 7) d1)))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
4.970 * * [simplify]: iteration 0: 96 enodes
4.996 * * [simplify]: iteration 1: 242 enodes
5.095 * * [simplify]: iteration 2: 715 enodes
5.666 * * [simplify]: iteration 3: 2005 enodes
6.270 * * [simplify]: iteration complete: 2005 enodes
6.270 * * [simplify]: Extracting #0: cost 48 inf + 0
6.271 * * [simplify]: Extracting #1: cost 368 inf + 3
6.275 * * [simplify]: Extracting #2: cost 673 inf + 1683
6.292 * * [simplify]: Extracting #3: cost 377 inf + 91481
6.341 * * [simplify]: Extracting #4: cost 34 inf + 200128
6.369 * * [simplify]: Extracting #5: cost 0 inf + 194944
6.412 * * [simplify]: Extracting #6: cost 0 inf + 193417
6.469 * [simplify]: Simplified to:
  (expm1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (log1p (* (* (* (* 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
  (+ (* 9 (log d1)) (log d1))
  (+ (* 9 (log d1)) (log d1))
  (+ (* 9 (log d1)) (log d1))
  (+ (* 9 (log d1)) (log d1))
  (+ (* 9 (log d1)) (log d1))
  (+ (* 9 (log d1)) (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)))
  (sqrt (* (* (* (* d1 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)) (cbrt d1)) (* (* (* d1 d1) (* d1 d1)) (cbrt d1))))
  (* (* (* (* 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 d1))) d1)
  (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (expm1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (log1p (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  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)))
  (pow (sqrt d1) 8)
  (pow (sqrt d1) 8)
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (fabs (pow d1 7/2)) (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)
  (* d1 (pow (cbrt d1) 7))
  (* (pow (sqrt d1) 7) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* d1 (cbrt (pow d1 7)))
  (* (fabs (pow d1 7/2)) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (expm1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (log1p (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  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)
  (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
6.475 * * * [progress]: adding candidates to table
6.758 * * [progress]: iteration 3 / 4
6.758 * * * [progress]: picking best candidate
6.761 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
6.761 * * * [progress]: localizing error
6.768 * * * [progress]: generating rewritten candidates
6.769 * * * [progress]: generating series expansions
6.769 * * * [progress]: simplifying candidates
6.769 * [simplify]: Simplifying:
  
6.769 * * [simplify]: iteration 0: 0 enodes
6.769 * * [simplify]: iteration complete: 0 enodes
6.769 * * [simplify]: Extracting #0: cost 0 inf + 0
6.769 * [simplify]: Simplified to:
  
6.769 * * * [progress]: adding candidates to table
6.770 * [progress]: [Phase 3 of 3] Extracting.
6.773 * [simplify]: Simplifying:
  (pow d1 10)
6.773 * * [simplify]: iteration 0: 3 enodes
6.774 * * [simplify]: iteration complete: 3 enodes
6.774 * * [simplify]: Extracting #0: cost 1 inf + 0
6.774 * * [simplify]: Extracting #1: cost 3 inf + 0
6.774 * * [simplify]: Extracting #2: cost 1 inf + 2
6.774 * * [simplify]: Extracting #3: cost 0 inf + 214
6.774 * [simplify]: Simplified to:
  (pow d1 10)
9.167 * [regime-testing]: Baseline error score: 0
9.170 * [regime-testing]: Oracle error score: 0
9.170 * [regime-testing]: End program error score: 0
9.213 * [regime-testing]: Target error score: 0