43.501 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.056 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.056 * * [simplify]: iteration 1: (9 enodes)
0.058 * * [simplify]: iteration 2: (24 enodes)
0.063 * * [simplify]: iteration 3: (54 enodes)
0.080 * * [simplify]: iteration 4: (92 enodes)
0.163 * * [simplify]: iteration 5: (279 enodes)
0.344 * * [simplify]: iteration 6: (787 enodes)
1.972 * * [simplify]: Extracting #0: cost 1 inf + 0
1.972 * * [simplify]: Extracting #1: cost 119 inf + 0
1.974 * * [simplify]: Extracting #2: cost 437 inf + 2
1.977 * * [simplify]: Extracting #3: cost 414 inf + 7580
1.993 * * [simplify]: Extracting #4: cost 213 inf + 115396
2.016 * * [simplify]: Extracting #5: cost 18 inf + 228435
2.055 * * [simplify]: Extracting #6: cost 0 inf + 238322
2.101 * [simplify]: Simplified to:
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
2.109 * * [progress]: iteration 1 / 4
2.109 * * * [progress]: picking best candidate
2.115 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.115 * * * [progress]: localizing error
2.163 * * * [progress]: generating rewritten candidates
2.163 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
2.186 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
2.253 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
10.011 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
10.265 * * * [progress]: generating series expansions
10.265 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
10.265 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
10.265 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
10.265 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.265 * [taylor]: Taking taylor expansion of d1 in d1
10.265 * [backup-simplify]: Simplify 0 into 0
10.265 * [backup-simplify]: Simplify 1 into 1
10.265 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.265 * [taylor]: Taking taylor expansion of d1 in d1
10.265 * [backup-simplify]: Simplify 0 into 0
10.265 * [backup-simplify]: Simplify 1 into 1
10.266 * [backup-simplify]: Simplify (* 1 1) into 1
10.267 * [backup-simplify]: Simplify (* 1 1) into 1
10.267 * [backup-simplify]: Simplify 1 into 1
10.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.268 * [backup-simplify]: Simplify 0 into 0
10.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.270 * [backup-simplify]: Simplify 0 into 0
10.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.272 * [backup-simplify]: Simplify 0 into 0
10.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.274 * [backup-simplify]: Simplify 0 into 0
10.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.277 * [backup-simplify]: Simplify 0 into 0
10.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.279 * [backup-simplify]: Simplify 0 into 0
10.279 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
10.279 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
10.279 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
10.279 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
10.279 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.279 * [taylor]: Taking taylor expansion of d1 in d1
10.279 * [backup-simplify]: Simplify 0 into 0
10.279 * [backup-simplify]: Simplify 1 into 1
10.280 * [backup-simplify]: Simplify (* 1 1) into 1
10.280 * [backup-simplify]: Simplify (* 1 1) into 1
10.280 * [backup-simplify]: Simplify (/ 1 1) into 1
10.280 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
10.280 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.280 * [taylor]: Taking taylor expansion of d1 in d1
10.280 * [backup-simplify]: Simplify 0 into 0
10.280 * [backup-simplify]: Simplify 1 into 1
10.280 * [backup-simplify]: Simplify (* 1 1) into 1
10.281 * [backup-simplify]: Simplify (* 1 1) into 1
10.281 * [backup-simplify]: Simplify (/ 1 1) into 1
10.281 * [backup-simplify]: Simplify 1 into 1
10.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.282 * [backup-simplify]: Simplify 0 into 0
10.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.284 * [backup-simplify]: Simplify 0 into 0
10.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.285 * [backup-simplify]: Simplify 0 into 0
10.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.287 * [backup-simplify]: Simplify 0 into 0
10.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.289 * [backup-simplify]: Simplify 0 into 0
10.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.292 * [backup-simplify]: Simplify 0 into 0
10.292 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
10.292 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
10.292 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
10.292 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
10.292 * [taylor]: Taking taylor expansion of -1 in d1
10.292 * [backup-simplify]: Simplify -1 into -1
10.292 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.292 * [taylor]: Taking taylor expansion of d1 in d1
10.292 * [backup-simplify]: Simplify 0 into 0
10.292 * [backup-simplify]: Simplify 1 into 1
10.292 * [backup-simplify]: Simplify (* 1 1) into 1
10.292 * [backup-simplify]: Simplify (* 1 1) into 1
10.293 * [backup-simplify]: Simplify (/ -1 1) into -1
10.293 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
10.293 * [taylor]: Taking taylor expansion of -1 in d1
10.293 * [backup-simplify]: Simplify -1 into -1
10.293 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
10.293 * [taylor]: Taking taylor expansion of d1 in d1
10.293 * [backup-simplify]: Simplify 0 into 0
10.293 * [backup-simplify]: Simplify 1 into 1
10.293 * [backup-simplify]: Simplify (* 1 1) into 1
10.293 * [backup-simplify]: Simplify (* 1 1) into 1
10.294 * [backup-simplify]: Simplify (/ -1 1) into -1
10.294 * [backup-simplify]: Simplify -1 into -1
10.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.295 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.295 * [backup-simplify]: Simplify 0 into 0
10.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.297 * [backup-simplify]: Simplify 0 into 0
10.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.299 * [backup-simplify]: Simplify 0 into 0
10.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.301 * [backup-simplify]: Simplify 0 into 0
10.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.303 * [backup-simplify]: Simplify 0 into 0
10.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.311 * [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.311 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
10.311 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
10.311 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
10.311 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
10.312 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.312 * [taylor]: Taking taylor expansion of d1 in d1
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 1 into 1
10.312 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.312 * [taylor]: Taking taylor expansion of d1 in d1
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 1 into 1
10.312 * [backup-simplify]: Simplify (* 1 1) into 1
10.312 * [backup-simplify]: Simplify (* 1 1) into 1
10.312 * [backup-simplify]: Simplify 1 into 1
10.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.315 * [backup-simplify]: Simplify 0 into 0
10.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.317 * [backup-simplify]: Simplify 0 into 0
10.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.318 * [backup-simplify]: Simplify 0 into 0
10.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.320 * [backup-simplify]: Simplify 0 into 0
10.320 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
10.320 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
10.320 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
10.320 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.320 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.320 * [taylor]: Taking taylor expansion of d1 in d1
10.320 * [backup-simplify]: Simplify 0 into 0
10.320 * [backup-simplify]: Simplify 1 into 1
10.320 * [backup-simplify]: Simplify (* 1 1) into 1
10.321 * [backup-simplify]: Simplify (* 1 1) into 1
10.321 * [backup-simplify]: Simplify (/ 1 1) into 1
10.321 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.321 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.321 * [taylor]: Taking taylor expansion of d1 in d1
10.321 * [backup-simplify]: Simplify 0 into 0
10.321 * [backup-simplify]: Simplify 1 into 1
10.321 * [backup-simplify]: Simplify (* 1 1) into 1
10.321 * [backup-simplify]: Simplify (* 1 1) into 1
10.322 * [backup-simplify]: Simplify (/ 1 1) into 1
10.322 * [backup-simplify]: Simplify 1 into 1
10.322 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.322 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.323 * [backup-simplify]: Simplify 0 into 0
10.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.324 * [backup-simplify]: Simplify 0 into 0
10.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.327 * [backup-simplify]: Simplify 0 into 0
10.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.330 * [backup-simplify]: Simplify 0 into 0
10.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.334 * [backup-simplify]: Simplify 0 into 0
10.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.338 * [backup-simplify]: Simplify 0 into 0
10.338 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
10.339 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
10.339 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
10.339 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.339 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.339 * [taylor]: Taking taylor expansion of d1 in d1
10.339 * [backup-simplify]: Simplify 0 into 0
10.339 * [backup-simplify]: Simplify 1 into 1
10.339 * [backup-simplify]: Simplify (* 1 1) into 1
10.340 * [backup-simplify]: Simplify (* 1 1) into 1
10.340 * [backup-simplify]: Simplify (/ 1 1) into 1
10.340 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
10.340 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
10.340 * [taylor]: Taking taylor expansion of d1 in d1
10.340 * [backup-simplify]: Simplify 0 into 0
10.340 * [backup-simplify]: Simplify 1 into 1
10.340 * [backup-simplify]: Simplify (* 1 1) into 1
10.341 * [backup-simplify]: Simplify (* 1 1) into 1
10.341 * [backup-simplify]: Simplify (/ 1 1) into 1
10.341 * [backup-simplify]: Simplify 1 into 1
10.342 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.346 * [backup-simplify]: Simplify 0 into 0
10.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.349 * [backup-simplify]: Simplify 0 into 0
10.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.353 * [backup-simplify]: Simplify 0 into 0
10.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.356 * [backup-simplify]: Simplify 0 into 0
10.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.361 * [backup-simplify]: Simplify 0 into 0
10.361 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
10.361 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
10.361 * [backup-simplify]: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9)
10.361 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
10.361 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.361 * [taylor]: Taking taylor expansion of d1 in d1
10.361 * [backup-simplify]: Simplify 0 into 0
10.361 * [backup-simplify]: Simplify 1 into 1
10.361 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.361 * [taylor]: Taking taylor expansion of d1 in d1
10.361 * [backup-simplify]: Simplify 0 into 0
10.361 * [backup-simplify]: Simplify 1 into 1
10.362 * [backup-simplify]: Simplify (* 1 1) into 1
10.362 * [backup-simplify]: Simplify (* 1 1) into 1
10.363 * [backup-simplify]: Simplify (* 1 1) into 1
10.363 * [backup-simplify]: Simplify (* 1 1) into 1
10.363 * [backup-simplify]: Simplify 1 into 1
10.364 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.364 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.366 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.366 * [backup-simplify]: Simplify 0 into 0
10.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.370 * [backup-simplify]: Simplify 0 into 0
10.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.374 * [backup-simplify]: Simplify 0 into 0
10.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.379 * [backup-simplify]: Simplify 0 into 0
10.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.384 * [backup-simplify]: Simplify 0 into 0
10.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.388 * [backup-simplify]: Simplify 0 into 0
10.388 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
10.389 * [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.389 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
10.389 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
10.389 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.389 * [taylor]: Taking taylor expansion of d1 in d1
10.389 * [backup-simplify]: Simplify 0 into 0
10.389 * [backup-simplify]: Simplify 1 into 1
10.389 * [backup-simplify]: Simplify (* 1 1) into 1
10.389 * [backup-simplify]: Simplify (* 1 1) into 1
10.389 * [backup-simplify]: Simplify (* 1 1) into 1
10.390 * [backup-simplify]: Simplify (* 1 1) into 1
10.390 * [backup-simplify]: Simplify (/ 1 1) into 1
10.390 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
10.390 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.390 * [taylor]: Taking taylor expansion of d1 in d1
10.390 * [backup-simplify]: Simplify 0 into 0
10.390 * [backup-simplify]: Simplify 1 into 1
10.390 * [backup-simplify]: Simplify (* 1 1) into 1
10.391 * [backup-simplify]: Simplify (* 1 1) into 1
10.391 * [backup-simplify]: Simplify (* 1 1) into 1
10.391 * [backup-simplify]: Simplify (* 1 1) into 1
10.391 * [backup-simplify]: Simplify (/ 1 1) into 1
10.391 * [backup-simplify]: Simplify 1 into 1
10.392 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.392 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.394 * [backup-simplify]: Simplify 0 into 0
10.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.397 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.400 * [backup-simplify]: Simplify 0 into 0
10.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.403 * [backup-simplify]: Simplify 0 into 0
10.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.407 * [backup-simplify]: Simplify 0 into 0
10.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.411 * [backup-simplify]: Simplify 0 into 0
10.411 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
10.412 * [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.412 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
10.412 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
10.412 * [taylor]: Taking taylor expansion of -1 in d1
10.412 * [backup-simplify]: Simplify -1 into -1
10.412 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.412 * [taylor]: Taking taylor expansion of d1 in d1
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [backup-simplify]: Simplify 1 into 1
10.412 * [backup-simplify]: Simplify (* 1 1) into 1
10.413 * [backup-simplify]: Simplify (* 1 1) into 1
10.413 * [backup-simplify]: Simplify (* 1 1) into 1
10.413 * [backup-simplify]: Simplify (* 1 1) into 1
10.413 * [backup-simplify]: Simplify (/ -1 1) into -1
10.413 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
10.413 * [taylor]: Taking taylor expansion of -1 in d1
10.413 * [backup-simplify]: Simplify -1 into -1
10.413 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
10.413 * [taylor]: Taking taylor expansion of d1 in d1
10.413 * [backup-simplify]: Simplify 0 into 0
10.414 * [backup-simplify]: Simplify 1 into 1
10.414 * [backup-simplify]: Simplify (* 1 1) into 1
10.414 * [backup-simplify]: Simplify (* 1 1) into 1
10.414 * [backup-simplify]: Simplify (* 1 1) into 1
10.414 * [backup-simplify]: Simplify (* 1 1) into 1
10.415 * [backup-simplify]: Simplify (/ -1 1) into -1
10.415 * [backup-simplify]: Simplify -1 into -1
10.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.417 * [backup-simplify]: Simplify 0 into 0
10.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.424 * [backup-simplify]: Simplify 0 into 0
10.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.428 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.428 * [backup-simplify]: Simplify 0 into 0
10.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.431 * [backup-simplify]: Simplify 0 into 0
10.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.435 * [backup-simplify]: Simplify 0 into 0
10.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.442 * [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.442 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
10.442 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
10.442 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
10.442 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
10.442 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.442 * [taylor]: Taking taylor expansion of d1 in d1
10.442 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify 1 into 1
10.442 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.442 * [taylor]: Taking taylor expansion of d1 in d1
10.442 * [backup-simplify]: Simplify 0 into 0
10.443 * [backup-simplify]: Simplify 1 into 1
10.443 * [backup-simplify]: Simplify (* 1 1) into 1
10.443 * [backup-simplify]: Simplify (* 1 1) into 1
10.444 * [backup-simplify]: Simplify (* 1 1) into 1
10.444 * [backup-simplify]: Simplify 1 into 1
10.445 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.445 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.446 * [backup-simplify]: Simplify 0 into 0
10.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.449 * [backup-simplify]: Simplify 0 into 0
10.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.452 * [backup-simplify]: Simplify 0 into 0
10.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.455 * [backup-simplify]: Simplify 0 into 0
10.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.459 * [backup-simplify]: Simplify 0 into 0
10.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.464 * [backup-simplify]: Simplify 0 into 0
10.464 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
10.464 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
10.464 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
10.464 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
10.464 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.464 * [taylor]: Taking taylor expansion of d1 in d1
10.464 * [backup-simplify]: Simplify 0 into 0
10.464 * [backup-simplify]: Simplify 1 into 1
10.464 * [backup-simplify]: Simplify (* 1 1) into 1
10.465 * [backup-simplify]: Simplify (* 1 1) into 1
10.465 * [backup-simplify]: Simplify (* 1 1) into 1
10.465 * [backup-simplify]: Simplify (/ 1 1) into 1
10.465 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
10.465 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.465 * [taylor]: Taking taylor expansion of d1 in d1
10.465 * [backup-simplify]: Simplify 0 into 0
10.465 * [backup-simplify]: Simplify 1 into 1
10.466 * [backup-simplify]: Simplify (* 1 1) into 1
10.466 * [backup-simplify]: Simplify (* 1 1) into 1
10.466 * [backup-simplify]: Simplify (* 1 1) into 1
10.466 * [backup-simplify]: Simplify (/ 1 1) into 1
10.467 * [backup-simplify]: Simplify 1 into 1
10.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.468 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.468 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.470 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.473 * [backup-simplify]: Simplify 0 into 0
10.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.475 * [backup-simplify]: Simplify 0 into 0
10.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.478 * [backup-simplify]: Simplify 0 into 0
10.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.482 * [backup-simplify]: Simplify 0 into 0
10.482 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
10.482 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
10.482 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
10.482 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
10.482 * [taylor]: Taking taylor expansion of -1 in d1
10.482 * [backup-simplify]: Simplify -1 into -1
10.482 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.482 * [taylor]: Taking taylor expansion of d1 in d1
10.482 * [backup-simplify]: Simplify 0 into 0
10.482 * [backup-simplify]: Simplify 1 into 1
10.482 * [backup-simplify]: Simplify (* 1 1) into 1
10.482 * [backup-simplify]: Simplify (* 1 1) into 1
10.483 * [backup-simplify]: Simplify (* 1 1) into 1
10.483 * [backup-simplify]: Simplify (/ -1 1) into -1
10.483 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
10.483 * [taylor]: Taking taylor expansion of -1 in d1
10.483 * [backup-simplify]: Simplify -1 into -1
10.483 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
10.483 * [taylor]: Taking taylor expansion of d1 in d1
10.483 * [backup-simplify]: Simplify 0 into 0
10.483 * [backup-simplify]: Simplify 1 into 1
10.483 * [backup-simplify]: Simplify (* 1 1) into 1
10.484 * [backup-simplify]: Simplify (* 1 1) into 1
10.484 * [backup-simplify]: Simplify (* 1 1) into 1
10.484 * [backup-simplify]: Simplify (/ -1 1) into -1
10.484 * [backup-simplify]: Simplify -1 into -1
10.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.486 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.488 * [backup-simplify]: Simplify 0 into 0
10.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.491 * [backup-simplify]: Simplify 0 into 0
10.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.494 * [backup-simplify]: Simplify 0 into 0
10.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.497 * [backup-simplify]: Simplify 0 into 0
10.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.501 * [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.501 * [backup-simplify]: Simplify 0 into 0
10.501 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
10.501 * * * [progress]: simplifying candidates
10.501 * * * * [progress]: [ 1 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log1p (expm1 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 2 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (expm1 (log1p (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 3 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 4 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 5 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 6 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 7 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 8 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 9 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 10 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 11 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 12 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 13 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 14 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 15 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 16 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.502 * * * * [progress]: [ 17 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 18 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 19 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 20 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 21 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 22 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 23 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 24 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 25 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 26 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 27 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 28 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log1p (expm1 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 29 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (expm1 (log1p (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 30 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 31 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 32 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 33 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.503 * * * * [progress]: [ 34 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 35 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 36 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 37 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 38 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 39 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 40 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 41 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 42 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 43 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 44 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 45 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 46 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 47 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 48 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 49 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
10.504 * * * * [progress]: [ 50 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 51 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 52 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 53 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 54 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 55 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 56 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 57 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 58 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 59 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 60 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 61 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
10.505 * * * * [progress]: [ 62 / 331 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.505 * * * * [progress]: [ 63 / 331 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.505 * * * * [progress]: [ 64 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.505 * * * * [progress]: [ 65 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.506 * * * * [progress]: [ 66 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.506 * * * * [progress]: [ 67 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.506 * * * * [progress]: [ 68 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.506 * * * * [progress]: [ 69 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.506 * * * * [progress]: [ 70 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.506 * * * * [progress]: [ 71 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.506 * * * * [progress]: [ 72 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.506 * * * * [progress]: [ 73 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.506 * * * * [progress]: [ 74 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.506 * * * * [progress]: [ 75 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.506 * * * * [progress]: [ 76 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.506 * * * * [progress]: [ 77 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.506 * * * * [progress]: [ 78 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.507 * * * * [progress]: [ 79 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.507 * * * * [progress]: [ 80 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.507 * * * * [progress]: [ 81 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.507 * * * * [progress]: [ 82 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.507 * * * * [progress]: [ 83 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.507 * * * * [progress]: [ 84 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.507 * * * * [progress]: [ 85 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.507 * * * * [progress]: [ 86 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.507 * * * * [progress]: [ 87 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.507 * * * * [progress]: [ 88 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.507 * * * * [progress]: [ 89 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.507 * * * * [progress]: [ 90 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 91 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.508 * * * * [progress]: [ 92 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 93 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.508 * * * * [progress]: [ 94 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 95 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.508 * * * * [progress]: [ 96 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 97 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.508 * * * * [progress]: [ 98 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 99 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.508 * * * * [progress]: [ 100 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 101 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.508 * * * * [progress]: [ 102 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.508 * * * * [progress]: [ 103 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.509 * * * * [progress]: [ 104 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.509 * * * * [progress]: [ 105 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.509 * * * * [progress]: [ 106 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.509 * * * * [progress]: [ 107 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.509 * * * * [progress]: [ 108 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.509 * * * * [progress]: [ 109 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.509 * * * * [progress]: [ 110 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.509 * * * * [progress]: [ 111 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.509 * * * * [progress]: [ 112 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.509 * * * * [progress]: [ 113 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.509 * * * * [progress]: [ 114 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.510 * * * * [progress]: [ 115 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.510 * * * * [progress]: [ 116 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.510 * * * * [progress]: [ 117 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.510 * * * * [progress]: [ 118 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.510 * * * * [progress]: [ 119 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.510 * * * * [progress]: [ 120 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.510 * * * * [progress]: [ 121 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.510 * * * * [progress]: [ 122 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.510 * * * * [progress]: [ 123 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.511 * * * * [progress]: [ 124 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.511 * * * * [progress]: [ 125 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.511 * * * * [progress]: [ 126 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.511 * * * * [progress]: [ 127 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.511 * * * * [progress]: [ 128 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.511 * * * * [progress]: [ 129 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.511 * * * * [progress]: [ 130 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.511 * * * * [progress]: [ 131 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.511 * * * * [progress]: [ 132 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.512 * * * * [progress]: [ 133 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.512 * * * * [progress]: [ 134 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.512 * * * * [progress]: [ 135 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.512 * * * * [progress]: [ 136 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.512 * * * * [progress]: [ 137 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.512 * * * * [progress]: [ 138 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.512 * * * * [progress]: [ 139 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.512 * * * * [progress]: [ 140 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.512 * * * * [progress]: [ 141 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.513 * * * * [progress]: [ 142 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.513 * * * * [progress]: [ 143 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.513 * * * * [progress]: [ 144 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.513 * * * * [progress]: [ 145 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.513 * * * * [progress]: [ 146 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.513 * * * * [progress]: [ 147 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.513 * * * * [progress]: [ 148 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.513 * * * * [progress]: [ 149 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.514 * * * * [progress]: [ 150 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.514 * * * * [progress]: [ 151 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.514 * * * * [progress]: [ 152 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.514 * * * * [progress]: [ 153 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.514 * * * * [progress]: [ 154 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.514 * * * * [progress]: [ 155 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.514 * * * * [progress]: [ 156 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.514 * * * * [progress]: [ 157 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.515 * * * * [progress]: [ 158 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.515 * * * * [progress]: [ 159 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.515 * * * * [progress]: [ 160 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.515 * * * * [progress]: [ 161 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.515 * * * * [progress]: [ 162 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.515 * * * * [progress]: [ 163 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.515 * * * * [progress]: [ 164 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.515 * * * * [progress]: [ 165 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.515 * * * * [progress]: [ 166 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.516 * * * * [progress]: [ 167 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.516 * * * * [progress]: [ 168 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.516 * * * * [progress]: [ 169 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.516 * * * * [progress]: [ 170 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.516 * * * * [progress]: [ 171 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.516 * * * * [progress]: [ 172 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.516 * * * * [progress]: [ 173 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.516 * * * * [progress]: [ 174 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.516 * * * * [progress]: [ 175 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.516 * * * * [progress]: [ 176 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.517 * * * * [progress]: [ 177 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.517 * * * * [progress]: [ 178 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.517 * * * * [progress]: [ 179 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.517 * * * * [progress]: [ 180 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.517 * * * * [progress]: [ 181 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.517 * * * * [progress]: [ 182 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.517 * * * * [progress]: [ 183 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.517 * * * * [progress]: [ 184 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.518 * * * * [progress]: [ 185 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.518 * * * * [progress]: [ 186 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.518 * * * * [progress]: [ 187 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.518 * * * * [progress]: [ 188 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.518 * * * * [progress]: [ 189 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.518 * * * * [progress]: [ 190 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.518 * * * * [progress]: [ 191 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.518 * * * * [progress]: [ 192 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.518 * * * * [progress]: [ 193 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.519 * * * * [progress]: [ 194 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.519 * * * * [progress]: [ 195 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.519 * * * * [progress]: [ 196 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.519 * * * * [progress]: [ 197 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.519 * * * * [progress]: [ 198 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.519 * * * * [progress]: [ 199 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.519 * * * * [progress]: [ 200 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.519 * * * * [progress]: [ 201 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.519 * * * * [progress]: [ 202 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.520 * * * * [progress]: [ 203 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.520 * * * * [progress]: [ 204 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.520 * * * * [progress]: [ 205 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.520 * * * * [progress]: [ 206 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.520 * * * * [progress]: [ 207 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.520 * * * * [progress]: [ 208 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.520 * * * * [progress]: [ 209 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
10.520 * * * * [progress]: [ 210 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
10.520 * * * * [progress]: [ 211 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
10.520 * * * * [progress]: [ 212 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.520 * * * * [progress]: [ 213 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
10.520 * * * * [progress]: [ 214 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.521 * * * * [progress]: [ 215 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
10.521 * * * * [progress]: [ 216 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.521 * * * * [progress]: [ 217 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
10.521 * * * * [progress]: [ 218 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
10.521 * * * * [progress]: [ 219 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
10.521 * * * * [progress]: [ 220 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.522 * * * * [progress]: [ 221 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
10.523 * * * * [progress]: [ 222 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
10.523 * * * * [progress]: [ 223 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
10.523 * * * * [progress]: [ 224 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 225 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 226 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 227 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 228 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 229 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 230 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 231 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 232 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.523 * * * * [progress]: [ 233 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.524 * * * * [progress]: [ 234 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.524 * * * * [progress]: [ 235 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.524 * * * * [progress]: [ 236 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
10.524 * * * * [progress]: [ 237 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 238 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 239 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 240 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 241 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 242 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 243 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 244 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
10.524 * * * * [progress]: [ 245 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
10.525 * * * * [progress]: [ 246 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))) d1))>
10.525 * * * * [progress]: [ 247 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))) d1))>
10.525 * * * * [progress]: [ 248 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.525 * * * * [progress]: [ 249 / 331 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.525 * * * * [progress]: [ 250 / 331 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.525 * * * * [progress]: [ 251 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.525 * * * * [progress]: [ 252 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.525 * * * * [progress]: [ 253 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.525 * * * * [progress]: [ 254 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.525 * * * * [progress]: [ 255 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.525 * * * * [progress]: [ 256 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.525 * * * * [progress]: [ 257 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.526 * * * * [progress]: [ 258 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.526 * * * * [progress]: [ 259 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
10.526 * * * * [progress]: [ 260 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.526 * * * * [progress]: [ 261 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
10.526 * * * * [progress]: [ 262 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.526 * * * * [progress]: [ 263 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.526 * * * * [progress]: [ 264 / 331 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.526 * * * * [progress]: [ 265 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.526 * * * * [progress]: [ 266 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.526 * * * * [progress]: [ 267 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1) d1))>
10.526 * * * * [progress]: [ 268 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.526 * * * * [progress]: [ 269 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.527 * * * * [progress]: [ 270 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
10.527 * * * * [progress]: [ 271 / 331 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
10.527 * * * * [progress]: [ 272 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1) d1))>
10.527 * * * * [progress]: [ 273 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log1p (expm1 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 274 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (expm1 (log1p (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 275 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 276 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 277 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 278 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 279 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 280 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.527 * * * * [progress]: [ 281 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 282 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 283 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 284 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 285 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 286 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 287 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 288 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 289 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 290 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 291 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 292 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 293 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 294 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.528 * * * * [progress]: [ 295 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 296 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 297 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 298 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 299 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 300 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 301 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 302 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 303 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 304 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 305 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 306 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 307 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 308 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
10.529 * * * * [progress]: [ 309 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 310 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 311 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 312 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 313 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 314 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 315 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 316 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 317 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 318 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 319 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 320 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 321 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 322 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 323 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 324 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 325 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
10.530 * * * * [progress]: [ 326 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
10.530 * * * * [progress]: [ 327 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
10.530 * * * * [progress]: [ 328 / 331 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
10.531 * * * * [progress]: [ 329 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
10.531 * * * * [progress]: [ 330 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
10.531 * * * * [progress]: [ 331 / 331 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
10.536 * [simplify]: Simplifying:
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (expm1 (* (* d1 (* d1 d1)) d1))
  (log1p (* (* d1 (* d1 d1)) d1))
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))
  (+ (+ (log d1) (log (* d1 d1))) (log d1))
  (+ (log (* d1 (* d1 d1))) (log d1))
  (log (* (* d1 (* d1 d1)) d1))
  (exp (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1)))
  (cbrt (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* (* d1 (* d1 d1)) 1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 (* d1 d1)) d1))
  (expm1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (log1p (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))
  (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))))
  (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (expm1 (* (* (* d1 (* d1 d1)) d1) d1))
  (log1p (* (* (* d1 (* d1 d1)) d1) d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
10.543 * * [simplify]: iteration 1: (219 enodes)
10.695 * * [simplify]: iteration 2: (608 enodes)
11.048 * * [simplify]: iteration 3: (1498 enodes)
13.570 * * [simplify]: Extracting #0: cost 53 inf + 0
13.572 * * [simplify]: Extracting #1: cost 353 inf + 217
13.584 * * [simplify]: Extracting #2: cost 625 inf + 25518
13.603 * * [simplify]: Extracting #3: cost 279 inf + 112557
13.634 * * [simplify]: Extracting #4: cost 79 inf + 175594
13.685 * * [simplify]: Extracting #5: cost 0 inf + 204835
13.748 * * [simplify]: Extracting #6: cost 0 inf + 204795
13.789 * [simplify]: Simplified to:
  (expm1 (* (* d1 d1) d1))
  (log1p (* (* d1 d1) d1))
  3
  3
  3
  3
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* (* d1 d1) d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* d1 d1)
  d1
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* d1 (* (cbrt d1) d1))
  (* (* d1 d1) (sqrt d1))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) d1))
  (expm1 (* (* d1 d1) (* d1 d1)))
  (log1p (* (* d1 d1) (* d1 d1)))
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* (* (* d1 (cbrt d1)) (* d1 (cbrt d1))) d1)
  (* (* d1 (sqrt d1)) (* d1 d1))
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  (expm1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (log1p (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (exp (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* d1 d1) (* d1 d1)) (* d1 d1))
  (* (* d1 d1) d1)
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (cbrt d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (sqrt d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)
  (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1))
  (expm1 (* d1 (* (* d1 d1) (* d1 d1))))
  (log1p (* d1 (* (* d1 d1) (* d1 d1))))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (exp (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 d1))
  (* (cbrt (* d1 (* (* d1 d1) (* d1 d1)))) (cbrt (* d1 (* (* d1 d1) (* d1 d1)))))
  (cbrt (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 d1))
  (sqrt (* d1 (* (* d1 d1) (* d1 d1))))
  (sqrt (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1)))
  (* (sqrt d1) (* (* d1 d1) (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
13.803 * * * [progress]: adding candidates to table
16.202 * * [progress]: iteration 2 / 4
16.202 * * * [progress]: picking best candidate
16.259 * * * * [pick]: Picked  #<alt (λ (d1) (* (pow d1 9) d1))>
16.259 * * * [progress]: localizing error
16.271 * * * [progress]: generating rewritten candidates
16.271 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
16.290 * * * [progress]: generating series expansions
16.290 * * * * [progress]: [ 1 / 1 ] generating series at (2)
16.290 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10)
16.290 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
16.290 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
16.290 * [taylor]: Taking taylor expansion of d1 in d1
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 1 into 1
16.290 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
16.290 * [taylor]: Taking taylor expansion of d1 in d1
16.290 * [backup-simplify]: Simplify 0 into 0
16.290 * [backup-simplify]: Simplify 1 into 1
16.291 * [backup-simplify]: Simplify (* 1 1) into 1
16.291 * [backup-simplify]: Simplify (* 1 1) into 1
16.291 * [backup-simplify]: Simplify (* 1 1) into 1
16.292 * [backup-simplify]: Simplify (* 1 1) into 1
16.292 * [backup-simplify]: Simplify 1 into 1
16.292 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.293 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.294 * [backup-simplify]: Simplify 0 into 0
16.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.298 * [backup-simplify]: Simplify 0 into 0
16.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.302 * [backup-simplify]: Simplify 0 into 0
16.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.307 * [backup-simplify]: Simplify 0 into 0
16.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.312 * [backup-simplify]: Simplify 0 into 0
16.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.318 * [backup-simplify]: Simplify 0 into 0
16.319 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
16.319 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10))
16.319 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
16.319 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
16.319 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
16.319 * [taylor]: Taking taylor expansion of d1 in d1
16.319 * [backup-simplify]: Simplify 0 into 0
16.319 * [backup-simplify]: Simplify 1 into 1
16.319 * [backup-simplify]: Simplify (* 1 1) into 1
16.320 * [backup-simplify]: Simplify (* 1 1) into 1
16.320 * [backup-simplify]: Simplify (* 1 1) into 1
16.320 * [backup-simplify]: Simplify (* 1 1) into 1
16.321 * [backup-simplify]: Simplify (/ 1 1) into 1
16.321 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
16.321 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
16.321 * [taylor]: Taking taylor expansion of d1 in d1
16.321 * [backup-simplify]: Simplify 0 into 0
16.321 * [backup-simplify]: Simplify 1 into 1
16.321 * [backup-simplify]: Simplify (* 1 1) into 1
16.322 * [backup-simplify]: Simplify (* 1 1) into 1
16.322 * [backup-simplify]: Simplify (* 1 1) into 1
16.322 * [backup-simplify]: Simplify (* 1 1) into 1
16.323 * [backup-simplify]: Simplify (/ 1 1) into 1
16.323 * [backup-simplify]: Simplify 1 into 1
16.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.324 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.326 * [backup-simplify]: Simplify 0 into 0
16.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.331 * [backup-simplify]: Simplify 0 into 0
16.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.337 * [backup-simplify]: Simplify 0 into 0
16.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.342 * [backup-simplify]: Simplify 0 into 0
16.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.348 * [backup-simplify]: Simplify 0 into 0
16.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.356 * [backup-simplify]: Simplify 0 into 0
16.356 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
16.356 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10))
16.356 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
16.356 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
16.356 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
16.356 * [taylor]: Taking taylor expansion of d1 in d1
16.356 * [backup-simplify]: Simplify 0 into 0
16.356 * [backup-simplify]: Simplify 1 into 1
16.356 * [backup-simplify]: Simplify (* 1 1) into 1
16.357 * [backup-simplify]: Simplify (* 1 1) into 1
16.357 * [backup-simplify]: Simplify (* 1 1) into 1
16.357 * [backup-simplify]: Simplify (* 1 1) into 1
16.358 * [backup-simplify]: Simplify (/ 1 1) into 1
16.358 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
16.358 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
16.358 * [taylor]: Taking taylor expansion of d1 in d1
16.358 * [backup-simplify]: Simplify 0 into 0
16.358 * [backup-simplify]: Simplify 1 into 1
16.358 * [backup-simplify]: Simplify (* 1 1) into 1
16.359 * [backup-simplify]: Simplify (* 1 1) into 1
16.359 * [backup-simplify]: Simplify (* 1 1) into 1
16.359 * [backup-simplify]: Simplify (* 1 1) into 1
16.360 * [backup-simplify]: Simplify (/ 1 1) into 1
16.360 * [backup-simplify]: Simplify 1 into 1
16.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.363 * [backup-simplify]: Simplify 0 into 0
16.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.368 * [backup-simplify]: Simplify 0 into 0
16.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.373 * [backup-simplify]: Simplify 0 into 0
16.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.379 * [backup-simplify]: Simplify 0 into 0
16.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.390 * [backup-simplify]: Simplify 0 into 0
16.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.397 * [backup-simplify]: Simplify 0 into 0
16.398 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
16.398 * * * [progress]: simplifying candidates
16.398 * * * * [progress]: [ 1 / 33 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (pow d1 9) d1))))>
16.398 * * * * [progress]: [ 2 / 33 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (pow d1 9) d1))))>
16.398 * * * * [progress]: [ 3 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
16.398 * * * * [progress]: [ 4 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
16.398 * * * * [progress]: [ 5 / 33 ] simplifiying candidate #<alt (λ (d1) (pow (* (pow d1 9) d1) 1))>
16.398 * * * * [progress]: [ 6 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
16.398 * * * * [progress]: [ 7 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
16.398 * * * * [progress]: [ 8 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 9)) (log d1))))>
16.398 * * * * [progress]: [ 9 / 33 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (pow d1 9) d1))))>
16.398 * * * * [progress]: [ 10 / 33 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (pow d1 9) d1))))>
16.398 * * * * [progress]: [ 11 / 33 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))))>
16.398 * * * * [progress]: [ 12 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1))) (cbrt (* (pow d1 9) d1))))>
16.399 * * * * [progress]: [ 13 / 33 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))))>
16.399 * * * * [progress]: [ 14 / 33 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1))))>
16.399 * * * * [progress]: [ 15 / 33 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
16.399 * * * * [progress]: [ 16 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1))))>
16.399 * * * * [progress]: [ 17 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1))))>
16.399 * * * * [progress]: [ 18 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1))))>
16.399 * * * * [progress]: [ 19 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
16.399 * * * * [progress]: [ 20 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (sqrt d1)) (sqrt d1)))>
16.399 * * * * [progress]: [ 21 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) 1) d1))>
16.399 * * * * [progress]: [ 22 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (cbrt d1) (cbrt d1)) 9) (* (pow (cbrt d1) 9) d1)))>
16.399 * * * * [progress]: [ 23 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow (sqrt d1) 9) (* (pow (sqrt d1) 9) d1)))>
16.399 * * * * [progress]: [ 24 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow 1 9) (* (pow d1 9) d1)))>
16.399 * * * * [progress]: [ 25 / 33 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) (* (cbrt (pow d1 9)) d1)))>
16.400 * * * * [progress]: [ 26 / 33 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (pow d1 9)) (* (sqrt (pow d1 9)) d1)))>
16.400 * * * * [progress]: [ 27 / 33 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
16.400 * * * * [progress]: [ 28 / 33 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (/ 9 2)) (* (pow d1 (/ 9 2)) d1)))>
16.400 * * * * [progress]: [ 29 / 33 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (pow d1 9) d1))))>
16.400 * * * * [progress]: [ 30 / 33 ] simplifiying candidate #<alt (λ (d1) (* d1 (pow d1 9)))>
16.400 * * * * [progress]: [ 31 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
16.400 * * * * [progress]: [ 32 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
16.400 * * * * [progress]: [ 33 / 33 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
16.401 * [simplify]: Simplifying:
  (expm1 (* (pow d1 9) d1))
  (log1p (* (pow d1 9) d1))
  (+ 9 1)
  (+ 9 1)
  (+ (* (log d1) 9) (log d1))
  (+ (* (log d1) 9) (log d1))
  (+ (log (pow d1 9)) (log d1))
  (log (* (pow d1 9) d1))
  (exp (* (pow d1 9) d1))
  (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1)))
  (cbrt (* (pow d1 9) d1))
  (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 9) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 9) (sqrt d1))
  (* (pow d1 9) 1)
  (* (pow (cbrt d1) 9) d1)
  (* (pow (sqrt d1) 9) d1)
  (* (pow d1 9) d1)
  (* (cbrt (pow d1 9)) d1)
  (* (sqrt (pow d1 9)) d1)
  (* (pow d1 9) d1)
  (* (pow d1 (/ 9 2)) d1)
  (real->posit16 (* (pow d1 9) d1))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
16.401 * * [simplify]: iteration 1: (49 enodes)
16.424 * * [simplify]: iteration 2: (113 enodes)
16.458 * * [simplify]: iteration 3: (313 enodes)
16.639 * * [simplify]: iteration 4: (1125 enodes)
18.853 * * [simplify]: Extracting #0: cost 22 inf + 0
18.854 * * [simplify]: Extracting #1: cost 346 inf + 1
18.862 * * [simplify]: Extracting #2: cost 1010 inf + 8344
18.887 * * [simplify]: Extracting #3: cost 769 inf + 130841
18.942 * * [simplify]: Extracting #4: cost 136 inf + 510382
19.012 * * [simplify]: Extracting #5: cost 2 inf + 589710
19.078 * * [simplify]: Extracting #6: cost 0 inf + 589157
19.157 * [simplify]: Simplified to:
  (expm1 (pow d1 10))
  (log1p (pow d1 10))
  10
  10
  (* (log d1) 10)
  (* (log d1) 10)
  (* (log d1) 10)
  (* (log d1) 10)
  (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 (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)
  (* d1 (pow (cbrt d1) 9))
  (* d1 (pow (sqrt d1) 9))
  (pow d1 10)
  (* d1 (cbrt (pow d1 9)))
  (* d1 (sqrt (pow d1 9)))
  (pow d1 10)
  (pow d1 11/2)
  (real->posit16 (pow d1 10))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
19.159 * * * [progress]: adding candidates to table
19.399 * * [progress]: iteration 3 / 4
19.399 * * * [progress]: picking best candidate
19.401 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
19.401 * * * [progress]: localizing error
19.404 * * * [progress]: generating rewritten candidates
19.405 * * * [progress]: generating series expansions
19.405 * * * [progress]: simplifying candidates
19.405 * [simplify]: Simplifying:
  
19.405 * * [simplify]: iteration 1: (0 enodes)
19.405 * * [simplify]: Extracting #0: cost 0 inf + 0
19.405 * [simplify]: Simplified to:
  
19.405 * * * [progress]: adding candidates to table
19.405 * [progress]: [Phase 3 of 3] Extracting.
19.407 * [simplify]: Simplifying:
  (pow d1 10)
19.407 * * [simplify]: iteration 1: (3 enodes)
19.407 * * [simplify]: Extracting #0: cost 1 inf + 0
19.407 * * [simplify]: Extracting #1: cost 3 inf + 0
19.407 * * [simplify]: Extracting #2: cost 1 inf + 2
19.407 * * [simplify]: Extracting #3: cost 0 inf + 214
19.407 * [simplify]: Simplified to:
  (pow d1 10)
22.408 * [regime-testing]: Baseline error score: 0
22.410 * [regime-testing]: Oracle error score: 0
22.410 * [regime-testing]: End program error score: 0
22.464 * [regime-testing]: Target error score: 0