286.514 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.047 * * * [progress]: [2/2] Setting up program.
0.060 * [progress]: [Phase 2 of 3] Improving.
0.060 * * * * [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.069 * * [simplify]: iteration 1: 24 enodes
0.085 * * [simplify]: iteration 2: 54 enodes
0.145 * * [simplify]: iteration 3: 92 enodes
0.253 * * [simplify]: iteration 4: 248 enodes
0.511 * * [simplify]: iteration 5: 496 enodes
2.127 * * [simplify]: iteration 6: 2065 enodes
5.311 * * [simplify]: iteration complete: 5000 enodes
5.311 * * [simplify]: Extracting #0: cost 1 inf + 0
5.311 * * [simplify]: Extracting #1: cost 191 inf + 0
5.319 * * [simplify]: Extracting #2: cost 1210 inf + 1216
5.329 * * [simplify]: Extracting #3: cost 1443 inf + 19425
5.367 * * [simplify]: Extracting #4: cost 961 inf + 223154
5.431 * * [simplify]: Extracting #5: cost 227 inf + 631970
5.502 * * [simplify]: Extracting #6: cost 5 inf + 770658
5.573 * * [simplify]: Extracting #7: cost 0 inf + 771450
5.683 * [simplify]: Simplified to:
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
5.697 * * [progress]: iteration 1 / 4
5.698 * * * [progress]: picking best candidate
5.725 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
5.725 * * * [progress]: localizing error
5.813 * * * [progress]: generating rewritten candidates
5.813 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
5.837 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
5.963 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
7.135 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
7.465 * * * [progress]: generating series expansions
7.466 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
7.466 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
7.466 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
7.466 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.466 * [taylor]: Taking taylor expansion of d1 in d1
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 1 into 1
7.466 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.466 * [taylor]: Taking taylor expansion of d1 in d1
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 1 into 1
7.467 * [backup-simplify]: Simplify (* 1 1) into 1
7.467 * [backup-simplify]: Simplify (* 1 1) into 1
7.467 * [backup-simplify]: Simplify 1 into 1
7.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.468 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.472 * [backup-simplify]: Simplify 0 into 0
7.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.474 * [backup-simplify]: Simplify 0 into 0
7.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.476 * [backup-simplify]: Simplify 0 into 0
7.476 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
7.476 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
7.476 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
7.476 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
7.476 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.476 * [taylor]: Taking taylor expansion of d1 in d1
7.476 * [backup-simplify]: Simplify 0 into 0
7.476 * [backup-simplify]: Simplify 1 into 1
7.477 * [backup-simplify]: Simplify (* 1 1) into 1
7.477 * [backup-simplify]: Simplify (* 1 1) into 1
7.477 * [backup-simplify]: Simplify (/ 1 1) into 1
7.477 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
7.477 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.477 * [taylor]: Taking taylor expansion of d1 in d1
7.477 * [backup-simplify]: Simplify 0 into 0
7.477 * [backup-simplify]: Simplify 1 into 1
7.477 * [backup-simplify]: Simplify (* 1 1) into 1
7.478 * [backup-simplify]: Simplify (* 1 1) into 1
7.478 * [backup-simplify]: Simplify (/ 1 1) into 1
7.478 * [backup-simplify]: Simplify 1 into 1
7.478 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.479 * [backup-simplify]: Simplify 0 into 0
7.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.481 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.483 * [backup-simplify]: Simplify 0 into 0
7.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.485 * [backup-simplify]: Simplify 0 into 0
7.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.488 * [backup-simplify]: Simplify 0 into 0
7.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.490 * [backup-simplify]: Simplify 0 into 0
7.491 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
7.491 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
7.491 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
7.491 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
7.491 * [taylor]: Taking taylor expansion of -1 in d1
7.491 * [backup-simplify]: Simplify -1 into -1
7.491 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.491 * [taylor]: Taking taylor expansion of d1 in d1
7.491 * [backup-simplify]: Simplify 0 into 0
7.491 * [backup-simplify]: Simplify 1 into 1
7.491 * [backup-simplify]: Simplify (* 1 1) into 1
7.492 * [backup-simplify]: Simplify (* 1 1) into 1
7.492 * [backup-simplify]: Simplify (/ -1 1) into -1
7.492 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
7.492 * [taylor]: Taking taylor expansion of -1 in d1
7.492 * [backup-simplify]: Simplify -1 into -1
7.492 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
7.492 * [taylor]: Taking taylor expansion of d1 in d1
7.492 * [backup-simplify]: Simplify 0 into 0
7.492 * [backup-simplify]: Simplify 1 into 1
7.492 * [backup-simplify]: Simplify (* 1 1) into 1
7.492 * [backup-simplify]: Simplify (* 1 1) into 1
7.493 * [backup-simplify]: Simplify (/ -1 1) into -1
7.493 * [backup-simplify]: Simplify -1 into -1
7.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.494 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.496 * [backup-simplify]: Simplify 0 into 0
7.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.498 * [backup-simplify]: Simplify 0 into 0
7.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.500 * [backup-simplify]: Simplify 0 into 0
7.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.505 * [backup-simplify]: Simplify 0 into 0
7.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.510 * [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.510 * [backup-simplify]: Simplify 0 into 0
7.510 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
7.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
7.511 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
7.511 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
7.511 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.511 * [taylor]: Taking taylor expansion of d1 in d1
7.511 * [backup-simplify]: Simplify 0 into 0
7.511 * [backup-simplify]: Simplify 1 into 1
7.511 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.511 * [taylor]: Taking taylor expansion of d1 in d1
7.511 * [backup-simplify]: Simplify 0 into 0
7.511 * [backup-simplify]: Simplify 1 into 1
7.512 * [backup-simplify]: Simplify (* 1 1) into 1
7.512 * [backup-simplify]: Simplify (* 1 1) into 1
7.512 * [backup-simplify]: Simplify 1 into 1
7.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.514 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.514 * [backup-simplify]: Simplify 0 into 0
7.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.516 * [backup-simplify]: Simplify 0 into 0
7.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.517 * [backup-simplify]: Simplify 0 into 0
7.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.519 * [backup-simplify]: Simplify 0 into 0
7.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.521 * [backup-simplify]: Simplify 0 into 0
7.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.523 * [backup-simplify]: Simplify 0 into 0
7.523 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
7.523 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
7.523 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
7.524 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.524 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.524 * [taylor]: Taking taylor expansion of d1 in d1
7.524 * [backup-simplify]: Simplify 0 into 0
7.524 * [backup-simplify]: Simplify 1 into 1
7.524 * [backup-simplify]: Simplify (* 1 1) into 1
7.524 * [backup-simplify]: Simplify (* 1 1) into 1
7.524 * [backup-simplify]: Simplify (/ 1 1) into 1
7.524 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.524 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.524 * [taylor]: Taking taylor expansion of d1 in d1
7.524 * [backup-simplify]: Simplify 0 into 0
7.524 * [backup-simplify]: Simplify 1 into 1
7.525 * [backup-simplify]: Simplify (* 1 1) into 1
7.525 * [backup-simplify]: Simplify (* 1 1) into 1
7.525 * [backup-simplify]: Simplify (/ 1 1) into 1
7.525 * [backup-simplify]: Simplify 1 into 1
7.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.527 * [backup-simplify]: Simplify 0 into 0
7.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.528 * [backup-simplify]: Simplify 0 into 0
7.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.530 * [backup-simplify]: Simplify 0 into 0
7.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.532 * [backup-simplify]: Simplify 0 into 0
7.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.535 * [backup-simplify]: Simplify 0 into 0
7.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.543 * [backup-simplify]: Simplify 0 into 0
7.543 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
7.543 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
7.543 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
7.543 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.544 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.544 * [taylor]: Taking taylor expansion of d1 in d1
7.544 * [backup-simplify]: Simplify 0 into 0
7.544 * [backup-simplify]: Simplify 1 into 1
7.544 * [backup-simplify]: Simplify (* 1 1) into 1
7.544 * [backup-simplify]: Simplify (* 1 1) into 1
7.544 * [backup-simplify]: Simplify (/ 1 1) into 1
7.544 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
7.545 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
7.545 * [taylor]: Taking taylor expansion of d1 in d1
7.545 * [backup-simplify]: Simplify 0 into 0
7.545 * [backup-simplify]: Simplify 1 into 1
7.545 * [backup-simplify]: Simplify (* 1 1) into 1
7.545 * [backup-simplify]: Simplify (* 1 1) into 1
7.546 * [backup-simplify]: Simplify (/ 1 1) into 1
7.546 * [backup-simplify]: Simplify 1 into 1
7.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.548 * [backup-simplify]: Simplify 0 into 0
7.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.551 * [backup-simplify]: Simplify 0 into 0
7.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.555 * [backup-simplify]: Simplify 0 into 0
7.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.559 * [backup-simplify]: Simplify 0 into 0
7.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.563 * [backup-simplify]: Simplify 0 into 0
7.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.568 * [backup-simplify]: Simplify 0 into 0
7.569 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
7.569 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
7.569 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
7.569 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
7.570 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.570 * [taylor]: Taking taylor expansion of d1 in d1
7.570 * [backup-simplify]: Simplify 0 into 0
7.570 * [backup-simplify]: Simplify 1 into 1
7.570 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.570 * [taylor]: Taking taylor expansion of d1 in d1
7.570 * [backup-simplify]: Simplify 0 into 0
7.570 * [backup-simplify]: Simplify 1 into 1
7.571 * [backup-simplify]: Simplify (* 1 1) into 1
7.571 * [backup-simplify]: Simplify (* 1 1) into 1
7.571 * [backup-simplify]: Simplify (* 1 1) into 1
7.572 * [backup-simplify]: Simplify (* 1 1) into 1
7.572 * [backup-simplify]: Simplify 1 into 1
7.573 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.573 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.575 * [backup-simplify]: Simplify 0 into 0
7.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.579 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.589 * [backup-simplify]: Simplify 0 into 0
7.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.595 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.602 * [backup-simplify]: Simplify 0 into 0
7.603 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
7.604 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
7.604 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
7.604 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
7.604 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.604 * [taylor]: Taking taylor expansion of d1 in d1
7.604 * [backup-simplify]: Simplify 0 into 0
7.604 * [backup-simplify]: Simplify 1 into 1
7.605 * [backup-simplify]: Simplify (* 1 1) into 1
7.605 * [backup-simplify]: Simplify (* 1 1) into 1
7.606 * [backup-simplify]: Simplify (* 1 1) into 1
7.606 * [backup-simplify]: Simplify (* 1 1) into 1
7.607 * [backup-simplify]: Simplify (/ 1 1) into 1
7.607 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
7.607 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.607 * [taylor]: Taking taylor expansion of d1 in d1
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 1 into 1
7.607 * [backup-simplify]: Simplify (* 1 1) into 1
7.607 * [backup-simplify]: Simplify (* 1 1) into 1
7.608 * [backup-simplify]: Simplify (* 1 1) into 1
7.608 * [backup-simplify]: Simplify (* 1 1) into 1
7.609 * [backup-simplify]: Simplify (/ 1 1) into 1
7.609 * [backup-simplify]: Simplify 1 into 1
7.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.611 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.612 * [backup-simplify]: Simplify 0 into 0
7.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.618 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.624 * [backup-simplify]: Simplify 0 into 0
7.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.634 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
7.640 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
7.640 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
7.640 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
7.640 * [taylor]: Taking taylor expansion of -1 in d1
7.640 * [backup-simplify]: Simplify -1 into -1
7.640 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.640 * [taylor]: Taking taylor expansion of d1 in d1
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 1 into 1
7.640 * [backup-simplify]: Simplify (* 1 1) into 1
7.641 * [backup-simplify]: Simplify (* 1 1) into 1
7.641 * [backup-simplify]: Simplify (* 1 1) into 1
7.641 * [backup-simplify]: Simplify (* 1 1) into 1
7.641 * [backup-simplify]: Simplify (/ -1 1) into -1
7.641 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
7.641 * [taylor]: Taking taylor expansion of -1 in d1
7.641 * [backup-simplify]: Simplify -1 into -1
7.641 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
7.641 * [taylor]: Taking taylor expansion of d1 in d1
7.641 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify 1 into 1
7.642 * [backup-simplify]: Simplify (* 1 1) into 1
7.642 * [backup-simplify]: Simplify (* 1 1) into 1
7.642 * [backup-simplify]: Simplify (* 1 1) into 1
7.642 * [backup-simplify]: Simplify (* 1 1) into 1
7.643 * [backup-simplify]: Simplify (/ -1 1) into -1
7.643 * [backup-simplify]: Simplify -1 into -1
7.643 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.645 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.645 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.651 * [backup-simplify]: Simplify 0 into 0
7.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.655 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.660 * [backup-simplify]: Simplify 0 into 0
7.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.674 * [backup-simplify]: Simplify 0 into 0
7.675 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
7.675 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
7.675 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
7.675 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
7.675 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.675 * [taylor]: Taking taylor expansion of d1 in d1
7.675 * [backup-simplify]: Simplify 0 into 0
7.675 * [backup-simplify]: Simplify 1 into 1
7.675 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.676 * [taylor]: Taking taylor expansion of d1 in d1
7.676 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify 1 into 1
7.676 * [backup-simplify]: Simplify (* 1 1) into 1
7.677 * [backup-simplify]: Simplify (* 1 1) into 1
7.677 * [backup-simplify]: Simplify (* 1 1) into 1
7.677 * [backup-simplify]: Simplify 1 into 1
7.678 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.679 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.683 * [backup-simplify]: Simplify 0 into 0
7.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.687 * [backup-simplify]: Simplify 0 into 0
7.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.691 * [backup-simplify]: Simplify 0 into 0
7.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.696 * [backup-simplify]: Simplify 0 into 0
7.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.701 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
7.703 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
7.703 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
7.703 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
7.703 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.703 * [taylor]: Taking taylor expansion of d1 in d1
7.703 * [backup-simplify]: Simplify 0 into 0
7.703 * [backup-simplify]: Simplify 1 into 1
7.703 * [backup-simplify]: Simplify (* 1 1) into 1
7.704 * [backup-simplify]: Simplify (* 1 1) into 1
7.704 * [backup-simplify]: Simplify (* 1 1) into 1
7.705 * [backup-simplify]: Simplify (/ 1 1) into 1
7.705 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
7.705 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.705 * [taylor]: Taking taylor expansion of d1 in d1
7.705 * [backup-simplify]: Simplify 0 into 0
7.705 * [backup-simplify]: Simplify 1 into 1
7.705 * [backup-simplify]: Simplify (* 1 1) into 1
7.706 * [backup-simplify]: Simplify (* 1 1) into 1
7.706 * [backup-simplify]: Simplify (* 1 1) into 1
7.707 * [backup-simplify]: Simplify (/ 1 1) into 1
7.707 * [backup-simplify]: Simplify 1 into 1
7.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.710 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.714 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.719 * [backup-simplify]: Simplify 0 into 0
7.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.724 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.730 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
7.738 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
7.738 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
7.738 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
7.738 * [taylor]: Taking taylor expansion of -1 in d1
7.738 * [backup-simplify]: Simplify -1 into -1
7.738 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.738 * [taylor]: Taking taylor expansion of d1 in d1
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 1 into 1
7.739 * [backup-simplify]: Simplify (* 1 1) into 1
7.739 * [backup-simplify]: Simplify (* 1 1) into 1
7.740 * [backup-simplify]: Simplify (* 1 1) into 1
7.740 * [backup-simplify]: Simplify (/ -1 1) into -1
7.740 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
7.740 * [taylor]: Taking taylor expansion of -1 in d1
7.740 * [backup-simplify]: Simplify -1 into -1
7.740 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
7.740 * [taylor]: Taking taylor expansion of d1 in d1
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify 1 into 1
7.741 * [backup-simplify]: Simplify (* 1 1) into 1
7.741 * [backup-simplify]: Simplify (* 1 1) into 1
7.742 * [backup-simplify]: Simplify (* 1 1) into 1
7.742 * [backup-simplify]: Simplify (/ -1 1) into -1
7.742 * [backup-simplify]: Simplify -1 into -1
7.743 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.750 * [backup-simplify]: Simplify 0 into 0
7.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.755 * [backup-simplify]: Simplify 0 into 0
7.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.760 * [backup-simplify]: Simplify 0 into 0
7.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.765 * [backup-simplify]: Simplify 0 into 0
7.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.769 * [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.769 * [backup-simplify]: Simplify 0 into 0
7.769 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
7.770 * * * [progress]: simplifying candidates
7.770 * * * * [progress]: [ 1 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 2 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 3 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 4 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 5 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 6 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 7 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 8 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 9 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 10 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 11 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 12 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 13 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 14 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 15 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 16 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 17 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 18 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 19 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 20 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 21 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
7.770 * * * * [progress]: [ 22 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 23 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 24 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 25 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 26 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 27 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 28 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 29 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 30 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 31 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 32 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 33 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 34 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 35 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 36 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 37 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 38 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 39 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 40 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 41 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 42 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 43 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 44 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 45 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.771 * * * * [progress]: [ 46 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 47 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 48 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 49 / 235 ] 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))>
7.772 * * * * [progress]: [ 50 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 51 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 52 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 53 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 54 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 55 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 56 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 57 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
7.772 * * * * [progress]: [ 58 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (posit16->real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.772 * * * * [progress]: [ 59 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.772 * * * * [progress]: [ 60 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.772 * * * * [progress]: [ 61 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.772 * * * * [progress]: [ 62 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.772 * * * * [progress]: [ 63 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.772 * * * * [progress]: [ 64 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.772 * * * * [progress]: [ 65 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.772 * * * * [progress]: [ 66 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.772 * * * * [progress]: [ 67 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.772 * * * * [progress]: [ 68 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.772 * * * * [progress]: [ 69 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.772 * * * * [progress]: [ 70 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.773 * * * * [progress]: [ 71 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 72 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.773 * * * * [progress]: [ 73 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 74 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.773 * * * * [progress]: [ 75 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 76 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.773 * * * * [progress]: [ 77 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 78 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.773 * * * * [progress]: [ 79 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 80 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.773 * * * * [progress]: [ 81 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 82 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.773 * * * * [progress]: [ 83 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 84 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.773 * * * * [progress]: [ 85 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 86 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.773 * * * * [progress]: [ 87 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 88 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.773 * * * * [progress]: [ 89 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 90 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.773 * * * * [progress]: [ 91 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 92 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.773 * * * * [progress]: [ 93 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.773 * * * * [progress]: [ 94 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.774 * * * * [progress]: [ 95 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 96 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.774 * * * * [progress]: [ 97 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 98 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.774 * * * * [progress]: [ 99 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 100 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.774 * * * * [progress]: [ 101 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 102 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.774 * * * * [progress]: [ 103 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 104 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.774 * * * * [progress]: [ 105 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 106 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.774 * * * * [progress]: [ 107 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 108 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.774 * * * * [progress]: [ 109 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 110 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.774 * * * * [progress]: [ 111 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 112 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.774 * * * * [progress]: [ 113 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 114 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.774 * * * * [progress]: [ 115 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 116 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.774 * * * * [progress]: [ 117 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.774 * * * * [progress]: [ 118 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.775 * * * * [progress]: [ 119 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 120 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.775 * * * * [progress]: [ 121 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 122 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.775 * * * * [progress]: [ 123 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 124 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
7.775 * * * * [progress]: [ 125 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 126 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
7.775 * * * * [progress]: [ 127 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 128 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
7.775 * * * * [progress]: [ 129 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 130 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
7.775 * * * * [progress]: [ 131 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 132 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
7.775 * * * * [progress]: [ 133 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 134 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
7.775 * * * * [progress]: [ 135 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 136 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
7.775 * * * * [progress]: [ 137 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
7.775 * * * * [progress]: [ 138 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
7.775 * * * * [progress]: [ 139 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.775 * * * * [progress]: [ 140 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.775 * * * * [progress]: [ 141 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.775 * * * * [progress]: [ 142 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 143 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 144 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 145 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 146 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 147 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 148 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 149 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
7.776 * * * * [progress]: [ 150 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 151 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 152 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 153 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 154 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 155 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 156 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 157 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 158 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 159 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 160 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 161 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.776 * * * * [progress]: [ 162 / 235 ] 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))>
7.776 * * * * [progress]: [ 163 / 235 ] 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))>
7.776 * * * * [progress]: [ 164 / 235 ] 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))>
7.776 * * * * [progress]: [ 165 / 235 ] 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))>
7.777 * * * * [progress]: [ 166 / 235 ] 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))>
7.777 * * * * [progress]: [ 167 / 235 ] 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))>
7.777 * * * * [progress]: [ 168 / 235 ] 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))>
7.777 * * * * [progress]: [ 169 / 235 ] 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))>
7.777 * * * * [progress]: [ 170 / 235 ] 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))>
7.777 * * * * [progress]: [ 171 / 235 ] 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))>
7.777 * * * * [progress]: [ 172 / 235 ] 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))>
7.777 * * * * [progress]: [ 173 / 235 ] 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))>
7.777 * * * * [progress]: [ 174 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
7.777 * * * * [progress]: [ 175 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* 1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1)) d1))>
7.777 * * * * [progress]: [ 176 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) d1) d1) d1)) d1))>
7.777 * * * * [progress]: [ 177 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) (* d1 (* d1 d1))) d1)) d1))>
7.777 * * * * [progress]: [ 178 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 d1) (* (* (* d1 (* d1 d1)) d1) d1)) d1)) d1))>
7.777 * * * * [progress]: [ 179 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 180 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 181 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 182 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 183 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 184 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 185 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 186 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 187 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 188 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.777 * * * * [progress]: [ 189 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 190 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 191 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 192 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 193 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 194 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 195 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 196 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 197 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 198 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 199 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 200 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 201 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 202 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 203 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 204 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 205 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 206 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 207 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 208 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 209 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 210 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.778 * * * * [progress]: [ 211 / 235 ] 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))>
7.778 * * * * [progress]: [ 212 / 235 ] 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))>
7.778 * * * * [progress]: [ 213 / 235 ] 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))>
7.778 * * * * [progress]: [ 214 / 235 ] 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))>
7.779 * * * * [progress]: [ 215 / 235 ] 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))>
7.779 * * * * [progress]: [ 216 / 235 ] 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))>
7.779 * * * * [progress]: [ 217 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 218 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 219 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 220 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 221 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 222 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 223 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 224 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 225 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 226 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 227 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 228 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 229 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 230 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.779 * * * * [progress]: [ 231 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.779 * * * * [progress]: [ 232 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
7.779 * * * * [progress]: [ 233 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 234 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
7.779 * * * * [progress]: [ 235 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
7.781 * [simplify]: Simplifying:
  (real->posit16 (* 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)) 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) 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))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
7.784 * * [simplify]: iteration 0: 131 enodes
7.937 * * [simplify]: iteration 1: 360 enodes
8.385 * * [simplify]: iteration 2: 1055 enodes
12.412 * * [simplify]: iteration 3: 3671 enodes
19.399 * * [simplify]: iteration complete: 5001 enodes
19.399 * * [simplify]: Extracting #0: cost 45 inf + 0
19.402 * * [simplify]: Extracting #1: cost 630 inf + 46
19.415 * * [simplify]: Extracting #2: cost 846 inf + 32027
19.434 * * [simplify]: Extracting #3: cost 456 inf + 94404
19.467 * * [simplify]: Extracting #4: cost 224 inf + 165007
19.515 * * [simplify]: Extracting #5: cost 17 inf + 246991
19.585 * * [simplify]: Extracting #6: cost 0 inf + 253818
19.639 * [simplify]: Simplified to:
  (real->posit16 (* 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))
  (* (* (sqrt d1) d1) d1)
  (* d1 (* d1 d1))
  (real->posit16 (* (* 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))))
  (* (sqrt d1) (* d1 (* d1 d1)))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* (* 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)))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1))
  (+ (+ (* 3 (log d1)) (* 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))))
  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))))
  (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1)))
  (* (sqrt d1) (* (* d1 d1) (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 (* d1 d1)))
19.663 * * * [progress]: adding candidates to table
20.261 * * [progress]: iteration 2 / 4
20.261 * * * [progress]: picking best candidate
20.313 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
20.313 * * * [progress]: localizing error
20.357 * * * [progress]: generating rewritten candidates
20.357 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
20.379 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
20.478 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
20.515 * * * [progress]: generating series expansions
20.515 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
20.515 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
20.516 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
20.516 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.516 * [taylor]: Taking taylor expansion of d1 in d1
20.516 * [backup-simplify]: Simplify 0 into 0
20.516 * [backup-simplify]: Simplify 1 into 1
20.516 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.516 * [taylor]: Taking taylor expansion of d1 in d1
20.516 * [backup-simplify]: Simplify 0 into 0
20.516 * [backup-simplify]: Simplify 1 into 1
20.516 * [backup-simplify]: Simplify (* 1 1) into 1
20.517 * [backup-simplify]: Simplify (* 1 1) into 1
20.517 * [backup-simplify]: Simplify (* 1 1) into 1
20.517 * [backup-simplify]: Simplify 1 into 1
20.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.518 * [backup-simplify]: Simplify 0 into 0
20.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.520 * [backup-simplify]: Simplify 0 into 0
20.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.522 * [backup-simplify]: Simplify 0 into 0
20.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.524 * [backup-simplify]: Simplify 0 into 0
20.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.528 * [backup-simplify]: Simplify 0 into 0
20.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.534 * [backup-simplify]: Simplify 0 into 0
20.534 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
20.535 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
20.535 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
20.535 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.535 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.535 * [taylor]: Taking taylor expansion of d1 in d1
20.535 * [backup-simplify]: Simplify 0 into 0
20.535 * [backup-simplify]: Simplify 1 into 1
20.536 * [backup-simplify]: Simplify (* 1 1) into 1
20.536 * [backup-simplify]: Simplify (* 1 1) into 1
20.536 * [backup-simplify]: Simplify (* 1 1) into 1
20.537 * [backup-simplify]: Simplify (/ 1 1) into 1
20.537 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.537 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.537 * [taylor]: Taking taylor expansion of d1 in d1
20.537 * [backup-simplify]: Simplify 0 into 0
20.537 * [backup-simplify]: Simplify 1 into 1
20.537 * [backup-simplify]: Simplify (* 1 1) into 1
20.538 * [backup-simplify]: Simplify (* 1 1) into 1
20.538 * [backup-simplify]: Simplify (* 1 1) into 1
20.539 * [backup-simplify]: Simplify (/ 1 1) into 1
20.539 * [backup-simplify]: Simplify 1 into 1
20.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.541 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.542 * [backup-simplify]: Simplify 0 into 0
20.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.546 * [backup-simplify]: Simplify 0 into 0
20.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.552 * [backup-simplify]: Simplify 0 into 0
20.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.555 * [backup-simplify]: Simplify 0 into 0
20.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.558 * [backup-simplify]: Simplify 0 into 0
20.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.561 * [backup-simplify]: Simplify 0 into 0
20.562 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
20.562 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
20.562 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
20.562 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.562 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.562 * [taylor]: Taking taylor expansion of d1 in d1
20.562 * [backup-simplify]: Simplify 0 into 0
20.562 * [backup-simplify]: Simplify 1 into 1
20.562 * [backup-simplify]: Simplify (* 1 1) into 1
20.563 * [backup-simplify]: Simplify (* 1 1) into 1
20.563 * [backup-simplify]: Simplify (* 1 1) into 1
20.563 * [backup-simplify]: Simplify (/ 1 1) into 1
20.563 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
20.563 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
20.563 * [taylor]: Taking taylor expansion of d1 in d1
20.563 * [backup-simplify]: Simplify 0 into 0
20.563 * [backup-simplify]: Simplify 1 into 1
20.564 * [backup-simplify]: Simplify (* 1 1) into 1
20.564 * [backup-simplify]: Simplify (* 1 1) into 1
20.564 * [backup-simplify]: Simplify (* 1 1) into 1
20.564 * [backup-simplify]: Simplify (/ 1 1) into 1
20.564 * [backup-simplify]: Simplify 1 into 1
20.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.566 * [backup-simplify]: Simplify 0 into 0
20.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.568 * [backup-simplify]: Simplify 0 into 0
20.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.571 * [backup-simplify]: Simplify 0 into 0
20.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.575 * [backup-simplify]: Simplify 0 into 0
20.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.580 * [backup-simplify]: Simplify 0 into 0
20.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.587 * [backup-simplify]: Simplify 0 into 0
20.588 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
20.588 * * * * [progress]: [ 2 / 3 ] generating series at (2)
20.589 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
20.589 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
20.589 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.589 * [taylor]: Taking taylor expansion of d1 in d1
20.589 * [backup-simplify]: Simplify 0 into 0
20.589 * [backup-simplify]: Simplify 1 into 1
20.589 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.589 * [taylor]: Taking taylor expansion of d1 in d1
20.589 * [backup-simplify]: Simplify 0 into 0
20.589 * [backup-simplify]: Simplify 1 into 1
20.589 * [backup-simplify]: Simplify (* 1 1) into 1
20.590 * [backup-simplify]: Simplify (* 1 1) into 1
20.590 * [backup-simplify]: Simplify (* 1 1) into 1
20.591 * [backup-simplify]: Simplify (* 1 1) into 1
20.591 * [backup-simplify]: Simplify 1 into 1
20.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.593 * [backup-simplify]: Simplify 0 into 0
20.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.598 * [backup-simplify]: Simplify 0 into 0
20.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.603 * [backup-simplify]: Simplify 0 into 0
20.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.608 * [backup-simplify]: Simplify 0 into 0
20.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.614 * [backup-simplify]: Simplify 0 into 0
20.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.622 * [backup-simplify]: Simplify 0 into 0
20.622 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
20.623 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
20.623 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
20.623 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.623 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.623 * [taylor]: Taking taylor expansion of d1 in d1
20.623 * [backup-simplify]: Simplify 0 into 0
20.623 * [backup-simplify]: Simplify 1 into 1
20.624 * [backup-simplify]: Simplify (* 1 1) into 1
20.624 * [backup-simplify]: Simplify (* 1 1) into 1
20.625 * [backup-simplify]: Simplify (* 1 1) into 1
20.625 * [backup-simplify]: Simplify (* 1 1) into 1
20.626 * [backup-simplify]: Simplify (/ 1 1) into 1
20.626 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.626 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.626 * [taylor]: Taking taylor expansion of d1 in d1
20.626 * [backup-simplify]: Simplify 0 into 0
20.626 * [backup-simplify]: Simplify 1 into 1
20.626 * [backup-simplify]: Simplify (* 1 1) into 1
20.626 * [backup-simplify]: Simplify (* 1 1) into 1
20.627 * [backup-simplify]: Simplify (* 1 1) into 1
20.627 * [backup-simplify]: Simplify (* 1 1) into 1
20.628 * [backup-simplify]: Simplify (/ 1 1) into 1
20.628 * [backup-simplify]: Simplify 1 into 1
20.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.630 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.630 * [backup-simplify]: Simplify 0 into 0
20.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.633 * [backup-simplify]: Simplify 0 into 0
20.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.636 * [backup-simplify]: Simplify 0 into 0
20.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.640 * [backup-simplify]: Simplify 0 into 0
20.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.644 * [backup-simplify]: Simplify 0 into 0
20.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.648 * [backup-simplify]: Simplify 0 into 0
20.648 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
20.649 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
20.649 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
20.649 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.649 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.649 * [taylor]: Taking taylor expansion of d1 in d1
20.649 * [backup-simplify]: Simplify 0 into 0
20.649 * [backup-simplify]: Simplify 1 into 1
20.649 * [backup-simplify]: Simplify (* 1 1) into 1
20.650 * [backup-simplify]: Simplify (* 1 1) into 1
20.650 * [backup-simplify]: Simplify (* 1 1) into 1
20.650 * [backup-simplify]: Simplify (* 1 1) into 1
20.650 * [backup-simplify]: Simplify (/ 1 1) into 1
20.650 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
20.650 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
20.650 * [taylor]: Taking taylor expansion of d1 in d1
20.650 * [backup-simplify]: Simplify 0 into 0
20.650 * [backup-simplify]: Simplify 1 into 1
20.651 * [backup-simplify]: Simplify (* 1 1) into 1
20.651 * [backup-simplify]: Simplify (* 1 1) into 1
20.651 * [backup-simplify]: Simplify (* 1 1) into 1
20.652 * [backup-simplify]: Simplify (* 1 1) into 1
20.652 * [backup-simplify]: Simplify (/ 1 1) into 1
20.652 * [backup-simplify]: Simplify 1 into 1
20.652 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.654 * [backup-simplify]: Simplify 0 into 0
20.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.657 * [backup-simplify]: Simplify 0 into 0
20.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.668 * [backup-simplify]: Simplify 0 into 0
20.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.675 * [backup-simplify]: Simplify 0 into 0
20.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.682 * [backup-simplify]: Simplify 0 into 0
20.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.686 * [backup-simplify]: Simplify 0 into 0
20.687 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
20.687 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
20.687 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
20.687 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
20.687 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.687 * [taylor]: Taking taylor expansion of d1 in d1
20.687 * [backup-simplify]: Simplify 0 into 0
20.687 * [backup-simplify]: Simplify 1 into 1
20.687 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.687 * [taylor]: Taking taylor expansion of d1 in d1
20.687 * [backup-simplify]: Simplify 0 into 0
20.687 * [backup-simplify]: Simplify 1 into 1
20.688 * [backup-simplify]: Simplify (* 1 1) into 1
20.688 * [backup-simplify]: Simplify (* 1 1) into 1
20.688 * [backup-simplify]: Simplify (* 1 1) into 1
20.688 * [backup-simplify]: Simplify (* 1 1) into 1
20.688 * [backup-simplify]: Simplify 1 into 1
20.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.690 * [backup-simplify]: Simplify 0 into 0
20.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.692 * [backup-simplify]: Simplify 0 into 0
20.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.695 * [backup-simplify]: Simplify 0 into 0
20.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.698 * [backup-simplify]: Simplify 0 into 0
20.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.702 * [backup-simplify]: Simplify 0 into 0
20.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.706 * [backup-simplify]: Simplify 0 into 0
20.706 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
20.707 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
20.707 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
20.707 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
20.707 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.707 * [taylor]: Taking taylor expansion of d1 in d1
20.707 * [backup-simplify]: Simplify 0 into 0
20.707 * [backup-simplify]: Simplify 1 into 1
20.707 * [backup-simplify]: Simplify (* 1 1) into 1
20.707 * [backup-simplify]: Simplify (* 1 1) into 1
20.707 * [backup-simplify]: Simplify (* 1 1) into 1
20.708 * [backup-simplify]: Simplify (* 1 1) into 1
20.708 * [backup-simplify]: Simplify (/ 1 1) into 1
20.708 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
20.708 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.708 * [taylor]: Taking taylor expansion of d1 in d1
20.708 * [backup-simplify]: Simplify 0 into 0
20.708 * [backup-simplify]: Simplify 1 into 1
20.708 * [backup-simplify]: Simplify (* 1 1) into 1
20.709 * [backup-simplify]: Simplify (* 1 1) into 1
20.709 * [backup-simplify]: Simplify (* 1 1) into 1
20.709 * [backup-simplify]: Simplify (* 1 1) into 1
20.709 * [backup-simplify]: Simplify (/ 1 1) into 1
20.709 * [backup-simplify]: Simplify 1 into 1
20.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.712 * [backup-simplify]: Simplify 0 into 0
20.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.716 * [backup-simplify]: Simplify 0 into 0
20.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.723 * [backup-simplify]: Simplify 0 into 0
20.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.730 * [backup-simplify]: Simplify 0 into 0
20.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.738 * [backup-simplify]: Simplify 0 into 0
20.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.743 * [backup-simplify]: Simplify 0 into 0
20.744 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
20.744 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
20.744 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
20.744 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
20.744 * [taylor]: Taking taylor expansion of -1 in d1
20.744 * [backup-simplify]: Simplify -1 into -1
20.744 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.744 * [taylor]: Taking taylor expansion of d1 in d1
20.744 * [backup-simplify]: Simplify 0 into 0
20.744 * [backup-simplify]: Simplify 1 into 1
20.745 * [backup-simplify]: Simplify (* 1 1) into 1
20.745 * [backup-simplify]: Simplify (* 1 1) into 1
20.745 * [backup-simplify]: Simplify (* 1 1) into 1
20.745 * [backup-simplify]: Simplify (* 1 1) into 1
20.746 * [backup-simplify]: Simplify (/ -1 1) into -1
20.746 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
20.746 * [taylor]: Taking taylor expansion of -1 in d1
20.746 * [backup-simplify]: Simplify -1 into -1
20.746 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
20.746 * [taylor]: Taking taylor expansion of d1 in d1
20.746 * [backup-simplify]: Simplify 0 into 0
20.746 * [backup-simplify]: Simplify 1 into 1
20.746 * [backup-simplify]: Simplify (* 1 1) into 1
20.746 * [backup-simplify]: Simplify (* 1 1) into 1
20.747 * [backup-simplify]: Simplify (* 1 1) into 1
20.747 * [backup-simplify]: Simplify (* 1 1) into 1
20.747 * [backup-simplify]: Simplify (/ -1 1) into -1
20.747 * [backup-simplify]: Simplify -1 into -1
20.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.749 * [backup-simplify]: Simplify 0 into 0
20.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
20.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.752 * [backup-simplify]: Simplify 0 into 0
20.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
20.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.756 * [backup-simplify]: Simplify 0 into 0
20.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
20.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.759 * [backup-simplify]: Simplify 0 into 0
20.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
20.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.763 * [backup-simplify]: Simplify 0 into 0
20.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
20.771 * [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
20.772 * [backup-simplify]: Simplify 0 into 0
20.772 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
20.772 * * * [progress]: simplifying candidates
20.772 * * * * [progress]: [ 1 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (posit16->real (real->posit16 (* (pow d1 7) d1)))) d1))>
20.772 * * * * [progress]: [ 2 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
20.772 * * * * [progress]: [ 3 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
20.772 * * * * [progress]: [ 4 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow (* (pow d1 7) d1) 1)) d1))>
20.772 * * * * [progress]: [ 5 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
20.772 * * * * [progress]: [ 6 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
20.772 * * * * [progress]: [ 7 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (log (pow d1 7)) (log d1)))) d1))>
20.772 * * * * [progress]: [ 8 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (log (* (pow d1 7) d1)))) d1))>
20.772 * * * * [progress]: [ 9 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log (exp (* (pow d1 7) d1)))) d1))>
20.772 * * * * [progress]: [ 10 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
20.772 * * * * [progress]: [ 11 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)))) d1))>
20.772 * * * * [progress]: [ 12 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
20.772 * * * * [progress]: [ 13 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)))) d1))>
20.773 * * * * [progress]: [ 14 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
20.773 * * * * [progress]: [ 15 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)))) d1))>
20.773 * * * * [progress]: [ 16 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)))) d1))>
20.773 * * * * [progress]: [ 17 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)))) d1))>
20.773 * * * * [progress]: [ 18 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (cbrt d1))) d1))>
20.773 * * * * [progress]: [ 19 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (sqrt d1)) (sqrt d1))) d1))>
20.773 * * * * [progress]: [ 20 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) 1) d1)) d1))>
20.773 * * * * [progress]: [ 21 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (cbrt d1) (cbrt d1)) 7) (* (pow (cbrt d1) 7) d1))) d1))>
20.773 * * * * [progress]: [ 22 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (sqrt d1) 7) (* (pow (sqrt d1) 7) d1))) d1))>
20.773 * * * * [progress]: [ 23 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow 1 7) (* (pow d1 7) d1))) d1))>
20.773 * * * * [progress]: [ 24 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (pow d1 7)) (cbrt (pow d1 7))) (* (cbrt (pow d1 7)) d1))) d1))>
20.773 * * * * [progress]: [ 25 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (pow d1 7)) (* (sqrt (pow d1 7)) d1))) d1))>
20.773 * * * * [progress]: [ 26 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
20.773 * * * * [progress]: [ 27 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (/ 7 2)) (* (pow d1 (/ 7 2)) d1))) d1))>
20.773 * * * * [progress]: [ 28 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* d1 (pow d1 7))) d1))>
20.773 * * * * [progress]: [ 29 / 86 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))>
20.773 * * * * [progress]: [ 30 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
20.773 * * * * [progress]: [ 31 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
20.773 * * * * [progress]: [ 32 / 86 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
20.773 * * * * [progress]: [ 33 / 86 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
20.773 * * * * [progress]: [ 34 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
20.773 * * * * [progress]: [ 35 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
20.773 * * * * [progress]: [ 36 / 86 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
20.773 * * * * [progress]: [ 37 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
20.773 * * * * [progress]: [ 38 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
20.774 * * * * [progress]: [ 39 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))))>
20.774 * * * * [progress]: [ 40 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))))>
20.774 * * * * [progress]: [ 41 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (* d1 (* (pow d1 7) d1))) (log d1))))>
20.774 * * * * [progress]: [ 42 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (* d1 (* (pow d1 7) d1)) d1))))>
20.774 * * * * [progress]: [ 43 / 86 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (* d1 (* (pow d1 7) d1)) d1))))>
20.774 * * * * [progress]: [ 44 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))))>
20.774 * * * * [progress]: [ 45 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
20.774 * * * * [progress]: [ 46 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
20.774 * * * * [progress]: [ 47 / 86 ] 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))))>
20.774 * * * * [progress]: [ 48 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))))>
20.774 * * * * [progress]: [ 49 / 86 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1))))>
20.774 * * * * [progress]: [ 50 / 86 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (* d1 (* (pow d1 7) d1)) d1)))>
20.774 * * * * [progress]: [ 51 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
20.774 * * * * [progress]: [ 52 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (sqrt d1)))>
20.774 * * * * [progress]: [ 53 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) 1) d1))>
20.774 * * * * [progress]: [ 54 / 86 ] simplifiying candidate #<alt (λ (d1) (* d1 (* (* (pow d1 7) d1) d1)))>
20.774 * * * * [progress]: [ 55 / 86 ] simplifiying candidate #<alt (λ (d1) (* d1 (* d1 (* (pow d1 7) d1))))>
20.774 * * * * [progress]: [ 56 / 86 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))>
20.774 * * * * [progress]: [ 57 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
20.774 * * * * [progress]: [ 58 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
20.774 * * * * [progress]: [ 59 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
20.774 * * * * [progress]: [ 60 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
20.774 * * * * [progress]: [ 61 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
20.774 * * * * [progress]: [ 62 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
20.774 * * * * [progress]: [ 63 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (pow d1 7)) (log d1)))) d1))>
20.774 * * * * [progress]: [ 64 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (pow d1 7) d1)))) d1))>
20.774 * * * * [progress]: [ 65 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (pow d1 7) d1)))) d1))>
20.774 * * * * [progress]: [ 66 / 86 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (pow d1 7) d1)))) d1))>
20.774 * * * * [progress]: [ 67 / 86 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
20.775 * * * * [progress]: [ 68 / 86 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
20.775 * * * * [progress]: [ 69 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1)))) d1))>
20.775 * * * * [progress]: [ 70 / 86 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))) d1))>
20.775 * * * * [progress]: [ 71 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1)))) d1))>
20.775 * * * * [progress]: [ 72 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
20.775 * * * * [progress]: [ 73 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (pow d1 7)) d1) d1))>
20.775 * * * * [progress]: [ 74 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (pow d1 7) d1))) d1))>
20.775 * * * * [progress]: [ 75 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (pow d1 7) d1))) d1))>
20.775 * * * * [progress]: [ 76 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
20.775 * * * * [progress]: [ 77 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* (pow d1 7) d1) d1) d1))>
20.775 * * * * [progress]: [ 78 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
20.775 * * * * [progress]: [ 79 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
20.775 * * * * [progress]: [ 80 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
20.775 * * * * [progress]: [ 81 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
20.775 * * * * [progress]: [ 82 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
20.775 * * * * [progress]: [ 83 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
20.775 * * * * [progress]: [ 84 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
20.775 * * * * [progress]: [ 85 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
20.775 * * * * [progress]: [ 86 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
20.776 * [simplify]: Simplifying:
  (real->posit16 (* (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 (* (* 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)))
  (+ 1 (+ 7 1))
  (+ 1 (+ 7 1))
  (* d1 (* (pow d1 7) d1))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (log (pow d1 7)) (log d1)))
  (+ (log d1) (log (* (pow d1 7) d1)))
  (log (* d1 (* (pow d1 7) d1)))
  (exp (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))
  (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1))))
  (cbrt (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (* d1 (pow d1 7))
  (* (cbrt d1) (* (pow d1 7) d1))
  (* (sqrt d1) (* (pow d1 7) d1))
  (* d1 (* (pow d1 7) d1))
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
20.777 * * [simplify]: iteration 0: 90 enodes
20.895 * * [simplify]: iteration 1: 239 enodes
21.211 * * [simplify]: iteration 2: 733 enodes
23.278 * * [simplify]: iteration 3: 3146 enodes
29.412 * * [simplify]: iteration complete: 5000 enodes
29.412 * * [simplify]: Extracting #0: cost 42 inf + 0
29.414 * * [simplify]: Extracting #1: cost 654 inf + 3
29.419 * * [simplify]: Extracting #2: cost 1253 inf + 17068
29.442 * * [simplify]: Extracting #3: cost 865 inf + 148848
29.492 * * [simplify]: Extracting #4: cost 340 inf + 363907
29.567 * * [simplify]: Extracting #5: cost 51 inf + 486360
29.677 * * [simplify]: Extracting #6: cost 0 inf + 508540
29.761 * * [simplify]: Extracting #7: cost 0 inf + 501869
29.845 * * [simplify]: Extracting #8: cost 0 inf + 501126
29.943 * * [simplify]: Extracting #9: cost 0 inf + 501024
30.012 * [simplify]: Simplified to:
  (real->posit16 (* (* (* 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))))
  (* (sqrt d1) (sqrt (pow d1 7)))
  (* (sqrt d1) (sqrt (pow d1 7)))
  (* (pow d1 7/2) (sqrt d1))
  (* (pow d1 7/2) (sqrt d1))
  (* (cbrt d1) (* (cbrt d1) (pow d1 7)))
  (* (pow d1 7) (sqrt d1))
  (pow d1 7)
  (* (pow (cbrt d1) 7) d1)
  (* d1 (pow (sqrt d1) 7))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* d1 (cbrt (pow d1 7)))
  (* (sqrt (pow d1 7)) d1)
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  (real->posit16 (* (* (* (* 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))))
  (* d1 (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (cbrt 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))))
  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)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
30.018 * * * [progress]: adding candidates to table
30.608 * * [progress]: iteration 3 / 4
30.608 * * * [progress]: picking best candidate
30.614 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
30.614 * * * [progress]: localizing error
30.619 * * * [progress]: generating rewritten candidates
30.619 * * * [progress]: generating series expansions
30.619 * * * [progress]: simplifying candidates
30.619 * [simplify]: Simplifying:
  
30.619 * * [simplify]: iteration 0: 0 enodes
30.619 * * [simplify]: iteration complete: 0 enodes
30.619 * * [simplify]: Extracting #0: cost 0 inf + 0
30.619 * [simplify]: Simplified to:
  
30.619 * * * [progress]: adding candidates to table
30.620 * [progress]: [Phase 3 of 3] Extracting.
30.634 * [simplify]: Simplifying:
  (pow d1 10)
30.634 * * [simplify]: iteration 0: 3 enodes
30.635 * * [simplify]: iteration complete: 3 enodes
30.635 * * [simplify]: Extracting #0: cost 1 inf + 0
30.635 * * [simplify]: Extracting #1: cost 3 inf + 0
30.635 * * [simplify]: Extracting #2: cost 1 inf + 2
30.635 * * [simplify]: Extracting #3: cost 0 inf + 214
30.635 * [simplify]: Simplified to:
  (pow d1 10)
33.153 * [regime-testing]: Baseline error score: 0
33.175 * [regime-testing]: Oracle error score: 0
33.175 * [regime-testing]: End program error score: 0
33.458 * [regime-testing]: Target error score: 0