61.206 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.047 * * * [progress]: [2/2] Setting up program.
0.060 * [progress]: [Phase 2 of 3] Improving.
0.060 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.060 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.061 * * [simplify]: iteration 0: 9 enodes
0.076 * * [simplify]: iteration 1: 24 enodes
0.108 * * [simplify]: iteration 2: 54 enodes
0.166 * * [simplify]: iteration 3: 92 enodes
0.309 * * [simplify]: iteration 4: 248 enodes
0.604 * * [simplify]: iteration 5: 496 enodes
2.124 * * [simplify]: iteration 6: 2055 enodes
5.176 * * [simplify]: iteration complete: 5000 enodes
5.177 * * [simplify]: Extracting #0: cost 1 inf + 0
5.178 * * [simplify]: Extracting #1: cost 193 inf + 0
5.189 * * [simplify]: Extracting #2: cost 1247 inf + 339
5.197 * * [simplify]: Extracting #3: cost 1452 inf + 22586
5.214 * * [simplify]: Extracting #4: cost 1056 inf + 183593
5.251 * * [simplify]: Extracting #5: cost 434 inf + 522624
5.351 * * [simplify]: Extracting #6: cost 22 inf + 772552
5.449 * * [simplify]: Extracting #7: cost 0 inf + 786162
5.526 * * [simplify]: Extracting #8: cost 0 inf + 785297
5.602 * * [simplify]: Extracting #9: cost 0 inf + 785167
5.694 * [simplify]: Simplified to:
  (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)))
