40.708 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.055 * [progress]: [Phase 2 of 3] Improving.
0.055 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.055 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.056 * * [simplify]: iteration 0: 9 enodes
0.057 * * [simplify]: iteration 1: 24 enodes
0.062 * * [simplify]: iteration 2: 55 enodes
0.088 * * [simplify]: iteration 3: 103 enodes
0.191 * * [simplify]: iteration 4: 325 enodes
0.318 * * [simplify]: iteration 5: 505 enodes
0.943 * * [simplify]: iteration 6: 1797 enodes
2.566 * * [simplify]: iteration complete: 5001 enodes
2.566 * * [simplify]: Extracting #0: cost 1 inf + 0
2.566 * * [simplify]: Extracting #1: cost 110 inf + 0
2.570 * * [simplify]: Extracting #2: cost 1156 inf + 1333
2.577 * * [simplify]: Extracting #3: cost 1236 inf + 11119
2.587 * * [simplify]: Extracting #4: cost 1081 inf + 56738
2.654 * * [simplify]: Extracting #5: cost 337 inf + 474839
2.719 * * [simplify]: Extracting #6: cost 14 inf + 695568
2.818 * * [simplify]: Extracting #7: cost 0 inf + 703326
2.938 * * [simplify]: Extracting #8: cost 0 inf + 703195
3.028 * [simplify]: Simplified to:
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))
3.036 * * [progress]: iteration 1 / 4
3.036 * * * [progress]: picking best candidate
3.043 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
3.043 * * * [progress]: localizing error
3.087 * * * [progress]: generating rewritten candidates
3.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1)
3.165 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
3.372 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.843 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
3.864 * * * [progress]: generating series expansions
3.864 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1)
3.864 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
3.864 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
3.864 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.864 * [taylor]: Taking taylor expansion of d1 in d1
3.864 * [backup-simplify]: Simplify 0 into 0
3.864 * [backup-simplify]: Simplify 1 into 1
3.864 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.864 * [taylor]: Taking taylor expansion of d1 in d1
3.864 * [backup-simplify]: Simplify 0 into 0
3.864 * [backup-simplify]: Simplify 1 into 1
3.865 * [backup-simplify]: Simplify (* 1 1) into 1
3.865 * [backup-simplify]: Simplify (* 1 1) into 1
3.865 * [backup-simplify]: Simplify 1 into 1
3.865 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.866 * [backup-simplify]: Simplify 0 into 0
3.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.867 * [backup-simplify]: Simplify 0 into 0
3.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.869 * [backup-simplify]: Simplify 0 into 0
3.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.870 * [backup-simplify]: Simplify 0 into 0
3.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.872 * [backup-simplify]: Simplify 0 into 0
3.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.873 * [backup-simplify]: Simplify 0 into 0
3.873 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
3.874 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
3.874 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.874 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.874 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.874 * [taylor]: Taking taylor expansion of d1 in d1
3.874 * [backup-simplify]: Simplify 0 into 0
3.874 * [backup-simplify]: Simplify 1 into 1
3.874 * [backup-simplify]: Simplify (* 1 1) into 1
3.874 * [backup-simplify]: Simplify (* 1 1) into 1
3.874 * [backup-simplify]: Simplify (/ 1 1) into 1
3.874 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.875 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.875 * [taylor]: Taking taylor expansion of d1 in d1
3.875 * [backup-simplify]: Simplify 0 into 0
3.875 * [backup-simplify]: Simplify 1 into 1
3.875 * [backup-simplify]: Simplify (* 1 1) into 1
3.875 * [backup-simplify]: Simplify (* 1 1) into 1
3.875 * [backup-simplify]: Simplify (/ 1 1) into 1
3.875 * [backup-simplify]: Simplify 1 into 1
3.876 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.876 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.877 * [backup-simplify]: Simplify 0 into 0
3.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.878 * [backup-simplify]: Simplify 0 into 0
3.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.880 * [backup-simplify]: Simplify 0 into 0
3.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.882 * [backup-simplify]: Simplify 0 into 0
3.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.884 * [backup-simplify]: Simplify 0 into 0
3.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
3.887 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
3.887 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.887 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.887 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.887 * [taylor]: Taking taylor expansion of d1 in d1
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify 1 into 1
3.887 * [backup-simplify]: Simplify (* 1 1) into 1
3.887 * [backup-simplify]: Simplify (* 1 1) into 1
3.888 * [backup-simplify]: Simplify (/ 1 1) into 1
3.888 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.888 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.888 * [taylor]: Taking taylor expansion of d1 in d1
3.888 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify 1 into 1
3.888 * [backup-simplify]: Simplify (* 1 1) into 1
3.888 * [backup-simplify]: Simplify (* 1 1) into 1
3.889 * [backup-simplify]: Simplify (/ 1 1) into 1
3.889 * [backup-simplify]: Simplify 1 into 1
3.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.891 * [backup-simplify]: Simplify 0 into 0
3.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.893 * [backup-simplify]: Simplify 0 into 0
3.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.895 * [backup-simplify]: Simplify 0 into 0
3.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.897 * [backup-simplify]: Simplify 0 into 0
3.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.900 * [backup-simplify]: Simplify 0 into 0
3.900 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
3.900 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
3.900 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
3.900 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
3.900 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.900 * [taylor]: Taking taylor expansion of d1 in d1
3.900 * [backup-simplify]: Simplify 0 into 0
3.900 * [backup-simplify]: Simplify 1 into 1
3.900 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.900 * [taylor]: Taking taylor expansion of d1 in d1
3.900 * [backup-simplify]: Simplify 0 into 0
3.900 * [backup-simplify]: Simplify 1 into 1
3.900 * [backup-simplify]: Simplify (* 1 1) into 1
3.901 * [backup-simplify]: Simplify (* 1 1) into 1
3.901 * [backup-simplify]: Simplify (* 1 1) into 1
3.901 * [backup-simplify]: Simplify 1 into 1
3.901 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.904 * [backup-simplify]: Simplify 0 into 0
3.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.906 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.908 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.910 * [backup-simplify]: Simplify 0 into 0
3.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
3.913 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
3.913 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
3.913 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.913 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.913 * [taylor]: Taking taylor expansion of d1 in d1
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify 1 into 1
3.913 * [backup-simplify]: Simplify (* 1 1) into 1
3.914 * [backup-simplify]: Simplify (* 1 1) into 1
3.914 * [backup-simplify]: Simplify (* 1 1) into 1
3.914 * [backup-simplify]: Simplify (/ 1 1) into 1
3.914 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.914 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.914 * [taylor]: Taking taylor expansion of d1 in d1
3.914 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify 1 into 1
3.914 * [backup-simplify]: Simplify (* 1 1) into 1
3.915 * [backup-simplify]: Simplify (* 1 1) into 1
3.915 * [backup-simplify]: Simplify (* 1 1) into 1
3.915 * [backup-simplify]: Simplify (/ 1 1) into 1
3.915 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.917 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.922 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.926 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.931 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.936 * [backup-simplify]: Simplify 0 into 0
3.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.942 * [backup-simplify]: Simplify 0 into 0
3.942 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
3.942 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
3.942 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
3.942 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.943 * [taylor]: Taking taylor expansion of -1 in d1
3.943 * [backup-simplify]: Simplify -1 into -1
3.943 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.943 * [taylor]: Taking taylor expansion of d1 in d1
3.943 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify 1 into 1
3.951 * [backup-simplify]: Simplify (* 1 1) into 1
3.952 * [backup-simplify]: Simplify (* 1 1) into 1
3.953 * [backup-simplify]: Simplify (* 1 1) into 1
3.953 * [backup-simplify]: Simplify (/ -1 1) into -1
3.953 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.953 * [taylor]: Taking taylor expansion of -1 in d1
3.953 * [backup-simplify]: Simplify -1 into -1
3.953 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.953 * [taylor]: Taking taylor expansion of d1 in d1
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 1 into 1
3.954 * [backup-simplify]: Simplify (* 1 1) into 1
3.954 * [backup-simplify]: Simplify (* 1 1) into 1
3.954 * [backup-simplify]: Simplify (* 1 1) into 1
3.955 * [backup-simplify]: Simplify (/ -1 1) into -1
3.955 * [backup-simplify]: Simplify -1 into -1
3.956 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.958 * [backup-simplify]: Simplify 0 into 0
3.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.962 * [backup-simplify]: Simplify 0 into 0
3.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.968 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.973 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.973 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.979 * [backup-simplify]: Simplify 0 into 0
3.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.985 * [backup-simplify]: Simplify 0 into 0
3.985 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
3.985 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.985 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
3.985 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
3.985 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.986 * [taylor]: Taking taylor expansion of d1 in d1
3.986 * [backup-simplify]: Simplify 0 into 0
3.986 * [backup-simplify]: Simplify 1 into 1
3.986 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.986 * [taylor]: Taking taylor expansion of d1 in d1
3.986 * [backup-simplify]: Simplify 0 into 0
3.986 * [backup-simplify]: Simplify 1 into 1
3.986 * [backup-simplify]: Simplify (* 1 1) into 1
3.987 * [backup-simplify]: Simplify (* 1 1) into 1
3.987 * [backup-simplify]: Simplify (* 1 1) into 1
3.987 * [backup-simplify]: Simplify (* 1 1) into 1
3.987 * [backup-simplify]: Simplify 1 into 1
3.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.989 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.989 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.990 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.990 * [backup-simplify]: Simplify 0 into 0
3.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.998 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.003 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.009 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.016 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
4.016 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
4.016 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
4.016 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
4.016 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.016 * [taylor]: Taking taylor expansion of d1 in d1
4.016 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify 1 into 1
4.017 * [backup-simplify]: Simplify (* 1 1) into 1
4.017 * [backup-simplify]: Simplify (* 1 1) into 1
4.018 * [backup-simplify]: Simplify (* 1 1) into 1
4.018 * [backup-simplify]: Simplify (* 1 1) into 1
4.018 * [backup-simplify]: Simplify (/ 1 1) into 1
4.018 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
4.018 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.018 * [taylor]: Taking taylor expansion of d1 in d1
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 1 into 1
4.019 * [backup-simplify]: Simplify (* 1 1) into 1
4.019 * [backup-simplify]: Simplify (* 1 1) into 1
4.020 * [backup-simplify]: Simplify (* 1 1) into 1
4.020 * [backup-simplify]: Simplify (* 1 1) into 1
4.020 * [backup-simplify]: Simplify (/ 1 1) into 1
4.020 * [backup-simplify]: Simplify 1 into 1
4.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.022 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.022 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.024 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.029 * [backup-simplify]: Simplify 0 into 0
4.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.034 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.047 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.054 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
4.055 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
4.055 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
4.055 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
4.055 * [taylor]: Taking taylor expansion of -1 in d1
4.055 * [backup-simplify]: Simplify -1 into -1
4.055 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.055 * [taylor]: Taking taylor expansion of d1 in d1
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify 1 into 1
4.056 * [backup-simplify]: Simplify (* 1 1) into 1
4.056 * [backup-simplify]: Simplify (* 1 1) into 1
4.056 * [backup-simplify]: Simplify (* 1 1) into 1
4.057 * [backup-simplify]: Simplify (* 1 1) into 1
4.057 * [backup-simplify]: Simplify (/ -1 1) into -1
4.057 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
4.057 * [taylor]: Taking taylor expansion of -1 in d1
4.057 * [backup-simplify]: Simplify -1 into -1
4.057 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.057 * [taylor]: Taking taylor expansion of d1 in d1
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify 1 into 1
4.058 * [backup-simplify]: Simplify (* 1 1) into 1
4.058 * [backup-simplify]: Simplify (* 1 1) into 1
4.058 * [backup-simplify]: Simplify (* 1 1) into 1
4.059 * [backup-simplify]: Simplify (* 1 1) into 1
4.059 * [backup-simplify]: Simplify (/ -1 1) into -1
4.059 * [backup-simplify]: Simplify -1 into -1
4.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.061 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.061 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.063 * [backup-simplify]: Simplify 0 into 0
4.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.068 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.068 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.073 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.080 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.087 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.094 * [backup-simplify]: Simplify 0 into 0
4.094 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
4.094 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
4.095 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
4.095 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
4.095 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.095 * [taylor]: Taking taylor expansion of d1 in d1
4.095 * [backup-simplify]: Simplify 0 into 0
4.095 * [backup-simplify]: Simplify 1 into 1
4.095 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.095 * [taylor]: Taking taylor expansion of d1 in d1
4.095 * [backup-simplify]: Simplify 0 into 0
4.095 * [backup-simplify]: Simplify 1 into 1
4.095 * [backup-simplify]: Simplify (* 1 1) into 1
4.096 * [backup-simplify]: Simplify (* 1 1) into 1
4.096 * [backup-simplify]: Simplify 1 into 1
4.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.097 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.097 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.104 * [backup-simplify]: Simplify 0 into 0
4.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.105 * [backup-simplify]: Simplify 0 into 0
4.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.107 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.108 * [backup-simplify]: Simplify 0 into 0
4.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.110 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
4.110 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
4.110 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
4.110 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
4.110 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.111 * [taylor]: Taking taylor expansion of d1 in d1
4.111 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify 1 into 1
4.111 * [backup-simplify]: Simplify (* 1 1) into 1
4.111 * [backup-simplify]: Simplify (* 1 1) into 1
4.111 * [backup-simplify]: Simplify (/ 1 1) into 1
4.111 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
4.111 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.111 * [taylor]: Taking taylor expansion of d1 in d1
4.111 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify 1 into 1
4.112 * [backup-simplify]: Simplify (* 1 1) into 1
4.112 * [backup-simplify]: Simplify (* 1 1) into 1
4.112 * [backup-simplify]: Simplify (/ 1 1) into 1
4.112 * [backup-simplify]: Simplify 1 into 1
4.113 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.113 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.113 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.115 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.117 * [backup-simplify]: Simplify 0 into 0
4.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.120 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.122 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
4.124 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
4.124 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
4.124 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
4.125 * [taylor]: Taking taylor expansion of -1 in d1
4.125 * [backup-simplify]: Simplify -1 into -1
4.125 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.125 * [taylor]: Taking taylor expansion of d1 in d1
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 1 into 1
4.125 * [backup-simplify]: Simplify (* 1 1) into 1
4.125 * [backup-simplify]: Simplify (* 1 1) into 1
4.125 * [backup-simplify]: Simplify (/ -1 1) into -1
4.125 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
4.125 * [taylor]: Taking taylor expansion of -1 in d1
4.125 * [backup-simplify]: Simplify -1 into -1
4.125 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.125 * [taylor]: Taking taylor expansion of d1 in d1
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 1 into 1
4.126 * [backup-simplify]: Simplify (* 1 1) into 1
4.126 * [backup-simplify]: Simplify (* 1 1) into 1
4.126 * [backup-simplify]: Simplify (/ -1 1) into -1
4.126 * [backup-simplify]: Simplify -1 into -1
4.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.130 * [backup-simplify]: Simplify 0 into 0
4.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.131 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.133 * [backup-simplify]: Simplify 0 into 0
4.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.136 * [backup-simplify]: Simplify 0 into 0
4.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.138 * [backup-simplify]: Simplify 0 into 0
4.138 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
4.138 * * * [progress]: simplifying candidates
4.138 * * * * [progress]: [ 1 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log1p (expm1 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.138 * * * * [progress]: [ 2 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (expm1 (log1p (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.138 * * * * [progress]: [ 3 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.138 * * * * [progress]: [ 4 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
4.138 * * * * [progress]: [ 5 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 6 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 7 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 8 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 9 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 10 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 11 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 12 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 13 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 14 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 15 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 16 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 17 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 18 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 19 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 20 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 21 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 22 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 23 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 24 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 25 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 26 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 27 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 28 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
4.139 * * * * [progress]: [ 29 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 30 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 31 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 32 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 33 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 34 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 35 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log1p (expm1 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 36 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (expm1 (log1p (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 37 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 38 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 39 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 40 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 41 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 42 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 43 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 44 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 45 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 46 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 47 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 48 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 49 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 50 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 51 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 52 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.140 * * * * [progress]: [ 53 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 54 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 55 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 56 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 57 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 58 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 59 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 60 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 61 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 62 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 63 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 64 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 65 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 66 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 67 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 68 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 69 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 70 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 71 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 72 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 73 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 74 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 75 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 76 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
4.141 * * * * [progress]: [ 77 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
4.142 * * * * [progress]: [ 78 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.142 * * * * [progress]: [ 79 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
4.142 * * * * [progress]: [ 80 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.142 * * * * [progress]: [ 81 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
4.142 * * * * [progress]: [ 82 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log1p (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.142 * * * * [progress]: [ 83 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (expm1 (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.142 * * * * [progress]: [ 84 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 85 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.142 * * * * [progress]: [ 86 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 87 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.142 * * * * [progress]: [ 88 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 89 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.142 * * * * [progress]: [ 90 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 91 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.142 * * * * [progress]: [ 92 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 93 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.142 * * * * [progress]: [ 94 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 95 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.142 * * * * [progress]: [ 96 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 97 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.142 * * * * [progress]: [ 98 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 99 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.142 * * * * [progress]: [ 100 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.142 * * * * [progress]: [ 101 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 102 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 103 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.143 * * * * [progress]: [ 104 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 105 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 106 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 107 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.143 * * * * [progress]: [ 108 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 109 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 110 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 111 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.143 * * * * [progress]: [ 112 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 113 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 114 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 115 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.143 * * * * [progress]: [ 116 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 117 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 118 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 119 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.143 * * * * [progress]: [ 120 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 121 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 122 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 123 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.143 * * * * [progress]: [ 124 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.143 * * * * [progress]: [ 125 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.143 * * * * [progress]: [ 126 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 127 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.144 * * * * [progress]: [ 128 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 129 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.144 * * * * [progress]: [ 130 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 131 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.144 * * * * [progress]: [ 132 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 133 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.144 * * * * [progress]: [ 134 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 135 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.144 * * * * [progress]: [ 136 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 137 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.144 * * * * [progress]: [ 138 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 139 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.144 * * * * [progress]: [ 140 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 141 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.144 * * * * [progress]: [ 142 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 143 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.144 * * * * [progress]: [ 144 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 145 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.144 * * * * [progress]: [ 146 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 147 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.144 * * * * [progress]: [ 148 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.144 * * * * [progress]: [ 149 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.145 * * * * [progress]: [ 150 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 151 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.145 * * * * [progress]: [ 152 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 153 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.145 * * * * [progress]: [ 154 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 155 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.145 * * * * [progress]: [ 156 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 157 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.145 * * * * [progress]: [ 158 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 159 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.145 * * * * [progress]: [ 160 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 161 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.145 * * * * [progress]: [ 162 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.145 * * * * [progress]: [ 163 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.145 * * * * [progress]: [ 164 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 165 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 166 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 167 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 168 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 169 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 170 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 171 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.145 * * * * [progress]: [ 172 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.146 * * * * [progress]: [ 173 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.146 * * * * [progress]: [ 174 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.146 * * * * [progress]: [ 175 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 176 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 177 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 178 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 179 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 180 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 181 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 182 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 183 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 184 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 185 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 186 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 187 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 188 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 189 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 190 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 191 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 192 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
4.146 * * * * [progress]: [ 193 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 194 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 195 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 196 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 197 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 198 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 199 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 200 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* 1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1)) d1))>
4.147 * * * * [progress]: [ 201 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) d1) d1) d1)) d1))>
4.147 * * * * [progress]: [ 202 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) (* d1 (* d1 d1))) d1)) d1))>
4.147 * * * * [progress]: [ 203 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (posit16->real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.147 * * * * [progress]: [ 204 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 d1) (* (* (* d1 (* d1 d1)) d1) d1)) d1)) d1))>
4.147 * * * * [progress]: [ 205 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log1p (expm1 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 206 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (expm1 (log1p (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 207 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 208 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 209 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 210 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 211 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 212 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 213 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 214 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 215 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 216 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 217 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.147 * * * * [progress]: [ 218 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 219 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 220 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 221 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 222 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 223 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 224 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 225 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 226 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 227 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 228 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 229 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 230 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 231 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 232 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 233 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 234 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 235 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 236 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 237 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 238 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.148 * * * * [progress]: [ 239 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.148 * * * * [progress]: [ 240 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.148 * * * * [progress]: [ 241 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 242 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.148 * * * * [progress]: [ 243 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.150 * [simplify]: Simplifying:
  (expm1 (* (* d1 (* d1 d1)) d1))
  (log1p (* (* d1 (* d1 d1)) d1))
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))
  (+ (+ (log d1) (log (* d1 d1))) (log d1))
  (+ (log (* d1 (* d1 d1))) (log d1))
  (log (* (* d1 (* d1 d1)) d1))
  (exp (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1)))
  (cbrt (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* (* d1 (* d1 d1)) 1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 (* d1 d1)) d1))
  (expm1 (* (* (* d1 (* d1 d1)) d1) d1))
  (log1p (* (* (* d1 (* d1 d1)) d1) d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))
  (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))))
  (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) d1) d1) d1)
  (* d1 (* d1 d1))
  (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (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)))
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
4.152 * * [simplify]: iteration 0: 139 enodes
4.220 * * [simplify]: iteration 1: 360 enodes
4.434 * * [simplify]: iteration 2: 986 enodes
5.463 * * [simplify]: iteration 3: 3094 enodes
7.174 * * [simplify]: iteration complete: 5003 enodes
7.174 * * [simplify]: Extracting #0: cost 53 inf + 0
7.177 * * [simplify]: Extracting #1: cost 563 inf + 1678
7.195 * * [simplify]: Extracting #2: cost 910 inf + 37096
7.224 * * [simplify]: Extracting #3: cost 566 inf + 152183
7.272 * * [simplify]: Extracting #4: cost 149 inf + 293642
7.349 * * [simplify]: Extracting #5: cost 3 inf + 359655
7.406 * * [simplify]: Extracting #6: cost 0 inf + 362207
7.482 * [simplify]: Simplified to:
  (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
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* (* (* d1 d1) d1) (sqrt d1))
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  (expm1 (* d1 (* (* d1 d1) (* d1 d1))))
  (log1p (* d1 (* (* d1 d1) (* d1 d1))))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (cbrt (* d1 (* (* d1 d1) (* d1 d1)))) (cbrt (* d1 (* (* d1 d1) (* d1 d1)))))
  (cbrt (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* d1 d1) (* d1 d1))))
  (sqrt (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1)))
  (* (* d1 d1) (* (sqrt d1) (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* d1 (* (* d1 d1) (* d1 d1))))
  (expm1 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (log1p (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (fma 4 (log d1) (* 3 (log d1)))
  (exp (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1))))
  (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* d1 d1))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (expm1 (* (* d1 d1) d1))
  (log1p (* (* d1 d1) d1))
  3
  3
  3
  3
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* (* d1 d1) d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* d1 d1)
  d1
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* d1 (* (cbrt d1) d1))
  (* (sqrt d1) (* d1 d1))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
7.504 * * * [progress]: adding candidates to table
7.808 * * [progress]: iteration 2 / 4
7.808 * * * [progress]: picking best candidate
7.836 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.836 * * * [progress]: localizing error
7.858 * * * [progress]: generating rewritten candidates
7.858 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.894 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.912 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.992 * * * [progress]: generating series expansions
7.992 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.992 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
7.992 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
7.992 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.992 * [taylor]: Taking taylor expansion of d1 in d1
7.992 * [backup-simplify]: Simplify 0 into 0
7.992 * [backup-simplify]: Simplify 1 into 1
7.992 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.992 * [taylor]: Taking taylor expansion of d1 in d1
7.992 * [backup-simplify]: Simplify 0 into 0
7.992 * [backup-simplify]: Simplify 1 into 1
7.993 * [backup-simplify]: Simplify (* 1 1) into 1
7.993 * [backup-simplify]: Simplify (* 1 1) into 1
7.994 * [backup-simplify]: Simplify (* 1 1) into 1
7.994 * [backup-simplify]: Simplify (* 1 1) into 1
7.994 * [backup-simplify]: Simplify 1 into 1
7.995 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.997 * [backup-simplify]: Simplify 0 into 0
7.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.001 * [backup-simplify]: Simplify 0 into 0
8.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.005 * [backup-simplify]: Simplify 0 into 0
8.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.009 * [backup-simplify]: Simplify 0 into 0
8.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.014 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.020 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
8.020 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
8.020 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
8.020 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.020 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.020 * [taylor]: Taking taylor expansion of d1 in d1
8.020 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify 1 into 1
8.021 * [backup-simplify]: Simplify (* 1 1) into 1
8.022 * [backup-simplify]: Simplify (* 1 1) into 1
8.022 * [backup-simplify]: Simplify (* 1 1) into 1
8.022 * [backup-simplify]: Simplify (* 1 1) into 1
8.023 * [backup-simplify]: Simplify (/ 1 1) into 1
8.023 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.023 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.023 * [taylor]: Taking taylor expansion of d1 in d1
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 1 into 1
8.023 * [backup-simplify]: Simplify (* 1 1) into 1
8.023 * [backup-simplify]: Simplify (* 1 1) into 1
8.024 * [backup-simplify]: Simplify (* 1 1) into 1
8.024 * [backup-simplify]: Simplify (* 1 1) into 1
8.024 * [backup-simplify]: Simplify (/ 1 1) into 1
8.025 * [backup-simplify]: Simplify 1 into 1
8.025 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.028 * [backup-simplify]: Simplify 0 into 0
8.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.032 * [backup-simplify]: Simplify 0 into 0
8.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.037 * [backup-simplify]: Simplify 0 into 0
8.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.043 * [backup-simplify]: Simplify 0 into 0
8.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.049 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.057 * [backup-simplify]: Simplify 0 into 0
8.057 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
8.057 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
8.057 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
8.057 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
8.057 * [taylor]: Taking taylor expansion of -1 in d1
8.057 * [backup-simplify]: Simplify -1 into -1
8.057 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.058 * [taylor]: Taking taylor expansion of d1 in d1
8.058 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify 1 into 1
8.058 * [backup-simplify]: Simplify (* 1 1) into 1
8.058 * [backup-simplify]: Simplify (* 1 1) into 1
8.059 * [backup-simplify]: Simplify (* 1 1) into 1
8.059 * [backup-simplify]: Simplify (* 1 1) into 1
8.060 * [backup-simplify]: Simplify (/ -1 1) into -1
8.060 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
8.060 * [taylor]: Taking taylor expansion of -1 in d1
8.060 * [backup-simplify]: Simplify -1 into -1
8.060 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.060 * [taylor]: Taking taylor expansion of d1 in d1
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify 1 into 1
8.060 * [backup-simplify]: Simplify (* 1 1) into 1
8.061 * [backup-simplify]: Simplify (* 1 1) into 1
8.061 * [backup-simplify]: Simplify (* 1 1) into 1
8.061 * [backup-simplify]: Simplify (* 1 1) into 1
8.062 * [backup-simplify]: Simplify (/ -1 1) into -1
8.062 * [backup-simplify]: Simplify -1 into -1
8.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.063 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.065 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.070 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.076 * [backup-simplify]: Simplify 0 into 0
8.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.082 * [backup-simplify]: Simplify 0 into 0
8.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.089 * [backup-simplify]: Simplify 0 into 0
8.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.094 * [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
8.094 * [backup-simplify]: Simplify 0 into 0
8.094 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
8.094 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
8.094 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
8.094 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
8.094 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.094 * [taylor]: Taking taylor expansion of d1 in d1
8.094 * [backup-simplify]: Simplify 0 into 0
8.094 * [backup-simplify]: Simplify 1 into 1
8.094 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.094 * [taylor]: Taking taylor expansion of d1 in d1
8.094 * [backup-simplify]: Simplify 0 into 0
8.095 * [backup-simplify]: Simplify 1 into 1
8.095 * [backup-simplify]: Simplify (* 1 1) into 1
8.095 * [backup-simplify]: Simplify (* 1 1) into 1
8.095 * [backup-simplify]: Simplify (* 1 1) into 1
8.095 * [backup-simplify]: Simplify 1 into 1
8.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.096 * [backup-simplify]: Simplify 0 into 0
8.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.098 * [backup-simplify]: Simplify 0 into 0
8.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.100 * [backup-simplify]: Simplify 0 into 0
8.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.102 * [backup-simplify]: Simplify 0 into 0
8.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.104 * [backup-simplify]: Simplify 0 into 0
8.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.111 * [backup-simplify]: Simplify 0 into 0
8.111 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
8.111 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
8.111 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
8.111 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.111 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.111 * [taylor]: Taking taylor expansion of d1 in d1
8.111 * [backup-simplify]: Simplify 0 into 0
8.111 * [backup-simplify]: Simplify 1 into 1
8.111 * [backup-simplify]: Simplify (* 1 1) into 1
8.112 * [backup-simplify]: Simplify (* 1 1) into 1
8.112 * [backup-simplify]: Simplify (* 1 1) into 1
8.112 * [backup-simplify]: Simplify (/ 1 1) into 1
8.112 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.112 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.112 * [taylor]: Taking taylor expansion of d1 in d1
8.112 * [backup-simplify]: Simplify 0 into 0
8.112 * [backup-simplify]: Simplify 1 into 1
8.112 * [backup-simplify]: Simplify (* 1 1) into 1
8.113 * [backup-simplify]: Simplify (* 1 1) into 1
8.113 * [backup-simplify]: Simplify (* 1 1) into 1
8.113 * [backup-simplify]: Simplify (/ 1 1) into 1
8.113 * [backup-simplify]: Simplify 1 into 1
8.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.115 * [backup-simplify]: Simplify 0 into 0
8.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.122 * [backup-simplify]: Simplify 0 into 0
8.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.125 * [backup-simplify]: Simplify 0 into 0
8.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.128 * [backup-simplify]: Simplify 0 into 0
8.128 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
8.128 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
8.128 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
8.128 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.128 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.128 * [taylor]: Taking taylor expansion of d1 in d1
8.128 * [backup-simplify]: Simplify 0 into 0
8.128 * [backup-simplify]: Simplify 1 into 1
8.129 * [backup-simplify]: Simplify (* 1 1) into 1
8.129 * [backup-simplify]: Simplify (* 1 1) into 1
8.129 * [backup-simplify]: Simplify (* 1 1) into 1
8.129 * [backup-simplify]: Simplify (/ 1 1) into 1
8.129 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.129 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.129 * [taylor]: Taking taylor expansion of d1 in d1
8.129 * [backup-simplify]: Simplify 0 into 0
8.129 * [backup-simplify]: Simplify 1 into 1
8.130 * [backup-simplify]: Simplify (* 1 1) into 1
8.130 * [backup-simplify]: Simplify (* 1 1) into 1
8.130 * [backup-simplify]: Simplify (* 1 1) into 1
8.130 * [backup-simplify]: Simplify (/ 1 1) into 1
8.130 * [backup-simplify]: Simplify 1 into 1
8.131 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.131 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.132 * [backup-simplify]: Simplify 0 into 0
8.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.135 * [backup-simplify]: Simplify 0 into 0
8.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.137 * [backup-simplify]: Simplify 0 into 0
8.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.140 * [backup-simplify]: Simplify 0 into 0
8.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.142 * [backup-simplify]: Simplify 0 into 0
8.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.146 * [backup-simplify]: Simplify 0 into 0
8.146 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
8.146 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.146 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
8.146 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
8.146 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.146 * [taylor]: Taking taylor expansion of d1 in d1
8.146 * [backup-simplify]: Simplify 0 into 0
8.146 * [backup-simplify]: Simplify 1 into 1
8.146 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.146 * [taylor]: Taking taylor expansion of d1 in d1
8.146 * [backup-simplify]: Simplify 0 into 0
8.146 * [backup-simplify]: Simplify 1 into 1
8.146 * [backup-simplify]: Simplify (* 1 1) into 1
8.146 * [backup-simplify]: Simplify (* 1 1) into 1
8.147 * [backup-simplify]: Simplify (* 1 1) into 1
8.147 * [backup-simplify]: Simplify (* 1 1) into 1
8.147 * [backup-simplify]: Simplify 1 into 1
8.147 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.149 * [backup-simplify]: Simplify 0 into 0
8.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.151 * [backup-simplify]: Simplify 0 into 0
8.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.154 * [backup-simplify]: Simplify 0 into 0
8.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.159 * [backup-simplify]: Simplify 0 into 0
8.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.164 * [backup-simplify]: Simplify 0 into 0
8.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.169 * [backup-simplify]: Simplify 0 into 0
8.169 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
8.169 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
8.169 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
8.169 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.170 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.170 * [taylor]: Taking taylor expansion of d1 in d1
8.170 * [backup-simplify]: Simplify 0 into 0
8.170 * [backup-simplify]: Simplify 1 into 1
8.170 * [backup-simplify]: Simplify (* 1 1) into 1
8.170 * [backup-simplify]: Simplify (* 1 1) into 1
8.170 * [backup-simplify]: Simplify (* 1 1) into 1
8.171 * [backup-simplify]: Simplify (* 1 1) into 1
8.171 * [backup-simplify]: Simplify (/ 1 1) into 1
8.171 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.171 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.171 * [taylor]: Taking taylor expansion of d1 in d1
8.171 * [backup-simplify]: Simplify 0 into 0
8.171 * [backup-simplify]: Simplify 1 into 1
8.171 * [backup-simplify]: Simplify (* 1 1) into 1
8.171 * [backup-simplify]: Simplify (* 1 1) into 1
8.172 * [backup-simplify]: Simplify (* 1 1) into 1
8.172 * [backup-simplify]: Simplify (* 1 1) into 1
8.172 * [backup-simplify]: Simplify (/ 1 1) into 1
8.172 * [backup-simplify]: Simplify 1 into 1
8.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.174 * [backup-simplify]: Simplify 0 into 0
8.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.177 * [backup-simplify]: Simplify 0 into 0
8.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.180 * [backup-simplify]: Simplify 0 into 0
8.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.183 * [backup-simplify]: Simplify 0 into 0
8.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.187 * [backup-simplify]: Simplify 0 into 0
8.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.191 * [backup-simplify]: Simplify 0 into 0
8.191 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
8.191 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
8.191 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
8.191 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.191 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.191 * [taylor]: Taking taylor expansion of d1 in d1
8.191 * [backup-simplify]: Simplify 0 into 0
8.191 * [backup-simplify]: Simplify 1 into 1
8.192 * [backup-simplify]: Simplify (* 1 1) into 1
8.192 * [backup-simplify]: Simplify (* 1 1) into 1
8.192 * [backup-simplify]: Simplify (* 1 1) into 1
8.192 * [backup-simplify]: Simplify (* 1 1) into 1
8.193 * [backup-simplify]: Simplify (/ 1 1) into 1
8.193 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.193 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.193 * [taylor]: Taking taylor expansion of d1 in d1
8.193 * [backup-simplify]: Simplify 0 into 0
8.193 * [backup-simplify]: Simplify 1 into 1
8.193 * [backup-simplify]: Simplify (* 1 1) into 1
8.193 * [backup-simplify]: Simplify (* 1 1) into 1
8.193 * [backup-simplify]: Simplify (* 1 1) into 1
8.194 * [backup-simplify]: Simplify (* 1 1) into 1
8.194 * [backup-simplify]: Simplify (/ 1 1) into 1
8.194 * [backup-simplify]: Simplify 1 into 1
8.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.196 * [backup-simplify]: Simplify 0 into 0
8.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.199 * [backup-simplify]: Simplify 0 into 0
8.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.206 * [backup-simplify]: Simplify 0 into 0
8.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.209 * [backup-simplify]: Simplify 0 into 0
8.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.217 * [backup-simplify]: Simplify 0 into 0
8.217 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
8.217 * * * [progress]: simplifying candidates
8.217 * * * * [progress]: [ 1 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* d1 (* (pow d1 7) d1)))) d1))>
8.217 * * * * [progress]: [ 2 / 92 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* d1 (* (pow d1 7) d1)))) d1))>
8.217 * * * * [progress]: [ 3 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
8.217 * * * * [progress]: [ 4 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
8.217 * * * * [progress]: [ 5 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
8.217 * * * * [progress]: [ 6 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
8.217 * * * * [progress]: [ 7 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
8.217 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
8.217 * * * * [progress]: [ 9 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (pow d1 7)) (log d1)))) d1))>
8.217 * * * * [progress]: [ 10 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (pow d1 7) d1)))) d1))>
8.217 * * * * [progress]: [ 11 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (pow d1 7) d1)))) d1))>
8.217 * * * * [progress]: [ 12 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (pow d1 7) d1)))) d1))>
8.217 * * * * [progress]: [ 13 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
8.217 * * * * [progress]: [ 14 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 15 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 17 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 18 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
8.218 * * * * [progress]: [ 19 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (pow d1 7)) d1) d1))>
8.218 * * * * [progress]: [ 20 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (pow d1 7) d1))) d1))>
8.218 * * * * [progress]: [ 21 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (pow d1 7) d1))) d1))>
8.218 * * * * [progress]: [ 22 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
8.218 * * * * [progress]: [ 23 / 92 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 24 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (pow d1 7) d1) d1) d1))>
8.218 * * * * [progress]: [ 25 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log1p (expm1 (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 26 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (expm1 (log1p (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 27 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
8.218 * * * * [progress]: [ 28 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
8.218 * * * * [progress]: [ 29 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow (* (pow d1 7) d1) 1)) d1))>
8.218 * * * * [progress]: [ 30 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
8.218 * * * * [progress]: [ 31 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
8.218 * * * * [progress]: [ 32 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (log (pow d1 7)) (log d1)))) d1))>
8.218 * * * * [progress]: [ 33 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (log (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 34 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log (exp (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 35 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
8.218 * * * * [progress]: [ 36 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 37 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 38 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)))) d1))>
8.218 * * * * [progress]: [ 39 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
8.218 * * * * [progress]: [ 40 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)))) d1))>
8.218 * * * * [progress]: [ 41 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)))) d1))>
8.219 * * * * [progress]: [ 42 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)))) d1))>
8.219 * * * * [progress]: [ 43 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (cbrt d1))) d1))>
8.219 * * * * [progress]: [ 44 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (sqrt d1)) (sqrt d1))) d1))>
8.219 * * * * [progress]: [ 45 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) 1) d1)) d1))>
8.219 * * * * [progress]: [ 46 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (cbrt d1) (cbrt d1)) 7) (* (pow (cbrt d1) 7) d1))) d1))>
8.219 * * * * [progress]: [ 47 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (sqrt d1) 7) (* (pow (sqrt d1) 7) d1))) d1))>
8.219 * * * * [progress]: [ 48 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow 1 7) (* (pow d1 7) d1))) d1))>
8.219 * * * * [progress]: [ 49 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (pow d1 7)) (cbrt (pow d1 7))) (* (cbrt (pow d1 7)) d1))) d1))>
8.219 * * * * [progress]: [ 50 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (pow d1 7)) (* (sqrt (pow d1 7)) d1))) d1))>
8.219 * * * * [progress]: [ 51 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
8.219 * * * * [progress]: [ 52 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (/ 7 2)) (* (pow d1 (/ 7 2)) d1))) d1))>
8.219 * * * * [progress]: [ 53 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (posit16->real (real->posit16 (* (pow d1 7) d1)))) d1))>
8.219 * * * * [progress]: [ 54 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* d1 (pow d1 7))) d1))>
8.219 * * * * [progress]: [ 55 / 92 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (* d1 (* (pow d1 7) d1)) d1))))>
8.219 * * * * [progress]: [ 56 / 92 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (* d1 (* (pow d1 7) d1)) d1))))>
8.219 * * * * [progress]: [ 57 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
8.219 * * * * [progress]: [ 58 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
8.219 * * * * [progress]: [ 59 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
8.219 * * * * [progress]: [ 60 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
8.219 * * * * [progress]: [ 61 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
8.219 * * * * [progress]: [ 62 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
8.219 * * * * [progress]: [ 63 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
8.219 * * * * [progress]: [ 64 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
8.219 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
8.219 * * * * [progress]: [ 66 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))))>
8.219 * * * * [progress]: [ 67 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))))>
8.219 * * * * [progress]: [ 68 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (* d1 (* (pow d1 7) d1))) (log d1))))>
8.220 * * * * [progress]: [ 69 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (* d1 (* (pow d1 7) d1)) d1))))>
8.220 * * * * [progress]: [ 70 / 92 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (* d1 (* (pow d1 7) d1)) d1))))>
8.220 * * * * [progress]: [ 71 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))))>
8.220 * * * * [progress]: [ 72 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
8.220 * * * * [progress]: [ 73 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
8.220 * * * * [progress]: [ 74 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))))>
8.220 * * * * [progress]: [ 75 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))))>
8.220 * * * * [progress]: [ 76 / 92 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1))))>
8.220 * * * * [progress]: [ 77 / 92 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (* d1 (* (pow d1 7) d1)) d1)))>
8.220 * * * * [progress]: [ 78 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
8.220 * * * * [progress]: [ 79 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (sqrt d1)))>
8.220 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) 1) d1))>
8.220 * * * * [progress]: [ 81 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* (* (pow d1 7) d1) d1)))>
8.220 * * * * [progress]: [ 82 / 92 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))>
8.220 * * * * [progress]: [ 83 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* d1 (* (pow d1 7) d1))))>
8.220 * * * * [progress]: [ 84 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
8.220 * * * * [progress]: [ 85 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
8.220 * * * * [progress]: [ 86 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
8.220 * * * * [progress]: [ 87 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
8.220 * * * * [progress]: [ 88 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
8.220 * * * * [progress]: [ 89 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
8.220 * * * * [progress]: [ 90 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
8.220 * * * * [progress]: [ 91 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
8.220 * * * * [progress]: [ 92 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
8.221 * [simplify]: Simplifying:
  (expm1 (* d1 (* (pow d1 7) d1)))
  (log1p (* d1 (* (pow d1 7) d1)))
  (+ 1 (+ 7 1))
  (+ 1 (+ 7 1))
  (* d1 (* (pow d1 7) d1))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (log (pow d1 7)) (log d1)))
  (+ (log d1) (log (* (pow d1 7) d1)))
  (log (* d1 (* (pow d1 7) d1)))
  (exp (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))
  (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1))))
  (cbrt (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (* d1 (pow d1 7))
  (* (cbrt d1) (* (pow d1 7) d1))
  (* (sqrt d1) (* (pow d1 7) d1))
  (* d1 (* (pow d1 7) d1))
  (real->posit16 (* d1 (* (pow d1 7) d1)))
  (expm1 (* (pow d1 7) d1))
  (log1p (* (pow d1 7) d1))
  (+ 7 1)
  (+ 7 1)
  (+ (* (log d1) 7) (log d1))
  (+ (* (log d1) 7) (log d1))
  (+ (log (pow d1 7)) (log d1))
  (log (* (pow d1 7) d1))
  (exp (* (pow d1 7) d1))
  (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1)))
  (cbrt (* (pow d1 7) d1))
  (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (* (pow d1 7) 1)
  (* (pow (cbrt d1) 7) d1)
  (* (pow (sqrt d1) 7) d1)
  (* (pow d1 7) d1)
  (* (cbrt (pow d1 7)) d1)
  (* (sqrt (pow d1 7)) d1)
  (* (pow d1 7) d1)
  (* (pow d1 (/ 7 2)) d1)
  (real->posit16 (* (pow d1 7) d1))
  (expm1 (* (* d1 (* (pow d1 7) d1)) d1))
  (log1p (* (* d1 (* (pow d1 7) d1)) d1))
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))
  (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))
  (+ (log (* d1 (* (pow d1 7) d1))) (log d1))
  (log (* (* d1 (* (pow d1 7) d1)) d1))
  (exp (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)))
  (cbrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* (pow d1 7) d1)) (sqrt d1))
  (* (* d1 (* (pow d1 7) d1)) 1)
  (* (* (pow d1 7) d1) d1)
  (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
8.222 * * [simplify]: iteration 0: 96 enodes
8.249 * * [simplify]: iteration 1: 243 enodes
8.369 * * [simplify]: iteration 2: 816 enodes
9.306 * * [simplify]: iteration 3: 3515 enodes
11.162 * * [simplify]: iteration complete: 5002 enodes
11.163 * * [simplify]: Extracting #0: cost 48 inf + 0
11.166 * * [simplify]: Extracting #1: cost 645 inf + 3
11.175 * * [simplify]: Extracting #2: cost 1302 inf + 2101
11.199 * * [simplify]: Extracting #3: cost 941 inf + 122164
11.245 * * [simplify]: Extracting #4: cost 198 inf + 382597
11.351 * * [simplify]: Extracting #5: cost 3 inf + 449417
11.458 * * [simplify]: Extracting #6: cost 0 inf + 447848
11.561 * * [simplify]: Extracting #7: cost 0 inf + 447757
11.681 * [simplify]: Simplified to:
  (expm1 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (log1p (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  9
  9
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (exp (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (sqrt d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (real->posit16 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (expm1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (log1p (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  8
  8
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (fabs (* (* d1 d1) (* d1 d1)))
  (fabs (* (* d1 d1) (* d1 d1)))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (sqrt d1) (pow d1 7/2))
  (* (sqrt d1) (pow d1 7/2))
  (* (* (cbrt d1) (cbrt d1)) (pow d1 7))
  (* (sqrt d1) (pow d1 7))
  (pow d1 7)
  (* d1 (pow (cbrt d1) 7))
  (* d1 (pow (sqrt d1) 7))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* d1 (cbrt (pow d1 7)))
  (* (fabs (pow d1 7/2)) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (expm1 (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)))
  (log1p (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)))
  10
  10
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))
  10
  10
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (exp (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))))
  (cbrt (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))
  (fabs (* (* (* d1 d1) d1) (* d1 d1)))
  (fabs (* (* (* d1 d1) d1) (* d1 d1)))
  (* d1 (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (cbrt d1) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (sqrt d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1))
11.687 * * * [progress]: adding candidates to table
11.965 * * [progress]: iteration 3 / 4
11.965 * * * [progress]: picking best candidate
11.969 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
11.969 * * * [progress]: localizing error
11.976 * * * [progress]: generating rewritten candidates
11.976 * * * [progress]: generating series expansions
11.976 * * * [progress]: simplifying candidates
11.976 * [simplify]: Simplifying:
  
11.976 * * [simplify]: iteration 0: 0 enodes
11.977 * * [simplify]: iteration complete: 0 enodes
11.977 * * [simplify]: Extracting #0: cost 0 inf + 0
11.977 * [simplify]: Simplified to:
  
11.977 * * * [progress]: adding candidates to table
11.977 * [progress]: [Phase 3 of 3] Extracting.
11.981 * [simplify]: Simplifying:
  (pow d1 10)
11.981 * * [simplify]: iteration 0: 3 enodes
11.982 * * [simplify]: iteration complete: 3 enodes
11.982 * * [simplify]: Extracting #0: cost 1 inf + 0
11.982 * * [simplify]: Extracting #1: cost 3 inf + 0
11.982 * * [simplify]: Extracting #2: cost 1 inf + 2
11.982 * * [simplify]: Extracting #3: cost 0 inf + 214
11.982 * [simplify]: Simplified to:
  (pow d1 10)
14.784 * [regime-testing]: Baseline error score: 0
14.788 * [regime-testing]: Oracle error score: 0
14.789 * [regime-testing]: End program error score: 0
14.860 * [regime-testing]: Target error score: 0