104.140 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.054 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.054 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.054 * * [simplify]: iteration 0: 9 enodes
0.058 * * [simplify]: iteration 1: 24 enodes
0.069 * * [simplify]: iteration 2: 54 enodes
0.088 * * [simplify]: iteration 3: 92 enodes
0.153 * * [simplify]: iteration 4: 248 enodes
0.248 * * [simplify]: iteration 5: 496 enodes
1.149 * * [simplify]: iteration 6: 2055 enodes
2.129 * * [simplify]: iteration complete: 5000 enodes
2.129 * * [simplify]: Extracting #0: cost 1 inf + 0
2.129 * * [simplify]: Extracting #1: cost 193 inf + 0
2.133 * * [simplify]: Extracting #2: cost 1247 inf + 339
2.140 * * [simplify]: Extracting #3: cost 1452 inf + 22586
2.163 * * [simplify]: Extracting #4: cost 1056 inf + 183593
2.222 * * [simplify]: Extracting #5: cost 434 inf + 522624
2.308 * * [simplify]: Extracting #6: cost 22 inf + 772552
2.419 * * [simplify]: Extracting #7: cost 0 inf + 786162
2.528 * * [simplify]: Extracting #8: cost 0 inf + 785297
2.638 * * [simplify]: Extracting #9: cost 0 inf + 785167
2.710 * [simplify]: Simplified to:
  (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)))
