36.763 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.047 * * [simplify]: iteration 0: 9 enodes
0.051 * * [simplify]: iteration 1: 24 enodes
0.060 * * [simplify]: iteration 2: 55 enodes
0.092 * * [simplify]: iteration 3: 125 enodes
0.238 * * [simplify]: iteration 4: 835 enodes
0.843 * * [simplify]: iteration complete: 5001 enodes
0.843 * * [simplify]: Extracting #0: cost 1 inf + 0
0.844 * * [simplify]: Extracting #1: cost 497 inf + 0
0.848 * * [simplify]: Extracting #2: cost 1874 inf + 2354
0.875 * * [simplify]: Extracting #3: cost 1400 inf + 83032
0.916 * * [simplify]: Extracting #4: cost 397 inf + 329365
1.011 * * [simplify]: Extracting #5: cost 30 inf + 457766
1.061 * * [simplify]: Extracting #6: cost 0 inf + 471262
1.109 * [simplify]: Simplified to:
  (* (* (* d1 d1) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 (* d1 d1))))
1.116 * * [progress]: iteration 1 / 4
1.116 * * * [progress]: picking best candidate
1.127 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
1.127 * * * [progress]: localizing error
1.170 * * * [progress]: generating rewritten candidates
1.170 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.196 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
1.278 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
2.048 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
2.278 * * * [progress]: generating series expansions
2.278 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
2.279 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
2.279 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
2.279 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.279 * [taylor]: Taking taylor expansion of d1 in d1
2.279 * [backup-simplify]: Simplify 0 into 0
2.279 * [backup-simplify]: Simplify 1 into 1
2.279 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.279 * [taylor]: Taking taylor expansion of d1 in d1
2.279 * [backup-simplify]: Simplify 0 into 0
2.279 * [backup-simplify]: Simplify 1 into 1
2.279 * [backup-simplify]: Simplify (* 1 1) into 1
2.280 * [backup-simplify]: Simplify (* 1 1) into 1
2.280 * [backup-simplify]: Simplify 1 into 1
2.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.281 * [backup-simplify]: Simplify 0 into 0
2.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.282 * [backup-simplify]: Simplify 0 into 0
2.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.283 * [backup-simplify]: Simplify 0 into 0
2.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.285 * [backup-simplify]: Simplify 0 into 0
2.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.286 * [backup-simplify]: Simplify 0 into 0
2.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.288 * [backup-simplify]: Simplify 0 into 0
2.288 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
2.288 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
2.288 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
2.288 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
2.288 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.288 * [taylor]: Taking taylor expansion of d1 in d1
2.288 * [backup-simplify]: Simplify 0 into 0
2.288 * [backup-simplify]: Simplify 1 into 1
2.288 * [backup-simplify]: Simplify (* 1 1) into 1
2.289 * [backup-simplify]: Simplify (* 1 1) into 1
2.289 * [backup-simplify]: Simplify (/ 1 1) into 1
2.289 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
2.289 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.289 * [taylor]: Taking taylor expansion of d1 in d1
2.289 * [backup-simplify]: Simplify 0 into 0
2.289 * [backup-simplify]: Simplify 1 into 1
2.289 * [backup-simplify]: Simplify (* 1 1) into 1
2.289 * [backup-simplify]: Simplify (* 1 1) into 1
2.290 * [backup-simplify]: Simplify (/ 1 1) into 1
2.290 * [backup-simplify]: Simplify 1 into 1
2.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.291 * [backup-simplify]: Simplify 0 into 0
2.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.292 * [backup-simplify]: Simplify 0 into 0
2.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.295 * [backup-simplify]: Simplify 0 into 0
2.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.298 * [backup-simplify]: Simplify 0 into 0
2.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.302 * [backup-simplify]: Simplify 0 into 0
2.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.306 * [backup-simplify]: Simplify 0 into 0
2.306 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
2.307 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
2.307 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
2.307 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
2.307 * [taylor]: Taking taylor expansion of -1 in d1
2.307 * [backup-simplify]: Simplify -1 into -1
2.307 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.307 * [taylor]: Taking taylor expansion of d1 in d1
2.307 * [backup-simplify]: Simplify 0 into 0
2.307 * [backup-simplify]: Simplify 1 into 1
2.307 * [backup-simplify]: Simplify (* 1 1) into 1
2.308 * [backup-simplify]: Simplify (* 1 1) into 1
2.308 * [backup-simplify]: Simplify (/ -1 1) into -1
2.308 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
2.308 * [taylor]: Taking taylor expansion of -1 in d1
2.308 * [backup-simplify]: Simplify -1 into -1
2.308 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.308 * [taylor]: Taking taylor expansion of d1 in d1
2.308 * [backup-simplify]: Simplify 0 into 0
2.308 * [backup-simplify]: Simplify 1 into 1
2.309 * [backup-simplify]: Simplify (* 1 1) into 1
2.309 * [backup-simplify]: Simplify (* 1 1) into 1
2.309 * [backup-simplify]: Simplify (/ -1 1) into -1
2.309 * [backup-simplify]: Simplify -1 into -1
2.310 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.312 * [backup-simplify]: Simplify 0 into 0
2.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.318 * [backup-simplify]: Simplify 0 into 0
2.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.321 * [backup-simplify]: Simplify 0 into 0
2.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.325 * [backup-simplify]: Simplify 0 into 0
2.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.329 * [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
2.329 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
2.330 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
2.330 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
2.330 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
2.330 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.330 * [taylor]: Taking taylor expansion of d1 in d1
2.330 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify 1 into 1
2.330 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.330 * [taylor]: Taking taylor expansion of d1 in d1
2.330 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify 1 into 1
2.331 * [backup-simplify]: Simplify (* 1 1) into 1
2.331 * [backup-simplify]: Simplify (* 1 1) into 1
2.331 * [backup-simplify]: Simplify 1 into 1
2.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.332 * [backup-simplify]: Simplify 0 into 0
2.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.335 * [backup-simplify]: Simplify 0 into 0
2.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.337 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
2.346 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
2.346 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
2.346 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.346 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.346 * [taylor]: Taking taylor expansion of d1 in d1
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 1 into 1
2.346 * [backup-simplify]: Simplify (* 1 1) into 1
2.347 * [backup-simplify]: Simplify (* 1 1) into 1
2.347 * [backup-simplify]: Simplify (/ 1 1) into 1
2.347 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.347 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.347 * [taylor]: Taking taylor expansion of d1 in d1
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 1 into 1
2.347 * [backup-simplify]: Simplify (* 1 1) into 1
2.348 * [backup-simplify]: Simplify (* 1 1) into 1
2.348 * [backup-simplify]: Simplify (/ 1 1) into 1
2.348 * [backup-simplify]: Simplify 1 into 1
2.349 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.350 * [backup-simplify]: Simplify 0 into 0
2.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.353 * [backup-simplify]: Simplify 0 into 0
2.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.356 * [backup-simplify]: Simplify 0 into 0
2.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.360 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.364 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.368 * [backup-simplify]: Simplify 0 into 0
2.368 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
2.369 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
2.369 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
2.369 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.369 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.369 * [taylor]: Taking taylor expansion of d1 in d1
2.369 * [backup-simplify]: Simplify 0 into 0
2.369 * [backup-simplify]: Simplify 1 into 1
2.369 * [backup-simplify]: Simplify (* 1 1) into 1
2.369 * [backup-simplify]: Simplify (* 1 1) into 1
2.370 * [backup-simplify]: Simplify (/ 1 1) into 1
2.370 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.370 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.370 * [taylor]: Taking taylor expansion of d1 in d1
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 1 into 1
2.370 * [backup-simplify]: Simplify (* 1 1) into 1
2.371 * [backup-simplify]: Simplify (* 1 1) into 1
2.371 * [backup-simplify]: Simplify (/ 1 1) into 1
2.371 * [backup-simplify]: Simplify 1 into 1
2.372 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.373 * [backup-simplify]: Simplify 0 into 0
2.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.376 * [backup-simplify]: Simplify 0 into 0
2.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.387 * [backup-simplify]: Simplify 0 into 0
2.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.391 * [backup-simplify]: Simplify 0 into 0
2.392 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
2.392 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
2.392 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
2.392 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
2.392 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.392 * [taylor]: Taking taylor expansion of d1 in d1
2.392 * [backup-simplify]: Simplify 0 into 0
2.392 * [backup-simplify]: Simplify 1 into 1
2.392 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.392 * [taylor]: Taking taylor expansion of d1 in d1
2.392 * [backup-simplify]: Simplify 0 into 0
2.392 * [backup-simplify]: Simplify 1 into 1
2.393 * [backup-simplify]: Simplify (* 1 1) into 1
2.393 * [backup-simplify]: Simplify (* 1 1) into 1
2.393 * [backup-simplify]: Simplify (* 1 1) into 1
2.394 * [backup-simplify]: Simplify (* 1 1) into 1
2.394 * [backup-simplify]: Simplify 1 into 1
2.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.396 * [backup-simplify]: Simplify 0 into 0
2.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.400 * [backup-simplify]: Simplify 0 into 0
2.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.412 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.415 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
2.419 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
2.419 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
2.419 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
2.419 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.419 * [taylor]: Taking taylor expansion of d1 in d1
2.419 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.419 * [backup-simplify]: Simplify (* 1 1) into 1
2.419 * [backup-simplify]: Simplify (* 1 1) into 1
2.420 * [backup-simplify]: Simplify (* 1 1) into 1
2.420 * [backup-simplify]: Simplify (* 1 1) into 1
2.420 * [backup-simplify]: Simplify (/ 1 1) into 1
2.420 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
2.420 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.420 * [taylor]: Taking taylor expansion of d1 in d1
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify 1 into 1
2.420 * [backup-simplify]: Simplify (* 1 1) into 1
2.421 * [backup-simplify]: Simplify (* 1 1) into 1
2.421 * [backup-simplify]: Simplify (* 1 1) into 1
2.421 * [backup-simplify]: Simplify (* 1 1) into 1
2.421 * [backup-simplify]: Simplify (/ 1 1) into 1
2.421 * [backup-simplify]: Simplify 1 into 1
2.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.432 * [backup-simplify]: Simplify 0 into 0
2.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.437 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.444 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
2.446 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
2.446 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
2.446 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
2.446 * [taylor]: Taking taylor expansion of -1 in d1
2.446 * [backup-simplify]: Simplify -1 into -1
2.446 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.446 * [taylor]: Taking taylor expansion of d1 in d1
2.446 * [backup-simplify]: Simplify 0 into 0
2.446 * [backup-simplify]: Simplify 1 into 1
2.446 * [backup-simplify]: Simplify (* 1 1) into 1
2.447 * [backup-simplify]: Simplify (* 1 1) into 1
2.447 * [backup-simplify]: Simplify (* 1 1) into 1
2.447 * [backup-simplify]: Simplify (* 1 1) into 1
2.448 * [backup-simplify]: Simplify (/ -1 1) into -1
2.448 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
2.448 * [taylor]: Taking taylor expansion of -1 in d1
2.448 * [backup-simplify]: Simplify -1 into -1
2.448 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.448 * [taylor]: Taking taylor expansion of d1 in d1
2.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify 1 into 1
2.448 * [backup-simplify]: Simplify (* 1 1) into 1
2.449 * [backup-simplify]: Simplify (* 1 1) into 1
2.449 * [backup-simplify]: Simplify (* 1 1) into 1
2.450 * [backup-simplify]: Simplify (* 1 1) into 1
2.450 * [backup-simplify]: Simplify (/ -1 1) into -1
2.450 * [backup-simplify]: Simplify -1 into -1
2.451 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.451 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.452 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.453 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.454 * [backup-simplify]: Simplify 0 into 0
2.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.458 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.464 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.470 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.473 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.477 * [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
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
2.478 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
2.478 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
2.478 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
2.478 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.478 * [taylor]: Taking taylor expansion of d1 in d1
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 1 into 1
2.478 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.478 * [taylor]: Taking taylor expansion of d1 in d1
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 1 into 1
2.478 * [backup-simplify]: Simplify (* 1 1) into 1
2.479 * [backup-simplify]: Simplify (* 1 1) into 1
2.479 * [backup-simplify]: Simplify (* 1 1) into 1
2.479 * [backup-simplify]: Simplify 1 into 1
2.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.480 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.483 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.486 * [backup-simplify]: Simplify 0 into 0
2.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.488 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.490 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
2.491 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
2.491 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
2.491 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
2.491 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.491 * [taylor]: Taking taylor expansion of d1 in d1
2.491 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify 1 into 1
2.491 * [backup-simplify]: Simplify (* 1 1) into 1
2.491 * [backup-simplify]: Simplify (* 1 1) into 1
2.491 * [backup-simplify]: Simplify (* 1 1) into 1
2.492 * [backup-simplify]: Simplify (/ 1 1) into 1
2.492 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
2.492 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.492 * [taylor]: Taking taylor expansion of d1 in d1
2.492 * [backup-simplify]: Simplify 0 into 0
2.492 * [backup-simplify]: Simplify 1 into 1
2.492 * [backup-simplify]: Simplify (* 1 1) into 1
2.492 * [backup-simplify]: Simplify (* 1 1) into 1
2.492 * [backup-simplify]: Simplify (* 1 1) into 1
2.493 * [backup-simplify]: Simplify (/ 1 1) into 1
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.507 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.512 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
2.524 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
2.524 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
2.524 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
2.524 * [taylor]: Taking taylor expansion of -1 in d1
2.524 * [backup-simplify]: Simplify -1 into -1
2.524 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.524 * [taylor]: Taking taylor expansion of d1 in d1
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (* 1 1) into 1
2.525 * [backup-simplify]: Simplify (* 1 1) into 1
2.525 * [backup-simplify]: Simplify (* 1 1) into 1
2.526 * [backup-simplify]: Simplify (/ -1 1) into -1
2.526 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
2.526 * [taylor]: Taking taylor expansion of -1 in d1
2.526 * [backup-simplify]: Simplify -1 into -1
2.526 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.526 * [taylor]: Taking taylor expansion of d1 in d1
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify 1 into 1
2.526 * [backup-simplify]: Simplify (* 1 1) into 1
2.526 * [backup-simplify]: Simplify (* 1 1) into 1
2.527 * [backup-simplify]: Simplify (* 1 1) into 1
2.527 * [backup-simplify]: Simplify (/ -1 1) into -1
2.527 * [backup-simplify]: Simplify -1 into -1
2.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.529 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.529 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.530 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.534 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.538 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.543 * [backup-simplify]: Simplify 0 into 0
2.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.548 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.554 * [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
2.554 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
2.555 * * * [progress]: simplifying candidates
2.560 * [simplify]: Simplifying:
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (+ (+ 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)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))
  (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))))
  (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) d1) d1) d1)
  (* d1 (* d1 d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
2.565 * * [simplify]: iteration 0: 127 enodes
2.632 * * [simplify]: iteration 1: 415 enodes
3.206 * * [simplify]: iteration 2: 3414 enodes
7.417 * * [simplify]: iteration complete: 5001 enodes
7.417 * * [simplify]: Extracting #0: cost 42 inf + 0
7.422 * * [simplify]: Extracting #1: cost 1296 inf + 2785
7.462 * * [simplify]: Extracting #2: cost 915 inf + 157504
7.517 * * [simplify]: Extracting #3: cost 126 inf + 268609
7.575 * * [simplify]: Extracting #4: cost 14 inf + 300955
7.646 * * [simplify]: Extracting #5: cost 1 inf + 305555
7.705 * * [simplify]: Extracting #6: cost 0 inf + 305837
7.785 * [simplify]: Simplified to:
  3
  3
  3
  3
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* d1 (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* d1 d1) (* d1 d1)))
  (* d1 d1)
  d1
  (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* d1 d1) (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* d1 d1)
  (* d1 (* d1 (cbrt d1)))
  (* (* (sqrt d1) d1) d1)
  (* d1 (* d1 d1))
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* d1 (* (* (sqrt d1) d1) d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (+ (log d1) (* 6 (log d1)))
  (exp (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (* (cbrt (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (cbrt (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1))))))
  (cbrt (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) d1))
  (sqrt (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 d1) (* (* d1 d1) (* d1 d1)))
  (* d1 (* d1 d1))
  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)
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
7.796 * * * [progress]: adding candidates to table
8.108 * * [progress]: iteration 2 / 4
8.108 * * * [progress]: picking best candidate
8.133 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
8.133 * * * [progress]: localizing error
8.153 * * * [progress]: generating rewritten candidates
8.154 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
8.181 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
8.191 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.238 * * * [progress]: generating series expansions
8.238 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
8.238 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
8.238 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
8.238 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.239 * [taylor]: Taking taylor expansion of d1 in d1
8.239 * [backup-simplify]: Simplify 0 into 0
8.239 * [backup-simplify]: Simplify 1 into 1
8.239 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.239 * [taylor]: Taking taylor expansion of d1 in d1
8.239 * [backup-simplify]: Simplify 0 into 0
8.239 * [backup-simplify]: Simplify 1 into 1
8.239 * [backup-simplify]: Simplify (* 1 1) into 1
8.239 * [backup-simplify]: Simplify (* 1 1) into 1
8.240 * [backup-simplify]: Simplify (* 1 1) into 1
8.240 * [backup-simplify]: Simplify (* 1 1) into 1
8.240 * [backup-simplify]: Simplify 1 into 1
8.240 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.242 * [backup-simplify]: Simplify 0 into 0
8.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.247 * [backup-simplify]: Simplify 0 into 0
8.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.252 * [backup-simplify]: Simplify 0 into 0
8.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.257 * [backup-simplify]: Simplify 0 into 0
8.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.264 * [backup-simplify]: Simplify 0 into 0
8.264 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
8.264 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
8.264 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
8.264 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.264 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.264 * [taylor]: Taking taylor expansion of d1 in d1
8.264 * [backup-simplify]: Simplify 0 into 0
8.264 * [backup-simplify]: Simplify 1 into 1
8.265 * [backup-simplify]: Simplify (* 1 1) into 1
8.265 * [backup-simplify]: Simplify (* 1 1) into 1
8.266 * [backup-simplify]: Simplify (* 1 1) into 1
8.266 * [backup-simplify]: Simplify (* 1 1) into 1
8.267 * [backup-simplify]: Simplify (/ 1 1) into 1
8.267 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.267 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.267 * [taylor]: Taking taylor expansion of d1 in d1
8.267 * [backup-simplify]: Simplify 0 into 0
8.267 * [backup-simplify]: Simplify 1 into 1
8.267 * [backup-simplify]: Simplify (* 1 1) into 1
8.268 * [backup-simplify]: Simplify (* 1 1) into 1
8.268 * [backup-simplify]: Simplify (* 1 1) into 1
8.268 * [backup-simplify]: Simplify (* 1 1) into 1
8.269 * [backup-simplify]: Simplify (/ 1 1) into 1
8.269 * [backup-simplify]: Simplify 1 into 1
8.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.272 * [backup-simplify]: Simplify 0 into 0
8.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.277 * [backup-simplify]: Simplify 0 into 0
8.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.282 * [backup-simplify]: Simplify 0 into 0
8.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.288 * [backup-simplify]: Simplify 0 into 0
8.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.294 * [backup-simplify]: Simplify 0 into 0
8.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.301 * [backup-simplify]: Simplify 0 into 0
8.301 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
8.302 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
8.302 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
8.302 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
8.302 * [taylor]: Taking taylor expansion of -1 in d1
8.302 * [backup-simplify]: Simplify -1 into -1
8.302 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.302 * [taylor]: Taking taylor expansion of d1 in d1
8.302 * [backup-simplify]: Simplify 0 into 0
8.302 * [backup-simplify]: Simplify 1 into 1
8.302 * [backup-simplify]: Simplify (* 1 1) into 1
8.302 * [backup-simplify]: Simplify (* 1 1) into 1
8.303 * [backup-simplify]: Simplify (* 1 1) into 1
8.303 * [backup-simplify]: Simplify (* 1 1) into 1
8.303 * [backup-simplify]: Simplify (/ -1 1) into -1
8.303 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
8.303 * [taylor]: Taking taylor expansion of -1 in d1
8.303 * [backup-simplify]: Simplify -1 into -1
8.303 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.303 * [taylor]: Taking taylor expansion of d1 in d1
8.303 * [backup-simplify]: Simplify 0 into 0
8.303 * [backup-simplify]: Simplify 1 into 1
8.303 * [backup-simplify]: Simplify (* 1 1) into 1
8.304 * [backup-simplify]: Simplify (* 1 1) into 1
8.304 * [backup-simplify]: Simplify (* 1 1) into 1
8.304 * [backup-simplify]: Simplify (* 1 1) into 1
8.304 * [backup-simplify]: Simplify (/ -1 1) into -1
8.304 * [backup-simplify]: Simplify -1 into -1
8.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.309 * [backup-simplify]: Simplify 0 into 0
8.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.312 * [backup-simplify]: Simplify 0 into 0
8.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.315 * [backup-simplify]: Simplify 0 into 0
8.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.319 * [backup-simplify]: Simplify 0 into 0
8.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.323 * [backup-simplify]: Simplify 0 into 0
8.323 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
8.323 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
8.323 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
8.323 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
8.323 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.323 * [taylor]: Taking taylor expansion of d1 in d1
8.323 * [backup-simplify]: Simplify 0 into 0
8.323 * [backup-simplify]: Simplify 1 into 1
8.323 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.323 * [taylor]: Taking taylor expansion of d1 in d1
8.323 * [backup-simplify]: Simplify 0 into 0
8.323 * [backup-simplify]: Simplify 1 into 1
8.324 * [backup-simplify]: Simplify (* 1 1) into 1
8.324 * [backup-simplify]: Simplify (* 1 1) into 1
8.324 * [backup-simplify]: Simplify (* 1 1) into 1
8.324 * [backup-simplify]: Simplify 1 into 1
8.324 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.325 * [backup-simplify]: Simplify 0 into 0
8.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.327 * [backup-simplify]: Simplify 0 into 0
8.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.329 * [backup-simplify]: Simplify 0 into 0
8.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.331 * [backup-simplify]: Simplify 0 into 0
8.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.333 * [backup-simplify]: Simplify 0 into 0
8.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.338 * [backup-simplify]: Simplify 0 into 0
8.338 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
8.338 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
8.338 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
8.338 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.338 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.338 * [taylor]: Taking taylor expansion of d1 in d1
8.338 * [backup-simplify]: Simplify 0 into 0
8.338 * [backup-simplify]: Simplify 1 into 1
8.343 * [backup-simplify]: Simplify (* 1 1) into 1
8.344 * [backup-simplify]: Simplify (* 1 1) into 1
8.344 * [backup-simplify]: Simplify (* 1 1) into 1
8.345 * [backup-simplify]: Simplify (/ 1 1) into 1
8.345 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.345 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.345 * [taylor]: Taking taylor expansion of d1 in d1
8.345 * [backup-simplify]: Simplify 0 into 0
8.345 * [backup-simplify]: Simplify 1 into 1
8.345 * [backup-simplify]: Simplify (* 1 1) into 1
8.346 * [backup-simplify]: Simplify (* 1 1) into 1
8.346 * [backup-simplify]: Simplify (* 1 1) into 1
8.346 * [backup-simplify]: Simplify (/ 1 1) into 1
8.347 * [backup-simplify]: Simplify 1 into 1
8.347 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.348 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.349 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.349 * [backup-simplify]: Simplify 0 into 0
8.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.353 * [backup-simplify]: Simplify 0 into 0
8.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.377 * [backup-simplify]: Simplify 0 into 0
8.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.383 * [backup-simplify]: Simplify 0 into 0
8.384 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
8.384 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
8.384 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
8.384 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.384 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.384 * [taylor]: Taking taylor expansion of d1 in d1
8.384 * [backup-simplify]: Simplify 0 into 0
8.384 * [backup-simplify]: Simplify 1 into 1
8.385 * [backup-simplify]: Simplify (* 1 1) into 1
8.385 * [backup-simplify]: Simplify (* 1 1) into 1
8.385 * [backup-simplify]: Simplify (* 1 1) into 1
8.386 * [backup-simplify]: Simplify (/ 1 1) into 1
8.386 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
8.386 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
8.386 * [taylor]: Taking taylor expansion of d1 in d1
8.386 * [backup-simplify]: Simplify 0 into 0
8.386 * [backup-simplify]: Simplify 1 into 1
8.386 * [backup-simplify]: Simplify (* 1 1) into 1
8.386 * [backup-simplify]: Simplify (* 1 1) into 1
8.387 * [backup-simplify]: Simplify (* 1 1) into 1
8.387 * [backup-simplify]: Simplify (/ 1 1) into 1
8.387 * [backup-simplify]: Simplify 1 into 1
8.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.390 * [backup-simplify]: Simplify 0 into 0
8.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.394 * [backup-simplify]: Simplify 0 into 0
8.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.398 * [backup-simplify]: Simplify 0 into 0
8.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.402 * [backup-simplify]: Simplify 0 into 0
8.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.407 * [backup-simplify]: Simplify 0 into 0
8.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.412 * [backup-simplify]: Simplify 0 into 0
8.413 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
8.413 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.413 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
8.413 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
8.413 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.413 * [taylor]: Taking taylor expansion of d1 in d1
8.413 * [backup-simplify]: Simplify 0 into 0
8.413 * [backup-simplify]: Simplify 1 into 1
8.413 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.413 * [taylor]: Taking taylor expansion of d1 in d1
8.413 * [backup-simplify]: Simplify 0 into 0
8.413 * [backup-simplify]: Simplify 1 into 1
8.414 * [backup-simplify]: Simplify (* 1 1) into 1
8.414 * [backup-simplify]: Simplify (* 1 1) into 1
8.415 * [backup-simplify]: Simplify (* 1 1) into 1
8.415 * [backup-simplify]: Simplify (* 1 1) into 1
8.415 * [backup-simplify]: Simplify 1 into 1
8.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.417 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.418 * [backup-simplify]: Simplify 0 into 0
8.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.421 * [backup-simplify]: Simplify 0 into 0
8.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.425 * [backup-simplify]: Simplify 0 into 0
8.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.430 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.441 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
8.442 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
8.442 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
8.442 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.442 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.442 * [taylor]: Taking taylor expansion of d1 in d1
8.442 * [backup-simplify]: Simplify 0 into 0
8.442 * [backup-simplify]: Simplify 1 into 1
8.443 * [backup-simplify]: Simplify (* 1 1) into 1
8.443 * [backup-simplify]: Simplify (* 1 1) into 1
8.444 * [backup-simplify]: Simplify (* 1 1) into 1
8.444 * [backup-simplify]: Simplify (* 1 1) into 1
8.444 * [backup-simplify]: Simplify (/ 1 1) into 1
8.444 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.444 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.444 * [taylor]: Taking taylor expansion of d1 in d1
8.444 * [backup-simplify]: Simplify 0 into 0
8.444 * [backup-simplify]: Simplify 1 into 1
8.445 * [backup-simplify]: Simplify (* 1 1) into 1
8.445 * [backup-simplify]: Simplify (* 1 1) into 1
8.445 * [backup-simplify]: Simplify (* 1 1) into 1
8.446 * [backup-simplify]: Simplify (* 1 1) into 1
8.446 * [backup-simplify]: Simplify (/ 1 1) into 1
8.446 * [backup-simplify]: Simplify 1 into 1
8.447 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.448 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.448 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.450 * [backup-simplify]: Simplify 0 into 0
8.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.454 * [backup-simplify]: Simplify 0 into 0
8.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.459 * [backup-simplify]: Simplify 0 into 0
8.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.465 * [backup-simplify]: Simplify 0 into 0
8.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.471 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.478 * [backup-simplify]: Simplify 0 into 0
8.479 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
8.479 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
8.479 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
8.479 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.479 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.479 * [taylor]: Taking taylor expansion of d1 in d1
8.479 * [backup-simplify]: Simplify 0 into 0
8.479 * [backup-simplify]: Simplify 1 into 1
8.480 * [backup-simplify]: Simplify (* 1 1) into 1
8.480 * [backup-simplify]: Simplify (* 1 1) into 1
8.480 * [backup-simplify]: Simplify (* 1 1) into 1
8.481 * [backup-simplify]: Simplify (* 1 1) into 1
8.481 * [backup-simplify]: Simplify (/ 1 1) into 1
8.481 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
8.481 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
8.481 * [taylor]: Taking taylor expansion of d1 in d1
8.481 * [backup-simplify]: Simplify 0 into 0
8.481 * [backup-simplify]: Simplify 1 into 1
8.481 * [backup-simplify]: Simplify (* 1 1) into 1
8.482 * [backup-simplify]: Simplify (* 1 1) into 1
8.482 * [backup-simplify]: Simplify (* 1 1) into 1
8.483 * [backup-simplify]: Simplify (* 1 1) into 1
8.483 * [backup-simplify]: Simplify (/ 1 1) into 1
8.483 * [backup-simplify]: Simplify 1 into 1
8.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.486 * [backup-simplify]: Simplify 0 into 0
8.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.491 * [backup-simplify]: Simplify 0 into 0
8.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.502 * [backup-simplify]: Simplify 0 into 0
8.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.507 * [backup-simplify]: Simplify 0 into 0
8.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.521 * [backup-simplify]: Simplify 0 into 0
8.521 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
8.521 * * * [progress]: simplifying candidates
8.523 * [simplify]: Simplifying:
  (+ 1 (+ 7 1))
  (+ 1 (+ 7 1))
  (* d1 (* (pow d1 7) d1))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (log (pow d1 7)) (log d1)))
  (+ (log d1) (log (* (pow d1 7) d1)))
  (log (* d1 (* (pow d1 7) d1)))
  (exp (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))
  (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1))))
  (cbrt (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (* d1 (pow d1 7))
  (* (cbrt d1) (* (pow d1 7) d1))
  (* (sqrt d1) (* (pow d1 7) d1))
  (* d1 (* (pow d1 7) d1))
  (+ 7 1)
  (+ 7 1)
  (+ (* (log d1) 7) (log d1))
  (+ (* (log d1) 7) (log d1))
  (+ (log (pow d1 7)) (log d1))
  (log (* (pow d1 7) d1))
  (exp (* (pow d1 7) d1))
  (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1)))
  (cbrt (* (pow d1 7) d1))
  (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (* (pow d1 7) 1)
  (* (pow (cbrt d1) 7) d1)
  (* (pow (sqrt d1) 7) d1)
  (* (pow d1 7) d1)
  (* (cbrt (pow d1 7)) d1)
  (* (sqrt (pow d1 7)) d1)
  (* (pow d1 7) d1)
  (* (pow d1 (/ 7 2)) d1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))
  (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))
  (+ (log (* d1 (* (pow d1 7) d1))) (log d1))
  (log (* (* d1 (* (pow d1 7) d1)) d1))
  (exp (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)))
  (cbrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* (pow d1 7) d1)) (sqrt d1))
  (* (* d1 (* (pow d1 7) d1)) 1)
  (* (* (pow d1 7) d1) d1)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
