169.446 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.054 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.054 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.054 * * [simplify]: iteration 0: 9 enodes
0.059 * * [simplify]: iteration 1: 24 enodes
0.085 * * [simplify]: iteration 2: 54 enodes
0.112 * * [simplify]: iteration 3: 92 enodes
0.186 * * [simplify]: iteration 4: 248 enodes
0.295 * * [simplify]: iteration 5: 496 enodes
1.542 * * [simplify]: iteration 6: 2065 enodes
2.635 * * [simplify]: iteration complete: 5000 enodes
2.636 * * [simplify]: Extracting #0: cost 1 inf + 0
2.636 * * [simplify]: Extracting #1: cost 191 inf + 0
2.649 * * [simplify]: Extracting #2: cost 1210 inf + 1216
2.663 * * [simplify]: Extracting #3: cost 1443 inf + 19425
2.694 * * [simplify]: Extracting #4: cost 961 inf + 223154
2.745 * * [simplify]: Extracting #5: cost 227 inf + 631970
2.825 * * [simplify]: Extracting #6: cost 5 inf + 770658
2.882 * * [simplify]: Extracting #7: cost 0 inf + 771450
2.968 * [simplify]: Simplified to:
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
2.970 * * [progress]: iteration 1 / 4
2.971 * * * [progress]: picking best candidate
2.974 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.974 * * * [progress]: localizing error
2.998 * * * [progress]: generating rewritten candidates
2.998 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
3.014 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
3.166 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1)
3.202 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
10.025 * * * [progress]: generating series expansions
10.025 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
10.025 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
10.025 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
10.025 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.025 * [taylor]: Taking taylor expansion of d1 in d1
10.025 * [backup-simplify]: Simplify 0 into 0
10.025 * [backup-simplify]: Simplify 1 into 1
10.025 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.025 * [taylor]: Taking taylor expansion of d1 in d1
10.025 * [backup-simplify]: Simplify 0 into 0
10.026 * [backup-simplify]: Simplify 1 into 1
10.026 * [backup-simplify]: Simplify (* 1 1) into 1
10.026 * [backup-simplify]: Simplify (* 1 1) into 1
10.026 * [backup-simplify]: Simplify 1 into 1
10.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.027 * [backup-simplify]: Simplify 0 into 0
10.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.029 * [backup-simplify]: Simplify 0 into 0
10.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.030 * [backup-simplify]: Simplify 0 into 0
10.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.031 * [backup-simplify]: Simplify 0 into 0
10.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.033 * [backup-simplify]: Simplify 0 into 0
10.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.035 * [backup-simplify]: Simplify 0 into 0
10.035 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
10.035 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
10.035 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
10.035 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
10.035 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.035 * [taylor]: Taking taylor expansion of d1 in d1
10.035 * [backup-simplify]: Simplify 0 into 0
10.035 * [backup-simplify]: Simplify 1 into 1
10.035 * [backup-simplify]: Simplify (* 1 1) into 1
10.036 * [backup-simplify]: Simplify (* 1 1) into 1
10.036 * [backup-simplify]: Simplify (/ 1 1) into 1
10.036 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
10.036 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.036 * [taylor]: Taking taylor expansion of d1 in d1
10.036 * [backup-simplify]: Simplify 0 into 0
10.036 * [backup-simplify]: Simplify 1 into 1
10.036 * [backup-simplify]: Simplify (* 1 1) into 1
10.036 * [backup-simplify]: Simplify (* 1 1) into 1
10.037 * [backup-simplify]: Simplify (/ 1 1) into 1
10.037 * [backup-simplify]: Simplify 1 into 1
10.037 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.038 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.038 * [backup-simplify]: Simplify 0 into 0
10.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.040 * [backup-simplify]: Simplify 0 into 0
10.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.041 * [backup-simplify]: Simplify 0 into 0
10.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.043 * [backup-simplify]: Simplify 0 into 0
10.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.046 * [backup-simplify]: Simplify 0 into 0
10.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.050 * [backup-simplify]: Simplify 0 into 0
10.050 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
10.050 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
10.050 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
10.050 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
10.050 * [taylor]: Taking taylor expansion of -1 in d1
10.050 * [backup-simplify]: Simplify -1 into -1
10.050 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.050 * [taylor]: Taking taylor expansion of d1 in d1
10.050 * [backup-simplify]: Simplify 0 into 0
10.050 * [backup-simplify]: Simplify 1 into 1
10.051 * [backup-simplify]: Simplify (* 1 1) into 1
10.051 * [backup-simplify]: Simplify (* 1 1) into 1
10.051 * [backup-simplify]: Simplify (/ -1 1) into -1
10.051 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
10.052 * [taylor]: Taking taylor expansion of -1 in d1
10.052 * [backup-simplify]: Simplify -1 into -1
10.052 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.052 * [taylor]: Taking taylor expansion of d1 in d1
10.052 * [backup-simplify]: Simplify 0 into 0
10.052 * [backup-simplify]: Simplify 1 into 1
10.052 * [backup-simplify]: Simplify (* 1 1) into 1
10.052 * [backup-simplify]: Simplify (* 1 1) into 1
10.053 * [backup-simplify]: Simplify (/ -1 1) into -1
10.053 * [backup-simplify]: Simplify -1 into -1
10.054 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.054 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.055 * [backup-simplify]: Simplify 0 into 0
10.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.058 * [backup-simplify]: Simplify 0 into 0
10.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.061 * [backup-simplify]: Simplify 0 into 0
10.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.065 * [backup-simplify]: Simplify 0 into 0
10.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.069 * [backup-simplify]: Simplify 0 into 0
10.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.074 * [backup-simplify]: Simplify 0 into 0
10.074 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
10.074 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
10.074 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
10.074 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
10.074 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.074 * [taylor]: Taking taylor expansion of d1 in d1
10.074 * [backup-simplify]: Simplify 0 into 0
10.074 * [backup-simplify]: Simplify 1 into 1
10.074 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.074 * [taylor]: Taking taylor expansion of d1 in d1
10.074 * [backup-simplify]: Simplify 0 into 0
10.074 * [backup-simplify]: Simplify 1 into 1
10.075 * [backup-simplify]: Simplify (* 1 1) into 1
10.075 * [backup-simplify]: Simplify (* 1 1) into 1
10.076 * [backup-simplify]: Simplify (* 1 1) into 1
10.076 * [backup-simplify]: Simplify 1 into 1
10.076 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.077 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.078 * [backup-simplify]: Simplify 0 into 0
10.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.080 * [backup-simplify]: Simplify 0 into 0
10.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.083 * [backup-simplify]: Simplify 0 into 0
10.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.091 * [backup-simplify]: Simplify 0 into 0
10.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.096 * [backup-simplify]: Simplify 0 into 0
10.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.100 * [backup-simplify]: Simplify 0 into 0
10.100 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
10.100 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
10.100 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
10.100 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
10.100 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.100 * [taylor]: Taking taylor expansion of d1 in d1
10.100 * [backup-simplify]: Simplify 0 into 0
10.100 * [backup-simplify]: Simplify 1 into 1
10.101 * [backup-simplify]: Simplify (* 1 1) into 1
10.101 * [backup-simplify]: Simplify (* 1 1) into 1
10.101 * [backup-simplify]: Simplify (* 1 1) into 1
10.102 * [backup-simplify]: Simplify (/ 1 1) into 1
10.102 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
10.102 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.102 * [taylor]: Taking taylor expansion of d1 in d1
10.102 * [backup-simplify]: Simplify 0 into 0
10.102 * [backup-simplify]: Simplify 1 into 1
10.102 * [backup-simplify]: Simplify (* 1 1) into 1
10.103 * [backup-simplify]: Simplify (* 1 1) into 1
10.103 * [backup-simplify]: Simplify (* 1 1) into 1
10.103 * [backup-simplify]: Simplify (/ 1 1) into 1
10.103 * [backup-simplify]: Simplify 1 into 1
10.104 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.104 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.104 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.105 * [backup-simplify]: Simplify 0 into 0
10.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.107 * [backup-simplify]: Simplify 0 into 0
10.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.109 * [backup-simplify]: Simplify 0 into 0
10.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.112 * [backup-simplify]: Simplify 0 into 0
10.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.115 * [backup-simplify]: Simplify 0 into 0
10.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.119 * [backup-simplify]: Simplify 0 into 0
10.119 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
10.119 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
10.119 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
10.119 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
10.119 * [taylor]: Taking taylor expansion of -1 in d1
10.119 * [backup-simplify]: Simplify -1 into -1
10.119 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.119 * [taylor]: Taking taylor expansion of d1 in d1
10.119 * [backup-simplify]: Simplify 0 into 0
10.119 * [backup-simplify]: Simplify 1 into 1
10.119 * [backup-simplify]: Simplify (* 1 1) into 1
10.120 * [backup-simplify]: Simplify (* 1 1) into 1
10.120 * [backup-simplify]: Simplify (* 1 1) into 1
10.120 * [backup-simplify]: Simplify (/ -1 1) into -1
10.120 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
10.120 * [taylor]: Taking taylor expansion of -1 in d1
10.120 * [backup-simplify]: Simplify -1 into -1
10.120 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.120 * [taylor]: Taking taylor expansion of d1 in d1
10.120 * [backup-simplify]: Simplify 0 into 0
10.120 * [backup-simplify]: Simplify 1 into 1
10.120 * [backup-simplify]: Simplify (* 1 1) into 1
10.121 * [backup-simplify]: Simplify (* 1 1) into 1
10.121 * [backup-simplify]: Simplify (* 1 1) into 1
10.121 * [backup-simplify]: Simplify (/ -1 1) into -1
10.121 * [backup-simplify]: Simplify -1 into -1
10.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.123 * [backup-simplify]: Simplify 0 into 0
10.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.125 * [backup-simplify]: Simplify 0 into 0
10.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.128 * [backup-simplify]: Simplify 0 into 0
10.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.130 * [backup-simplify]: Simplify 0 into 0
10.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.134 * [backup-simplify]: Simplify 0 into 0
10.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.137 * [backup-simplify]: Simplify 0 into 0
10.137 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
10.137 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1)
10.137 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
10.137 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
10.137 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.137 * [taylor]: Taking taylor expansion of d1 in d1
10.137 * [backup-simplify]: Simplify 0 into 0
10.137 * [backup-simplify]: Simplify 1 into 1
10.137 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.137 * [taylor]: Taking taylor expansion of d1 in d1
10.137 * [backup-simplify]: Simplify 0 into 0
10.137 * [backup-simplify]: Simplify 1 into 1
10.138 * [backup-simplify]: Simplify (* 1 1) into 1
10.138 * [backup-simplify]: Simplify (* 1 1) into 1
10.138 * [backup-simplify]: Simplify 1 into 1
10.138 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.139 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.139 * [backup-simplify]: Simplify 0 into 0
10.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.140 * [backup-simplify]: Simplify 0 into 0
10.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.141 * [backup-simplify]: Simplify 0 into 0
10.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.142 * [backup-simplify]: Simplify 0 into 0
10.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.144 * [backup-simplify]: Simplify 0 into 0
10.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.146 * [backup-simplify]: Simplify 0 into 0
10.146 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
10.146 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
10.146 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
10.146 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.146 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.146 * [taylor]: Taking taylor expansion of d1 in d1
10.146 * [backup-simplify]: Simplify 0 into 0
10.146 * [backup-simplify]: Simplify 1 into 1
10.146 * [backup-simplify]: Simplify (* 1 1) into 1
10.146 * [backup-simplify]: Simplify (* 1 1) into 1
10.147 * [backup-simplify]: Simplify (/ 1 1) into 1
10.147 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.147 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.147 * [taylor]: Taking taylor expansion of d1 in d1
10.147 * [backup-simplify]: Simplify 0 into 0
10.147 * [backup-simplify]: Simplify 1 into 1
10.147 * [backup-simplify]: Simplify (* 1 1) into 1
10.147 * [backup-simplify]: Simplify (* 1 1) into 1
10.147 * [backup-simplify]: Simplify (/ 1 1) into 1
10.147 * [backup-simplify]: Simplify 1 into 1
10.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.149 * [backup-simplify]: Simplify 0 into 0
10.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.150 * [backup-simplify]: Simplify 0 into 0
10.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.152 * [backup-simplify]: Simplify 0 into 0
10.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.154 * [backup-simplify]: Simplify 0 into 0
10.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.156 * [backup-simplify]: Simplify 0 into 0
10.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.158 * [backup-simplify]: Simplify 0 into 0
10.159 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
10.159 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
10.159 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
10.159 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.159 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.159 * [taylor]: Taking taylor expansion of d1 in d1
10.159 * [backup-simplify]: Simplify 0 into 0
10.159 * [backup-simplify]: Simplify 1 into 1
10.159 * [backup-simplify]: Simplify (* 1 1) into 1
10.159 * [backup-simplify]: Simplify (* 1 1) into 1
10.160 * [backup-simplify]: Simplify (/ 1 1) into 1
10.160 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.160 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.160 * [taylor]: Taking taylor expansion of d1 in d1
10.160 * [backup-simplify]: Simplify 0 into 0
10.160 * [backup-simplify]: Simplify 1 into 1
10.160 * [backup-simplify]: Simplify (* 1 1) into 1
10.160 * [backup-simplify]: Simplify (* 1 1) into 1
10.160 * [backup-simplify]: Simplify (/ 1 1) into 1
10.160 * [backup-simplify]: Simplify 1 into 1
10.161 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.161 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.162 * [backup-simplify]: Simplify 0 into 0
10.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.163 * [backup-simplify]: Simplify 0 into 0
10.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.165 * [backup-simplify]: Simplify 0 into 0
10.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.167 * [backup-simplify]: Simplify 0 into 0
10.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.169 * [backup-simplify]: Simplify 0 into 0
10.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
10.172 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
10.172 * [backup-simplify]: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9)
10.172 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
10.172 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.172 * [taylor]: Taking taylor expansion of d1 in d1
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 1 into 1
10.172 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.172 * [taylor]: Taking taylor expansion of d1 in d1
10.172 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify 1 into 1
10.172 * [backup-simplify]: Simplify (* 1 1) into 1
10.173 * [backup-simplify]: Simplify (* 1 1) into 1
10.173 * [backup-simplify]: Simplify (* 1 1) into 1
10.173 * [backup-simplify]: Simplify (* 1 1) into 1
10.173 * [backup-simplify]: Simplify 1 into 1
10.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.175 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.175 * [backup-simplify]: Simplify 0 into 0
10.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.177 * [backup-simplify]: Simplify 0 into 0
10.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.181 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.183 * [backup-simplify]: Simplify 0 into 0
10.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.187 * [backup-simplify]: Simplify 0 into 0
10.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.190 * [backup-simplify]: Simplify 0 into 0
10.190 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
10.191 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9))
10.191 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
10.191 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
10.191 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.191 * [taylor]: Taking taylor expansion of d1 in d1
10.191 * [backup-simplify]: Simplify 0 into 0
10.191 * [backup-simplify]: Simplify 1 into 1
10.191 * [backup-simplify]: Simplify (* 1 1) into 1
10.191 * [backup-simplify]: Simplify (* 1 1) into 1
10.191 * [backup-simplify]: Simplify (* 1 1) into 1
10.192 * [backup-simplify]: Simplify (* 1 1) into 1
10.192 * [backup-simplify]: Simplify (/ 1 1) into 1
10.192 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
10.192 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.192 * [taylor]: Taking taylor expansion of d1 in d1
10.192 * [backup-simplify]: Simplify 0 into 0
10.192 * [backup-simplify]: Simplify 1 into 1
10.192 * [backup-simplify]: Simplify (* 1 1) into 1
10.193 * [backup-simplify]: Simplify (* 1 1) into 1
10.193 * [backup-simplify]: Simplify (* 1 1) into 1
10.193 * [backup-simplify]: Simplify (* 1 1) into 1
10.194 * [backup-simplify]: Simplify (/ 1 1) into 1
10.194 * [backup-simplify]: Simplify 1 into 1
10.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.196 * [backup-simplify]: Simplify 0 into 0
10.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.199 * [backup-simplify]: Simplify 0 into 0
10.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.202 * [backup-simplify]: Simplify 0 into 0
10.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.208 * [backup-simplify]: Simplify 0 into 0
10.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.214 * [backup-simplify]: Simplify 0 into 0
10.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.222 * [backup-simplify]: Simplify 0 into 0
10.222 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
10.222 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
10.223 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
10.223 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
10.223 * [taylor]: Taking taylor expansion of -1 in d1
10.223 * [backup-simplify]: Simplify -1 into -1
10.223 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.223 * [taylor]: Taking taylor expansion of d1 in d1
10.223 * [backup-simplify]: Simplify 0 into 0
10.223 * [backup-simplify]: Simplify 1 into 1
10.223 * [backup-simplify]: Simplify (* 1 1) into 1
10.224 * [backup-simplify]: Simplify (* 1 1) into 1
10.224 * [backup-simplify]: Simplify (* 1 1) into 1
10.224 * [backup-simplify]: Simplify (* 1 1) into 1
10.225 * [backup-simplify]: Simplify (/ -1 1) into -1
10.225 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
10.225 * [taylor]: Taking taylor expansion of -1 in d1
10.225 * [backup-simplify]: Simplify -1 into -1
10.225 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.225 * [taylor]: Taking taylor expansion of d1 in d1
10.225 * [backup-simplify]: Simplify 0 into 0
10.225 * [backup-simplify]: Simplify 1 into 1
10.225 * [backup-simplify]: Simplify (* 1 1) into 1
10.226 * [backup-simplify]: Simplify (* 1 1) into 1
10.226 * [backup-simplify]: Simplify (* 1 1) into 1
10.226 * [backup-simplify]: Simplify (* 1 1) into 1
10.227 * [backup-simplify]: Simplify (/ -1 1) into -1
10.227 * [backup-simplify]: Simplify -1 into -1
10.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.230 * [backup-simplify]: Simplify 0 into 0
10.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.233 * [backup-simplify]: Simplify 0 into 0
10.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.236 * [backup-simplify]: Simplify 0 into 0
10.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.239 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.239 * [backup-simplify]: Simplify 0 into 0
10.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.243 * [backup-simplify]: Simplify 0 into 0
10.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.247 * [backup-simplify]: Simplify 0 into 0
10.247 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
10.247 * * * [progress]: simplifying candidates
10.247 * * * * [progress]: [ 1 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
10.247 * * * * [progress]: [ 2 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 3 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 4 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 5 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 6 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 7 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 8 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 9 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 10 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 11 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 12 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 13 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 14 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 15 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 16 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 17 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 18 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 19 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 20 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 21 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 22 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 23 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 24 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 25 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
10.248 * * * * [progress]: [ 26 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 27 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 28 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 29 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 30 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 31 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 32 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 33 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 34 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 35 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 36 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 37 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 38 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 39 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 40 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 41 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 42 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 43 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 44 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 45 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 46 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 47 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.249 * * * * [progress]: [ 48 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 49 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 50 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 51 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 52 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 53 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 54 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 55 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 56 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 57 / 323 ] 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))>
10.250 * * * * [progress]: [ 58 / 323 ] 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))>
10.250 * * * * [progress]: [ 59 / 323 ] 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))>
10.250 * * * * [progress]: [ 60 / 323 ] 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))>
10.250 * * * * [progress]: [ 61 / 323 ] 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))>
10.250 * * * * [progress]: [ 62 / 323 ] 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))>
10.250 * * * * [progress]: [ 63 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 64 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 65 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 66 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 67 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 68 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 69 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 70 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 71 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.250 * * * * [progress]: [ 72 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 73 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 74 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 75 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 76 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 77 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 78 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 79 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 80 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 81 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 82 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 83 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 84 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 85 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 86 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 87 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 88 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 89 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 90 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 91 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 92 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 93 / 323 ] 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))>
10.251 * * * * [progress]: [ 94 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 95 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.251 * * * * [progress]: [ 96 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 97 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 98 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 99 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 100 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 101 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 102 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
10.252 * * * * [progress]: [ 103 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 104 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.252 * * * * [progress]: [ 105 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 106 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.252 * * * * [progress]: [ 107 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 108 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.252 * * * * [progress]: [ 109 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 110 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.252 * * * * [progress]: [ 111 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 112 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.252 * * * * [progress]: [ 113 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 114 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.252 * * * * [progress]: [ 115 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.252 * * * * [progress]: [ 116 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.252 * * * * [progress]: [ 117 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 118 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.253 * * * * [progress]: [ 119 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 120 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.253 * * * * [progress]: [ 121 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 122 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.253 * * * * [progress]: [ 123 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 124 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.253 * * * * [progress]: [ 125 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 126 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.253 * * * * [progress]: [ 127 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 128 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.253 * * * * [progress]: [ 129 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 130 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.253 * * * * [progress]: [ 131 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 132 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.253 * * * * [progress]: [ 133 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 134 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.253 * * * * [progress]: [ 135 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 136 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.253 * * * * [progress]: [ 137 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 138 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.253 * * * * [progress]: [ 139 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.253 * * * * [progress]: [ 140 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.254 * * * * [progress]: [ 141 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 142 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.254 * * * * [progress]: [ 143 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 144 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.254 * * * * [progress]: [ 145 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 146 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.254 * * * * [progress]: [ 147 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 148 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.254 * * * * [progress]: [ 149 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 150 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.254 * * * * [progress]: [ 151 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 152 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.254 * * * * [progress]: [ 153 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 154 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.254 * * * * [progress]: [ 155 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 156 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.254 * * * * [progress]: [ 157 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 158 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.254 * * * * [progress]: [ 159 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.254 * * * * [progress]: [ 160 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.254 * * * * [progress]: [ 161 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 162 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.255 * * * * [progress]: [ 163 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 164 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.255 * * * * [progress]: [ 165 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 166 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.255 * * * * [progress]: [ 167 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 168 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.255 * * * * [progress]: [ 169 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 170 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.255 * * * * [progress]: [ 171 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 172 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.255 * * * * [progress]: [ 173 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 174 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.255 * * * * [progress]: [ 175 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 176 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.255 * * * * [progress]: [ 177 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 178 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.255 * * * * [progress]: [ 179 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 180 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.255 * * * * [progress]: [ 181 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.255 * * * * [progress]: [ 182 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.255 * * * * [progress]: [ 183 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 184 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.256 * * * * [progress]: [ 185 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 186 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.256 * * * * [progress]: [ 187 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 188 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.256 * * * * [progress]: [ 189 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 190 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.256 * * * * [progress]: [ 191 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 192 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.256 * * * * [progress]: [ 193 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 194 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.256 * * * * [progress]: [ 195 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 196 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.256 * * * * [progress]: [ 197 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 198 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.256 * * * * [progress]: [ 199 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 200 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.256 * * * * [progress]: [ 201 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 202 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.256 * * * * [progress]: [ 203 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.256 * * * * [progress]: [ 204 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.256 * * * * [progress]: [ 205 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 206 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.257 * * * * [progress]: [ 207 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 208 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.257 * * * * [progress]: [ 209 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 210 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.257 * * * * [progress]: [ 211 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 212 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.257 * * * * [progress]: [ 213 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 214 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.257 * * * * [progress]: [ 215 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 216 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.257 * * * * [progress]: [ 217 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 218 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.257 * * * * [progress]: [ 219 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 220 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.257 * * * * [progress]: [ 221 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 222 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.257 * * * * [progress]: [ 223 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 224 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.257 * * * * [progress]: [ 225 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.257 * * * * [progress]: [ 226 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.257 * * * * [progress]: [ 227 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 228 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.258 * * * * [progress]: [ 229 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 230 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.258 * * * * [progress]: [ 231 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 232 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.258 * * * * [progress]: [ 233 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 234 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.258 * * * * [progress]: [ 235 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 236 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.258 * * * * [progress]: [ 237 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 238 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.258 * * * * [progress]: [ 239 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 240 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.258 * * * * [progress]: [ 241 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 242 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.258 * * * * [progress]: [ 243 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 244 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.258 * * * * [progress]: [ 245 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 246 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.258 * * * * [progress]: [ 247 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 248 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.258 * * * * [progress]: [ 249 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.258 * * * * [progress]: [ 250 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.259 * * * * [progress]: [ 251 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.259 * * * * [progress]: [ 252 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.259 * * * * [progress]: [ 253 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.259 * * * * [progress]: [ 254 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.259 * * * * [progress]: [ 255 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.259 * * * * [progress]: [ 256 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.259 * * * * [progress]: [ 257 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.259 * * * * [progress]: [ 258 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.259 * * * * [progress]: [ 259 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.259 * * * * [progress]: [ 260 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.259 * * * * [progress]: [ 261 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.259 * * * * [progress]: [ 262 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.259 * * * * [progress]: [ 263 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 264 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 265 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 266 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 267 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 268 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 269 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 270 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.259 * * * * [progress]: [ 271 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.260 * * * * [progress]: [ 272 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.260 * * * * [progress]: [ 273 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.260 * * * * [progress]: [ 274 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.260 * * * * [progress]: [ 275 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.260 * * * * [progress]: [ 276 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 277 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 278 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 279 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 280 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 281 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 282 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 283 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 284 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 285 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 286 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))) d1))>
10.260 * * * * [progress]: [ 287 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.260 * * * * [progress]: [ 288 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.260 * * * * [progress]: [ 289 / 323 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.260 * * * * [progress]: [ 290 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.260 * * * * [progress]: [ 291 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.260 * * * * [progress]: [ 292 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.260 * * * * [progress]: [ 293 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 294 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 295 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 296 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 297 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 298 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 299 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 300 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.261 * * * * [progress]: [ 301 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.261 * * * * [progress]: [ 302 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.261 * * * * [progress]: [ 303 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.261 * * * * [progress]: [ 304 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.261 * * * * [progress]: [ 305 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.261 * * * * [progress]: [ 306 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1) d1))>
10.261 * * * * [progress]: [ 307 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.261 * * * * [progress]: [ 308 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.261 * * * * [progress]: [ 309 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.261 * * * * [progress]: [ 310 / 323 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.261 * * * * [progress]: [ 311 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1) d1))>
10.261 * * * * [progress]: [ 312 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.261 * * * * [progress]: [ 313 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.261 * * * * [progress]: [ 314 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.261 * * * * [progress]: [ 315 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
10.261 * * * * [progress]: [ 316 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
10.261 * * * * [progress]: [ 317 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
10.261 * * * * [progress]: [ 318 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
10.262 * * * * [progress]: [ 319 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
10.262 * * * * [progress]: [ 320 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
10.262 * * * * [progress]: [ 321 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
10.262 * * * * [progress]: [ 322 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
10.262 * * * * [progress]: [ 323 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
10.264 * [simplify]: Simplifying:
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* 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))
  (+ (+ 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))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))
  (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))))
  (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
10.268 * * [simplify]: iteration 0: 211 enodes
10.372 * * [simplify]: iteration 1: 607 enodes
10.694 * * [simplify]: iteration 2: 1884 enodes
12.532 * * [simplify]: iteration complete: 5001 enodes
12.533 * * [simplify]: Extracting #0: cost 47 inf + 0
12.535 * * [simplify]: Extracting #1: cost 588 inf + 499
12.547 * * [simplify]: Extracting #2: cost 1128 inf + 45305
12.581 * * [simplify]: Extracting #3: cost 646 inf + 227168
12.665 * * [simplify]: Extracting #4: cost 82 inf + 336042
12.760 * * [simplify]: Extracting #5: cost 2 inf + 352902
12.832 * * [simplify]: Extracting #6: cost 0 inf + 353368
12.936 * [simplify]: Simplified to:
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 d1)
  d1
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* d1 (* d1 (cbrt d1)))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  (* (* d1 (* d1 d1)) (* d1 d1))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (exp (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1)))
  (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))))
  (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (sqrt (* (* d1 (* d1 d1)) (* d1 d1)))
  (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1)))
  (* (sqrt d1) (* (* d1 d1) (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1)))
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* (* (* d1 (sqrt d1)) d1) d1)
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (+ (* 4 (log d1)) (+ (log d1) (* 4 (log d1))))
  (exp (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (cbrt d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (sqrt d1))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (real->posit16 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
12.955 * * * [progress]: adding candidates to table
13.205 * * [progress]: iteration 2 / 4
13.205 * * * [progress]: picking best candidate
13.213 * * * * [pick]: Picked  #<alt (λ (d1) (* (pow d1 9) d1))>
13.213 * * * [progress]: localizing error
13.219 * * * [progress]: generating rewritten candidates
13.219 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.231 * * * [progress]: generating series expansions
13.232 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.232 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10)
13.232 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
13.232 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
13.232 * [taylor]: Taking taylor expansion of d1 in d1
13.232 * [backup-simplify]: Simplify 0 into 0
13.232 * [backup-simplify]: Simplify 1 into 1
13.232 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
13.232 * [taylor]: Taking taylor expansion of d1 in d1
13.232 * [backup-simplify]: Simplify 0 into 0
13.232 * [backup-simplify]: Simplify 1 into 1
13.233 * [backup-simplify]: Simplify (* 1 1) into 1
13.233 * [backup-simplify]: Simplify (* 1 1) into 1
13.234 * [backup-simplify]: Simplify (* 1 1) into 1
13.234 * [backup-simplify]: Simplify (* 1 1) into 1
13.234 * [backup-simplify]: Simplify 1 into 1
13.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.237 * [backup-simplify]: Simplify 0 into 0
13.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.240 * [backup-simplify]: Simplify 0 into 0
13.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.245 * [backup-simplify]: Simplify 0 into 0
13.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.248 * [backup-simplify]: Simplify 0 into 0
13.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.251 * [backup-simplify]: Simplify 0 into 0
13.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.255 * [backup-simplify]: Simplify 0 into 0
13.255 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
13.255 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10))
13.255 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
13.255 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
13.255 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
13.255 * [taylor]: Taking taylor expansion of d1 in d1
13.255 * [backup-simplify]: Simplify 0 into 0
13.255 * [backup-simplify]: Simplify 1 into 1
13.255 * [backup-simplify]: Simplify (* 1 1) into 1
13.256 * [backup-simplify]: Simplify (* 1 1) into 1
13.256 * [backup-simplify]: Simplify (* 1 1) into 1
13.256 * [backup-simplify]: Simplify (* 1 1) into 1
13.256 * [backup-simplify]: Simplify (/ 1 1) into 1
13.256 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
13.256 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
13.256 * [taylor]: Taking taylor expansion of d1 in d1
13.256 * [backup-simplify]: Simplify 0 into 0
13.256 * [backup-simplify]: Simplify 1 into 1
13.257 * [backup-simplify]: Simplify (* 1 1) into 1
13.257 * [backup-simplify]: Simplify (* 1 1) into 1
13.257 * [backup-simplify]: Simplify (* 1 1) into 1
13.257 * [backup-simplify]: Simplify (* 1 1) into 1
13.258 * [backup-simplify]: Simplify (/ 1 1) into 1
13.258 * [backup-simplify]: Simplify 1 into 1
13.258 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.258 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.260 * [backup-simplify]: Simplify 0 into 0
13.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.262 * [backup-simplify]: Simplify 0 into 0
13.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.265 * [backup-simplify]: Simplify 0 into 0
13.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.269 * [backup-simplify]: Simplify 0 into 0
13.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.272 * [backup-simplify]: Simplify 0 into 0
13.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.279 * [backup-simplify]: Simplify 0 into 0
13.279 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
13.279 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10))
13.279 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
13.279 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
13.279 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
13.279 * [taylor]: Taking taylor expansion of d1 in d1
13.279 * [backup-simplify]: Simplify 0 into 0
13.279 * [backup-simplify]: Simplify 1 into 1
13.279 * [backup-simplify]: Simplify (* 1 1) into 1
13.280 * [backup-simplify]: Simplify (* 1 1) into 1
13.280 * [backup-simplify]: Simplify (* 1 1) into 1
13.281 * [backup-simplify]: Simplify (* 1 1) into 1
13.281 * [backup-simplify]: Simplify (/ 1 1) into 1
13.281 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
13.281 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
13.281 * [taylor]: Taking taylor expansion of d1 in d1
13.281 * [backup-simplify]: Simplify 0 into 0
13.281 * [backup-simplify]: Simplify 1 into 1
13.281 * [backup-simplify]: Simplify (* 1 1) into 1
13.282 * [backup-simplify]: Simplify (* 1 1) into 1
13.282 * [backup-simplify]: Simplify (* 1 1) into 1
13.282 * [backup-simplify]: Simplify (* 1 1) into 1
13.283 * [backup-simplify]: Simplify (/ 1 1) into 1
13.283 * [backup-simplify]: Simplify 1 into 1
13.284 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.284 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.286 * [backup-simplify]: Simplify 0 into 0
13.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.291 * [backup-simplify]: Simplify 0 into 0
13.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.296 * [backup-simplify]: Simplify 0 into 0
13.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.306 * [backup-simplify]: Simplify 0 into 0
13.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.310 * [backup-simplify]: Simplify 0 into 0
13.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.314 * [backup-simplify]: Simplify 0 into 0
13.314 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
13.314 * * * [progress]: simplifying candidates
13.314 * * * * [progress]: [ 1 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
13.314 * * * * [progress]: [ 2 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
13.314 * * * * [progress]: [ 3 / 31 ] simplifiying candidate #<alt (λ (d1) (pow (* (pow d1 9) d1) 1))>
13.314 * * * * [progress]: [ 4 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
13.314 * * * * [progress]: [ 5 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
13.314 * * * * [progress]: [ 6 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 9)) (log d1))))>
13.314 * * * * [progress]: [ 7 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (pow d1 9) d1))))>
13.314 * * * * [progress]: [ 8 / 31 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (pow d1 9) d1))))>
13.315 * * * * [progress]: [ 9 / 31 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))))>
13.315 * * * * [progress]: [ 10 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1))) (cbrt (* (pow d1 9) d1))))>
13.315 * * * * [progress]: [ 11 / 31 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))))>
13.315 * * * * [progress]: [ 12 / 31 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1))))>
13.315 * * * * [progress]: [ 13 / 31 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
13.315 * * * * [progress]: [ 14 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1))))>
13.315 * * * * [progress]: [ 15 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1))))>
13.315 * * * * [progress]: [ 16 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1))))>
13.315 * * * * [progress]: [ 17 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
13.315 * * * * [progress]: [ 18 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (sqrt d1)) (sqrt d1)))>
13.315 * * * * [progress]: [ 19 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) 1) d1))>
13.315 * * * * [progress]: [ 20 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (cbrt d1) (cbrt d1)) 9) (* (pow (cbrt d1) 9) d1)))>
13.315 * * * * [progress]: [ 21 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow (sqrt d1) 9) (* (pow (sqrt d1) 9) d1)))>
13.315 * * * * [progress]: [ 22 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow 1 9) (* (pow d1 9) d1)))>
13.315 * * * * [progress]: [ 23 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) (* (cbrt (pow d1 9)) d1)))>
13.315 * * * * [progress]: [ 24 / 31 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (pow d1 9)) (* (sqrt (pow d1 9)) d1)))>
13.315 * * * * [progress]: [ 25 / 31 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
13.315 * * * * [progress]: [ 26 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (/ 9 2)) (* (pow d1 (/ 9 2)) d1)))>
13.315 * * * * [progress]: [ 27 / 31 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (pow d1 9) d1))))>
13.315 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #<alt (λ (d1) (* d1 (pow d1 9)))>
13.315 * * * * [progress]: [ 29 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
13.315 * * * * [progress]: [ 30 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
13.315 * * * * [progress]: [ 31 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
13.316 * [simplify]: Simplifying:
  (+ 9 1)
  (+ 9 1)
  (+ (* (log d1) 9) (log d1))
  (+ (* (log d1) 9) (log d1))
  (+ (log (pow d1 9)) (log d1))
  (log (* (pow d1 9) d1))
  (exp (* (pow d1 9) d1))
  (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1)))
  (cbrt (* (pow d1 9) d1))
  (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 9) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 9) (sqrt d1))
  (* (pow d1 9) 1)
  (* (pow (cbrt d1) 9) d1)
  (* (pow (sqrt d1) 9) d1)
  (* (pow d1 9) d1)
  (* (cbrt (pow d1 9)) d1)
  (* (sqrt (pow d1 9)) d1)
  (* (pow d1 9) d1)
  (* (pow d1 (/ 9 2)) d1)
  (real->posit16 (* (pow d1 9) d1))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
13.316 * * [simplify]: iteration 0: 47 enodes
13.329 * * [simplify]: iteration 1: 110 enodes
13.378 * * [simplify]: iteration 2: 309 enodes
13.595 * * [simplify]: iteration 3: 1203 enodes
14.688 * * [simplify]: iteration complete: 5000 enodes
14.688 * * [simplify]: Extracting #0: cost 20 inf + 0
14.697 * * [simplify]: Extracting #1: cost 518 inf + 1
14.707 * * [simplify]: Extracting #2: cost 1523 inf + 5345
14.725 * * [simplify]: Extracting #3: cost 1473 inf + 69469
14.775 * * [simplify]: Extracting #4: cost 500 inf + 506079
14.849 * * [simplify]: Extracting #5: cost 36 inf + 764128
14.942 * * [simplify]: Extracting #6: cost 0 inf + 767612
15.032 * * [simplify]: Extracting #7: cost 0 inf + 753109
15.124 * * [simplify]: Extracting #8: cost 0 inf + 752756
15.224 * [simplify]: Simplified to:
  10
  10
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (exp (pow d1 10))
  (* (* (pow d1 10) (pow d1 10)) (pow d1 10))
  (* (cbrt (pow d1 10)) (cbrt (pow d1 10)))
  (cbrt (pow d1 10))
  (* (* (pow d1 10) (pow d1 10)) (pow d1 10))
  (sqrt (pow d1 10))
  (sqrt (pow d1 10))
  (pow (sqrt d1) 10)
  (pow (sqrt d1) 10)
  (* (sqrt d1) (sqrt (pow d1 9)))
  (* (sqrt d1) (sqrt (pow d1 9)))
  (* (sqrt d1) (pow d1 9/2))
  (* (sqrt d1) (pow d1 9/2))
  (* (pow d1 9) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 9) (sqrt d1))
  (pow d1 9)
  (* d1 (pow (cbrt d1) 9))
  (* d1 (pow (sqrt d1) 9))
  (pow d1 10)
  (* (cbrt (pow d1 9)) d1)
  (* d1 (sqrt (pow d1 9)))
  (pow d1 10)
  (pow d1 11/2)
  (real->posit16 (pow d1 10))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
15.225 * * * [progress]: adding candidates to table
15.301 * * [progress]: iteration 3 / 4
15.301 * * * [progress]: picking best candidate
15.303 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
15.303 * * * [progress]: localizing error
15.307 * * * [progress]: generating rewritten candidates
15.307 * * * [progress]: generating series expansions
15.307 * * * [progress]: simplifying candidates
15.307 * [simplify]: Simplifying:
  
15.307 * * [simplify]: iteration 0: 0 enodes
15.307 * * [simplify]: iteration complete: 0 enodes
15.307 * * [simplify]: Extracting #0: cost 0 inf + 0
15.307 * [simplify]: Simplified to:
  
15.308 * * * [progress]: adding candidates to table
15.308 * [progress]: [Phase 3 of 3] Extracting.
15.311 * [simplify]: Simplifying:
  (pow d1 10)
15.311 * * [simplify]: iteration 0: 3 enodes
15.312 * * [simplify]: iteration complete: 3 enodes
15.312 * * [simplify]: Extracting #0: cost 1 inf + 0
15.312 * * [simplify]: Extracting #1: cost 3 inf + 0
15.312 * * [simplify]: Extracting #2: cost 1 inf + 2
15.312 * * [simplify]: Extracting #3: cost 0 inf + 214
15.312 * [simplify]: Simplified to:
  (pow d1 10)
17.250 * [regime-testing]: Baseline error score: 0
17.252 * [regime-testing]: Oracle error score: 0
17.253 * [regime-testing]: End program error score: 0
17.290 * [regime-testing]: Target error score: 0