2.712 * * [progress]: iteration 1 / 4
2.712 * * * [progress]: picking best candidate
2.716 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.716 * * * [progress]: localizing error
2.749 * * * [progress]: generating rewritten candidates
2.749 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
2.781 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
2.963 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1)
3.041 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
10.764 * * * [progress]: generating series expansions
10.764 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
10.764 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
10.764 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
10.765 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.765 * [taylor]: Taking taylor expansion of d1 in d1
10.765 * [backup-simplify]: Simplify 0 into 0
10.765 * [backup-simplify]: Simplify 1 into 1
10.765 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.765 * [taylor]: Taking taylor expansion of d1 in d1
10.765 * [backup-simplify]: Simplify 0 into 0
10.765 * [backup-simplify]: Simplify 1 into 1
10.766 * [backup-simplify]: Simplify (* 1 1) into 1
10.766 * [backup-simplify]: Simplify (* 1 1) into 1
10.766 * [backup-simplify]: Simplify 1 into 1
10.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.768 * [backup-simplify]: Simplify 0 into 0
10.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.770 * [backup-simplify]: Simplify 0 into 0
10.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.772 * [backup-simplify]: Simplify 0 into 0
10.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.774 * [backup-simplify]: Simplify 0 into 0
10.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.776 * [backup-simplify]: Simplify 0 into 0
10.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.778 * [backup-simplify]: Simplify 0 into 0
10.778 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
10.778 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
10.778 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
10.778 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
10.778 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.778 * [taylor]: Taking taylor expansion of d1 in d1
10.778 * [backup-simplify]: Simplify 0 into 0
10.778 * [backup-simplify]: Simplify 1 into 1
10.778 * [backup-simplify]: Simplify (* 1 1) into 1
10.779 * [backup-simplify]: Simplify (* 1 1) into 1
10.779 * [backup-simplify]: Simplify (/ 1 1) into 1
10.779 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
10.779 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.779 * [taylor]: Taking taylor expansion of d1 in d1
10.779 * [backup-simplify]: Simplify 0 into 0
10.779 * [backup-simplify]: Simplify 1 into 1
10.779 * [backup-simplify]: Simplify (* 1 1) into 1
10.780 * [backup-simplify]: Simplify (* 1 1) into 1
10.780 * [backup-simplify]: Simplify (/ 1 1) into 1
10.780 * [backup-simplify]: Simplify 1 into 1
10.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.782 * [backup-simplify]: Simplify 0 into 0
10.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.783 * [backup-simplify]: Simplify 0 into 0
10.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.785 * [backup-simplify]: Simplify 0 into 0
10.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.787 * [backup-simplify]: Simplify 0 into 0
10.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.789 * [backup-simplify]: Simplify 0 into 0
10.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.792 * [backup-simplify]: Simplify 0 into 0
10.792 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
10.792 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
10.792 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
10.792 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
10.792 * [taylor]: Taking taylor expansion of -1 in d1
10.792 * [backup-simplify]: Simplify -1 into -1
10.792 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.792 * [taylor]: Taking taylor expansion of d1 in d1
10.792 * [backup-simplify]: Simplify 0 into 0
10.792 * [backup-simplify]: Simplify 1 into 1
10.792 * [backup-simplify]: Simplify (* 1 1) into 1
10.793 * [backup-simplify]: Simplify (* 1 1) into 1
10.793 * [backup-simplify]: Simplify (/ -1 1) into -1
10.793 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
10.793 * [taylor]: Taking taylor expansion of -1 in d1
10.793 * [backup-simplify]: Simplify -1 into -1
10.793 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.793 * [taylor]: Taking taylor expansion of d1 in d1
10.793 * [backup-simplify]: Simplify 0 into 0
10.793 * [backup-simplify]: Simplify 1 into 1
10.793 * [backup-simplify]: Simplify (* 1 1) into 1
10.793 * [backup-simplify]: Simplify (* 1 1) into 1
10.794 * [backup-simplify]: Simplify (/ -1 1) into -1
10.794 * [backup-simplify]: Simplify -1 into -1
10.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.795 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.796 * [backup-simplify]: Simplify 0 into 0
10.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.799 * [backup-simplify]: Simplify 0 into 0
10.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.803 * [backup-simplify]: Simplify 0 into 0
10.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.806 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.810 * [backup-simplify]: Simplify 0 into 0
10.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.813 * [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
10.813 * [backup-simplify]: Simplify 0 into 0
10.813 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
10.813 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
10.813 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
10.813 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
10.813 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.813 * [taylor]: Taking taylor expansion of d1 in d1
10.813 * [backup-simplify]: Simplify 0 into 0
10.813 * [backup-simplify]: Simplify 1 into 1
10.813 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.813 * [taylor]: Taking taylor expansion of d1 in d1
10.813 * [backup-simplify]: Simplify 0 into 0
10.813 * [backup-simplify]: Simplify 1 into 1
10.813 * [backup-simplify]: Simplify (* 1 1) into 1
10.814 * [backup-simplify]: Simplify (* 1 1) into 1
10.814 * [backup-simplify]: Simplify (* 1 1) into 1
10.814 * [backup-simplify]: Simplify 1 into 1
10.814 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.815 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.815 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.815 * [backup-simplify]: Simplify 0 into 0
10.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.817 * [backup-simplify]: Simplify 0 into 0
10.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.819 * [backup-simplify]: Simplify 0 into 0
10.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.821 * [backup-simplify]: Simplify 0 into 0
10.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.823 * [backup-simplify]: Simplify 0 into 0
10.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.826 * [backup-simplify]: Simplify 0 into 0
10.826 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
10.826 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
10.826 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
10.826 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
10.826 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.826 * [taylor]: Taking taylor expansion of d1 in d1
10.826 * [backup-simplify]: Simplify 0 into 0
10.826 * [backup-simplify]: Simplify 1 into 1
10.827 * [backup-simplify]: Simplify (* 1 1) into 1
10.827 * [backup-simplify]: Simplify (* 1 1) into 1
10.827 * [backup-simplify]: Simplify (* 1 1) into 1
10.827 * [backup-simplify]: Simplify (/ 1 1) into 1
10.828 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
10.828 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.828 * [taylor]: Taking taylor expansion of d1 in d1
10.828 * [backup-simplify]: Simplify 0 into 0
10.828 * [backup-simplify]: Simplify 1 into 1
10.828 * [backup-simplify]: Simplify (* 1 1) into 1
10.828 * [backup-simplify]: Simplify (* 1 1) into 1
10.828 * [backup-simplify]: Simplify (* 1 1) into 1
10.829 * [backup-simplify]: Simplify (/ 1 1) into 1
10.829 * [backup-simplify]: Simplify 1 into 1
10.829 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.831 * [backup-simplify]: Simplify 0 into 0
10.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.833 * [backup-simplify]: Simplify 0 into 0
10.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.835 * [backup-simplify]: Simplify 0 into 0
10.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.838 * [backup-simplify]: Simplify 0 into 0
10.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.844 * [backup-simplify]: Simplify 0 into 0
10.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.850 * [backup-simplify]: Simplify 0 into 0
10.851 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
10.851 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
10.851 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
10.851 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
10.851 * [taylor]: Taking taylor expansion of -1 in d1
10.851 * [backup-simplify]: Simplify -1 into -1
10.851 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.851 * [taylor]: Taking taylor expansion of d1 in d1
10.851 * [backup-simplify]: Simplify 0 into 0
10.851 * [backup-simplify]: Simplify 1 into 1
10.852 * [backup-simplify]: Simplify (* 1 1) into 1
10.852 * [backup-simplify]: Simplify (* 1 1) into 1
10.852 * [backup-simplify]: Simplify (* 1 1) into 1
10.853 * [backup-simplify]: Simplify (/ -1 1) into -1
10.853 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
10.853 * [taylor]: Taking taylor expansion of -1 in d1
10.853 * [backup-simplify]: Simplify -1 into -1
10.853 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.853 * [taylor]: Taking taylor expansion of d1 in d1
10.853 * [backup-simplify]: Simplify 0 into 0
10.853 * [backup-simplify]: Simplify 1 into 1
10.854 * [backup-simplify]: Simplify (* 1 1) into 1
10.854 * [backup-simplify]: Simplify (* 1 1) into 1
10.854 * [backup-simplify]: Simplify (* 1 1) into 1
10.855 * [backup-simplify]: Simplify (/ -1 1) into -1
10.855 * [backup-simplify]: Simplify -1 into -1
10.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.857 * [backup-simplify]: Simplify 0 into 0
10.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.865 * [backup-simplify]: Simplify 0 into 0
10.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.868 * [backup-simplify]: Simplify 0 into 0
10.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.871 * [backup-simplify]: Simplify 0 into 0
10.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.874 * [backup-simplify]: Simplify 0 into 0
10.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.877 * [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
10.877 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
10.877 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1)
10.877 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
10.877 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
10.877 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.877 * [taylor]: Taking taylor expansion of d1 in d1
10.877 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify 1 into 1
10.878 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.878 * [taylor]: Taking taylor expansion of d1 in d1
10.878 * [backup-simplify]: Simplify 0 into 0
10.878 * [backup-simplify]: Simplify 1 into 1
10.878 * [backup-simplify]: Simplify (* 1 1) into 1
10.878 * [backup-simplify]: Simplify (* 1 1) into 1
10.878 * [backup-simplify]: Simplify 1 into 1
10.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.879 * [backup-simplify]: Simplify 0 into 0
10.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.880 * [backup-simplify]: Simplify 0 into 0
10.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.881 * [backup-simplify]: Simplify 0 into 0
10.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.883 * [backup-simplify]: Simplify 0 into 0
10.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.886 * [backup-simplify]: Simplify 0 into 0
10.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.889 * [backup-simplify]: Simplify 0 into 0
10.889 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
10.890 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
10.890 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
10.890 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.890 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.890 * [taylor]: Taking taylor expansion of d1 in d1
10.890 * [backup-simplify]: Simplify 0 into 0
10.890 * [backup-simplify]: Simplify 1 into 1
10.890 * [backup-simplify]: Simplify (* 1 1) into 1
10.891 * [backup-simplify]: Simplify (* 1 1) into 1
10.891 * [backup-simplify]: Simplify (/ 1 1) into 1
10.891 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.891 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.891 * [taylor]: Taking taylor expansion of d1 in d1
10.891 * [backup-simplify]: Simplify 0 into 0
10.891 * [backup-simplify]: Simplify 1 into 1
10.892 * [backup-simplify]: Simplify (* 1 1) into 1
10.892 * [backup-simplify]: Simplify (* 1 1) into 1
10.893 * [backup-simplify]: Simplify (/ 1 1) into 1
10.893 * [backup-simplify]: Simplify 1 into 1
10.893 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.894 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.895 * [backup-simplify]: Simplify 0 into 0
10.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.898 * [backup-simplify]: Simplify 0 into 0
10.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.901 * [backup-simplify]: Simplify 0 into 0
10.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.905 * [backup-simplify]: Simplify 0 into 0
10.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.909 * [backup-simplify]: Simplify 0 into 0
10.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.913 * [backup-simplify]: Simplify 0 into 0
10.914 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
10.914 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
10.914 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
10.914 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.914 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.914 * [taylor]: Taking taylor expansion of d1 in d1
10.914 * [backup-simplify]: Simplify 0 into 0
10.914 * [backup-simplify]: Simplify 1 into 1
10.914 * [backup-simplify]: Simplify (* 1 1) into 1
10.915 * [backup-simplify]: Simplify (* 1 1) into 1
10.915 * [backup-simplify]: Simplify (/ 1 1) into 1
10.915 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.915 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.915 * [taylor]: Taking taylor expansion of d1 in d1
10.915 * [backup-simplify]: Simplify 0 into 0
10.915 * [backup-simplify]: Simplify 1 into 1
10.916 * [backup-simplify]: Simplify (* 1 1) into 1
10.916 * [backup-simplify]: Simplify (* 1 1) into 1
10.917 * [backup-simplify]: Simplify (/ 1 1) into 1
10.917 * [backup-simplify]: Simplify 1 into 1
10.918 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.918 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.919 * [backup-simplify]: Simplify 0 into 0
10.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.922 * [backup-simplify]: Simplify 0 into 0
10.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.925 * [backup-simplify]: Simplify 0 into 0
10.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.929 * [backup-simplify]: Simplify 0 into 0
10.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.933 * [backup-simplify]: Simplify 0 into 0
10.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.937 * [backup-simplify]: Simplify 0 into 0
10.937 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
10.938 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
10.938 * [backup-simplify]: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9)
10.938 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
10.938 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.938 * [taylor]: Taking taylor expansion of d1 in d1
10.938 * [backup-simplify]: Simplify 0 into 0
10.938 * [backup-simplify]: Simplify 1 into 1
10.938 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.938 * [taylor]: Taking taylor expansion of d1 in d1
10.938 * [backup-simplify]: Simplify 0 into 0
10.938 * [backup-simplify]: Simplify 1 into 1
10.939 * [backup-simplify]: Simplify (* 1 1) into 1
10.939 * [backup-simplify]: Simplify (* 1 1) into 1
10.939 * [backup-simplify]: Simplify (* 1 1) into 1
10.940 * [backup-simplify]: Simplify (* 1 1) into 1
10.940 * [backup-simplify]: Simplify 1 into 1
10.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.943 * [backup-simplify]: Simplify 0 into 0
10.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.946 * [backup-simplify]: Simplify 0 into 0
10.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.951 * [backup-simplify]: Simplify 0 into 0
10.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.956 * [backup-simplify]: Simplify 0 into 0
10.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.962 * [backup-simplify]: Simplify 0 into 0
10.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.969 * [backup-simplify]: Simplify 0 into 0
10.969 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
10.970 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9))
10.970 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
10.970 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
10.970 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.970 * [taylor]: Taking taylor expansion of d1 in d1
10.970 * [backup-simplify]: Simplify 0 into 0
10.970 * [backup-simplify]: Simplify 1 into 1
10.970 * [backup-simplify]: Simplify (* 1 1) into 1
10.971 * [backup-simplify]: Simplify (* 1 1) into 1
10.971 * [backup-simplify]: Simplify (* 1 1) into 1
10.971 * [backup-simplify]: Simplify (* 1 1) into 1
10.972 * [backup-simplify]: Simplify (/ 1 1) into 1
10.972 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
10.972 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.972 * [taylor]: Taking taylor expansion of d1 in d1
10.972 * [backup-simplify]: Simplify 0 into 0
10.972 * [backup-simplify]: Simplify 1 into 1
10.972 * [backup-simplify]: Simplify (* 1 1) into 1
10.973 * [backup-simplify]: Simplify (* 1 1) into 1
10.973 * [backup-simplify]: Simplify (* 1 1) into 1
10.973 * [backup-simplify]: Simplify (* 1 1) into 1
10.974 * [backup-simplify]: Simplify (/ 1 1) into 1
10.974 * [backup-simplify]: Simplify 1 into 1
10.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.976 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.977 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.977 * [backup-simplify]: Simplify 0 into 0
10.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.980 * [backup-simplify]: Simplify 0 into 0
10.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.984 * [backup-simplify]: Simplify 0 into 0
10.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.987 * [backup-simplify]: Simplify 0 into 0
10.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.992 * [backup-simplify]: Simplify 0 into 0
10.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.996 * [backup-simplify]: Simplify 0 into 0
10.996 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
10.996 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
10.996 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
10.996 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
10.996 * [taylor]: Taking taylor expansion of -1 in d1
10.997 * [backup-simplify]: Simplify -1 into -1
10.997 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.997 * [taylor]: Taking taylor expansion of d1 in d1
10.997 * [backup-simplify]: Simplify 0 into 0
10.997 * [backup-simplify]: Simplify 1 into 1
10.997 * [backup-simplify]: Simplify (* 1 1) into 1
10.997 * [backup-simplify]: Simplify (* 1 1) into 1
10.997 * [backup-simplify]: Simplify (* 1 1) into 1
10.998 * [backup-simplify]: Simplify (* 1 1) into 1
10.998 * [backup-simplify]: Simplify (/ -1 1) into -1
10.998 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
10.998 * [taylor]: Taking taylor expansion of -1 in d1
10.998 * [backup-simplify]: Simplify -1 into -1
10.998 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.998 * [taylor]: Taking taylor expansion of d1 in d1
10.998 * [backup-simplify]: Simplify 0 into 0
10.998 * [backup-simplify]: Simplify 1 into 1
10.998 * [backup-simplify]: Simplify (* 1 1) into 1
10.998 * [backup-simplify]: Simplify (* 1 1) into 1
10.999 * [backup-simplify]: Simplify (* 1 1) into 1
10.999 * [backup-simplify]: Simplify (* 1 1) into 1
10.999 * [backup-simplify]: Simplify (/ -1 1) into -1
10.999 * [backup-simplify]: Simplify -1 into -1
11.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.001 * [backup-simplify]: Simplify 0 into 0
11.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.004 * [backup-simplify]: Simplify 0 into 0
11.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.009 * [backup-simplify]: Simplify 0 into 0
11.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.016 * [backup-simplify]: Simplify 0 into 0
11.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.023 * [backup-simplify]: Simplify 0 into 0
11.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.030 * [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
11.031 * [backup-simplify]: Simplify 0 into 0
11.031 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
11.031 * * * [progress]: simplifying candidates
11.031 * * * * [progress]: [ 1 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log1p (expm1 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.031 * * * * [progress]: [ 2 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (expm1 (log1p (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.031 * * * * [progress]: [ 3 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
11.031 * * * * [progress]: [ 4 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
11.031 * * * * [progress]: [ 5 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
11.031 * * * * [progress]: [ 6 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
11.031 * * * * [progress]: [ 7 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 8 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 9 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 10 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 11 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 12 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 13 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 14 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 15 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 16 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 17 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 18 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 19 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 20 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
11.032 * * * * [progress]: [ 21 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 22 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 23 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 24 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 25 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 26 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 27 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 28 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log1p (expm1 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 29 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (expm1 (log1p (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 30 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 31 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 32 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 33 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 34 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
11.033 * * * * [progress]: [ 35 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 36 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 37 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 38 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 39 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 40 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 41 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 42 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 43 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 44 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 45 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
11.034 * * * * [progress]: [ 46 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 47 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 48 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 49 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 50 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 51 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 52 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 53 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 54 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 55 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 56 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 57 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 58 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
11.035 * * * * [progress]: [ 59 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 60 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 61 / 331 ] 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))>
11.036 * * * * [progress]: [ 62 / 331 ] 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))>
11.036 * * * * [progress]: [ 63 / 331 ] 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))>
11.036 * * * * [progress]: [ 64 / 331 ] 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))>
11.036 * * * * [progress]: [ 65 / 331 ] 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))>
11.036 * * * * [progress]: [ 66 / 331 ] 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))>
11.036 * * * * [progress]: [ 67 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 68 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 69 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 70 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 71 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 72 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 73 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
11.036 * * * * [progress]: [ 74 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 75 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log1p (expm1 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 76 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (expm1 (log1p (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 77 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 78 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 79 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 80 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 81 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 82 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 83 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 84 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 85 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 86 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 87 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 88 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
11.037 * * * * [progress]: [ 89 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 90 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 91 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 92 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 93 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 94 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 95 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 96 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 97 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 98 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 99 / 331 ] 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))>
11.038 * * * * [progress]: [ 100 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 101 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 102 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 103 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
11.038 * * * * [progress]: [ 104 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
11.039 * * * * [progress]: [ 105 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
11.039 * * * * [progress]: [ 106 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
11.039 * * * * [progress]: [ 107 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
11.039 * * * * [progress]: [ 108 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
11.039 * * * * [progress]: [ 109 / 331 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.039 * * * * [progress]: [ 110 / 331 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.039 * * * * [progress]: [ 111 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.039 * * * * [progress]: [ 112 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.039 * * * * [progress]: [ 113 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.039 * * * * [progress]: [ 114 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.039 * * * * [progress]: [ 115 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.039 * * * * [progress]: [ 116 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.039 * * * * [progress]: [ 117 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.039 * * * * [progress]: [ 118 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.040 * * * * [progress]: [ 119 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 120 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.040 * * * * [progress]: [ 121 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 122 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.040 * * * * [progress]: [ 123 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 124 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.040 * * * * [progress]: [ 125 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 126 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.040 * * * * [progress]: [ 127 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 128 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.040 * * * * [progress]: [ 129 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 130 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.040 * * * * [progress]: [ 131 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.040 * * * * [progress]: [ 132 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.041 * * * * [progress]: [ 133 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 134 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.041 * * * * [progress]: [ 135 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 136 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.041 * * * * [progress]: [ 137 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 138 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.041 * * * * [progress]: [ 139 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 140 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.041 * * * * [progress]: [ 141 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 142 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.041 * * * * [progress]: [ 143 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 144 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.041 * * * * [progress]: [ 145 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.041 * * * * [progress]: [ 146 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.042 * * * * [progress]: [ 147 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 148 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.042 * * * * [progress]: [ 149 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 150 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.042 * * * * [progress]: [ 151 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 152 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.042 * * * * [progress]: [ 153 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 154 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.042 * * * * [progress]: [ 155 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 156 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.042 * * * * [progress]: [ 157 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 158 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.042 * * * * [progress]: [ 159 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.042 * * * * [progress]: [ 160 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.043 * * * * [progress]: [ 161 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 162 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.043 * * * * [progress]: [ 163 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 164 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.043 * * * * [progress]: [ 165 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 166 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.043 * * * * [progress]: [ 167 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 168 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.043 * * * * [progress]: [ 169 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 170 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.043 * * * * [progress]: [ 171 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 172 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.043 * * * * [progress]: [ 173 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.043 * * * * [progress]: [ 174 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.044 * * * * [progress]: [ 175 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 176 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.044 * * * * [progress]: [ 177 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 178 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.044 * * * * [progress]: [ 179 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 180 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.044 * * * * [progress]: [ 181 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 182 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.044 * * * * [progress]: [ 183 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 184 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.044 * * * * [progress]: [ 185 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 186 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.044 * * * * [progress]: [ 187 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.044 * * * * [progress]: [ 188 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.045 * * * * [progress]: [ 189 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 190 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.045 * * * * [progress]: [ 191 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 192 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.045 * * * * [progress]: [ 193 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 194 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.045 * * * * [progress]: [ 195 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 196 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.045 * * * * [progress]: [ 197 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 198 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.045 * * * * [progress]: [ 199 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 200 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.045 * * * * [progress]: [ 201 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.045 * * * * [progress]: [ 202 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.046 * * * * [progress]: [ 203 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 204 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.046 * * * * [progress]: [ 205 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 206 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.046 * * * * [progress]: [ 207 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 208 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.046 * * * * [progress]: [ 209 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 210 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.046 * * * * [progress]: [ 211 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 212 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.046 * * * * [progress]: [ 213 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 214 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.046 * * * * [progress]: [ 215 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.046 * * * * [progress]: [ 216 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.047 * * * * [progress]: [ 217 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 218 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.047 * * * * [progress]: [ 219 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 220 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.047 * * * * [progress]: [ 221 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 222 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.047 * * * * [progress]: [ 223 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 224 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.047 * * * * [progress]: [ 225 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 226 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.047 * * * * [progress]: [ 227 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 228 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.047 * * * * [progress]: [ 229 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.047 * * * * [progress]: [ 230 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.048 * * * * [progress]: [ 231 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 232 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.048 * * * * [progress]: [ 233 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 234 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.048 * * * * [progress]: [ 235 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 236 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.048 * * * * [progress]: [ 237 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 238 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.048 * * * * [progress]: [ 239 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 240 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.048 * * * * [progress]: [ 241 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 242 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.048 * * * * [progress]: [ 243 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.048 * * * * [progress]: [ 244 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.049 * * * * [progress]: [ 245 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 246 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.049 * * * * [progress]: [ 247 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 248 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.049 * * * * [progress]: [ 249 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 250 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.049 * * * * [progress]: [ 251 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 252 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.049 * * * * [progress]: [ 253 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 254 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.049 * * * * [progress]: [ 255 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 256 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
11.049 * * * * [progress]: [ 257 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
11.049 * * * * [progress]: [ 258 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
11.049 * * * * [progress]: [ 259 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.050 * * * * [progress]: [ 260 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
11.050 * * * * [progress]: [ 261 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.050 * * * * [progress]: [ 262 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
11.050 * * * * [progress]: [ 263 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.050 * * * * [progress]: [ 264 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
11.050 * * * * [progress]: [ 265 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
11.050 * * * * [progress]: [ 266 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
11.050 * * * * [progress]: [ 267 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.050 * * * * [progress]: [ 268 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
11.050 * * * * [progress]: [ 269 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
11.050 * * * * [progress]: [ 270 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
11.050 * * * * [progress]: [ 271 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.050 * * * * [progress]: [ 272 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 273 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 274 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 275 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 276 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 277 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 278 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 279 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 280 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 281 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 282 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 283 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
11.051 * * * * [progress]: [ 284 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
11.051 * * * * [progress]: [ 285 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
11.051 * * * * [progress]: [ 286 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 287 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 288 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 289 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 290 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 291 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 292 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 293 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 294 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))) d1))>
11.052 * * * * [progress]: [ 295 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.052 * * * * [progress]: [ 296 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.052 * * * * [progress]: [ 297 / 331 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.052 * * * * [progress]: [ 298 / 331 ] simplifiying candidate #<alt (λ (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))>
11.052 * * * * [progress]: [ 299 / 331 ] simplifiying candidate #<alt (λ (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))>
11.052 * * * * [progress]: [ 300 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 301 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 302 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 303 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 304 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 305 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 306 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 307 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 308 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 309 / 331 ] simplifiying candidate #<alt (λ (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))>
11.053 * * * * [progress]: [ 310 / 331 ] simplifiying candidate #<alt (λ (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))>
11.054 * * * * [progress]: [ 311 / 331 ] simplifiying candidate #<alt (λ (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))>
11.054 * * * * [progress]: [ 312 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.054 * * * * [progress]: [ 313 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
11.054 * * * * [progress]: [ 314 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1) d1))>
11.054 * * * * [progress]: [ 315 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
11.054 * * * * [progress]: [ 316 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
11.054 * * * * [progress]: [ 317 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
11.054 * * * * [progress]: [ 318 / 331 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
11.054 * * * * [progress]: [ 319 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1) d1))>
11.054 * * * * [progress]: [ 320 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 321 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 322 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 323 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 324 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 325 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 326 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 327 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 328 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
11.054 * * * * [progress]: [ 329 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
11.055 * * * * [progress]: [ 330 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
11.055 * * * * [progress]: [ 331 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
11.060 * [simplify]: Simplifying:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* (* d1 (* d1 d1)) d1) d1))
  (log1p (* (* (* d1 (* d1 d1)) d1) d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (expm1 (* (* d1 (* d1 d1)) d1))
  (log1p (* (* d1 (* d1 d1)) d1))
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))
  (+ (+ (log d1) (log (* d1 d1))) (log d1))
  (+ (log (* d1 (* d1 d1))) (log d1))
  (log (* (* d1 (* d1 d1)) d1))
  (exp (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1)))
  (cbrt (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* (* d1 (* d1 d1)) 1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 (* d1 d1)) d1))
  (expm1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (log1p (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 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 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 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))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))
  (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (log (* d1 (* (* (* (* (* d1 (* 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 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))))
  (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* (sqrt 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)))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
11.067 * * [simplify]: iteration 0: 219 enodes
11.196 * * [simplify]: iteration 1: 583 enodes
11.632 * * [simplify]: iteration 2: 1835 enodes
13.341 * * [simplify]: iteration complete: 5002 enodes
13.342 * * [simplify]: Extracting #0: cost 55 inf + 0
13.344 * * [simplify]: Extracting #1: cost 613 inf + 127
13.359 * * [simplify]: Extracting #2: cost 1132 inf + 27437
13.414 * * [simplify]: Extracting #3: cost 635 inf + 155876
13.491 * * [simplify]: Extracting #4: cost 54 inf + 324659
13.582 * * [simplify]: Extracting #5: cost 0 inf + 346502
13.655 * * [simplify]: Extracting #6: cost 0 inf + 346462
13.752 * [simplify]: Simplified to:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* d1 d1)
  d1
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (* d1 (sqrt d1)) d1)
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* d1 (* d1 d1)) (* d1 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
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (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))))
  (* (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)))
  (* (* (* d1 d1) (* d1 d1)) (sqrt d1))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* (* d1 (* 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))))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* (* 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
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (log d1)) (log d1)))
  (+ (* 4 (log d1)) (+ (* 4 (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 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))))
  (* (* (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))) (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))) (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))))
  (* (* (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))) (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))) (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))))
  (* (* (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))) (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))) (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))))
  (* (* (* (* d1 (* d1 d1)) (* (* 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)) (* (* d1 d1) (* d1 d1))) (sqrt d1))
  (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
  (real->posit16 (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
13.779 * * * [progress]: adding candidates to table
14.089 * * [progress]: iteration 2 / 4
14.089 * * * [progress]: picking best candidate
14.110 * * * * [pick]: Picked  #<alt (λ (d1) (* (pow d1 9) d1))>
14.110 * * * [progress]: localizing error
14.123 * * * [progress]: generating rewritten candidates
14.123 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
14.139 * * * [progress]: generating series expansions
14.139 * * * * [progress]: [ 1 / 1 ] generating series at (2)
14.139 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10)
14.139 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
14.139 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.139 * [taylor]: Taking taylor expansion of d1 in d1
14.139 * [backup-simplify]: Simplify 0 into 0
14.139 * [backup-simplify]: Simplify 1 into 1
14.139 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.139 * [taylor]: Taking taylor expansion of d1 in d1
14.140 * [backup-simplify]: Simplify 0 into 0
14.140 * [backup-simplify]: Simplify 1 into 1
14.140 * [backup-simplify]: Simplify (* 1 1) into 1
14.141 * [backup-simplify]: Simplify (* 1 1) into 1
14.141 * [backup-simplify]: Simplify (* 1 1) into 1
14.142 * [backup-simplify]: Simplify (* 1 1) into 1
14.142 * [backup-simplify]: Simplify 1 into 1
14.142 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.143 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.144 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.144 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.144 * [backup-simplify]: Simplify 0 into 0
14.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.149 * [backup-simplify]: Simplify 0 into 0
14.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.154 * [backup-simplify]: Simplify 0 into 0
14.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.159 * [backup-simplify]: Simplify 0 into 0
14.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.165 * [backup-simplify]: Simplify 0 into 0
14.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.172 * [backup-simplify]: Simplify 0 into 0
14.172 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
14.172 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10))
14.172 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
14.172 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.172 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.172 * [taylor]: Taking taylor expansion of d1 in d1
14.172 * [backup-simplify]: Simplify 0 into 0
14.172 * [backup-simplify]: Simplify 1 into 1
14.173 * [backup-simplify]: Simplify (* 1 1) into 1
14.173 * [backup-simplify]: Simplify (* 1 1) into 1
14.174 * [backup-simplify]: Simplify (* 1 1) into 1
14.174 * [backup-simplify]: Simplify (* 1 1) into 1
14.174 * [backup-simplify]: Simplify (/ 1 1) into 1
14.174 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.174 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.174 * [taylor]: Taking taylor expansion of d1 in d1
14.174 * [backup-simplify]: Simplify 0 into 0
14.175 * [backup-simplify]: Simplify 1 into 1
14.175 * [backup-simplify]: Simplify (* 1 1) into 1
14.175 * [backup-simplify]: Simplify (* 1 1) into 1
14.176 * [backup-simplify]: Simplify (* 1 1) into 1
14.176 * [backup-simplify]: Simplify (* 1 1) into 1
14.176 * [backup-simplify]: Simplify (/ 1 1) into 1
14.177 * [backup-simplify]: Simplify 1 into 1
14.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.178 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.179 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.179 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.180 * [backup-simplify]: Simplify 0 into 0
14.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.185 * [backup-simplify]: Simplify 0 into 0
14.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.191 * [backup-simplify]: Simplify 0 into 0
14.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.197 * [backup-simplify]: Simplify 0 into 0
14.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.204 * [backup-simplify]: Simplify 0 into 0
14.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.211 * [backup-simplify]: Simplify 0 into 0
14.212 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
14.212 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10))
14.212 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
14.212 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.212 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.212 * [taylor]: Taking taylor expansion of d1 in d1
14.212 * [backup-simplify]: Simplify 0 into 0
14.212 * [backup-simplify]: Simplify 1 into 1
14.212 * [backup-simplify]: Simplify (* 1 1) into 1
14.213 * [backup-simplify]: Simplify (* 1 1) into 1
14.213 * [backup-simplify]: Simplify (* 1 1) into 1
14.214 * [backup-simplify]: Simplify (* 1 1) into 1
14.214 * [backup-simplify]: Simplify (/ 1 1) into 1
14.214 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.214 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.214 * [taylor]: Taking taylor expansion of d1 in d1
14.214 * [backup-simplify]: Simplify 0 into 0
14.214 * [backup-simplify]: Simplify 1 into 1
14.215 * [backup-simplify]: Simplify (* 1 1) into 1
14.215 * [backup-simplify]: Simplify (* 1 1) into 1
14.215 * [backup-simplify]: Simplify (* 1 1) into 1
14.216 * [backup-simplify]: Simplify (* 1 1) into 1
14.216 * [backup-simplify]: Simplify (/ 1 1) into 1
14.216 * [backup-simplify]: Simplify 1 into 1
14.217 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.220 * [backup-simplify]: Simplify 0 into 0
14.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.225 * [backup-simplify]: Simplify 0 into 0
14.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.230 * [backup-simplify]: Simplify 0 into 0
14.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.236 * [backup-simplify]: Simplify 0 into 0
14.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.243 * [backup-simplify]: Simplify 0 into 0
14.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.255 * [backup-simplify]: Simplify 0 into 0
14.255 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
14.255 * * * [progress]: simplifying candidates
14.255 * * * * [progress]: [ 1 / 33 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 2 / 33 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 3 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
14.255 * * * * [progress]: [ 4 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
14.255 * * * * [progress]: [ 5 / 33 ] simplifiying candidate #<alt (λ (d1) (pow (* (pow d1 9) d1) 1))>
14.255 * * * * [progress]: [ 6 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
14.255 * * * * [progress]: [ 7 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
14.255 * * * * [progress]: [ 8 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 9)) (log d1))))>
14.255 * * * * [progress]: [ 9 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 10 / 33 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 11 / 33 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))))>
14.255 * * * * [progress]: [ 12 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1))) (cbrt (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 13 / 33 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 14 / 33 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1))))>
14.255 * * * * [progress]: [ 15 / 33 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
14.255 * * * * [progress]: [ 16 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1))))>
14.255 * * * * [progress]: [ 17 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1))))>
14.255 * * * * [progress]: [ 18 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1))))>
14.256 * * * * [progress]: [ 19 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
14.256 * * * * [progress]: [ 20 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (sqrt d1)) (sqrt d1)))>
14.256 * * * * [progress]: [ 21 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) 1) d1))>
14.256 * * * * [progress]: [ 22 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (cbrt d1) (cbrt d1)) 9) (* (pow (cbrt d1) 9) d1)))>
14.256 * * * * [progress]: [ 23 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow (sqrt d1) 9) (* (pow (sqrt d1) 9) d1)))>
14.256 * * * * [progress]: [ 24 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow 1 9) (* (pow d1 9) d1)))>
14.256 * * * * [progress]: [ 25 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) (* (cbrt (pow d1 9)) d1)))>
14.256 * * * * [progress]: [ 26 / 33 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (pow d1 9)) (* (sqrt (pow d1 9)) d1)))>
14.256 * * * * [progress]: [ 27 / 33 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
14.256 * * * * [progress]: [ 28 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (/ 9 2)) (* (pow d1 (/ 9 2)) d1)))>
14.256 * * * * [progress]: [ 29 / 33 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (pow d1 9) d1))))>
14.256 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #<alt (λ (d1) (* d1 (pow d1 9)))>
14.256 * * * * [progress]: [ 31 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
14.256 * * * * [progress]: [ 32 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
14.256 * * * * [progress]: [ 33 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
14.256 * [simplify]: Simplifying:
  (expm1 (* (pow d1 9) d1))
  (log1p (* (pow d1 9) d1))
  (+ 9 1)
  (+ 9 1)
  (+ (* (log d1) 9) (log d1))
  (+ (* (log d1) 9) (log d1))
  (+ (log (pow d1 9)) (log d1))
  (log (* (pow d1 9) d1))
  (exp (* (pow d1 9) d1))
  (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1)))
  (cbrt (* (pow d1 9) d1))
  (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 9) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 9) (sqrt d1))
  (* (pow d1 9) 1)
  (* (pow (cbrt d1) 9) d1)
  (* (pow (sqrt d1) 9) d1)
  (* (pow d1 9) d1)
  (* (cbrt (pow d1 9)) d1)
  (* (sqrt (pow d1 9)) d1)
  (* (pow d1 9) d1)
  (* (pow d1 (/ 9 2)) d1)
  (real->posit16 (* (pow d1 9) d1))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
14.257 * * [simplify]: iteration 0: 49 enodes
14.269 * * [simplify]: iteration 1: 113 enodes
14.312 * * [simplify]: iteration 2: 314 enodes
14.564 * * [simplify]: iteration 3: 1206 enodes
15.606 * * [simplify]: iteration complete: 5004 enodes
15.606 * * [simplify]: Extracting #0: cost 22 inf + 0
15.608 * * [simplify]: Extracting #1: cost 531 inf + 1
15.614 * * [simplify]: Extracting #2: cost 1586 inf + 2084
15.631 * * [simplify]: Extracting #3: cost 1322 inf + 162804
15.675 * * [simplify]: Extracting #4: cost 356 inf + 630353
15.752 * * [simplify]: Extracting #5: cost 14 inf + 816996
15.838 * * [simplify]: Extracting #6: cost 0 inf + 821553
15.920 * * [simplify]: Extracting #7: cost 0 inf + 821423
15.981 * [simplify]: Simplified to:
  (expm1 (pow d1 10))
  (log1p (pow d1 10))
  10
  10
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (exp (pow d1 10))
  (* (* (* (pow d1 9) (* (pow d1 9) d1)) (* (pow d1 9) d1)) d1)
  (* (cbrt (pow d1 10)) (cbrt (pow d1 10)))
  (cbrt (pow d1 10))
  (* (* (* (pow d1 9) (* (pow d1 9) d1)) (* (pow d1 9) d1)) d1)
  (fabs (pow d1 5))
  (fabs (pow d1 5))
  (pow (sqrt d1) 10)
  (pow (sqrt d1) 10)
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (pow d1 9/2) (sqrt d1))
  (* (pow d1 9/2) (sqrt d1))
  (* (* (cbrt d1) (cbrt d1)) (pow d1 9))
  (* (sqrt d1) (pow d1 9))
  (pow d1 9)
  (* d1 (pow (cbrt d1) 9))
  (* d1 (pow (sqrt d1) 9))
  (pow d1 10)
  (* d1 (cbrt (pow d1 9)))
  (* d1 (sqrt (pow d1 9)))
  (pow d1 10)
  (pow d1 11/2)
  (real->posit16 (pow d1 10))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
15.982 * * * [progress]: adding candidates to table
16.067 * * [progress]: iteration 3 / 4
16.068 * * * [progress]: picking best candidate
16.071 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
16.071 * * * [progress]: localizing error
16.078 * * * [progress]: generating rewritten candidates
16.078 * * * [progress]: generating series expansions
16.078 * * * [progress]: simplifying candidates
16.078 * [simplify]: Simplifying:
  
16.078 * * [simplify]: iteration 0: 0 enodes
16.078 * * [simplify]: iteration complete: 0 enodes
16.078 * * [simplify]: Extracting #0: cost 0 inf + 0
16.078 * [simplify]: Simplified to:
  
16.078 * * * [progress]: adding candidates to table
16.079 * [progress]: [Phase 3 of 3] Extracting.
16.081 * [simplify]: Simplifying:
  (pow d1 10)
16.081 * * [simplify]: iteration 0: 3 enodes
16.081 * * [simplify]: iteration complete: 3 enodes
16.081 * * [simplify]: Extracting #0: cost 1 inf + 0
16.081 * * [simplify]: Extracting #1: cost 3 inf + 0
16.081 * * [simplify]: Extracting #2: cost 1 inf + 2
16.081 * * [simplify]: Extracting #3: cost 0 inf + 214
16.081 * [simplify]: Simplified to:
  (pow d1 10)
17.963 * [regime-testing]: Baseline error score: 0
17.965 * [regime-testing]: Oracle error score: 0
17.965 * [regime-testing]: End program error score: 0
18.012 * [regime-testing]: Target error score: 0