8.524 * * [simplify]: iteration 0: 87 enodes
8.561 * * [simplify]: iteration 1: 234 enodes
8.759 * * [simplify]: iteration 2: 1229 enodes
9.461 * * [simplify]: iteration complete: 5001 enodes
9.461 * * [simplify]: Extracting #0: cost 40 inf + 0
9.463 * * [simplify]: Extracting #1: cost 1021 inf + 3
9.469 * * [simplify]: Extracting #2: cost 1786 inf + 7876
9.488 * * [simplify]: Extracting #3: cost 1022 inf + 202199
9.560 * * [simplify]: Extracting #4: cost 185 inf + 432629
9.668 * * [simplify]: Extracting #5: cost 10 inf + 465912
9.797 * * [simplify]: Extracting #6: cost 0 inf + 467622
9.912 * [simplify]: Simplified to:
  9
  9
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (exp (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (cbrt d1))
  (* (sqrt d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  8
  8
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (fabs (* (* d1 d1) (* d1 d1)))
  (fabs (* (* d1 d1) (* d1 d1)))
  (pow (sqrt d1) 8)
  (pow (sqrt d1) 8)
  (* (sqrt d1) (sqrt (pow d1 7)))
  (* (sqrt d1) (sqrt (pow d1 7)))
  (* (pow d1 7/2) (sqrt d1))
  (* (pow d1 7/2) (sqrt d1))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (pow d1 7)
  (* (pow (cbrt d1) 7) d1)
  (* (pow (sqrt d1) 7) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (pow d1 7)) d1)
  (* d1 (sqrt (pow d1 7)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  10
  10
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  10
  10
  (+ (log d1) (* 9 (log d1)))
  (+ (log d1) (* 9 (log d1)))
  (+ (log d1) (* 9 (log d1)))
  (+ (log d1) (* 9 (log d1)))
  (+ (log d1) (* 9 (log d1)))
  (+ (log d1) (* 9 (log d1)))
  (exp (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))))
  (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))
  (* (* d1 (* (* (* d1 d1) (* d1 d1)) (cbrt d1))) (* (* (* d1 d1) (* d1 d1)) (cbrt d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (sqrt d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* 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 10)
  (pow d1 10)
  (pow d1 10)
9.918 * * * [progress]: adding candidates to table
10.167 * * [progress]: iteration 3 / 4
10.167 * * * [progress]: picking best candidate
10.171 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
10.171 * * * [progress]: localizing error
10.175 * * * [progress]: generating rewritten candidates
10.175 * * * [progress]: generating series expansions
10.175 * * * [progress]: simplifying candidates
10.175 * [simplify]: Simplifying:
  
10.175 * * [simplify]: iteration 0: 0 enodes
10.175 * * [simplify]: iteration complete: 0 enodes
10.175 * * [simplify]: Extracting #0: cost 0 inf + 0
10.175 * [simplify]: Simplified to:
  
10.175 * * * [progress]: adding candidates to table
10.175 * [progress]: [Phase 3 of 3] Extracting.
10.178 * [simplify]: Simplifying:
  (pow d1 10)
10.179 * * [simplify]: iteration 0: 3 enodes
10.179 * * [simplify]: iteration complete: 3 enodes
10.179 * * [simplify]: Extracting #0: cost 1 inf + 0
10.179 * * [simplify]: Extracting #1: cost 3 inf + 0
10.179 * * [simplify]: Extracting #2: cost 1 inf + 2
10.179 * * [simplify]: Extracting #3: cost 0 inf + 214
10.179 * [simplify]: Simplified to:
  (pow d1 10)
12.044 * [regime-testing]: Baseline error score: 0
12.062 * [regime-testing]: Oracle error score: 0
12.062 * [regime-testing]: End program error score: 0
12.169 * [regime-testing]: Target error score: 0