23.664 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.058 * * * [progress]: [2/2] Setting up program.
0.064 * [progress]: [Phase 2 of 3] Improving.
0.064 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.064 * * [simplify]: iteration 0: 9 enodes
0.067 * * [simplify]: iteration 1: 24 enodes
0.077 * * [simplify]: iteration 2: 55 enodes
0.109 * * [simplify]: iteration 3: 125 enodes
0.222 * * [simplify]: iteration 4: 835 enodes
0.866 * * [simplify]: iteration complete: 5001 enodes
0.867 * * [simplify]: Extracting #0: cost 1 inf + 0
0.867 * * [simplify]: Extracting #1: cost 497 inf + 0
0.874 * * [simplify]: Extracting #2: cost 1874 inf + 2354
0.899 * * [simplify]: Extracting #3: cost 1400 inf + 83032
0.941 * * [simplify]: Extracting #4: cost 397 inf + 329365
1.003 * * [simplify]: Extracting #5: cost 30 inf + 457766
1.086 * * [simplify]: Extracting #6: cost 0 inf + 471262
1.151 * [simplify]: Simplified to:
  (* (* (* d1 d1) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 (* d1 d1))))
1.154 * * [progress]: iteration 1 / 4
1.154 * * * [progress]: picking best candidate
1.164 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
1.164 * * * [progress]: localizing error
1.205 * * * [progress]: generating rewritten candidates
1.205 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.227 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
1.441 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1)
1.489 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
2.386 * * * [progress]: generating series expansions
2.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
2.386 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
2.386 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
2.386 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.386 * [taylor]: Taking taylor expansion of d1 in d1
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 1 into 1
2.386 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.386 * [taylor]: Taking taylor expansion of d1 in d1
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 1 into 1
2.387 * [backup-simplify]: Simplify (* 1 1) into 1
2.388 * [backup-simplify]: Simplify (* 1 1) into 1
2.388 * [backup-simplify]: Simplify 1 into 1
2.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.390 * [backup-simplify]: Simplify 0 into 0
2.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.391 * [backup-simplify]: Simplify 0 into 0
2.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.394 * [backup-simplify]: Simplify 0 into 0
2.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.396 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
2.403 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
2.403 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
2.403 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
2.403 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.403 * [taylor]: Taking taylor expansion of d1 in d1
2.403 * [backup-simplify]: Simplify 0 into 0
2.403 * [backup-simplify]: Simplify 1 into 1
2.403 * [backup-simplify]: Simplify (* 1 1) into 1
2.404 * [backup-simplify]: Simplify (* 1 1) into 1
2.404 * [backup-simplify]: Simplify (/ 1 1) into 1
2.404 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
2.404 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.404 * [taylor]: Taking taylor expansion of d1 in d1
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 1 into 1
2.405 * [backup-simplify]: Simplify (* 1 1) into 1
2.405 * [backup-simplify]: Simplify (* 1 1) into 1
2.406 * [backup-simplify]: Simplify (/ 1 1) into 1
2.406 * [backup-simplify]: Simplify 1 into 1
2.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.408 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.411 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.414 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.417 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.421 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
2.426 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
2.426 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
2.426 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
2.426 * [taylor]: Taking taylor expansion of -1 in d1
2.426 * [backup-simplify]: Simplify -1 into -1
2.426 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.426 * [taylor]: Taking taylor expansion of d1 in d1
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 1 into 1
2.426 * [backup-simplify]: Simplify (* 1 1) into 1
2.427 * [backup-simplify]: Simplify (* 1 1) into 1
2.427 * [backup-simplify]: Simplify (/ -1 1) into -1
2.427 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
2.427 * [taylor]: Taking taylor expansion of -1 in d1
2.427 * [backup-simplify]: Simplify -1 into -1
2.427 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
2.427 * [taylor]: Taking taylor expansion of d1 in d1
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify 1 into 1
2.428 * [backup-simplify]: Simplify (* 1 1) into 1
2.428 * [backup-simplify]: Simplify (* 1 1) into 1
2.429 * [backup-simplify]: Simplify (/ -1 1) into -1
2.429 * [backup-simplify]: Simplify -1 into -1
2.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.431 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.440 * [backup-simplify]: Simplify 0 into 0
2.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.444 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.447 * [backup-simplify]: Simplify 0 into 0
2.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.451 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.456 * [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.456 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
2.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
2.457 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
2.457 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
2.457 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.457 * [taylor]: Taking taylor expansion of d1 in d1
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.457 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.457 * [taylor]: Taking taylor expansion of d1 in d1
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.457 * [backup-simplify]: Simplify (* 1 1) into 1
2.458 * [backup-simplify]: Simplify (* 1 1) into 1
2.458 * [backup-simplify]: Simplify (* 1 1) into 1
2.458 * [backup-simplify]: Simplify 1 into 1
2.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.461 * [backup-simplify]: Simplify 0 into 0
2.462 * [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.463 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 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 0) (* 0 1)))))) into 0
2.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.467 * [backup-simplify]: Simplify 0 into 0
2.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 1))))))) into 0
2.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
2.470 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
2.470 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
2.470 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
2.470 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.470 * [taylor]: Taking taylor expansion of d1 in d1
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (* 1 1) into 1
2.471 * [backup-simplify]: Simplify (* 1 1) into 1
2.471 * [backup-simplify]: Simplify (* 1 1) into 1
2.471 * [backup-simplify]: Simplify (/ 1 1) into 1
2.471 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
2.471 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.471 * [taylor]: Taking taylor expansion of d1 in d1
2.471 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify 1 into 1
2.471 * [backup-simplify]: Simplify (* 1 1) into 1
2.472 * [backup-simplify]: Simplify (* 1 1) into 1
2.472 * [backup-simplify]: Simplify (* 1 1) into 1
2.472 * [backup-simplify]: Simplify (/ 1 1) into 1
2.472 * [backup-simplify]: Simplify 1 into 1
2.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.476 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.481 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.484 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 1))))))) into 0
2.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
2.487 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
2.487 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
2.487 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
2.487 * [taylor]: Taking taylor expansion of -1 in d1
2.487 * [backup-simplify]: Simplify -1 into -1
2.487 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.487 * [taylor]: Taking taylor expansion of d1 in d1
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.488 * [backup-simplify]: Simplify (* 1 1) into 1
2.488 * [backup-simplify]: Simplify (* 1 1) into 1
2.489 * [backup-simplify]: Simplify (* 1 1) into 1
2.489 * [backup-simplify]: Simplify (/ -1 1) into -1
2.489 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
2.489 * [taylor]: Taking taylor expansion of -1 in d1
2.489 * [backup-simplify]: Simplify -1 into -1
2.489 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
2.489 * [taylor]: Taking taylor expansion of d1 in d1
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.490 * [backup-simplify]: Simplify (* 1 1) into 1
2.490 * [backup-simplify]: Simplify (* 1 1) into 1
2.490 * [backup-simplify]: Simplify (* 1 1) into 1
2.491 * [backup-simplify]: Simplify (/ -1 1) into -1
2.491 * [backup-simplify]: Simplify -1 into -1
2.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) 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 (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.498 * [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 (- (/ 0 1) (+ (* -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 (- (/ 0 1) (+ (* -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 (- (/ 0 1) (+ (* -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.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.518 * [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.518 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
2.519 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1)
2.519 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
2.519 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
2.519 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.519 * [taylor]: Taking taylor expansion of d1 in d1
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.519 * [taylor]: Taking taylor expansion of d1 in d1
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (* 1 1) into 1
2.519 * [backup-simplify]: Simplify (* 1 1) into 1
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.520 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.520 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.521 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.524 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.525 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
2.527 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
2.527 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
2.527 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.527 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.527 * [taylor]: Taking taylor expansion of d1 in d1
2.527 * [backup-simplify]: Simplify 0 into 0
2.527 * [backup-simplify]: Simplify 1 into 1
2.528 * [backup-simplify]: Simplify (* 1 1) into 1
2.528 * [backup-simplify]: Simplify (* 1 1) into 1
2.528 * [backup-simplify]: Simplify (/ 1 1) into 1
2.528 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.528 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.528 * [taylor]: Taking taylor expansion of d1 in d1
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify 1 into 1
2.529 * [backup-simplify]: Simplify (* 1 1) into 1
2.529 * [backup-simplify]: Simplify (* 1 1) into 1
2.529 * [backup-simplify]: Simplify (/ 1 1) into 1
2.529 * [backup-simplify]: Simplify 1 into 1
2.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.530 * [backup-simplify]: Simplify (- (+ (* 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.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.532 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.534 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.536 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.538 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
2.540 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
2.540 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
2.540 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.540 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.540 * [taylor]: Taking taylor expansion of d1 in d1
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify 1 into 1
2.541 * [backup-simplify]: Simplify (* 1 1) into 1
2.541 * [backup-simplify]: Simplify (* 1 1) into 1
2.541 * [backup-simplify]: Simplify (/ 1 1) into 1
2.541 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
2.541 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
2.541 * [taylor]: Taking taylor expansion of d1 in d1
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 1 into 1
2.541 * [backup-simplify]: Simplify (* 1 1) into 1
2.542 * [backup-simplify]: Simplify (* 1 1) into 1
2.542 * [backup-simplify]: Simplify (/ 1 1) into 1
2.542 * [backup-simplify]: Simplify 1 into 1
2.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.550 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (+ (* 1 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 1))))) into 0
2.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.557 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
2.562 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
2.562 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
2.562 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
2.562 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.562 * [taylor]: Taking taylor expansion of d1 in d1
2.562 * [backup-simplify]: Simplify 0 into 0
2.562 * [backup-simplify]: Simplify 1 into 1
2.562 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.562 * [taylor]: Taking taylor expansion of d1 in d1
2.562 * [backup-simplify]: Simplify 0 into 0
2.563 * [backup-simplify]: Simplify 1 into 1
2.563 * [backup-simplify]: Simplify (* 1 1) into 1
2.563 * [backup-simplify]: Simplify (* 1 1) into 1
2.564 * [backup-simplify]: Simplify (* 1 1) into 1
2.564 * [backup-simplify]: Simplify (* 1 1) into 1
2.564 * [backup-simplify]: Simplify 1 into 1
2.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.567 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.571 * [backup-simplify]: Simplify 0 into 0
2.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.575 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.580 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.586 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.593 * [backup-simplify]: Simplify 0 into 0
2.593 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
2.593 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
2.593 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
2.593 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
2.593 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.594 * [taylor]: Taking taylor expansion of d1 in d1
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 1 into 1
2.594 * [backup-simplify]: Simplify (* 1 1) into 1
2.595 * [backup-simplify]: Simplify (* 1 1) into 1
2.595 * [backup-simplify]: Simplify (* 1 1) into 1
2.595 * [backup-simplify]: Simplify (* 1 1) into 1
2.596 * [backup-simplify]: Simplify (/ 1 1) into 1
2.596 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
2.596 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.596 * [taylor]: Taking taylor expansion of d1 in d1
2.596 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify 1 into 1
2.596 * [backup-simplify]: Simplify (* 1 1) into 1
2.597 * [backup-simplify]: Simplify (* 1 1) into 1
2.597 * [backup-simplify]: Simplify (* 1 1) into 1
2.598 * [backup-simplify]: Simplify (* 1 1) into 1
2.598 * [backup-simplify]: Simplify (/ 1 1) into 1
2.598 * [backup-simplify]: Simplify 1 into 1
2.599 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.601 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.602 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.607 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.612 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.620 * [backup-simplify]: Simplify 0 into 0
2.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.634 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
2.635 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
2.635 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
2.635 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
2.635 * [taylor]: Taking taylor expansion of -1 in d1
2.635 * [backup-simplify]: Simplify -1 into -1
2.635 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.635 * [taylor]: Taking taylor expansion of d1 in d1
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify 1 into 1
2.636 * [backup-simplify]: Simplify (* 1 1) into 1
2.636 * [backup-simplify]: Simplify (* 1 1) into 1
2.636 * [backup-simplify]: Simplify (* 1 1) into 1
2.637 * [backup-simplify]: Simplify (* 1 1) into 1
2.637 * [backup-simplify]: Simplify (/ -1 1) into -1
2.637 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
2.637 * [taylor]: Taking taylor expansion of -1 in d1
2.637 * [backup-simplify]: Simplify -1 into -1
2.637 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
2.637 * [taylor]: Taking taylor expansion of d1 in d1
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 1 into 1
2.638 * [backup-simplify]: Simplify (* 1 1) into 1
2.638 * [backup-simplify]: Simplify (* 1 1) into 1
2.639 * [backup-simplify]: Simplify (* 1 1) into 1
2.639 * [backup-simplify]: Simplify (* 1 1) into 1
2.639 * [backup-simplify]: Simplify (/ -1 1) into -1
2.640 * [backup-simplify]: Simplify -1 into -1
2.640 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.642 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.642 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.643 * [backup-simplify]: Simplify 0 into 0
2.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.648 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.653 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.659 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.674 * [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.674 * [backup-simplify]: Simplify 0 into 0
2.674 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
2.674 * * * [progress]: simplifying candidates
2.680 * [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)
  (+ (+ (+ 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)
  (+ (+ 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))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
2.685 * * [simplify]: iteration 0: 127 enodes
2.731 * * [simplify]: iteration 1: 416 enodes
3.197 * * [simplify]: iteration 2: 3487 enodes
7.017 * * [simplify]: iteration complete: 5000 enodes
7.017 * * [simplify]: Extracting #0: cost 42 inf + 0
7.027 * * [simplify]: Extracting #1: cost 1282 inf + 429
7.043 * * [simplify]: Extracting #2: cost 1106 inf + 157498
7.085 * * [simplify]: Extracting #3: cost 139 inf + 332878
7.145 * * [simplify]: Extracting #4: cost 12 inf + 300023
7.206 * * [simplify]: Extracting #5: cost 1 inf + 296130
7.258 * * [simplify]: Extracting #6: cost 0 inf + 296553
7.324 * [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)))
  (* (* d1 d1) (sqrt 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
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (+ (log d1) (* 4 (log d1)))
  (exp (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 d1) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 d1) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 d1) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (cbrt (* (* d1 d1) (* (* d1 d1) d1))) (cbrt (* (* d1 d1) (* (* d1 d1) d1))))
  (cbrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1)))
  (* (* (* d1 d1) (* d1 d1)) (sqrt d1))
  (* (* 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 (cbrt d1)) (* d1 (cbrt d1))) d1)
  (* d1 (* (* d1 d1) (sqrt 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)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
7.335 * * * [progress]: adding candidates to table
7.706 * * [progress]: iteration 2 / 4
7.706 * * * [progress]: picking best candidate
7.720 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.720 * * * [progress]: localizing error
7.736 * * * [progress]: generating rewritten candidates
7.736 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
7.801 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.817 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
7.834 * * * [progress]: generating series expansions
7.834 * * * * [progress]: [ 1 / 3 ] generating series at (2)
7.834 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
7.834 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
7.834 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.834 * [taylor]: Taking taylor expansion of d1 in d1
7.834 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify 1 into 1
7.834 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.834 * [taylor]: Taking taylor expansion of d1 in d1
7.834 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify 1 into 1
7.835 * [backup-simplify]: Simplify (* 1 1) into 1
7.835 * [backup-simplify]: Simplify (* 1 1) into 1
7.835 * [backup-simplify]: Simplify (* 1 1) into 1
7.836 * [backup-simplify]: Simplify (* 1 1) into 1
7.836 * [backup-simplify]: Simplify 1 into 1
7.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.837 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.839 * [backup-simplify]: Simplify 0 into 0
7.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.842 * [backup-simplify]: Simplify 0 into 0
7.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.855 * [backup-simplify]: Simplify 0 into 0
7.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.860 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
7.860 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
7.860 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
7.860 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.860 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.860 * [taylor]: Taking taylor expansion of d1 in d1
7.860 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify 1 into 1
7.861 * [backup-simplify]: Simplify (* 1 1) into 1
7.861 * [backup-simplify]: Simplify (* 1 1) into 1
7.861 * [backup-simplify]: Simplify (* 1 1) into 1
7.861 * [backup-simplify]: Simplify (* 1 1) into 1
7.862 * [backup-simplify]: Simplify (/ 1 1) into 1
7.862 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.862 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.862 * [taylor]: Taking taylor expansion of d1 in d1
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify 1 into 1
7.862 * [backup-simplify]: Simplify (* 1 1) into 1
7.862 * [backup-simplify]: Simplify (* 1 1) into 1
7.862 * [backup-simplify]: Simplify (* 1 1) into 1
7.863 * [backup-simplify]: Simplify (* 1 1) into 1
7.863 * [backup-simplify]: Simplify (/ 1 1) into 1
7.863 * [backup-simplify]: Simplify 1 into 1
7.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.870 * [backup-simplify]: Simplify 0 into 0
7.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.874 * [backup-simplify]: Simplify 0 into 0
7.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.877 * [backup-simplify]: Simplify 0 into 0
7.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.881 * [backup-simplify]: Simplify 0 into 0
7.881 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
7.882 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
7.882 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
7.882 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.882 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.882 * [taylor]: Taking taylor expansion of d1 in d1
7.882 * [backup-simplify]: Simplify 0 into 0
7.882 * [backup-simplify]: Simplify 1 into 1
7.882 * [backup-simplify]: Simplify (* 1 1) into 1
7.882 * [backup-simplify]: Simplify (* 1 1) into 1
7.882 * [backup-simplify]: Simplify (* 1 1) into 1
7.883 * [backup-simplify]: Simplify (* 1 1) into 1
7.883 * [backup-simplify]: Simplify (/ 1 1) into 1
7.883 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.883 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.883 * [taylor]: Taking taylor expansion of d1 in d1
7.883 * [backup-simplify]: Simplify 0 into 0
7.883 * [backup-simplify]: Simplify 1 into 1
7.883 * [backup-simplify]: Simplify (* 1 1) into 1
7.883 * [backup-simplify]: Simplify (* 1 1) into 1
7.884 * [backup-simplify]: Simplify (* 1 1) into 1
7.884 * [backup-simplify]: Simplify (* 1 1) into 1
7.884 * [backup-simplify]: Simplify (/ 1 1) into 1
7.884 * [backup-simplify]: Simplify 1 into 1
7.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.886 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.886 * [backup-simplify]: Simplify 0 into 0
7.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.890 * [backup-simplify]: Simplify 0 into 0
7.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.896 * [backup-simplify]: Simplify 0 into 0
7.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.902 * [backup-simplify]: Simplify 0 into 0
7.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.906 * [backup-simplify]: Simplify 0 into 0
7.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.910 * [backup-simplify]: Simplify 0 into 0
7.910 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
7.910 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
7.910 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
7.910 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
7.910 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.910 * [taylor]: Taking taylor expansion of d1 in d1
7.910 * [backup-simplify]: Simplify 0 into 0
7.910 * [backup-simplify]: Simplify 1 into 1
7.910 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.910 * [taylor]: Taking taylor expansion of d1 in d1
7.910 * [backup-simplify]: Simplify 0 into 0
7.910 * [backup-simplify]: Simplify 1 into 1
7.910 * [backup-simplify]: Simplify (* 1 1) into 1
7.911 * [backup-simplify]: Simplify (* 1 1) into 1
7.911 * [backup-simplify]: Simplify (* 1 1) into 1
7.911 * [backup-simplify]: Simplify 1 into 1
7.911 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.912 * [backup-simplify]: Simplify 0 into 0
7.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.914 * [backup-simplify]: Simplify 0 into 0
7.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.915 * [backup-simplify]: Simplify 0 into 0
7.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.917 * [backup-simplify]: Simplify 0 into 0
7.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.920 * [backup-simplify]: Simplify 0 into 0
7.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.922 * [backup-simplify]: Simplify 0 into 0
7.922 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
7.923 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
7.923 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
7.923 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.923 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.923 * [taylor]: Taking taylor expansion of d1 in d1
7.923 * [backup-simplify]: Simplify 0 into 0
7.923 * [backup-simplify]: Simplify 1 into 1
7.923 * [backup-simplify]: Simplify (* 1 1) into 1
7.923 * [backup-simplify]: Simplify (* 1 1) into 1
7.923 * [backup-simplify]: Simplify (* 1 1) into 1
7.924 * [backup-simplify]: Simplify (/ 1 1) into 1
7.924 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.924 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.924 * [taylor]: Taking taylor expansion of d1 in d1
7.924 * [backup-simplify]: Simplify 0 into 0
7.924 * [backup-simplify]: Simplify 1 into 1
7.924 * [backup-simplify]: Simplify (* 1 1) into 1
7.924 * [backup-simplify]: Simplify (* 1 1) into 1
7.924 * [backup-simplify]: Simplify (* 1 1) into 1
7.925 * [backup-simplify]: Simplify (/ 1 1) into 1
7.925 * [backup-simplify]: Simplify 1 into 1
7.925 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.925 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.926 * [backup-simplify]: Simplify 0 into 0
7.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.928 * [backup-simplify]: Simplify 0 into 0
7.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.931 * [backup-simplify]: Simplify 0 into 0
7.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.935 * [backup-simplify]: Simplify 0 into 0
7.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.941 * [backup-simplify]: Simplify 0 into 0
7.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.952 * [backup-simplify]: Simplify 0 into 0
7.953 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
7.953 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
7.953 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
7.953 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.953 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.953 * [taylor]: Taking taylor expansion of d1 in d1
7.953 * [backup-simplify]: Simplify 0 into 0
7.953 * [backup-simplify]: Simplify 1 into 1
7.953 * [backup-simplify]: Simplify (* 1 1) into 1
7.954 * [backup-simplify]: Simplify (* 1 1) into 1
7.954 * [backup-simplify]: Simplify (* 1 1) into 1
7.955 * [backup-simplify]: Simplify (/ 1 1) into 1
7.955 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.955 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.955 * [taylor]: Taking taylor expansion of d1 in d1
7.955 * [backup-simplify]: Simplify 0 into 0
7.955 * [backup-simplify]: Simplify 1 into 1
7.955 * [backup-simplify]: Simplify (* 1 1) into 1
7.956 * [backup-simplify]: Simplify (* 1 1) into 1
7.956 * [backup-simplify]: Simplify (* 1 1) into 1
7.956 * [backup-simplify]: Simplify (/ 1 1) into 1
7.956 * [backup-simplify]: Simplify 1 into 1
7.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.958 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.958 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.959 * [backup-simplify]: Simplify 0 into 0
7.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.963 * [backup-simplify]: Simplify 0 into 0
7.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.968 * [backup-simplify]: Simplify 0 into 0
7.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.972 * [backup-simplify]: Simplify 0 into 0
7.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.975 * [backup-simplify]: Simplify 0 into 0
7.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.978 * [backup-simplify]: Simplify 0 into 0
7.978 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
7.978 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
7.979 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
7.979 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
7.979 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.979 * [taylor]: Taking taylor expansion of d1 in d1
7.979 * [backup-simplify]: Simplify 0 into 0
7.979 * [backup-simplify]: Simplify 1 into 1
7.979 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.979 * [taylor]: Taking taylor expansion of d1 in d1
7.979 * [backup-simplify]: Simplify 0 into 0
7.979 * [backup-simplify]: Simplify 1 into 1
7.979 * [backup-simplify]: Simplify (* 1 1) into 1
7.979 * [backup-simplify]: Simplify (* 1 1) into 1
7.979 * [backup-simplify]: Simplify (* 1 1) into 1
7.980 * [backup-simplify]: Simplify (* 1 1) into 1
7.980 * [backup-simplify]: Simplify 1 into 1
7.980 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.981 * [backup-simplify]: Simplify 0 into 0
7.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.983 * [backup-simplify]: Simplify 0 into 0
7.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.986 * [backup-simplify]: Simplify 0 into 0
7.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.989 * [backup-simplify]: Simplify 0 into 0
7.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.993 * [backup-simplify]: Simplify 0 into 0
7.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.996 * [backup-simplify]: Simplify 0 into 0
7.996 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
7.996 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
7.996 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
7.997 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
7.997 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.997 * [taylor]: Taking taylor expansion of d1 in d1
7.997 * [backup-simplify]: Simplify 0 into 0
7.997 * [backup-simplify]: Simplify 1 into 1
7.997 * [backup-simplify]: Simplify (* 1 1) into 1
7.997 * [backup-simplify]: Simplify (* 1 1) into 1
7.997 * [backup-simplify]: Simplify (* 1 1) into 1
7.998 * [backup-simplify]: Simplify (* 1 1) into 1
7.998 * [backup-simplify]: Simplify (/ 1 1) into 1
7.998 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
7.998 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.998 * [taylor]: Taking taylor expansion of d1 in d1
7.998 * [backup-simplify]: Simplify 0 into 0
7.998 * [backup-simplify]: Simplify 1 into 1
7.998 * [backup-simplify]: Simplify (* 1 1) into 1
7.998 * [backup-simplify]: Simplify (* 1 1) into 1
7.999 * [backup-simplify]: Simplify (* 1 1) into 1
7.999 * [backup-simplify]: Simplify (* 1 1) into 1
7.999 * [backup-simplify]: Simplify (/ 1 1) into 1
7.999 * [backup-simplify]: Simplify 1 into 1
7.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.001 * [backup-simplify]: Simplify 0 into 0
8.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.004 * [backup-simplify]: Simplify 0 into 0
8.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.009 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.022 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
8.023 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
8.023 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
8.023 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
8.023 * [taylor]: Taking taylor expansion of -1 in d1
8.023 * [backup-simplify]: Simplify -1 into -1
8.023 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.023 * [taylor]: Taking taylor expansion of d1 in d1
8.023 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify 1 into 1
8.023 * [backup-simplify]: Simplify (* 1 1) into 1
8.023 * [backup-simplify]: Simplify (* 1 1) into 1
8.024 * [backup-simplify]: Simplify (* 1 1) into 1
8.024 * [backup-simplify]: Simplify (* 1 1) into 1
8.024 * [backup-simplify]: Simplify (/ -1 1) into -1
8.024 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
8.024 * [taylor]: Taking taylor expansion of -1 in d1
8.024 * [backup-simplify]: Simplify -1 into -1
8.024 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.024 * [taylor]: Taking taylor expansion of d1 in d1
8.024 * [backup-simplify]: Simplify 0 into 0
8.024 * [backup-simplify]: Simplify 1 into 1
8.025 * [backup-simplify]: Simplify (* 1 1) into 1
8.025 * [backup-simplify]: Simplify (* 1 1) into 1
8.025 * [backup-simplify]: Simplify (* 1 1) into 1
8.025 * [backup-simplify]: Simplify (* 1 1) into 1
8.025 * [backup-simplify]: Simplify (/ -1 1) into -1
8.026 * [backup-simplify]: Simplify -1 into -1
8.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.028 * [backup-simplify]: Simplify 0 into 0
8.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.030 * [backup-simplify]: Simplify 0 into 0
8.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.033 * [backup-simplify]: Simplify 0 into 0
8.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.036 * [backup-simplify]: Simplify 0 into 0
8.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.040 * [backup-simplify]: Simplify 0 into 0
8.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.044 * [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.044 * [backup-simplify]: Simplify 0 into 0
8.044 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
8.044 * * * [progress]: simplifying candidates
8.045 * [simplify]: Simplifying:
  (+ (+ 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)
  (+ 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 (+ 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))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
8.046 * * [simplify]: iteration 0: 87 enodes
8.071 * * [simplify]: iteration 1: 234 enodes
8.245 * * [simplify]: iteration 2: 1252 enodes
8.936 * * [simplify]: iteration complete: 5000 enodes
8.936 * * [simplify]: Extracting #0: cost 40 inf + 0
8.938 * * [simplify]: Extracting #1: cost 793 inf + 3
8.942 * * [simplify]: Extracting #2: cost 1799 inf + 2315
8.965 * * [simplify]: Extracting #3: cost 1191 inf + 142340
9.037 * * [simplify]: Extracting #4: cost 216 inf + 391530
9.133 * * [simplify]: Extracting #5: cost 6 inf + 453352
9.250 * * [simplify]: Extracting #6: cost 0 inf + 454260
9.380 * [simplify]: Simplified to:
  10
  10
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  10
  10
  (+ (* 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)) (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)))
  (* (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (cbrt d1) (* (* d1 d1) (* d1 d1)))) d1)
  (* (sqrt d1) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 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)
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (sqrt d1) (pow d1 7/2))
  (* (sqrt d1) (pow d1 7/2))
  (* (* (pow d1 7/2) (cbrt d1)) (* (pow d1 7/2) (cbrt d1)))
  (* (sqrt d1) (pow d1 7))
  (pow d1 7)
  (* (pow (cbrt d1) 7) d1)
  (* d1 (pow (sqrt d1) 7))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* d1 (cbrt (pow d1 7)))
  (* (fabs (pow d1 7/2)) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  9
  9
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (exp (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)))
  (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)))
  (* (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1)))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (cbrt d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (sqrt d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
9.383 * * * [progress]: adding candidates to table
9.665 * * [progress]: iteration 3 / 4
9.665 * * * [progress]: picking best candidate
9.668 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
9.668 * * * [progress]: localizing error
9.671 * * * [progress]: generating rewritten candidates
9.671 * * * [progress]: generating series expansions
9.671 * * * [progress]: simplifying candidates
9.671 * [simplify]: Simplifying:
  
9.671 * * [simplify]: iteration 0: 0 enodes
9.671 * * [simplify]: iteration complete: 0 enodes
9.671 * * [simplify]: Extracting #0: cost 0 inf + 0
9.672 * [simplify]: Simplified to:
  
9.672 * * * [progress]: adding candidates to table
9.672 * [progress]: [Phase 3 of 3] Extracting.
9.675 * [simplify]: Simplifying:
  (pow d1 10)
9.675 * * [simplify]: iteration 0: 3 enodes
9.675 * * [simplify]: iteration complete: 3 enodes
9.675 * * [simplify]: Extracting #0: cost 1 inf + 0
9.675 * * [simplify]: Extracting #1: cost 3 inf + 0
9.675 * * [simplify]: Extracting #2: cost 1 inf + 2
9.675 * * [simplify]: Extracting #3: cost 0 inf + 214
9.675 * [simplify]: Simplified to:
  (pow d1 10)
11.784 * [regime-testing]: Baseline error score: 0
11.793 * [regime-testing]: Oracle error score: 0
11.794 * [regime-testing]: End program error score: 0
11.879 * [regime-testing]: Target error score: 0