46.191 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.056 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.061 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.061 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.061 * * [simplify]: iteration 0: 9 enodes
0.065 * * [simplify]: iteration 1: 24 enodes
0.076 * * [simplify]: iteration 2: 54 enodes
0.091 * * [simplify]: iteration 3: 92 enodes
0.134 * * [simplify]: iteration 4: 248 enodes
0.245 * * [simplify]: iteration 5: 496 enodes
1.050 * * [simplify]: iteration 6: 2055 enodes
1.992 * * [simplify]: iteration complete: 5000 enodes
1.992 * * [simplify]: Extracting #0: cost 1 inf + 0
1.993 * * [simplify]: Extracting #1: cost 193 inf + 0
1.996 * * [simplify]: Extracting #2: cost 1247 inf + 339
2.003 * * [simplify]: Extracting #3: cost 1452 inf + 22586
2.022 * * [simplify]: Extracting #4: cost 1056 inf + 183593
2.076 * * [simplify]: Extracting #5: cost 434 inf + 522624
2.157 * * [simplify]: Extracting #6: cost 22 inf + 772552
2.216 * * [simplify]: Extracting #7: cost 0 inf + 786162
2.320 * * [simplify]: Extracting #8: cost 0 inf + 785297
2.391 * * [simplify]: Extracting #9: cost 0 inf + 785167
2.473 * [simplify]: Simplified to:
  (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)))