5.708 * * [progress]: iteration 1 / 4
5.708 * * * [progress]: picking best candidate
5.731 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
5.732 * * * [progress]: localizing error
5.794 * * * [progress]: generating rewritten candidates
5.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
5.825 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
5.908 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
7.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
7.538 * * * [progress]: generating series expansions
7.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
7.538 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
7.538 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
7.538 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.538 * [taylor]: Taking taylor expansion of d1 in d1
7.538 * [backup-simplify]: Simplify 0 into 0
7.538 * [backup-simplify]: Simplify 1 into 1
7.538 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.538 * [taylor]: Taking taylor expansion of d1 in d1
7.538 * [backup-simplify]: Simplify 0 into 0
7.538 * [backup-simplify]: Simplify 1 into 1
7.539 * [backup-simplify]: Simplify (* 1 1) into 1
7.539 * [backup-simplify]: Simplify (* 1 1) into 1
7.540 * [backup-simplify]: Simplify 1 into 1
7.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.541 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.541 * [backup-simplify]: Simplify 0 into 0
7.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.544 * [backup-simplify]: Simplify 0 into 0
7.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.546 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.549 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.552 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.556 * [backup-simplify]: Simplify 0 into 0
7.556 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
7.557 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
7.557 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
7.557 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
7.557 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.557 * [taylor]: Taking taylor expansion of d1 in d1
7.557 * [backup-simplify]: Simplify 0 into 0
7.557 * [backup-simplify]: Simplify 1 into 1
7.557 * [backup-simplify]: Simplify (* 1 1) into 1
7.558 * [backup-simplify]: Simplify (* 1 1) into 1
7.558 * [backup-simplify]: Simplify (/ 1 1) into 1
7.558 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
7.558 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.558 * [taylor]: Taking taylor expansion of d1 in d1
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify 1 into 1
7.559 * [backup-simplify]: Simplify (* 1 1) into 1
7.559 * [backup-simplify]: Simplify (* 1 1) into 1
7.560 * [backup-simplify]: Simplify (/ 1 1) into 1
7.560 * [backup-simplify]: Simplify 1 into 1
7.560 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.561 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.562 * [backup-simplify]: Simplify 0 into 0
7.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.565 * [backup-simplify]: Simplify 0 into 0
7.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.569 * [backup-simplify]: Simplify 0 into 0
7.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.573 * [backup-simplify]: Simplify 0 into 0
7.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.577 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
7.583 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
7.583 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
7.583 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
7.583 * [taylor]: Taking taylor expansion of -1 in d1
7.583 * [backup-simplify]: Simplify -1 into -1
7.583 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.583 * [taylor]: Taking taylor expansion of d1 in d1
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 1 into 1
7.584 * [backup-simplify]: Simplify (* 1 1) into 1
7.584 * [backup-simplify]: Simplify (* 1 1) into 1
7.584 * [backup-simplify]: Simplify (/ -1 1) into -1
7.584 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
7.584 * [taylor]: Taking taylor expansion of -1 in d1
7.585 * [backup-simplify]: Simplify -1 into -1
7.585 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.585 * [taylor]: Taking taylor expansion of d1 in d1
7.585 * [backup-simplify]: Simplify 0 into 0
7.585 * [backup-simplify]: Simplify 1 into 1
7.585 * [backup-simplify]: Simplify (* 1 1) into 1
7.585 * [backup-simplify]: Simplify (* 1 1) into 1
7.586 * [backup-simplify]: Simplify (/ -1 1) into -1
7.586 * [backup-simplify]: Simplify -1 into -1
7.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.589 * [backup-simplify]: Simplify 0 into 0
7.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.593 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.600 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.610 * [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
7.610 * [backup-simplify]: Simplify 0 into 0
7.610 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
7.610 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
7.611 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
7.611 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
7.611 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.611 * [taylor]: Taking taylor expansion of d1 in d1
7.611 * [backup-simplify]: Simplify 0 into 0
7.611 * [backup-simplify]: Simplify 1 into 1
7.611 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.611 * [taylor]: Taking taylor expansion of d1 in d1
7.611 * [backup-simplify]: Simplify 0 into 0
7.611 * [backup-simplify]: Simplify 1 into 1
7.611 * [backup-simplify]: Simplify (* 1 1) into 1
7.612 * [backup-simplify]: Simplify (* 1 1) into 1
7.612 * [backup-simplify]: Simplify 1 into 1
7.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.613 * [backup-simplify]: Simplify 0 into 0
7.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.615 * [backup-simplify]: Simplify 0 into 0
7.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.616 * [backup-simplify]: Simplify 0 into 0
7.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.618 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.620 * [backup-simplify]: Simplify 0 into 0
7.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.622 * [backup-simplify]: Simplify 0 into 0
7.622 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
7.623 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
7.623 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
7.623 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.623 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.623 * [taylor]: Taking taylor expansion of d1 in d1
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 1 into 1
7.623 * [backup-simplify]: Simplify (* 1 1) into 1
7.623 * [backup-simplify]: Simplify (* 1 1) into 1
7.624 * [backup-simplify]: Simplify (/ 1 1) into 1
7.624 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.624 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.624 * [taylor]: Taking taylor expansion of d1 in d1
7.624 * [backup-simplify]: Simplify 0 into 0
7.624 * [backup-simplify]: Simplify 1 into 1
7.624 * [backup-simplify]: Simplify (* 1 1) into 1
7.624 * [backup-simplify]: Simplify (* 1 1) into 1
7.625 * [backup-simplify]: Simplify (/ 1 1) into 1
7.625 * [backup-simplify]: Simplify 1 into 1
7.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.626 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.630 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.633 * [backup-simplify]: Simplify 0 into 0
7.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
7.643 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
7.643 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
7.643 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.643 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.643 * [taylor]: Taking taylor expansion of d1 in d1
7.643 * [backup-simplify]: Simplify 0 into 0
7.643 * [backup-simplify]: Simplify 1 into 1
7.644 * [backup-simplify]: Simplify (* 1 1) into 1
7.644 * [backup-simplify]: Simplify (* 1 1) into 1
7.645 * [backup-simplify]: Simplify (/ 1 1) into 1
7.645 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.645 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.645 * [taylor]: Taking taylor expansion of d1 in d1
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify 1 into 1
7.645 * [backup-simplify]: Simplify (* 1 1) into 1
7.646 * [backup-simplify]: Simplify (* 1 1) into 1
7.646 * [backup-simplify]: Simplify (/ 1 1) into 1
7.646 * [backup-simplify]: Simplify 1 into 1
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.650 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.651 * [backup-simplify]: Simplify 0 into 0
7.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.654 * [backup-simplify]: Simplify 0 into 0
7.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.656 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.659 * [backup-simplify]: Simplify 0 into 0
7.659 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
7.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
7.660 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
7.660 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
7.660 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.660 * [taylor]: Taking taylor expansion of d1 in d1
7.660 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify 1 into 1
7.660 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.660 * [taylor]: Taking taylor expansion of d1 in d1
7.660 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify 1 into 1
7.660 * [backup-simplify]: Simplify (* 1 1) into 1
7.661 * [backup-simplify]: Simplify (* 1 1) into 1
7.661 * [backup-simplify]: Simplify (* 1 1) into 1
7.661 * [backup-simplify]: Simplify (* 1 1) into 1
7.661 * [backup-simplify]: Simplify 1 into 1
7.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.665 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.668 * [backup-simplify]: Simplify 0 into 0
7.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.671 * [backup-simplify]: Simplify 0 into 0
7.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.674 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.681 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
7.683 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
7.683 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
7.683 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
7.683 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.683 * [taylor]: Taking taylor expansion of d1 in d1
7.683 * [backup-simplify]: Simplify 0 into 0
7.683 * [backup-simplify]: Simplify 1 into 1
7.684 * [backup-simplify]: Simplify (* 1 1) into 1
7.684 * [backup-simplify]: Simplify (* 1 1) into 1
7.685 * [backup-simplify]: Simplify (* 1 1) into 1
7.685 * [backup-simplify]: Simplify (* 1 1) into 1
7.685 * [backup-simplify]: Simplify (/ 1 1) into 1
7.685 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
7.686 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.686 * [taylor]: Taking taylor expansion of d1 in d1
7.686 * [backup-simplify]: Simplify 0 into 0
7.686 * [backup-simplify]: Simplify 1 into 1
7.686 * [backup-simplify]: Simplify (* 1 1) into 1
7.686 * [backup-simplify]: Simplify (* 1 1) into 1
7.687 * [backup-simplify]: Simplify (* 1 1) into 1
7.687 * [backup-simplify]: Simplify (* 1 1) into 1
7.688 * [backup-simplify]: Simplify (/ 1 1) into 1
7.688 * [backup-simplify]: Simplify 1 into 1
7.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.691 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.691 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.696 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.702 * [backup-simplify]: Simplify 0 into 0
7.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.708 * [backup-simplify]: Simplify 0 into 0
7.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.713 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
7.719 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
7.719 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
7.719 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
7.719 * [taylor]: Taking taylor expansion of -1 in d1
7.719 * [backup-simplify]: Simplify -1 into -1
7.719 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.719 * [taylor]: Taking taylor expansion of d1 in d1
7.719 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify 1 into 1
7.720 * [backup-simplify]: Simplify (* 1 1) into 1
7.720 * [backup-simplify]: Simplify (* 1 1) into 1
7.720 * [backup-simplify]: Simplify (* 1 1) into 1
7.720 * [backup-simplify]: Simplify (* 1 1) into 1
7.721 * [backup-simplify]: Simplify (/ -1 1) into -1
7.721 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
7.721 * [taylor]: Taking taylor expansion of -1 in d1
7.721 * [backup-simplify]: Simplify -1 into -1
7.721 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.721 * [taylor]: Taking taylor expansion of d1 in d1
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify 1 into 1
7.721 * [backup-simplify]: Simplify (* 1 1) into 1
7.721 * [backup-simplify]: Simplify (* 1 1) into 1
7.722 * [backup-simplify]: Simplify (* 1 1) into 1
7.722 * [backup-simplify]: Simplify (* 1 1) into 1
7.722 * [backup-simplify]: Simplify (/ -1 1) into -1
7.722 * [backup-simplify]: Simplify -1 into -1
7.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.725 * [backup-simplify]: Simplify 0 into 0
7.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.727 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.735 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.742 * [backup-simplify]: Simplify 0 into 0
7.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.751 * [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
7.751 * [backup-simplify]: Simplify 0 into 0
7.751 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
7.751 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
7.752 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
7.752 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
7.752 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.752 * [taylor]: Taking taylor expansion of d1 in d1
7.752 * [backup-simplify]: Simplify 0 into 0
7.752 * [backup-simplify]: Simplify 1 into 1
7.752 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.752 * [taylor]: Taking taylor expansion of d1 in d1
7.752 * [backup-simplify]: Simplify 0 into 0
7.752 * [backup-simplify]: Simplify 1 into 1
7.753 * [backup-simplify]: Simplify (* 1 1) into 1
7.753 * [backup-simplify]: Simplify (* 1 1) into 1
7.754 * [backup-simplify]: Simplify (* 1 1) into 1
7.754 * [backup-simplify]: Simplify 1 into 1
7.755 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.755 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.756 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.756 * [backup-simplify]: Simplify 0 into 0
7.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.759 * [backup-simplify]: Simplify 0 into 0
7.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.763 * [backup-simplify]: Simplify 0 into 0
7.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.768 * [backup-simplify]: Simplify 0 into 0
7.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.772 * [backup-simplify]: Simplify 0 into 0
7.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.778 * [backup-simplify]: Simplify 0 into 0
7.778 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
7.779 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
7.779 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
7.779 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
7.779 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.779 * [taylor]: Taking taylor expansion of d1 in d1
7.779 * [backup-simplify]: Simplify 0 into 0
7.779 * [backup-simplify]: Simplify 1 into 1
7.780 * [backup-simplify]: Simplify (* 1 1) into 1
7.780 * [backup-simplify]: Simplify (* 1 1) into 1
7.780 * [backup-simplify]: Simplify (* 1 1) into 1
7.781 * [backup-simplify]: Simplify (/ 1 1) into 1
7.781 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
7.781 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.781 * [taylor]: Taking taylor expansion of d1 in d1
7.781 * [backup-simplify]: Simplify 0 into 0
7.781 * [backup-simplify]: Simplify 1 into 1
7.781 * [backup-simplify]: Simplify (* 1 1) into 1
7.782 * [backup-simplify]: Simplify (* 1 1) into 1
7.782 * [backup-simplify]: Simplify (* 1 1) into 1
7.783 * [backup-simplify]: Simplify (/ 1 1) into 1
7.783 * [backup-simplify]: Simplify 1 into 1
7.784 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.784 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.785 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.786 * [backup-simplify]: Simplify 0 into 0
7.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.795 * [backup-simplify]: Simplify 0 into 0
7.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.800 * [backup-simplify]: Simplify 0 into 0
7.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.806 * [backup-simplify]: Simplify 0 into 0
7.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
7.815 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
7.815 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
7.815 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
7.815 * [taylor]: Taking taylor expansion of -1 in d1
7.815 * [backup-simplify]: Simplify -1 into -1
7.815 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.815 * [taylor]: Taking taylor expansion of d1 in d1
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 1 into 1
7.816 * [backup-simplify]: Simplify (* 1 1) into 1
7.816 * [backup-simplify]: Simplify (* 1 1) into 1
7.817 * [backup-simplify]: Simplify (* 1 1) into 1
7.817 * [backup-simplify]: Simplify (/ -1 1) into -1
7.817 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
7.817 * [taylor]: Taking taylor expansion of -1 in d1
7.817 * [backup-simplify]: Simplify -1 into -1
7.817 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.817 * [taylor]: Taking taylor expansion of d1 in d1
7.817 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify 1 into 1
7.818 * [backup-simplify]: Simplify (* 1 1) into 1
7.818 * [backup-simplify]: Simplify (* 1 1) into 1
7.818 * [backup-simplify]: Simplify (* 1 1) into 1
7.819 * [backup-simplify]: Simplify (/ -1 1) into -1
7.819 * [backup-simplify]: Simplify -1 into -1
7.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.822 * [backup-simplify]: Simplify 0 into 0
7.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.827 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.830 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.833 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.836 * [backup-simplify]: Simplify 0 into 0
7.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.841 * [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
7.841 * [backup-simplify]: Simplify 0 into 0
7.841 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
7.841 * * * [progress]: simplifying candidates
7.841 * * * * [progress]: [ 1 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 2 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log1p (expm1 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 3 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (expm1 (log1p (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 4 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 5 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 6 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 7 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 8 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 9 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 10 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 11 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 12 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 13 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 14 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 15 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 16 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 17 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 18 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 19 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 20 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 21 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 22 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 23 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 24 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.842 * * * * [progress]: [ 25 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 26 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 27 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 28 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 29 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log1p (expm1 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 30 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (expm1 (log1p (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 31 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 32 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 33 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 34 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 35 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 36 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 37 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 38 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 39 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 40 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 41 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 42 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 43 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 44 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 45 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 46 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 47 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
7.843 * * * * [progress]: [ 48 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 49 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [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))>
7.844 * * * * [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))>
7.844 * * * * [progress]: [ 52 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 53 / 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))>
7.844 * * * * [progress]: [ 54 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 55 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 56 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 57 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 58 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 59 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 60 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 61 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
7.844 * * * * [progress]: [ 62 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (posit16->real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.844 * * * * [progress]: [ 63 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log1p (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.844 * * * * [progress]: [ 64 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (expm1 (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.844 * * * * [progress]: [ 65 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.844 * * * * [progress]: [ 66 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.844 * * * * [progress]: [ 67 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.844 * * * * [progress]: [ 68 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.844 * * * * [progress]: [ 69 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.844 * * * * [progress]: [ 70 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.845 * * * * [progress]: [ 71 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 72 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.845 * * * * [progress]: [ 73 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 74 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.845 * * * * [progress]: [ 75 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 76 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.845 * * * * [progress]: [ 77 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 78 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.845 * * * * [progress]: [ 79 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 80 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.845 * * * * [progress]: [ 81 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 82 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.845 * * * * [progress]: [ 83 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 84 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.845 * * * * [progress]: [ 85 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 86 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.845 * * * * [progress]: [ 87 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 88 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.845 * * * * [progress]: [ 89 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 90 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.845 * * * * [progress]: [ 91 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.845 * * * * [progress]: [ 92 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.845 * * * * [progress]: [ 93 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 94 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.846 * * * * [progress]: [ 95 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 96 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.846 * * * * [progress]: [ 97 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 98 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.846 * * * * [progress]: [ 99 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 100 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.846 * * * * [progress]: [ 101 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 102 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.846 * * * * [progress]: [ 103 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 104 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.846 * * * * [progress]: [ 105 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 106 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.846 * * * * [progress]: [ 107 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 108 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.846 * * * * [progress]: [ 109 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 110 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.846 * * * * [progress]: [ 111 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 112 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.846 * * * * [progress]: [ 113 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.846 * * * * [progress]: [ 114 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.846 * * * * [progress]: [ 115 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 116 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.847 * * * * [progress]: [ 117 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 118 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.847 * * * * [progress]: [ 119 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 120 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.847 * * * * [progress]: [ 121 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 122 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.847 * * * * [progress]: [ 123 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 124 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.847 * * * * [progress]: [ 125 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 126 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.847 * * * * [progress]: [ 127 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 128 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.847 * * * * [progress]: [ 129 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 130 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.847 * * * * [progress]: [ 131 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 132 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.847 * * * * [progress]: [ 133 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 134 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.847 * * * * [progress]: [ 135 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.847 * * * * [progress]: [ 136 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.847 * * * * [progress]: [ 137 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.848 * * * * [progress]: [ 138 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.848 * * * * [progress]: [ 139 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.848 * * * * [progress]: [ 140 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.848 * * * * [progress]: [ 141 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.848 * * * * [progress]: [ 142 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.848 * * * * [progress]: [ 143 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.848 * * * * [progress]: [ 144 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.848 * * * * [progress]: [ 145 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 146 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 147 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 148 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 149 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 150 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 151 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 152 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 153 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 154 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 155 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.848 * * * * [progress]: [ 156 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.848 * * * * [progress]: [ 157 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.848 * * * * [progress]: [ 158 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.848 * * * * [progress]: [ 159 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 160 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 161 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 162 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 163 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 164 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 165 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 166 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 167 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 168 / 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))>
7.849 * * * * [progress]: [ 169 / 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))>
7.849 * * * * [progress]: [ 170 / 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))>
7.849 * * * * [progress]: [ 171 / 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))>
7.849 * * * * [progress]: [ 172 / 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))>
7.849 * * * * [progress]: [ 173 / 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))>
7.849 * * * * [progress]: [ 174 / 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))>
7.849 * * * * [progress]: [ 175 / 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))>
7.849 * * * * [progress]: [ 176 / 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))>
7.849 * * * * [progress]: [ 177 / 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))>
7.849 * * * * [progress]: [ 178 / 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))>
7.849 * * * * [progress]: [ 179 / 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))>
7.849 * * * * [progress]: [ 180 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.849 * * * * [progress]: [ 181 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* 1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1)) d1))>
7.849 * * * * [progress]: [ 182 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) d1) d1) d1)) d1))>
7.850 * * * * [progress]: [ 183 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) (* d1 (* d1 d1))) d1)) d1))>
7.850 * * * * [progress]: [ 184 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 d1) (* (* (* d1 (* d1 d1)) d1) d1)) d1)) d1))>
7.850 * * * * [progress]: [ 185 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 186 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log1p (expm1 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 187 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (expm1 (log1p (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 188 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 189 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 190 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 191 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 192 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 193 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 194 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 195 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 196 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 197 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 198 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 199 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 200 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 201 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 202 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 203 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 204 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.850 * * * * [progress]: [ 205 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 206 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 207 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 208 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 209 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 210 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 211 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 212 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 213 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 214 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 215 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 216 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 217 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 218 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [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))>
7.851 * * * * [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))>
7.851 * * * * [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))>
7.851 * * * * [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))>
7.851 * * * * [progress]: [ 223 / 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))>
7.851 * * * * [progress]: [ 224 / 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))>
7.851 * * * * [progress]: [ 225 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 226 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 227 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 228 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
7.851 * * * * [progress]: [ 229 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 230 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 231 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 232 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 233 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 234 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 235 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 236 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 237 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 238 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.852 * * * * [progress]: [ 239 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.852 * * * * [progress]: [ 240 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.852 * * * * [progress]: [ 241 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 242 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
7.852 * * * * [progress]: [ 243 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
7.854 * [simplify]: Simplifying:
  (real->posit16 (* d1 (* d1 d1)))
  (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)) 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) 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))
  (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)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
7.859 * * [simplify]: iteration 0: 139 enodes
8.063 * * [simplify]: iteration 1: 342 enodes
8.587 * * [simplify]: iteration 2: 980 enodes
12.291 * * [simplify]: iteration 3: 3521 enodes
19.401 * * [simplify]: iteration complete: 5008 enodes
19.401 * * [simplify]: Extracting #0: cost 53 inf + 0
19.403 * * [simplify]: Extracting #1: cost 588 inf + 5
19.410 * * [simplify]: Extracting #2: cost 852 inf + 21165
19.448 * * [simplify]: Extracting #3: cost 420 inf + 109710
19.483 * * [simplify]: Extracting #4: cost 104 inf + 209837
19.534 * * [simplify]: Extracting #5: cost 14 inf + 247489
19.571 * * [simplify]: Extracting #6: cost 0 inf + 251940
19.625 * [simplify]: Simplified to:
  (real->posit16 (* (* d1 d1) d1))
  (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)
  (* d1 (* d1 (cbrt d1)))
  (* d1 (* d1 (sqrt d1)))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 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) (* (* 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 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (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) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 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)))
  (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
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* d1 d1) (* (* d1 d1) d1))))
  (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* d1 d1) (* (* d1 d1) d1))))
  (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* d1 d1) (* (* d1 d1) d1))))
  (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* d1 d1) (* (* d1 d1) d1))))
  (* (cbrt (* (* d1 d1) (* (* d1 d1) d1))) (cbrt (* (* d1 d1) (* (* d1 d1) d1))))
  (cbrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* d1 d1) (* (* d1 d1) d1))))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1)))
  (* (sqrt d1) (* (* d1 d1) (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
19.637 * * * [progress]: adding candidates to table
20.415 * * [progress]: iteration 2 / 4
20.415 * * * [progress]: picking best candidate
20.486 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
20.486 * * * [progress]: localizing error
20.528 * * * [progress]: generating rewritten candidates
20.528 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
20.561 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
20.693 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
20.744 * * * [progress]: generating series expansions
20.744 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
20.745 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
20.745 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
20.745 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.745 * [taylor]: Taking taylor expansion of d1 in d1
20.745 * [backup-simplify]: Simplify 0 into 0
20.745 * [backup-simplify]: Simplify 1 into 1
20.745 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.745 * [taylor]: Taking taylor expansion of d1 in d1
20.745 * [backup-simplify]: Simplify 0 into 0
20.745 * [backup-simplify]: Simplify 1 into 1
20.745 * [backup-simplify]: Simplify (* 1 1) into 1
20.746 * [backup-simplify]: Simplify (* 1 1) into 1
20.746 * [backup-simplify]: Simplify (* 1 1) into 1
20.746 * [backup-simplify]: Simplify 1 into 1
20.746 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.747 * [backup-simplify]: Simplify 0 into 0
20.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.749 * [backup-simplify]: Simplify 0 into 0
20.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.751 * [backup-simplify]: Simplify 0 into 0
20.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.754 * [backup-simplify]: Simplify 0 into 0
20.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.756 * [backup-simplify]: Simplify 0 into 0
20.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.759 * [backup-simplify]: Simplify 0 into 0
20.759 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
20.760 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
20.760 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
20.760 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.760 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.760 * [taylor]: Taking taylor expansion of d1 in d1
20.760 * [backup-simplify]: Simplify 0 into 0
20.760 * [backup-simplify]: Simplify 1 into 1
20.760 * [backup-simplify]: Simplify (* 1 1) into 1
20.760 * [backup-simplify]: Simplify (* 1 1) into 1
20.761 * [backup-simplify]: Simplify (* 1 1) into 1
20.761 * [backup-simplify]: Simplify (/ 1 1) into 1
20.761 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.761 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.761 * [taylor]: Taking taylor expansion of d1 in d1
20.761 * [backup-simplify]: Simplify 0 into 0
20.761 * [backup-simplify]: Simplify 1 into 1
20.761 * [backup-simplify]: Simplify (* 1 1) into 1
20.761 * [backup-simplify]: Simplify (* 1 1) into 1
20.762 * [backup-simplify]: Simplify (* 1 1) into 1
20.762 * [backup-simplify]: Simplify (/ 1 1) into 1
20.762 * [backup-simplify]: Simplify 1 into 1
20.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.765 * [backup-simplify]: Simplify 0 into 0
20.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.769 * [backup-simplify]: Simplify 0 into 0
20.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.774 * [backup-simplify]: Simplify 0 into 0
20.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.780 * [backup-simplify]: Simplify 0 into 0
20.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.786 * [backup-simplify]: Simplify 0 into 0
20.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.793 * [backup-simplify]: Simplify 0 into 0
20.793 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
20.794 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
20.794 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
20.794 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.794 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.794 * [taylor]: Taking taylor expansion of d1 in d1
20.794 * [backup-simplify]: Simplify 0 into 0
20.794 * [backup-simplify]: Simplify 1 into 1
20.795 * [backup-simplify]: Simplify (* 1 1) into 1
20.795 * [backup-simplify]: Simplify (* 1 1) into 1
20.795 * [backup-simplify]: Simplify (* 1 1) into 1
20.796 * [backup-simplify]: Simplify (/ 1 1) into 1
20.796 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.796 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.796 * [taylor]: Taking taylor expansion of d1 in d1
20.796 * [backup-simplify]: Simplify 0 into 0
20.796 * [backup-simplify]: Simplify 1 into 1
20.796 * [backup-simplify]: Simplify (* 1 1) into 1
20.797 * [backup-simplify]: Simplify (* 1 1) into 1
20.797 * [backup-simplify]: Simplify (* 1 1) into 1
20.798 * [backup-simplify]: Simplify (/ 1 1) into 1
20.798 * [backup-simplify]: Simplify 1 into 1
20.798 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.801 * [backup-simplify]: Simplify 0 into 0
20.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.805 * [backup-simplify]: Simplify 0 into 0
20.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.810 * [backup-simplify]: Simplify 0 into 0
20.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.815 * [backup-simplify]: Simplify 0 into 0
20.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.821 * [backup-simplify]: Simplify 0 into 0
20.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.828 * [backup-simplify]: Simplify 0 into 0
20.829 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
20.829 * * * * [progress]: [ 2 / 3 ] generating series at (2)
20.829 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
20.829 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
20.829 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.830 * [taylor]: Taking taylor expansion of d1 in d1
20.830 * [backup-simplify]: Simplify 0 into 0
20.830 * [backup-simplify]: Simplify 1 into 1
20.830 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.830 * [taylor]: Taking taylor expansion of d1 in d1
20.830 * [backup-simplify]: Simplify 0 into 0
20.830 * [backup-simplify]: Simplify 1 into 1
20.830 * [backup-simplify]: Simplify (* 1 1) into 1
20.831 * [backup-simplify]: Simplify (* 1 1) into 1
20.831 * [backup-simplify]: Simplify (* 1 1) into 1
20.831 * [backup-simplify]: Simplify (* 1 1) into 1
20.831 * [backup-simplify]: Simplify 1 into 1
20.832 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.833 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.834 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.834 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.834 * [backup-simplify]: Simplify 0 into 0
20.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.839 * [backup-simplify]: Simplify 0 into 0
20.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.844 * [backup-simplify]: Simplify 0 into 0
20.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.849 * [backup-simplify]: Simplify 0 into 0
20.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.856 * [backup-simplify]: Simplify 0 into 0
20.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.863 * [backup-simplify]: Simplify 0 into 0
20.863 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
20.864 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
20.864 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
20.864 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.864 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.864 * [taylor]: Taking taylor expansion of d1 in d1
20.864 * [backup-simplify]: Simplify 0 into 0
20.864 * [backup-simplify]: Simplify 1 into 1
20.864 * [backup-simplify]: Simplify (* 1 1) into 1
20.864 * [backup-simplify]: Simplify (* 1 1) into 1
20.865 * [backup-simplify]: Simplify (* 1 1) into 1
20.865 * [backup-simplify]: Simplify (* 1 1) into 1
20.865 * [backup-simplify]: Simplify (/ 1 1) into 1
20.865 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.865 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.865 * [taylor]: Taking taylor expansion of d1 in d1
20.865 * [backup-simplify]: Simplify 0 into 0
20.865 * [backup-simplify]: Simplify 1 into 1
20.865 * [backup-simplify]: Simplify (* 1 1) into 1
20.866 * [backup-simplify]: Simplify (* 1 1) into 1
20.866 * [backup-simplify]: Simplify (* 1 1) into 1
20.866 * [backup-simplify]: Simplify (* 1 1) into 1
20.866 * [backup-simplify]: Simplify (/ 1 1) into 1
20.867 * [backup-simplify]: Simplify 1 into 1
20.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.869 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.869 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.870 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.870 * [backup-simplify]: Simplify 0 into 0
20.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.873 * [backup-simplify]: Simplify 0 into 0
20.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.876 * [backup-simplify]: Simplify 0 into 0
20.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.880 * [backup-simplify]: Simplify 0 into 0
20.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.884 * [backup-simplify]: Simplify 0 into 0
20.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.889 * [backup-simplify]: Simplify 0 into 0
20.889 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
20.890 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
20.890 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
20.890 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.890 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.890 * [taylor]: Taking taylor expansion of d1 in d1
20.890 * [backup-simplify]: Simplify 0 into 0
20.890 * [backup-simplify]: Simplify 1 into 1
20.891 * [backup-simplify]: Simplify (* 1 1) into 1
20.891 * [backup-simplify]: Simplify (* 1 1) into 1
20.891 * [backup-simplify]: Simplify (* 1 1) into 1
20.892 * [backup-simplify]: Simplify (* 1 1) into 1
20.892 * [backup-simplify]: Simplify (/ 1 1) into 1
20.892 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.892 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.892 * [taylor]: Taking taylor expansion of d1 in d1
20.892 * [backup-simplify]: Simplify 0 into 0
20.892 * [backup-simplify]: Simplify 1 into 1
20.893 * [backup-simplify]: Simplify (* 1 1) into 1
20.893 * [backup-simplify]: Simplify (* 1 1) into 1
20.893 * [backup-simplify]: Simplify (* 1 1) into 1
20.894 * [backup-simplify]: Simplify (* 1 1) into 1
20.894 * [backup-simplify]: Simplify (/ 1 1) into 1
20.894 * [backup-simplify]: Simplify 1 into 1
20.895 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.896 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.897 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.898 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.899 * [backup-simplify]: Simplify 0 into 0
20.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.904 * [backup-simplify]: Simplify 0 into 0
20.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.910 * [backup-simplify]: Simplify 0 into 0
20.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.917 * [backup-simplify]: Simplify 0 into 0
20.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.922 * [backup-simplify]: Simplify 0 into 0
20.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.926 * [backup-simplify]: Simplify 0 into 0
20.927 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
20.927 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
20.927 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
20.927 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
20.927 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.927 * [taylor]: Taking taylor expansion of d1 in d1
20.927 * [backup-simplify]: Simplify 0 into 0
20.927 * [backup-simplify]: Simplify 1 into 1
20.927 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.927 * [taylor]: Taking taylor expansion of d1 in d1
20.927 * [backup-simplify]: Simplify 0 into 0
20.927 * [backup-simplify]: Simplify 1 into 1
20.928 * [backup-simplify]: Simplify (* 1 1) into 1
20.928 * [backup-simplify]: Simplify (* 1 1) into 1
20.928 * [backup-simplify]: Simplify (* 1 1) into 1
20.928 * [backup-simplify]: Simplify (* 1 1) into 1
20.928 * [backup-simplify]: Simplify 1 into 1
20.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.930 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.930 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.930 * [backup-simplify]: Simplify 0 into 0
20.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.933 * [backup-simplify]: Simplify 0 into 0
20.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.935 * [backup-simplify]: Simplify 0 into 0
20.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.938 * [backup-simplify]: Simplify 0 into 0
20.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.942 * [backup-simplify]: Simplify 0 into 0
20.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.946 * [backup-simplify]: Simplify 0 into 0
20.946 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
20.946 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
20.946 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
20.946 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
20.946 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.947 * [taylor]: Taking taylor expansion of d1 in d1
20.947 * [backup-simplify]: Simplify 0 into 0
20.947 * [backup-simplify]: Simplify 1 into 1
20.947 * [backup-simplify]: Simplify (* 1 1) into 1
20.947 * [backup-simplify]: Simplify (* 1 1) into 1
20.948 * [backup-simplify]: Simplify (* 1 1) into 1
20.948 * [backup-simplify]: Simplify (* 1 1) into 1
20.949 * [backup-simplify]: Simplify (/ 1 1) into 1
20.949 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
20.949 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.949 * [taylor]: Taking taylor expansion of d1 in d1
20.949 * [backup-simplify]: Simplify 0 into 0
20.949 * [backup-simplify]: Simplify 1 into 1
20.949 * [backup-simplify]: Simplify (* 1 1) into 1
20.950 * [backup-simplify]: Simplify (* 1 1) into 1
20.950 * [backup-simplify]: Simplify (* 1 1) into 1
20.950 * [backup-simplify]: Simplify (* 1 1) into 1
20.951 * [backup-simplify]: Simplify (/ 1 1) into 1
20.951 * [backup-simplify]: Simplify 1 into 1
20.952 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.952 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.954 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.955 * [backup-simplify]: Simplify 0 into 0
20.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.960 * [backup-simplify]: Simplify 0 into 0
20.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.966 * [backup-simplify]: Simplify 0 into 0
20.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.973 * [backup-simplify]: Simplify 0 into 0
20.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.982 * [backup-simplify]: Simplify 0 into 0
20.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.991 * [backup-simplify]: Simplify 0 into 0
20.991 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
20.992 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
20.992 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
20.993 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
20.993 * [taylor]: Taking taylor expansion of -1 in d1
20.993 * [backup-simplify]: Simplify -1 into -1
20.993 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.993 * [taylor]: Taking taylor expansion of d1 in d1
20.993 * [backup-simplify]: Simplify 0 into 0
20.993 * [backup-simplify]: Simplify 1 into 1
20.993 * [backup-simplify]: Simplify (* 1 1) into 1
20.994 * [backup-simplify]: Simplify (* 1 1) into 1
20.994 * [backup-simplify]: Simplify (* 1 1) into 1
20.994 * [backup-simplify]: Simplify (* 1 1) into 1
20.995 * [backup-simplify]: Simplify (/ -1 1) into -1
20.995 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
20.995 * [taylor]: Taking taylor expansion of -1 in d1
20.995 * [backup-simplify]: Simplify -1 into -1
20.995 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.995 * [taylor]: Taking taylor expansion of d1 in d1
20.995 * [backup-simplify]: Simplify 0 into 0
20.995 * [backup-simplify]: Simplify 1 into 1
20.996 * [backup-simplify]: Simplify (* 1 1) into 1
20.996 * [backup-simplify]: Simplify (* 1 1) into 1
20.996 * [backup-simplify]: Simplify (* 1 1) into 1
20.997 * [backup-simplify]: Simplify (* 1 1) into 1
20.997 * [backup-simplify]: Simplify (/ -1 1) into -1
20.997 * [backup-simplify]: Simplify -1 into -1
20.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
21.002 * [backup-simplify]: Simplify 0 into 0
21.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.007 * [backup-simplify]: Simplify 0 into 0
21.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.013 * [backup-simplify]: Simplify 0 into 0
21.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.020 * [backup-simplify]: Simplify 0 into 0
21.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.028 * [backup-simplify]: Simplify 0 into 0
21.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.037 * [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
21.037 * [backup-simplify]: Simplify 0 into 0
21.037 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
21.037 * * * [progress]: simplifying candidates
21.037 * * * * [progress]: [ 1 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (posit16->real (real->posit16 (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 2 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log1p (expm1 (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 3 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (expm1 (log1p (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 4 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
21.038 * * * * [progress]: [ 5 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
21.038 * * * * [progress]: [ 6 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow (* (pow d1 7) d1) 1)) d1))>
21.038 * * * * [progress]: [ 7 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
21.038 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
21.038 * * * * [progress]: [ 9 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (log (pow d1 7)) (log d1)))) d1))>
21.038 * * * * [progress]: [ 10 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (log (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 11 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log (exp (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 12 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
21.038 * * * * [progress]: [ 13 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 14 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 15 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)))) d1))>
21.038 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
21.038 * * * * [progress]: [ 17 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)))) d1))>
21.039 * * * * [progress]: [ 18 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)))) d1))>
21.039 * * * * [progress]: [ 19 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)))) d1))>
21.039 * * * * [progress]: [ 20 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (cbrt d1))) d1))>
21.039 * * * * [progress]: [ 21 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (sqrt d1)) (sqrt d1))) d1))>
21.039 * * * * [progress]: [ 22 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) 1) d1)) d1))>
21.039 * * * * [progress]: [ 23 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (cbrt d1) (cbrt d1)) 7) (* (pow (cbrt d1) 7) d1))) d1))>
21.039 * * * * [progress]: [ 24 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (sqrt d1) 7) (* (pow (sqrt d1) 7) d1))) d1))>
21.039 * * * * [progress]: [ 25 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow 1 7) (* (pow d1 7) d1))) d1))>
21.039 * * * * [progress]: [ 26 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (pow d1 7)) (cbrt (pow d1 7))) (* (cbrt (pow d1 7)) d1))) d1))>
21.039 * * * * [progress]: [ 27 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (pow d1 7)) (* (sqrt (pow d1 7)) d1))) d1))>
21.039 * * * * [progress]: [ 28 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
21.039 * * * * [progress]: [ 29 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (/ 7 2)) (* (pow d1 (/ 7 2)) d1))) d1))>
21.039 * * * * [progress]: [ 30 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* d1 (pow d1 7))) d1))>
21.039 * * * * [progress]: [ 31 / 92 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))>
21.039 * * * * [progress]: [ 32 / 92 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (* d1 (* (pow d1 7) d1)) d1))))>
21.039 * * * * [progress]: [ 33 / 92 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (* d1 (* (pow d1 7) d1)) d1))))>
21.040 * * * * [progress]: [ 34 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
21.040 * * * * [progress]: [ 35 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
21.040 * * * * [progress]: [ 36 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
21.040 * * * * [progress]: [ 37 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
21.040 * * * * [progress]: [ 38 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
21.040 * * * * [progress]: [ 39 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
21.040 * * * * [progress]: [ 40 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
21.040 * * * * [progress]: [ 41 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
21.040 * * * * [progress]: [ 42 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
21.040 * * * * [progress]: [ 43 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))))>
21.040 * * * * [progress]: [ 44 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))))>
21.040 * * * * [progress]: [ 45 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (* d1 (* (pow d1 7) d1))) (log d1))))>
21.040 * * * * [progress]: [ 46 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (* d1 (* (pow d1 7) d1)) d1))))>
21.040 * * * * [progress]: [ 47 / 92 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (* d1 (* (pow d1 7) d1)) d1))))>
21.040 * * * * [progress]: [ 48 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))))>
21.040 * * * * [progress]: [ 49 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
21.041 * * * * [progress]: [ 50 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
21.041 * * * * [progress]: [ 51 / 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))))>
21.041 * * * * [progress]: [ 52 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))))>
21.041 * * * * [progress]: [ 53 / 92 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1))))>
21.041 * * * * [progress]: [ 54 / 92 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (* d1 (* (pow d1 7) d1)) d1)))>
21.041 * * * * [progress]: [ 55 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
21.041 * * * * [progress]: [ 56 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (sqrt d1)))>
21.041 * * * * [progress]: [ 57 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) 1) d1))>
21.041 * * * * [progress]: [ 58 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* (* (pow d1 7) d1) d1)))>
21.041 * * * * [progress]: [ 59 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* d1 (* (pow d1 7) d1))))>
21.041 * * * * [progress]: [ 60 / 92 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))>
21.041 * * * * [progress]: [ 61 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* d1 (* (pow d1 7) d1)))) d1))>
21.041 * * * * [progress]: [ 62 / 92 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* d1 (* (pow d1 7) d1)))) d1))>
21.041 * * * * [progress]: [ 63 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
21.041 * * * * [progress]: [ 64 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
21.041 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
21.041 * * * * [progress]: [ 66 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
21.042 * * * * [progress]: [ 67 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
21.042 * * * * [progress]: [ 68 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
21.042 * * * * [progress]: [ 69 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (pow d1 7)) (log d1)))) d1))>
21.042 * * * * [progress]: [ 70 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 71 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 72 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 73 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
21.042 * * * * [progress]: [ 74 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 75 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 76 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 77 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1)))) d1))>
21.042 * * * * [progress]: [ 78 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
21.042 * * * * [progress]: [ 79 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (pow d1 7)) d1) d1))>
21.042 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (pow d1 7) d1))) d1))>
21.042 * * * * [progress]: [ 81 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (pow d1 7) d1))) d1))>
21.042 * * * * [progress]: [ 82 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
21.042 * * * * [progress]: [ 83 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (pow d1 7) d1) d1) d1))>
21.043 * * * * [progress]: [ 84 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
21.043 * * * * [progress]: [ 85 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
21.043 * * * * [progress]: [ 86 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
21.043 * * * * [progress]: [ 87 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
21.043 * * * * [progress]: [ 88 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
21.043 * * * * [progress]: [ 89 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
21.043 * * * * [progress]: [ 90 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
21.043 * * * * [progress]: [ 91 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
21.043 * * * * [progress]: [ 92 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
21.044 * [simplify]: Simplifying:
  (real->posit16 (* (pow d1 7) 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 (* (* d1 (* (pow d1 7) d1)) d1))
  (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)))
  (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))
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
21.047 * * [simplify]: iteration 0: 96 enodes
21.194 * * [simplify]: iteration 1: 242 enodes
21.572 * * [simplify]: iteration 2: 767 enodes
23.740 * * [simplify]: iteration 3: 3176 enodes
30.024 * * [simplify]: iteration complete: 5006 enodes
30.024 * * [simplify]: Extracting #0: cost 48 inf + 0
30.027 * * [simplify]: Extracting #1: cost 658 inf + 3
30.037 * * [simplify]: Extracting #2: cost 1320 inf + 5735
30.060 * * [simplify]: Extracting #3: cost 989 inf + 115524
30.104 * * [simplify]: Extracting #4: cost 427 inf + 317120
30.163 * * [simplify]: Extracting #5: cost 79 inf + 468992
30.265 * * [simplify]: Extracting #6: cost 0 inf + 508336
30.371 * * [simplify]: Extracting #7: cost 0 inf + 508005
30.475 * [simplify]: Simplified to:
  (real->posit16 (* (* (* 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)))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt d1) (pow d1 7/2))
  (* (sqrt d1) (pow d1 7/2))
  (* (* (cbrt d1) (cbrt d1)) (pow d1 7))
  (* (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)))
  (* (sqrt (pow d1 7)) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (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
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (exp (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)))
  (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) d1)))
  (fabs (* (* (* d1 d1) (* d1 d1)) d1))
  (fabs (* (* (* d1 d1) (* d1 d1)) d1))
  (* d1 (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (cbrt 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)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (real->posit16 (* (* d1 (* (* 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)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (cbrt d1))
  (* (* (* d1 d1) (* d1 d1)) (* (sqrt d1) (* (* d1 d1) (* d1 d1))))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
30.479 * * * [progress]: adding candidates to table
31.135 * * [progress]: iteration 3 / 4
31.135 * * * [progress]: picking best candidate
31.149 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
31.149 * * * [progress]: localizing error
31.162 * * * [progress]: generating rewritten candidates
31.162 * * * [progress]: generating series expansions
31.162 * * * [progress]: simplifying candidates
31.163 * [simplify]: Simplifying:
  
31.163 * * [simplify]: iteration 0: 0 enodes
31.163 * * [simplify]: iteration complete: 0 enodes
31.163 * * [simplify]: Extracting #0: cost 0 inf + 0
31.163 * [simplify]: Simplified to:
  
31.163 * * * [progress]: adding candidates to table
31.165 * [progress]: [Phase 3 of 3] Extracting.
31.175 * [simplify]: Simplifying:
  (pow d1 10)
31.175 * * [simplify]: iteration 0: 3 enodes
31.175 * * [simplify]: iteration complete: 3 enodes
31.175 * * [simplify]: Extracting #0: cost 1 inf + 0
31.175 * * [simplify]: Extracting #1: cost 3 inf + 0
31.175 * * [simplify]: Extracting #2: cost 1 inf + 2
31.175 * * [simplify]: Extracting #3: cost 0 inf + 214
31.175 * [simplify]: Simplified to:
  (pow d1 10)
33.655 * [regime-testing]: Baseline error score: 0
33.701 * [regime-testing]: Oracle error score: 0
33.702 * [regime-testing]: End program error score: 0
34.060 * [regime-testing]: Target error score: 0