2.479 * * [progress]: iteration 1 / 4
2.480 * * * [progress]: picking best candidate
2.486 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.486 * * * [progress]: localizing error
2.509 * * * [progress]: generating rewritten candidates
2.510 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1)
2.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
2.726 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.397 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
3.439 * * * [progress]: generating series expansions
3.439 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1)
3.439 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
3.439 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
3.439 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.439 * [taylor]: Taking taylor expansion of d1 in d1
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.439 * [taylor]: Taking taylor expansion of d1 in d1
3.439 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify (* 1 1) into 1
3.441 * [backup-simplify]: Simplify (* 1 1) into 1
3.441 * [backup-simplify]: Simplify 1 into 1
3.441 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.442 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.444 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.446 * [backup-simplify]: Simplify 0 into 0
3.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.448 * [backup-simplify]: Simplify 0 into 0
3.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.451 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
3.454 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
3.454 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.454 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.454 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.454 * [taylor]: Taking taylor expansion of d1 in d1
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify 1 into 1
3.455 * [backup-simplify]: Simplify (* 1 1) into 1
3.455 * [backup-simplify]: Simplify (* 1 1) into 1
3.455 * [backup-simplify]: Simplify (/ 1 1) into 1
3.455 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.455 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.455 * [taylor]: Taking taylor expansion of d1 in d1
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 1 into 1
3.456 * [backup-simplify]: Simplify (* 1 1) into 1
3.456 * [backup-simplify]: Simplify (* 1 1) into 1
3.457 * [backup-simplify]: Simplify (/ 1 1) into 1
3.457 * [backup-simplify]: Simplify 1 into 1
3.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.459 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.461 * [backup-simplify]: Simplify 0 into 0
3.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.464 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.467 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.471 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
3.475 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
3.475 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
3.475 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.476 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.476 * [taylor]: Taking taylor expansion of d1 in d1
3.476 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify 1 into 1
3.476 * [backup-simplify]: Simplify (* 1 1) into 1
3.476 * [backup-simplify]: Simplify (* 1 1) into 1
3.477 * [backup-simplify]: Simplify (/ 1 1) into 1
3.477 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
3.477 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
3.477 * [taylor]: Taking taylor expansion of d1 in d1
3.477 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify 1 into 1
3.477 * [backup-simplify]: Simplify (* 1 1) into 1
3.478 * [backup-simplify]: Simplify (* 1 1) into 1
3.478 * [backup-simplify]: Simplify (/ 1 1) into 1
3.478 * [backup-simplify]: Simplify 1 into 1
3.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.480 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.482 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.489 * [backup-simplify]: Simplify 0 into 0
3.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.493 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
3.496 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
3.496 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
3.496 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
3.496 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.496 * [taylor]: Taking taylor expansion of d1 in d1
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.496 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.496 * [taylor]: Taking taylor expansion of d1 in d1
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.497 * [backup-simplify]: Simplify (* 1 1) into 1
3.497 * [backup-simplify]: Simplify (* 1 1) into 1
3.497 * [backup-simplify]: Simplify (* 1 1) into 1
3.497 * [backup-simplify]: Simplify 1 into 1
3.498 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.498 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.499 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.499 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.500 * [backup-simplify]: Simplify 0 into 0
3.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.502 * [backup-simplify]: Simplify 0 into 0
3.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.504 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
3.510 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
3.510 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
3.510 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.510 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.510 * [taylor]: Taking taylor expansion of d1 in d1
3.510 * [backup-simplify]: Simplify 0 into 0
3.510 * [backup-simplify]: Simplify 1 into 1
3.510 * [backup-simplify]: Simplify (* 1 1) into 1
3.511 * [backup-simplify]: Simplify (* 1 1) into 1
3.511 * [backup-simplify]: Simplify (* 1 1) into 1
3.511 * [backup-simplify]: Simplify (/ 1 1) into 1
3.511 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
3.511 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.511 * [taylor]: Taking taylor expansion of d1 in d1
3.511 * [backup-simplify]: Simplify 0 into 0
3.511 * [backup-simplify]: Simplify 1 into 1
3.511 * [backup-simplify]: Simplify (* 1 1) into 1
3.512 * [backup-simplify]: Simplify (* 1 1) into 1
3.512 * [backup-simplify]: Simplify (* 1 1) into 1
3.512 * [backup-simplify]: Simplify (/ 1 1) into 1
3.512 * [backup-simplify]: Simplify 1 into 1
3.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.514 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.514 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.518 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.523 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.528 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.533 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
3.539 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
3.540 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
3.540 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.540 * [taylor]: Taking taylor expansion of -1 in d1
3.540 * [backup-simplify]: Simplify -1 into -1
3.540 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.540 * [taylor]: Taking taylor expansion of d1 in d1
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 1 into 1
3.540 * [backup-simplify]: Simplify (* 1 1) into 1
3.540 * [backup-simplify]: Simplify (* 1 1) into 1
3.540 * [backup-simplify]: Simplify (* 1 1) into 1
3.541 * [backup-simplify]: Simplify (/ -1 1) into -1
3.541 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
3.541 * [taylor]: Taking taylor expansion of -1 in d1
3.541 * [backup-simplify]: Simplify -1 into -1
3.541 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
3.541 * [taylor]: Taking taylor expansion of d1 in d1
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify 1 into 1
3.541 * [backup-simplify]: Simplify (* 1 1) into 1
3.541 * [backup-simplify]: Simplify (* 1 1) into 1
3.542 * [backup-simplify]: Simplify (* 1 1) into 1
3.542 * [backup-simplify]: Simplify (/ -1 1) into -1
3.542 * [backup-simplify]: Simplify -1 into -1
3.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.544 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.546 * [backup-simplify]: Simplify 0 into 0
3.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.556 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.560 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.564 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
3.564 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.564 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
3.564 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
3.564 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.564 * [taylor]: Taking taylor expansion of d1 in d1
3.564 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify 1 into 1
3.564 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.564 * [taylor]: Taking taylor expansion of d1 in d1
3.564 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify 1 into 1
3.564 * [backup-simplify]: Simplify (* 1 1) into 1
3.565 * [backup-simplify]: Simplify (* 1 1) into 1
3.565 * [backup-simplify]: Simplify (* 1 1) into 1
3.565 * [backup-simplify]: Simplify (* 1 1) into 1
3.565 * [backup-simplify]: Simplify 1 into 1
3.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.568 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.574 * [backup-simplify]: Simplify 0 into 0
3.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.579 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.584 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.591 * [backup-simplify]: Simplify 0 into 0
3.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.597 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
3.598 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
3.598 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
3.598 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
3.598 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.598 * [taylor]: Taking taylor expansion of d1 in d1
3.598 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 1 into 1
3.599 * [backup-simplify]: Simplify (* 1 1) into 1
3.599 * [backup-simplify]: Simplify (* 1 1) into 1
3.599 * [backup-simplify]: Simplify (* 1 1) into 1
3.600 * [backup-simplify]: Simplify (* 1 1) into 1
3.600 * [backup-simplify]: Simplify (/ 1 1) into 1
3.600 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
3.600 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.600 * [taylor]: Taking taylor expansion of d1 in d1
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.601 * [backup-simplify]: Simplify (* 1 1) into 1
3.601 * [backup-simplify]: Simplify (* 1 1) into 1
3.601 * [backup-simplify]: Simplify (* 1 1) into 1
3.602 * [backup-simplify]: Simplify (* 1 1) into 1
3.602 * [backup-simplify]: Simplify (/ 1 1) into 1
3.602 * [backup-simplify]: Simplify 1 into 1
3.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.605 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.606 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.611 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.629 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
3.637 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
3.638 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
3.638 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
3.638 * [taylor]: Taking taylor expansion of -1 in d1
3.638 * [backup-simplify]: Simplify -1 into -1
3.638 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.638 * [taylor]: Taking taylor expansion of d1 in d1
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify 1 into 1
3.638 * [backup-simplify]: Simplify (* 1 1) into 1
3.639 * [backup-simplify]: Simplify (* 1 1) into 1
3.639 * [backup-simplify]: Simplify (* 1 1) into 1
3.639 * [backup-simplify]: Simplify (* 1 1) into 1
3.640 * [backup-simplify]: Simplify (/ -1 1) into -1
3.640 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
3.640 * [taylor]: Taking taylor expansion of -1 in d1
3.640 * [backup-simplify]: Simplify -1 into -1
3.640 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
3.640 * [taylor]: Taking taylor expansion of d1 in d1
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 1 into 1
3.640 * [backup-simplify]: Simplify (* 1 1) into 1
3.641 * [backup-simplify]: Simplify (* 1 1) into 1
3.641 * [backup-simplify]: Simplify (* 1 1) into 1
3.641 * [backup-simplify]: Simplify (* 1 1) into 1
3.642 * [backup-simplify]: Simplify (/ -1 1) into -1
3.642 * [backup-simplify]: Simplify -1 into -1
3.643 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.643 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.645 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.646 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.651 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.662 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.669 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.677 * [backup-simplify]: Simplify 0 into 0
3.677 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
3.677 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
3.677 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
3.677 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
3.677 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.677 * [taylor]: Taking taylor expansion of d1 in d1
3.678 * [backup-simplify]: Simplify 0 into 0
3.678 * [backup-simplify]: Simplify 1 into 1
3.678 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.678 * [taylor]: Taking taylor expansion of d1 in d1
3.678 * [backup-simplify]: Simplify 0 into 0
3.678 * [backup-simplify]: Simplify 1 into 1
3.678 * [backup-simplify]: Simplify (* 1 1) into 1
3.678 * [backup-simplify]: Simplify (* 1 1) into 1
3.679 * [backup-simplify]: Simplify 1 into 1
3.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.680 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.680 * [backup-simplify]: Simplify 0 into 0
3.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.682 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.685 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.687 * [backup-simplify]: Simplify 0 into 0
3.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.690 * [backup-simplify]: Simplify 0 into 0
3.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
3.692 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
3.692 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
3.692 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.692 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.692 * [taylor]: Taking taylor expansion of d1 in d1
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify 1 into 1
3.693 * [backup-simplify]: Simplify (* 1 1) into 1
3.693 * [backup-simplify]: Simplify (* 1 1) into 1
3.693 * [backup-simplify]: Simplify (/ 1 1) into 1
3.693 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
3.693 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.693 * [taylor]: Taking taylor expansion of d1 in d1
3.693 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify 1 into 1
3.693 * [backup-simplify]: Simplify (* 1 1) into 1
3.694 * [backup-simplify]: Simplify (* 1 1) into 1
3.694 * [backup-simplify]: Simplify (/ 1 1) into 1
3.694 * [backup-simplify]: Simplify 1 into 1
3.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.695 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.700 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.702 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.707 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
3.709 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
3.709 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
3.709 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.709 * [taylor]: Taking taylor expansion of -1 in d1
3.709 * [backup-simplify]: Simplify -1 into -1
3.709 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.709 * [taylor]: Taking taylor expansion of d1 in d1
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify 1 into 1
3.710 * [backup-simplify]: Simplify (* 1 1) into 1
3.710 * [backup-simplify]: Simplify (* 1 1) into 1
3.710 * [backup-simplify]: Simplify (/ -1 1) into -1
3.710 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
3.710 * [taylor]: Taking taylor expansion of -1 in d1
3.710 * [backup-simplify]: Simplify -1 into -1
3.710 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
3.710 * [taylor]: Taking taylor expansion of d1 in d1
3.710 * [backup-simplify]: Simplify 0 into 0
3.710 * [backup-simplify]: Simplify 1 into 1
3.711 * [backup-simplify]: Simplify (* 1 1) into 1
3.711 * [backup-simplify]: Simplify (* 1 1) into 1
3.711 * [backup-simplify]: Simplify (/ -1 1) into -1
3.711 * [backup-simplify]: Simplify -1 into -1
3.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.712 * [backup-simplify]: Simplify 0 into 0
3.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.716 * [backup-simplify]: Simplify 0 into 0
3.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.718 * [backup-simplify]: Simplify 0 into 0
3.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
3.723 * * * [progress]: simplifying candidates
3.723 * * * * [progress]: [ 1 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log1p (expm1 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 2 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (expm1 (log1p (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 3 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 4 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 5 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 6 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 7 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 8 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
3.723 * * * * [progress]: [ 9 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 10 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 11 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 12 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 13 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 14 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 15 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 16 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 17 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 18 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 19 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 20 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 21 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 22 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 23 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 24 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 25 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 26 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 27 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.724 * * * * [progress]: [ 28 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 29 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 30 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 31 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 32 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 33 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 34 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 35 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log1p (expm1 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 36 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (expm1 (log1p (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 37 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 38 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 39 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 40 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 41 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 42 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 43 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 44 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 45 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 46 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 47 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 48 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 49 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 50 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 51 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.725 * * * * [progress]: [ 52 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 53 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 54 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 55 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 56 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 57 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 58 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 59 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 60 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 61 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 62 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 63 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 64 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 65 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 66 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 67 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 68 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 69 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 70 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 71 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 72 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 73 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 74 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 75 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 76 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
3.726 * * * * [progress]: [ 77 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
3.727 * * * * [progress]: [ 78 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
3.727 * * * * [progress]: [ 79 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
3.727 * * * * [progress]: [ 80 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
3.727 * * * * [progress]: [ 81 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
3.727 * * * * [progress]: [ 82 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log1p (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.727 * * * * [progress]: [ 83 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (expm1 (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.727 * * * * [progress]: [ 84 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 85 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.727 * * * * [progress]: [ 86 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 87 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.727 * * * * [progress]: [ 88 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 89 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
3.727 * * * * [progress]: [ 90 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 91 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
3.727 * * * * [progress]: [ 92 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 93 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.727 * * * * [progress]: [ 94 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 95 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.727 * * * * [progress]: [ 96 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 97 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
3.727 * * * * [progress]: [ 98 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 99 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
3.727 * * * * [progress]: [ 100 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.727 * * * * [progress]: [ 101 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
3.728 * * * * [progress]: [ 102 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 103 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
3.728 * * * * [progress]: [ 104 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 105 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.728 * * * * [progress]: [ 106 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 107 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.728 * * * * [progress]: [ 108 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 109 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
3.728 * * * * [progress]: [ 110 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 111 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
3.728 * * * * [progress]: [ 112 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 113 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.728 * * * * [progress]: [ 114 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 115 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.728 * * * * [progress]: [ 116 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 117 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
3.728 * * * * [progress]: [ 118 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 119 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
3.728 * * * * [progress]: [ 120 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 121 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
3.728 * * * * [progress]: [ 122 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 123 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
3.728 * * * * [progress]: [ 124 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.728 * * * * [progress]: [ 125 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.729 * * * * [progress]: [ 126 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 127 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.729 * * * * [progress]: [ 128 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 129 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
3.729 * * * * [progress]: [ 130 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 131 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
3.729 * * * * [progress]: [ 132 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 133 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.729 * * * * [progress]: [ 134 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 135 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.729 * * * * [progress]: [ 136 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 137 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
3.729 * * * * [progress]: [ 138 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 139 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
3.729 * * * * [progress]: [ 140 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 141 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
3.729 * * * * [progress]: [ 142 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 143 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
3.729 * * * * [progress]: [ 144 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.729 * * * * [progress]: [ 145 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.730 * * * * [progress]: [ 146 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 147 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.730 * * * * [progress]: [ 148 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 149 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
3.730 * * * * [progress]: [ 150 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 151 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
3.730 * * * * [progress]: [ 152 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 153 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
3.730 * * * * [progress]: [ 154 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 155 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
3.730 * * * * [progress]: [ 156 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 157 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
3.730 * * * * [progress]: [ 158 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 159 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
3.730 * * * * [progress]: [ 160 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 161 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
3.730 * * * * [progress]: [ 162 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
3.730 * * * * [progress]: [ 163 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
3.730 * * * * [progress]: [ 164 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.730 * * * * [progress]: [ 165 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.730 * * * * [progress]: [ 166 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.730 * * * * [progress]: [ 167 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.730 * * * * [progress]: [ 168 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.730 * * * * [progress]: [ 169 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.730 * * * * [progress]: [ 170 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.731 * * * * [progress]: [ 171 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.731 * * * * [progress]: [ 172 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.731 * * * * [progress]: [ 173 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.731 * * * * [progress]: [ 174 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
3.731 * * * * [progress]: [ 175 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 176 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 177 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 178 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 179 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 180 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 181 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 182 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 183 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 184 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 185 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 186 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 187 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 188 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 189 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 190 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 191 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 192 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
3.731 * * * * [progress]: [ 193 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 194 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 195 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 196 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 197 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 198 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 199 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 200 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* 1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1)) d1))>
3.732 * * * * [progress]: [ 201 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) d1) d1) d1)) d1))>
3.732 * * * * [progress]: [ 202 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) (* d1 (* d1 d1))) d1)) d1))>
3.732 * * * * [progress]: [ 203 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (posit16->real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
3.732 * * * * [progress]: [ 204 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 d1) (* (* (* d1 (* d1 d1)) d1) d1)) d1)) d1))>
3.732 * * * * [progress]: [ 205 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log1p (expm1 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 206 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (expm1 (log1p (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 207 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 208 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 209 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 210 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 211 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 212 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 213 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 214 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 215 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 216 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 217 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 218 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
3.732 * * * * [progress]: [ 219 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 220 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 221 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 222 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 223 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 224 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 225 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 226 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 227 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 228 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 229 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 230 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 231 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 232 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 233 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 234 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 235 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 236 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 237 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 238 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
3.733 * * * * [progress]: [ 239 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
3.733 * * * * [progress]: [ 240 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
3.733 * * * * [progress]: [ 241 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 242 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
3.733 * * * * [progress]: [ 243 / 243 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
3.735 * [simplify]: Simplifying:
  (expm1 (* (* d1 (* d1 d1)) d1))
  (log1p (* (* d1 (* d1 d1)) d1))
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))
  (+ (+ (log d1) (log (* d1 d1))) (log d1))
  (+ (log (* d1 (* d1 d1))) (log d1))
  (log (* (* d1 (* d1 d1)) d1))
  (exp (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1)))
  (cbrt (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* (* d1 (* d1 d1)) 1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 (* d1 d1)) d1))
  (expm1 (* (* (* d1 (* d1 d1)) d1) d1))
  (log1p (* (* (* d1 (* d1 d1)) d1) d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))
  (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))))
  (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) d1) d1) d1)
  (* d1 (* d1 d1))
  (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (expm1 (* d1 (* d1 d1)))
  (log1p (* d1 (* d1 d1)))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
3.737 * * [simplify]: iteration 0: 139 enodes
3.784 * * [simplify]: iteration 1: 360 enodes
3.943 * * [simplify]: iteration 2: 899 enodes
4.843 * * [simplify]: iteration 3: 2689 enodes
6.271 * * [simplify]: iteration complete: 5000 enodes
6.271 * * [simplify]: Extracting #0: cost 53 inf + 0
6.272 * * [simplify]: Extracting #1: cost 563 inf + 2041
6.281 * * [simplify]: Extracting #2: cost 1041 inf + 45882
6.306 * * [simplify]: Extracting #3: cost 683 inf + 183776
6.357 * * [simplify]: Extracting #4: cost 191 inf + 333794
6.446 * * [simplify]: Extracting #5: cost 29 inf + 392330
6.535 * * [simplify]: Extracting #6: cost 0 inf + 402673
6.593 * [simplify]: Simplified to:
  (expm1 (* (* d1 d1) (* d1 d1)))
  (log1p (* (* d1 d1) (* d1 d1)))
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* (* d1 (sqrt d1)) (* d1 d1))
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  (expm1 (* (* d1 d1) (* (* d1 d1) d1)))
  (log1p (* (* d1 d1) (* (* d1 d1) d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* d1 d1))
  (* (* d1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* d1 d1))
  (* (* d1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* d1 d1))
  (* (* d1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* d1 d1))
  (* (cbrt (* (* d1 d1) (* (* d1 d1) d1))) (cbrt (* (* d1 d1) (* (* d1 d1) d1))))
  (cbrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* d1 d1))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1)))
  (* (* d1 d1) (* (* d1 d1) (sqrt d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* (* d1 d1) (* (* d1 d1) d1)))
  (expm1 (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1))))
  (log1p (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1))))
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (log d1)) (log d1))
  (fma 2 (* 3 (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)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (* (cbrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))) (cbrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1)))))
  (cbrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))
  (sqrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1))))
  (sqrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1))))
  (* (* d1 d1) (* (* d1 d1) (* d1 d1)))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) d1))))
  (expm1 (* (* d1 d1) d1))
  (log1p (* (* d1 d1) d1))
  3
  3
  3
  3
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* (* d1 d1) d1))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 d1)
  d1
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (* (cbrt d1) d1) d1)
  (* d1 (* (sqrt d1) d1))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
6.605 * * * [progress]: adding candidates to table
6.950 * * [progress]: iteration 2 / 4
6.950 * * * [progress]: picking best candidate
6.973 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
6.973 * * * [progress]: localizing error
6.995 * * * [progress]: generating rewritten candidates
6.995 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.031 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.039 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.081 * * * [progress]: generating series expansions
7.081 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.081 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
7.081 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
7.081 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.081 * [taylor]: Taking taylor expansion of d1 in d1
7.081 * [backup-simplify]: Simplify 0 into 0
7.081 * [backup-simplify]: Simplify 1 into 1
7.081 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.081 * [taylor]: Taking taylor expansion of d1 in d1
7.081 * [backup-simplify]: Simplify 0 into 0
7.081 * [backup-simplify]: Simplify 1 into 1
7.082 * [backup-simplify]: Simplify (* 1 1) into 1
7.082 * [backup-simplify]: Simplify (* 1 1) into 1
7.082 * [backup-simplify]: Simplify (* 1 1) into 1
7.083 * [backup-simplify]: Simplify (* 1 1) into 1
7.083 * [backup-simplify]: Simplify 1 into 1
7.083 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.084 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.085 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.086 * [backup-simplify]: Simplify 0 into 0
7.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.089 * [backup-simplify]: Simplify 0 into 0
7.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.094 * [backup-simplify]: Simplify 0 into 0
7.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.102 * [backup-simplify]: Simplify 0 into 0
7.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.107 * [backup-simplify]: Simplify 0 into 0
7.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
7.114 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
7.114 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
7.114 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
7.114 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.114 * [taylor]: Taking taylor expansion of d1 in d1
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify 1 into 1
7.115 * [backup-simplify]: Simplify (* 1 1) into 1
7.115 * [backup-simplify]: Simplify (* 1 1) into 1
7.115 * [backup-simplify]: Simplify (* 1 1) into 1
7.116 * [backup-simplify]: Simplify (* 1 1) into 1
7.116 * [backup-simplify]: Simplify (/ 1 1) into 1
7.116 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
7.116 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.116 * [taylor]: Taking taylor expansion of d1 in d1
7.116 * [backup-simplify]: Simplify 0 into 0
7.116 * [backup-simplify]: Simplify 1 into 1
7.117 * [backup-simplify]: Simplify (* 1 1) into 1
7.117 * [backup-simplify]: Simplify (* 1 1) into 1
7.117 * [backup-simplify]: Simplify (* 1 1) into 1
7.118 * [backup-simplify]: Simplify (* 1 1) into 1
7.118 * [backup-simplify]: Simplify (/ 1 1) into 1
7.118 * [backup-simplify]: Simplify 1 into 1
7.119 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.120 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.120 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.121 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.122 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.126 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.132 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.138 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.145 * [backup-simplify]: Simplify 0 into 0
7.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.152 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
7.152 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
7.152 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
7.152 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
7.152 * [taylor]: Taking taylor expansion of -1 in d1
7.153 * [backup-simplify]: Simplify -1 into -1
7.153 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.153 * [taylor]: Taking taylor expansion of d1 in d1
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [backup-simplify]: Simplify (* 1 1) into 1
7.153 * [backup-simplify]: Simplify (* 1 1) into 1
7.154 * [backup-simplify]: Simplify (* 1 1) into 1
7.154 * [backup-simplify]: Simplify (* 1 1) into 1
7.155 * [backup-simplify]: Simplify (/ -1 1) into -1
7.155 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
7.155 * [taylor]: Taking taylor expansion of -1 in d1
7.155 * [backup-simplify]: Simplify -1 into -1
7.155 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
7.155 * [taylor]: Taking taylor expansion of d1 in d1
7.155 * [backup-simplify]: Simplify 0 into 0
7.155 * [backup-simplify]: Simplify 1 into 1
7.155 * [backup-simplify]: Simplify (* 1 1) into 1
7.156 * [backup-simplify]: Simplify (* 1 1) into 1
7.156 * [backup-simplify]: Simplify (* 1 1) into 1
7.156 * [backup-simplify]: Simplify (* 1 1) into 1
7.157 * [backup-simplify]: Simplify (/ -1 1) into -1
7.157 * [backup-simplify]: Simplify -1 into -1
7.158 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.158 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.159 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.160 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.160 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.164 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.167 * [backup-simplify]: Simplify 0 into 0
7.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.171 * [backup-simplify]: Simplify 0 into 0
7.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.175 * [backup-simplify]: Simplify 0 into 0
7.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.179 * [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
7.179 * [backup-simplify]: Simplify 0 into 0
7.179 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
7.179 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
7.179 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
7.179 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
7.179 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.179 * [taylor]: Taking taylor expansion of d1 in d1
7.179 * [backup-simplify]: Simplify 0 into 0
7.179 * [backup-simplify]: Simplify 1 into 1
7.179 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.179 * [taylor]: Taking taylor expansion of d1 in d1
7.179 * [backup-simplify]: Simplify 0 into 0
7.179 * [backup-simplify]: Simplify 1 into 1
7.180 * [backup-simplify]: Simplify (* 1 1) into 1
7.180 * [backup-simplify]: Simplify (* 1 1) into 1
7.180 * [backup-simplify]: Simplify (* 1 1) into 1
7.180 * [backup-simplify]: Simplify 1 into 1
7.181 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.181 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.181 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.182 * [backup-simplify]: Simplify 0 into 0
7.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.183 * [backup-simplify]: Simplify 0 into 0
7.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.185 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.188 * [backup-simplify]: Simplify 0 into 0
7.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.192 * [backup-simplify]: Simplify 0 into 0
7.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.197 * [backup-simplify]: Simplify 0 into 0
7.197 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
7.197 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
7.197 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
7.197 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.198 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.198 * [taylor]: Taking taylor expansion of d1 in d1
7.198 * [backup-simplify]: Simplify 0 into 0
7.198 * [backup-simplify]: Simplify 1 into 1
7.198 * [backup-simplify]: Simplify (* 1 1) into 1
7.198 * [backup-simplify]: Simplify (* 1 1) into 1
7.199 * [backup-simplify]: Simplify (* 1 1) into 1
7.199 * [backup-simplify]: Simplify (/ 1 1) into 1
7.199 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.199 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.199 * [taylor]: Taking taylor expansion of d1 in d1
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify 1 into 1
7.200 * [backup-simplify]: Simplify (* 1 1) into 1
7.200 * [backup-simplify]: Simplify (* 1 1) into 1
7.200 * [backup-simplify]: Simplify (* 1 1) into 1
7.201 * [backup-simplify]: Simplify (/ 1 1) into 1
7.201 * [backup-simplify]: Simplify 1 into 1
7.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.204 * [backup-simplify]: Simplify 0 into 0
7.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.207 * [backup-simplify]: Simplify 0 into 0
7.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.212 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.216 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.222 * [backup-simplify]: Simplify 0 into 0
7.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
7.234 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
7.234 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
7.234 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.234 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.234 * [taylor]: Taking taylor expansion of d1 in d1
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 1 into 1
7.235 * [backup-simplify]: Simplify (* 1 1) into 1
7.235 * [backup-simplify]: Simplify (* 1 1) into 1
7.235 * [backup-simplify]: Simplify (* 1 1) into 1
7.235 * [backup-simplify]: Simplify (/ 1 1) into 1
7.235 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
7.235 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
7.236 * [taylor]: Taking taylor expansion of d1 in d1
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [backup-simplify]: Simplify (* 1 1) into 1
7.236 * [backup-simplify]: Simplify (* 1 1) into 1
7.236 * [backup-simplify]: Simplify (* 1 1) into 1
7.236 * [backup-simplify]: Simplify (/ 1 1) into 1
7.237 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.243 * [backup-simplify]: Simplify 0 into 0
7.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.246 * [backup-simplify]: Simplify 0 into 0
7.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.249 * [backup-simplify]: Simplify 0 into 0
7.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
7.252 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.252 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
7.252 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
7.252 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.252 * [taylor]: Taking taylor expansion of d1 in d1
7.252 * [backup-simplify]: Simplify 0 into 0
7.252 * [backup-simplify]: Simplify 1 into 1
7.252 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.253 * [taylor]: Taking taylor expansion of d1 in d1
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 1 into 1
7.253 * [backup-simplify]: Simplify (* 1 1) into 1
7.253 * [backup-simplify]: Simplify (* 1 1) into 1
7.253 * [backup-simplify]: Simplify (* 1 1) into 1
7.254 * [backup-simplify]: Simplify (* 1 1) into 1
7.254 * [backup-simplify]: Simplify 1 into 1
7.254 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.254 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.255 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.255 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.257 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.266 * [backup-simplify]: Simplify 0 into 0
7.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.272 * [backup-simplify]: Simplify 0 into 0
7.272 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
7.272 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
7.272 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.272 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.272 * [taylor]: Taking taylor expansion of d1 in d1
7.272 * [backup-simplify]: Simplify 0 into 0
7.272 * [backup-simplify]: Simplify 1 into 1
7.273 * [backup-simplify]: Simplify (* 1 1) into 1
7.273 * [backup-simplify]: Simplify (* 1 1) into 1
7.273 * [backup-simplify]: Simplify (* 1 1) into 1
7.274 * [backup-simplify]: Simplify (* 1 1) into 1
7.274 * [backup-simplify]: Simplify (/ 1 1) into 1
7.274 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.274 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.274 * [taylor]: Taking taylor expansion of d1 in d1
7.274 * [backup-simplify]: Simplify 0 into 0
7.274 * [backup-simplify]: Simplify 1 into 1
7.275 * [backup-simplify]: Simplify (* 1 1) into 1
7.275 * [backup-simplify]: Simplify (* 1 1) into 1
7.275 * [backup-simplify]: Simplify (* 1 1) into 1
7.276 * [backup-simplify]: Simplify (* 1 1) into 1
7.276 * [backup-simplify]: Simplify (/ 1 1) into 1
7.276 * [backup-simplify]: Simplify 1 into 1
7.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.278 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.279 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.279 * [backup-simplify]: Simplify 0 into 0
7.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.301 * [backup-simplify]: Simplify 0 into 0
7.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.308 * [backup-simplify]: Simplify 0 into 0
7.308 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
7.308 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
7.309 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
7.309 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.309 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.309 * [taylor]: Taking taylor expansion of d1 in d1
7.309 * [backup-simplify]: Simplify 0 into 0
7.309 * [backup-simplify]: Simplify 1 into 1
7.309 * [backup-simplify]: Simplify (* 1 1) into 1
7.309 * [backup-simplify]: Simplify (* 1 1) into 1
7.310 * [backup-simplify]: Simplify (* 1 1) into 1
7.310 * [backup-simplify]: Simplify (* 1 1) into 1
7.310 * [backup-simplify]: Simplify (/ 1 1) into 1
7.310 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
7.311 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
7.311 * [taylor]: Taking taylor expansion of d1 in d1
7.311 * [backup-simplify]: Simplify 0 into 0
7.311 * [backup-simplify]: Simplify 1 into 1
7.311 * [backup-simplify]: Simplify (* 1 1) into 1
7.311 * [backup-simplify]: Simplify (* 1 1) into 1
7.312 * [backup-simplify]: Simplify (* 1 1) into 1
7.312 * [backup-simplify]: Simplify (* 1 1) into 1
7.312 * [backup-simplify]: Simplify (/ 1 1) into 1
7.312 * [backup-simplify]: Simplify 1 into 1
7.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.315 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.316 * [backup-simplify]: Simplify 0 into 0
7.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.321 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.326 * [backup-simplify]: Simplify 0 into 0
7.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.332 * [backup-simplify]: Simplify 0 into 0
7.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.338 * [backup-simplify]: Simplify 0 into 0
7.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.346 * [backup-simplify]: Simplify 0 into 0
7.346 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
7.346 * * * [progress]: simplifying candidates
7.346 * * * * [progress]: [ 1 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log1p (expm1 (* d1 (* (pow d1 7) d1)))) d1))>
7.346 * * * * [progress]: [ 2 / 92 ] simplifiying candidate #<alt (λ (d1) (* (expm1 (log1p (* d1 (* (pow d1 7) d1)))) d1))>
7.346 * * * * [progress]: [ 3 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
7.346 * * * * [progress]: [ 4 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
7.346 * * * * [progress]: [ 5 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
7.347 * * * * [progress]: [ 6 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
7.347 * * * * [progress]: [ 7 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
7.347 * * * * [progress]: [ 8 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
7.347 * * * * [progress]: [ 9 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (pow d1 7)) (log d1)))) d1))>
7.347 * * * * [progress]: [ 10 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 11 / 92 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 12 / 92 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 13 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
7.347 * * * * [progress]: [ 14 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 15 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 17 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1)))) d1))>
7.347 * * * * [progress]: [ 18 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
7.347 * * * * [progress]: [ 19 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (pow d1 7)) d1) d1))>
7.347 * * * * [progress]: [ 20 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (pow d1 7) d1))) d1))>
7.347 * * * * [progress]: [ 21 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (pow d1 7) d1))) d1))>
7.348 * * * * [progress]: [ 22 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
7.348 * * * * [progress]: [ 23 / 92 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))>
7.348 * * * * [progress]: [ 24 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* (pow d1 7) d1) d1) d1))>
7.348 * * * * [progress]: [ 25 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log1p (expm1 (* (pow d1 7) d1)))) d1))>
7.348 * * * * [progress]: [ 26 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (expm1 (log1p (* (pow d1 7) d1)))) d1))>
7.348 * * * * [progress]: [ 27 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
7.348 * * * * [progress]: [ 28 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
7.348 * * * * [progress]: [ 29 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow (* (pow d1 7) d1) 1)) d1))>
7.348 * * * * [progress]: [ 30 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
7.348 * * * * [progress]: [ 31 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
7.348 * * * * [progress]: [ 32 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (log (pow d1 7)) (log d1)))) d1))>
7.348 * * * * [progress]: [ 33 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (log (* (pow d1 7) d1)))) d1))>
7.349 * * * * [progress]: [ 34 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log (exp (* (pow d1 7) d1)))) d1))>
7.349 * * * * [progress]: [ 35 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
7.349 * * * * [progress]: [ 36 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)))) d1))>
7.349 * * * * [progress]: [ 37 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
7.349 * * * * [progress]: [ 38 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)))) d1))>
7.349 * * * * [progress]: [ 39 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
7.349 * * * * [progress]: [ 40 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)))) d1))>
7.349 * * * * [progress]: [ 41 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)))) d1))>
7.349 * * * * [progress]: [ 42 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)))) d1))>
7.349 * * * * [progress]: [ 43 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (cbrt d1))) d1))>
7.349 * * * * [progress]: [ 44 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (sqrt d1)) (sqrt d1))) d1))>
7.349 * * * * [progress]: [ 45 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) 1) d1)) d1))>
7.349 * * * * [progress]: [ 46 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (cbrt d1) (cbrt d1)) 7) (* (pow (cbrt d1) 7) d1))) d1))>
7.349 * * * * [progress]: [ 47 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (sqrt d1) 7) (* (pow (sqrt d1) 7) d1))) d1))>
7.349 * * * * [progress]: [ 48 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow 1 7) (* (pow d1 7) d1))) d1))>
7.349 * * * * [progress]: [ 49 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (pow d1 7)) (cbrt (pow d1 7))) (* (cbrt (pow d1 7)) d1))) d1))>
7.349 * * * * [progress]: [ 50 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (pow d1 7)) (* (sqrt (pow d1 7)) d1))) d1))>
7.349 * * * * [progress]: [ 51 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
7.350 * * * * [progress]: [ 52 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (/ 7 2)) (* (pow d1 (/ 7 2)) d1))) d1))>
7.350 * * * * [progress]: [ 53 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (posit16->real (real->posit16 (* (pow d1 7) d1)))) d1))>
7.350 * * * * [progress]: [ 54 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* d1 (pow d1 7))) d1))>
7.350 * * * * [progress]: [ 55 / 92 ] simplifiying candidate #<alt (λ (d1) (log1p (expm1 (* (* d1 (* (pow d1 7) d1)) d1))))>
7.350 * * * * [progress]: [ 56 / 92 ] simplifiying candidate #<alt (λ (d1) (expm1 (log1p (* (* d1 (* (pow d1 7) d1)) d1))))>
7.350 * * * * [progress]: [ 57 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
7.350 * * * * [progress]: [ 58 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
7.350 * * * * [progress]: [ 59 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
7.350 * * * * [progress]: [ 60 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
7.350 * * * * [progress]: [ 61 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
7.350 * * * * [progress]: [ 62 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
7.350 * * * * [progress]: [ 63 / 92 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
7.350 * * * * [progress]: [ 64 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
7.350 * * * * [progress]: [ 65 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
7.350 * * * * [progress]: [ 66 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))))>
7.350 * * * * [progress]: [ 67 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))))>
7.350 * * * * [progress]: [ 68 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (* d1 (* (pow d1 7) d1))) (log d1))))>
7.351 * * * * [progress]: [ 69 / 92 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (* d1 (* (pow d1 7) d1)) d1))))>
7.351 * * * * [progress]: [ 70 / 92 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (* d1 (* (pow d1 7) d1)) d1))))>
7.351 * * * * [progress]: [ 71 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))))>
7.351 * * * * [progress]: [ 72 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
7.351 * * * * [progress]: [ 73 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
7.351 * * * * [progress]: [ 74 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))))>
7.351 * * * * [progress]: [ 75 / 92 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))))>
7.351 * * * * [progress]: [ 76 / 92 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1))))>
7.351 * * * * [progress]: [ 77 / 92 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (* d1 (* (pow d1 7) d1)) d1)))>
7.351 * * * * [progress]: [ 78 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
7.351 * * * * [progress]: [ 79 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (sqrt d1)))>
7.351 * * * * [progress]: [ 80 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) 1) d1))>
7.351 * * * * [progress]: [ 81 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* (* (pow d1 7) d1) d1)))>
7.351 * * * * [progress]: [ 82 / 92 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))>
7.351 * * * * [progress]: [ 83 / 92 ] simplifiying candidate #<alt (λ (d1) (* d1 (* d1 (* (pow d1 7) d1))))>
7.351 * * * * [progress]: [ 84 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
7.351 * * * * [progress]: [ 85 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
7.351 * * * * [progress]: [ 86 / 92 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
7.351 * * * * [progress]: [ 87 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
7.351 * * * * [progress]: [ 88 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
7.352 * * * * [progress]: [ 89 / 92 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
7.352 * * * * [progress]: [ 90 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
7.352 * * * * [progress]: [ 91 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
7.352 * * * * [progress]: [ 92 / 92 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
7.353 * [simplify]: Simplifying:
  (expm1 (* d1 (* (pow d1 7) d1)))
  (log1p (* d1 (* (pow d1 7) d1)))
  (+ 1 (+ 7 1))
  (+ 1 (+ 7 1))
  (* d1 (* (pow d1 7) d1))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (log (pow d1 7)) (log d1)))
  (+ (log d1) (log (* (pow d1 7) d1)))
  (log (* d1 (* (pow d1 7) d1)))
  (exp (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))
  (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1))))
  (cbrt (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (* d1 (pow d1 7))
  (* (cbrt d1) (* (pow d1 7) d1))
  (* (sqrt d1) (* (pow d1 7) d1))
  (* d1 (* (pow d1 7) d1))
  (real->posit16 (* d1 (* (pow d1 7) d1)))
  (expm1 (* (pow d1 7) d1))
  (log1p (* (pow d1 7) d1))
  (+ 7 1)
  (+ 7 1)
  (+ (* (log d1) 7) (log d1))
  (+ (* (log d1) 7) (log d1))
  (+ (log (pow d1 7)) (log d1))
  (log (* (pow d1 7) d1))
  (exp (* (pow d1 7) d1))
  (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1)))
  (cbrt (* (pow d1 7) d1))
  (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (* (pow d1 7) 1)
  (* (pow (cbrt d1) 7) d1)
  (* (pow (sqrt d1) 7) d1)
  (* (pow d1 7) d1)
  (* (cbrt (pow d1 7)) d1)
  (* (sqrt (pow d1 7)) d1)
  (* (pow d1 7) d1)
  (* (pow d1 (/ 7 2)) d1)
  (real->posit16 (* (pow d1 7) d1))
  (expm1 (* (* d1 (* (pow d1 7) d1)) d1))
  (log1p (* (* d1 (* (pow d1 7) d1)) d1))
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))
  (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))
  (+ (log (* d1 (* (pow d1 7) d1))) (log d1))
  (log (* (* d1 (* (pow d1 7) d1)) d1))
  (exp (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)))
  (cbrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* (pow d1 7) d1)) (sqrt d1))
  (* (* d1 (* (pow d1 7) d1)) 1)
  (* (* (pow d1 7) d1) d1)
  (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
7.355 * * [simplify]: iteration 0: 96 enodes
7.408 * * [simplify]: iteration 1: 243 enodes
7.531 * * [simplify]: iteration 2: 763 enodes
8.293 * * [simplify]: iteration 3: 3221 enodes
10.249 * * [simplify]: iteration complete: 5005 enodes
10.249 * * [simplify]: Extracting #0: cost 48 inf + 0
10.250 * * [simplify]: Extracting #1: cost 650 inf + 3
10.255 * * [simplify]: Extracting #2: cost 1340 inf + 1602
10.267 * * [simplify]: Extracting #3: cost 995 inf + 131584
10.301 * * [simplify]: Extracting #4: cost 375 inf + 353208
10.403 * * [simplify]: Extracting #5: cost 50 inf + 480900
10.505 * * [simplify]: Extracting #6: cost 0 inf + 503890
10.617 * [simplify]: Simplified to:
  (expm1 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (log1p (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  9
  9
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (* 9 (log d1))
  (exp (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) d1) (* d1 d1))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) d1) (* d1 d1))
  (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))))
  (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) d1) (* d1 d1))
  (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (sqrt d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (real->posit16 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  (expm1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (log1p (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  8
  8
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (fabs (* (* d1 d1) (* d1 d1)))
  (fabs (* (* d1 d1) (* d1 d1)))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (fabs (pow d1 7/2)) (sqrt d1))
  (* (pow d1 7/2) (sqrt d1))
  (* (pow d1 7/2) (sqrt d1))
  (* (* (pow d1 7/2) (cbrt d1)) (* (pow d1 7/2) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (pow d1 7)
  (* d1 (pow (cbrt d1) 7))
  (* d1 (pow (sqrt d1) 7))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* d1 (cbrt (pow d1 7)))
  (* (fabs (pow d1 7/2)) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (expm1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (log1p (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  10
  10
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  10
  10
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))))
  (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (fabs (* (* (* d1 d1) (* d1 d1)) d1))
  (fabs (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (cbrt 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)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))
10.620 * * * [progress]: adding candidates to table
10.834 * * [progress]: iteration 3 / 4
10.834 * * * [progress]: picking best candidate
10.837 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
10.837 * * * [progress]: localizing error
10.845 * * * [progress]: generating rewritten candidates
10.845 * * * [progress]: generating series expansions
10.845 * * * [progress]: simplifying candidates
10.845 * [simplify]: Simplifying:
  
10.845 * * [simplify]: iteration 0: 0 enodes
10.845 * * [simplify]: iteration complete: 0 enodes
10.845 * * [simplify]: Extracting #0: cost 0 inf + 0
10.845 * [simplify]: Simplified to:
  
10.846 * * * [progress]: adding candidates to table
10.846 * [progress]: [Phase 3 of 3] Extracting.
10.851 * [simplify]: Simplifying:
  (pow d1 10)
10.851 * * [simplify]: iteration 0: 3 enodes
10.851 * * [simplify]: iteration complete: 3 enodes
10.851 * * [simplify]: Extracting #0: cost 1 inf + 0
10.851 * * [simplify]: Extracting #1: cost 3 inf + 0
10.851 * * [simplify]: Extracting #2: cost 1 inf + 2
10.851 * * [simplify]: Extracting #3: cost 0 inf + 214
10.851 * [simplify]: Simplified to:
  (pow d1 10)
12.996 * [regime-testing]: Baseline error score: 0
13.001 * [regime-testing]: Oracle error score: 0
13.001 * [regime-testing]: End program error score: 0
13.054 * [regime-testing]: Target error score: 0