26.310 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.059 * * * [progress]: [2/2] Setting up program.
0.064 * [progress]: [Phase 2 of 3] Improving.
0.064 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.064 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.064 * * [simplify]: iteration 1: (9 enodes)
0.068 * * [simplify]: iteration 2: (24 enodes)
0.078 * * [simplify]: iteration 3: (54 enodes)
0.108 * * [simplify]: iteration 4: (92 enodes)
0.172 * * [simplify]: iteration 5: (279 enodes)
0.335 * * [simplify]: iteration 6: (787 enodes)
2.037 * * [simplify]: Extracting #0: cost 1 inf + 0
2.038 * * [simplify]: Extracting #1: cost 119 inf + 0
2.042 * * [simplify]: Extracting #2: cost 437 inf + 2
2.047 * * [simplify]: Extracting #3: cost 414 inf + 7580
2.061 * * [simplify]: Extracting #4: cost 213 inf + 115396
2.085 * * [simplify]: Extracting #5: cost 18 inf + 228435
2.118 * * [simplify]: Extracting #6: cost 0 inf + 238322
2.163 * [simplify]: Simplified to:
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
2.171 * * [progress]: iteration 1 / 4
2.171 * * * [progress]: picking best candidate
2.178 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.178 * * * [progress]: localizing error
2.226 * * * [progress]: generating rewritten candidates
2.226 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1)
2.253 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
2.318 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
9.284 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
9.489 * * * [progress]: generating series expansions
9.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1)
9.489 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
9.489 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
9.489 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
9.489 * [taylor]: Taking taylor expansion of d1 in d1
9.489 * [backup-simplify]: Simplify 0 into 0
9.489 * [backup-simplify]: Simplify 1 into 1
9.489 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
9.489 * [taylor]: Taking taylor expansion of d1 in d1
9.489 * [backup-simplify]: Simplify 0 into 0
9.489 * [backup-simplify]: Simplify 1 into 1
9.490 * [backup-simplify]: Simplify (* 1 1) into 1
9.490 * [backup-simplify]: Simplify (* 1 1) into 1
9.490 * [backup-simplify]: Simplify 1 into 1
9.490 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.491 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.491 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.492 * [backup-simplify]: Simplify 0 into 0
9.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.493 * [backup-simplify]: Simplify 0 into 0
9.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.495 * [backup-simplify]: Simplify 0 into 0
9.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.496 * [backup-simplify]: Simplify 0 into 0
9.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.498 * [backup-simplify]: Simplify 0 into 0
9.498 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
9.498 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
9.498 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
9.498 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
9.498 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
9.498 * [taylor]: Taking taylor expansion of d1 in d1
9.498 * [backup-simplify]: Simplify 0 into 0
9.498 * [backup-simplify]: Simplify 1 into 1
9.498 * [backup-simplify]: Simplify (* 1 1) into 1
9.499 * [backup-simplify]: Simplify (* 1 1) into 1
9.499 * [backup-simplify]: Simplify (/ 1 1) into 1
9.499 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
9.499 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
9.499 * [taylor]: Taking taylor expansion of d1 in d1
9.499 * [backup-simplify]: Simplify 0 into 0
9.499 * [backup-simplify]: Simplify 1 into 1
9.499 * [backup-simplify]: Simplify (* 1 1) into 1
9.499 * [backup-simplify]: Simplify (* 1 1) into 1
9.500 * [backup-simplify]: Simplify (/ 1 1) into 1
9.500 * [backup-simplify]: Simplify 1 into 1
9.500 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.501 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.501 * [backup-simplify]: Simplify 0 into 0
9.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.503 * [backup-simplify]: Simplify 0 into 0
9.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.505 * [backup-simplify]: Simplify 0 into 0
9.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.507 * [backup-simplify]: Simplify 0 into 0
9.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.513 * [backup-simplify]: Simplify 0 into 0
9.513 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
9.513 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
9.513 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
9.513 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
9.513 * [taylor]: Taking taylor expansion of -1 in d1
9.513 * [backup-simplify]: Simplify -1 into -1
9.513 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
9.513 * [taylor]: Taking taylor expansion of d1 in d1
9.513 * [backup-simplify]: Simplify 0 into 0
9.513 * [backup-simplify]: Simplify 1 into 1
9.514 * [backup-simplify]: Simplify (* 1 1) into 1
9.514 * [backup-simplify]: Simplify (* 1 1) into 1
9.515 * [backup-simplify]: Simplify (/ -1 1) into -1
9.515 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
9.515 * [taylor]: Taking taylor expansion of -1 in d1
9.515 * [backup-simplify]: Simplify -1 into -1
9.515 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
9.515 * [taylor]: Taking taylor expansion of d1 in d1
9.515 * [backup-simplify]: Simplify 0 into 0
9.515 * [backup-simplify]: Simplify 1 into 1
9.515 * [backup-simplify]: Simplify (* 1 1) into 1
9.515 * [backup-simplify]: Simplify (* 1 1) into 1
9.516 * [backup-simplify]: Simplify (/ -1 1) into -1
9.516 * [backup-simplify]: Simplify -1 into -1
9.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.518 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.521 * [backup-simplify]: Simplify 0 into 0
9.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.524 * [backup-simplify]: Simplify 0 into 0
9.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.528 * [backup-simplify]: Simplify 0 into 0
9.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.532 * [backup-simplify]: Simplify 0 into 0
9.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.536 * [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
9.536 * [backup-simplify]: Simplify 0 into 0
9.536 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
9.536 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
9.536 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
9.536 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
9.536 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
9.536 * [taylor]: Taking taylor expansion of d1 in d1
9.536 * [backup-simplify]: Simplify 0 into 0
9.536 * [backup-simplify]: Simplify 1 into 1
9.536 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
9.536 * [taylor]: Taking taylor expansion of d1 in d1
9.537 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify 1 into 1
9.537 * [backup-simplify]: Simplify (* 1 1) into 1
9.537 * [backup-simplify]: Simplify (* 1 1) into 1
9.537 * [backup-simplify]: Simplify 1 into 1
9.538 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.539 * [backup-simplify]: Simplify 0 into 0
9.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.541 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.543 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.545 * [backup-simplify]: Simplify 0 into 0
9.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.548 * [backup-simplify]: Simplify 0 into 0
9.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.551 * [backup-simplify]: Simplify 0 into 0
9.551 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
9.551 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
9.551 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
9.551 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
9.551 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
9.551 * [taylor]: Taking taylor expansion of d1 in d1
9.551 * [backup-simplify]: Simplify 0 into 0
9.551 * [backup-simplify]: Simplify 1 into 1
9.551 * [backup-simplify]: Simplify (* 1 1) into 1
9.552 * [backup-simplify]: Simplify (* 1 1) into 1
9.552 * [backup-simplify]: Simplify (/ 1 1) into 1
9.552 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
9.552 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
9.552 * [taylor]: Taking taylor expansion of d1 in d1
9.552 * [backup-simplify]: Simplify 0 into 0
9.552 * [backup-simplify]: Simplify 1 into 1
9.552 * [backup-simplify]: Simplify (* 1 1) into 1
9.552 * [backup-simplify]: Simplify (* 1 1) into 1
9.553 * [backup-simplify]: Simplify (/ 1 1) into 1
9.553 * [backup-simplify]: Simplify 1 into 1
9.553 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.553 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.554 * [backup-simplify]: Simplify 0 into 0
9.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.555 * [backup-simplify]: Simplify 0 into 0
9.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.557 * [backup-simplify]: Simplify 0 into 0
9.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.559 * [backup-simplify]: Simplify 0 into 0
9.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.561 * [backup-simplify]: Simplify 0 into 0
9.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.563 * [backup-simplify]: Simplify 0 into 0
9.564 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
9.564 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
9.564 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
9.564 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
9.564 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
9.564 * [taylor]: Taking taylor expansion of d1 in d1
9.564 * [backup-simplify]: Simplify 0 into 0
9.564 * [backup-simplify]: Simplify 1 into 1
9.564 * [backup-simplify]: Simplify (* 1 1) into 1
9.564 * [backup-simplify]: Simplify (* 1 1) into 1
9.565 * [backup-simplify]: Simplify (/ 1 1) into 1
9.565 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
9.565 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
9.565 * [taylor]: Taking taylor expansion of d1 in d1
9.565 * [backup-simplify]: Simplify 0 into 0
9.565 * [backup-simplify]: Simplify 1 into 1
9.565 * [backup-simplify]: Simplify (* 1 1) into 1
9.565 * [backup-simplify]: Simplify (* 1 1) into 1
9.565 * [backup-simplify]: Simplify (/ 1 1) into 1
9.565 * [backup-simplify]: Simplify 1 into 1
9.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.567 * [backup-simplify]: Simplify 0 into 0
9.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.568 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.570 * [backup-simplify]: Simplify 0 into 0
9.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.572 * [backup-simplify]: Simplify 0 into 0
9.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.574 * [backup-simplify]: Simplify 0 into 0
9.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.584 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
9.584 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
9.584 * [backup-simplify]: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9)
9.584 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
9.584 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.584 * [taylor]: Taking taylor expansion of d1 in d1
9.584 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify 1 into 1
9.584 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.584 * [taylor]: Taking taylor expansion of d1 in d1
9.584 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify 1 into 1
9.585 * [backup-simplify]: Simplify (* 1 1) into 1
9.585 * [backup-simplify]: Simplify (* 1 1) into 1
9.586 * [backup-simplify]: Simplify (* 1 1) into 1
9.586 * [backup-simplify]: Simplify (* 1 1) into 1
9.586 * [backup-simplify]: Simplify 1 into 1
9.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.589 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.589 * [backup-simplify]: Simplify 0 into 0
9.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.592 * [backup-simplify]: Simplify 0 into 0
9.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.602 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.608 * [backup-simplify]: Simplify 0 into 0
9.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.614 * [backup-simplify]: Simplify 0 into 0
9.615 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
9.615 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9))
9.615 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
9.615 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
9.615 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.615 * [taylor]: Taking taylor expansion of d1 in d1
9.615 * [backup-simplify]: Simplify 0 into 0
9.615 * [backup-simplify]: Simplify 1 into 1
9.616 * [backup-simplify]: Simplify (* 1 1) into 1
9.616 * [backup-simplify]: Simplify (* 1 1) into 1
9.616 * [backup-simplify]: Simplify (* 1 1) into 1
9.617 * [backup-simplify]: Simplify (* 1 1) into 1
9.617 * [backup-simplify]: Simplify (/ 1 1) into 1
9.617 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
9.617 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.617 * [taylor]: Taking taylor expansion of d1 in d1
9.617 * [backup-simplify]: Simplify 0 into 0
9.617 * [backup-simplify]: Simplify 1 into 1
9.618 * [backup-simplify]: Simplify (* 1 1) into 1
9.618 * [backup-simplify]: Simplify (* 1 1) into 1
9.618 * [backup-simplify]: Simplify (* 1 1) into 1
9.619 * [backup-simplify]: Simplify (* 1 1) into 1
9.619 * [backup-simplify]: Simplify (/ 1 1) into 1
9.619 * [backup-simplify]: Simplify 1 into 1
9.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.623 * [backup-simplify]: Simplify 0 into 0
9.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.627 * [backup-simplify]: Simplify 0 into 0
9.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.633 * [backup-simplify]: Simplify 0 into 0
9.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.639 * [backup-simplify]: Simplify 0 into 0
9.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.653 * [backup-simplify]: Simplify 0 into 0
9.653 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
9.654 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
9.654 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
9.654 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
9.654 * [taylor]: Taking taylor expansion of -1 in d1
9.654 * [backup-simplify]: Simplify -1 into -1
9.655 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.655 * [taylor]: Taking taylor expansion of d1 in d1
9.655 * [backup-simplify]: Simplify 0 into 0
9.655 * [backup-simplify]: Simplify 1 into 1
9.655 * [backup-simplify]: Simplify (* 1 1) into 1
9.656 * [backup-simplify]: Simplify (* 1 1) into 1
9.656 * [backup-simplify]: Simplify (* 1 1) into 1
9.657 * [backup-simplify]: Simplify (* 1 1) into 1
9.657 * [backup-simplify]: Simplify (/ -1 1) into -1
9.657 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
9.657 * [taylor]: Taking taylor expansion of -1 in d1
9.657 * [backup-simplify]: Simplify -1 into -1
9.657 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.657 * [taylor]: Taking taylor expansion of d1 in d1
9.657 * [backup-simplify]: Simplify 0 into 0
9.657 * [backup-simplify]: Simplify 1 into 1
9.658 * [backup-simplify]: Simplify (* 1 1) into 1
9.658 * [backup-simplify]: Simplify (* 1 1) into 1
9.658 * [backup-simplify]: Simplify (* 1 1) into 1
9.659 * [backup-simplify]: Simplify (* 1 1) into 1
9.659 * [backup-simplify]: Simplify (/ -1 1) into -1
9.659 * [backup-simplify]: Simplify -1 into -1
9.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.663 * [backup-simplify]: Simplify 0 into 0
9.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.667 * [backup-simplify]: Simplify 0 into 0
9.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.673 * [backup-simplify]: Simplify 0 into 0
9.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.679 * [backup-simplify]: Simplify 0 into 0
9.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.685 * [backup-simplify]: Simplify 0 into 0
9.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.693 * [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
9.693 * [backup-simplify]: Simplify 0 into 0
9.693 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
9.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
9.693 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
9.694 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
9.694 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
9.694 * [taylor]: Taking taylor expansion of d1 in d1
9.694 * [backup-simplify]: Simplify 0 into 0
9.694 * [backup-simplify]: Simplify 1 into 1
9.694 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
9.694 * [taylor]: Taking taylor expansion of d1 in d1
9.694 * [backup-simplify]: Simplify 0 into 0
9.694 * [backup-simplify]: Simplify 1 into 1
9.694 * [backup-simplify]: Simplify (* 1 1) into 1
9.695 * [backup-simplify]: Simplify (* 1 1) into 1
9.695 * [backup-simplify]: Simplify (* 1 1) into 1
9.695 * [backup-simplify]: Simplify 1 into 1
9.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.697 * [backup-simplify]: Simplify 0 into 0
9.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.700 * [backup-simplify]: Simplify 0 into 0
9.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.703 * [backup-simplify]: Simplify 0 into 0
9.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.705 * [backup-simplify]: Simplify 0 into 0
9.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.707 * [backup-simplify]: Simplify 0 into 0
9.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.710 * [backup-simplify]: Simplify 0 into 0
9.710 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
9.710 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
9.710 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
9.710 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
9.710 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
9.710 * [taylor]: Taking taylor expansion of d1 in d1
9.710 * [backup-simplify]: Simplify 0 into 0
9.710 * [backup-simplify]: Simplify 1 into 1
9.711 * [backup-simplify]: Simplify (* 1 1) into 1
9.711 * [backup-simplify]: Simplify (* 1 1) into 1
9.711 * [backup-simplify]: Simplify (* 1 1) into 1
9.711 * [backup-simplify]: Simplify (/ 1 1) into 1
9.711 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
9.711 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
9.711 * [taylor]: Taking taylor expansion of d1 in d1
9.711 * [backup-simplify]: Simplify 0 into 0
9.711 * [backup-simplify]: Simplify 1 into 1
9.712 * [backup-simplify]: Simplify (* 1 1) into 1
9.712 * [backup-simplify]: Simplify (* 1 1) into 1
9.712 * [backup-simplify]: Simplify (* 1 1) into 1
9.712 * [backup-simplify]: Simplify (/ 1 1) into 1
9.712 * [backup-simplify]: Simplify 1 into 1
9.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.723 * [backup-simplify]: Simplify 0 into 0
9.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.725 * [backup-simplify]: Simplify 0 into 0
9.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.729 * [backup-simplify]: Simplify 0 into 0
9.729 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
9.729 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
9.729 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
9.729 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
9.729 * [taylor]: Taking taylor expansion of -1 in d1
9.729 * [backup-simplify]: Simplify -1 into -1
9.729 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
9.729 * [taylor]: Taking taylor expansion of d1 in d1
9.729 * [backup-simplify]: Simplify 0 into 0
9.729 * [backup-simplify]: Simplify 1 into 1
9.729 * [backup-simplify]: Simplify (* 1 1) into 1
9.730 * [backup-simplify]: Simplify (* 1 1) into 1
9.730 * [backup-simplify]: Simplify (* 1 1) into 1
9.730 * [backup-simplify]: Simplify (/ -1 1) into -1
9.730 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
9.730 * [taylor]: Taking taylor expansion of -1 in d1
9.730 * [backup-simplify]: Simplify -1 into -1
9.730 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
9.730 * [taylor]: Taking taylor expansion of d1 in d1
9.730 * [backup-simplify]: Simplify 0 into 0
9.730 * [backup-simplify]: Simplify 1 into 1
9.730 * [backup-simplify]: Simplify (* 1 1) into 1
9.731 * [backup-simplify]: Simplify (* 1 1) into 1
9.731 * [backup-simplify]: Simplify (* 1 1) into 1
9.731 * [backup-simplify]: Simplify (/ -1 1) into -1
9.731 * [backup-simplify]: Simplify -1 into -1
9.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.733 * [backup-simplify]: Simplify 0 into 0
9.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.735 * [backup-simplify]: Simplify 0 into 0
9.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.738 * [backup-simplify]: Simplify 0 into 0
9.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.741 * [backup-simplify]: Simplify 0 into 0
9.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.744 * [backup-simplify]: Simplify 0 into 0
9.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.747 * [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
9.747 * [backup-simplify]: Simplify 0 into 0
9.748 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
9.748 * * * [progress]: simplifying candidates
9.748 * * * * [progress]: [ 1 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 2 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 3 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 4 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 5 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 6 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 7 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 8 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 9 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 10 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 11 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 12 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 13 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 14 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 15 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 16 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 17 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 18 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 19 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 20 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
9.748 * * * * [progress]: [ 21 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 22 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 23 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 24 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 25 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 26 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 27 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 28 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 29 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 30 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 31 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 32 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 33 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 34 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 35 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 36 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 37 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 38 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 39 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 40 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 41 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 42 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 43 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 44 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 45 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
9.749 * * * * [progress]: [ 46 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 47 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 48 / 323 ] 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))>
9.750 * * * * [progress]: [ 49 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 50 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 51 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 52 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 53 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 54 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 55 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 56 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 57 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
9.750 * * * * [progress]: [ 58 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.750 * * * * [progress]: [ 59 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.750 * * * * [progress]: [ 60 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.750 * * * * [progress]: [ 61 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.750 * * * * [progress]: [ 62 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.750 * * * * [progress]: [ 63 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.750 * * * * [progress]: [ 64 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.750 * * * * [progress]: [ 65 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.750 * * * * [progress]: [ 66 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.750 * * * * [progress]: [ 67 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.750 * * * * [progress]: [ 68 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.750 * * * * [progress]: [ 69 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.751 * * * * [progress]: [ 70 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 71 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.751 * * * * [progress]: [ 72 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 73 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.751 * * * * [progress]: [ 74 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 75 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.751 * * * * [progress]: [ 76 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 77 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.751 * * * * [progress]: [ 78 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 79 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.751 * * * * [progress]: [ 80 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 81 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.751 * * * * [progress]: [ 82 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 83 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.751 * * * * [progress]: [ 84 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 85 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.751 * * * * [progress]: [ 86 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 87 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.751 * * * * [progress]: [ 88 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 89 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.751 * * * * [progress]: [ 90 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 91 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.751 * * * * [progress]: [ 92 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.751 * * * * [progress]: [ 93 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.752 * * * * [progress]: [ 94 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 95 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.752 * * * * [progress]: [ 96 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 97 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.752 * * * * [progress]: [ 98 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 99 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.752 * * * * [progress]: [ 100 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 101 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.752 * * * * [progress]: [ 102 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 103 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.752 * * * * [progress]: [ 104 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 105 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.752 * * * * [progress]: [ 106 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 107 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.752 * * * * [progress]: [ 108 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 109 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.752 * * * * [progress]: [ 110 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 111 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.752 * * * * [progress]: [ 112 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 113 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.752 * * * * [progress]: [ 114 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 115 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.752 * * * * [progress]: [ 116 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.752 * * * * [progress]: [ 117 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.753 * * * * [progress]: [ 118 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 119 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.753 * * * * [progress]: [ 120 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 121 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.753 * * * * [progress]: [ 122 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 123 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.753 * * * * [progress]: [ 124 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 125 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.753 * * * * [progress]: [ 126 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 127 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.753 * * * * [progress]: [ 128 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 129 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.753 * * * * [progress]: [ 130 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 131 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.753 * * * * [progress]: [ 132 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 133 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.753 * * * * [progress]: [ 134 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 135 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.753 * * * * [progress]: [ 136 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 137 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.753 * * * * [progress]: [ 138 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.753 * * * * [progress]: [ 139 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.754 * * * * [progress]: [ 140 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 141 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.754 * * * * [progress]: [ 142 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 143 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.754 * * * * [progress]: [ 144 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 145 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.754 * * * * [progress]: [ 146 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 147 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.754 * * * * [progress]: [ 148 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 149 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.754 * * * * [progress]: [ 150 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 151 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.754 * * * * [progress]: [ 152 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 153 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.754 * * * * [progress]: [ 154 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 155 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.754 * * * * [progress]: [ 156 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 157 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.754 * * * * [progress]: [ 158 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 159 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.754 * * * * [progress]: [ 160 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.754 * * * * [progress]: [ 161 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.754 * * * * [progress]: [ 162 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 163 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.755 * * * * [progress]: [ 164 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 165 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.755 * * * * [progress]: [ 166 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 167 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.755 * * * * [progress]: [ 168 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 169 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.755 * * * * [progress]: [ 170 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 171 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.755 * * * * [progress]: [ 172 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 173 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.755 * * * * [progress]: [ 174 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 175 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.755 * * * * [progress]: [ 176 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 177 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.755 * * * * [progress]: [ 178 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 179 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.755 * * * * [progress]: [ 180 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 181 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.755 * * * * [progress]: [ 182 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 183 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.755 * * * * [progress]: [ 184 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.755 * * * * [progress]: [ 185 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.756 * * * * [progress]: [ 186 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 187 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.756 * * * * [progress]: [ 188 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 189 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.756 * * * * [progress]: [ 190 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 191 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.756 * * * * [progress]: [ 192 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 193 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.756 * * * * [progress]: [ 194 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 195 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.756 * * * * [progress]: [ 196 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 197 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.756 * * * * [progress]: [ 198 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 199 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.756 * * * * [progress]: [ 200 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 201 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.756 * * * * [progress]: [ 202 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 203 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))) d1))>
9.756 * * * * [progress]: [ 204 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 205 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))) d1))>
9.756 * * * * [progress]: [ 206 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.756 * * * * [progress]: [ 207 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))) d1))>
9.756 * * * * [progress]: [ 208 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.757 * * * * [progress]: [ 209 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))) d1))>
9.757 * * * * [progress]: [ 210 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.757 * * * * [progress]: [ 211 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))) d1))>
9.757 * * * * [progress]: [ 212 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))) d1))>
9.757 * * * * [progress]: [ 213 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))) d1))>
9.757 * * * * [progress]: [ 214 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.757 * * * * [progress]: [ 215 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))) d1))>
9.757 * * * * [progress]: [ 216 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))) d1))>
9.757 * * * * [progress]: [ 217 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))) d1))>
9.757 * * * * [progress]: [ 218 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 219 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 220 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 221 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 222 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 223 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 224 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 225 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 226 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 227 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 228 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 229 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 230 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) d1))>
9.757 * * * * [progress]: [ 231 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 232 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 233 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 234 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 235 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 236 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 237 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 238 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 239 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 240 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 241 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))) d1))>
9.758 * * * * [progress]: [ 242 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.758 * * * * [progress]: [ 243 / 323 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.758 * * * * [progress]: [ 244 / 323 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.758 * * * * [progress]: [ 245 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 246 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 247 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 248 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 249 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 250 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 251 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
9.758 * * * * [progress]: [ 252 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
9.759 * * * * [progress]: [ 253 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))) d1))>
9.759 * * * * [progress]: [ 254 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
9.759 * * * * [progress]: [ 255 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))) d1))>
9.759 * * * * [progress]: [ 256 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.759 * * * * [progress]: [ 257 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.759 * * * * [progress]: [ 258 / 323 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.759 * * * * [progress]: [ 259 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.759 * * * * [progress]: [ 260 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
9.759 * * * * [progress]: [ 261 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1) d1))>
9.759 * * * * [progress]: [ 262 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
9.759 * * * * [progress]: [ 263 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
9.759 * * * * [progress]: [ 264 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) d1))>
9.759 * * * * [progress]: [ 265 / 323 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))>
9.759 * * * * [progress]: [ 266 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1) d1))>
9.759 * * * * [progress]: [ 267 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 268 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 269 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 270 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 271 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 272 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 273 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 274 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 275 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.759 * * * * [progress]: [ 276 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 277 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 278 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 279 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 280 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 281 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 282 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 283 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 284 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 285 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 286 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 287 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 288 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 289 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 290 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 291 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 292 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 293 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 294 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 295 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 296 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 297 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
9.760 * * * * [progress]: [ 298 / 323 ] 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))>
9.760 * * * * [progress]: [ 299 / 323 ] 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))>
9.760 * * * * [progress]: [ 300 / 323 ] 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))>
9.760 * * * * [progress]: [ 301 / 323 ] 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))>
9.761 * * * * [progress]: [ 302 / 323 ] 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))>
9.761 * * * * [progress]: [ 303 / 323 ] 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))>
9.761 * * * * [progress]: [ 304 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 305 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 306 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 307 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 308 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 309 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 310 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 311 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 312 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 313 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 314 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 315 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 316 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 317 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 318 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
9.761 * * * * [progress]: [ 319 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
9.761 * * * * [progress]: [ 320 / 323 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
9.761 * * * * [progress]: [ 321 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 322 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
9.761 * * * * [progress]: [ 323 / 323 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
9.764 * [simplify]: Simplifying:
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (+ (log d1) (+ (log d1) (log d1)))
  (+ (log d1) (log (* d1 d1)))
  (log (* d1 (* d1 d1)))
  (exp (* d1 (* d1 d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1))))
  (cbrt (* d1 (* d1 d1)))
  (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (sqrt (* d1 (* d1 d1)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (cbrt d1) (* d1 d1))
  (* (sqrt d1) (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* 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))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1))
  (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)))
  (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)))
  (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)))
  (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))))
  (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
  (real->posit16 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
9.767 * * [simplify]: iteration 1: (211 enodes)
9.888 * * [simplify]: iteration 2: (613 enodes)
10.235 * * [simplify]: iteration 3: (1502 enodes)
12.498 * * [simplify]: Extracting #0: cost 45 inf + 0
12.499 * * [simplify]: Extracting #1: cost 314 inf + 1012
12.514 * * [simplify]: Extracting #2: cost 583 inf + 15117
12.533 * * [simplify]: Extracting #3: cost 314 inf + 80393
12.598 * * [simplify]: Extracting #4: cost 40 inf + 186620
12.664 * * [simplify]: Extracting #5: cost 0 inf + 202039
12.720 * * [simplify]: Extracting #6: cost 0 inf + 201799
12.786 * [simplify]: Simplified to:
  3
  3
  3
  3
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* (* d1 d1) d1))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 d1)
  d1
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (* (cbrt d1) d1) d1)
  (* (* d1 d1) (sqrt d1))
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) d1))
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* (* d1 (* (cbrt d1) d1)) (* (cbrt d1) d1))
  (* (* d1 d1) (* d1 (sqrt d1)))
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  9
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (* 3 (* 3 (log d1)))
  (exp (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (* (* (* d1 d1) (* d1 d1)) (* d1 d1))
  (* (* d1 d1) d1)
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (cbrt d1))
  (* (* (sqrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  (real->posit16 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (+ (* 4 (log d1)) (log d1))
  (exp (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* d1 d1))))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* d1 d1))))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* d1 d1))))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* d1 d1))))
  (* (cbrt (* (* d1 d1) (* (* d1 d1) d1))) (cbrt (* (* d1 d1) (* (* d1 d1) d1))))
  (cbrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) d1)) (* (* (* d1 d1) (* (* d1 d1) d1)) (* d1 d1))))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (sqrt (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1)))
  (* (* (* d1 d1) (sqrt d1)) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* (* d1 d1) (* (* d1 d1) d1)))
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
  (* (* d1 d1) (* (* d1 d1) d1))
12.813 * * * [progress]: adding candidates to table
14.862 * * [progress]: iteration 2 / 4
14.862 * * * [progress]: picking best candidate
14.876 * * * * [pick]: Picked  #<alt (λ (d1) (* (pow d1 9) d1))>
14.876 * * * [progress]: localizing error
14.888 * * * [progress]: generating rewritten candidates
14.888 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
14.905 * * * [progress]: generating series expansions
14.906 * * * * [progress]: [ 1 / 1 ] generating series at (2)
14.906 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10)
14.906 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
14.906 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.906 * [taylor]: Taking taylor expansion of d1 in d1
14.906 * [backup-simplify]: Simplify 0 into 0
14.906 * [backup-simplify]: Simplify 1 into 1
14.906 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.906 * [taylor]: Taking taylor expansion of d1 in d1
14.906 * [backup-simplify]: Simplify 0 into 0
14.906 * [backup-simplify]: Simplify 1 into 1
14.907 * [backup-simplify]: Simplify (* 1 1) into 1
14.907 * [backup-simplify]: Simplify (* 1 1) into 1
14.907 * [backup-simplify]: Simplify (* 1 1) into 1
14.908 * [backup-simplify]: Simplify (* 1 1) into 1
14.908 * [backup-simplify]: Simplify 1 into 1
14.909 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.909 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.910 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.911 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.911 * [backup-simplify]: Simplify 0 into 0
14.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.914 * [backup-simplify]: Simplify 0 into 0
14.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.918 * [backup-simplify]: Simplify 0 into 0
14.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.923 * [backup-simplify]: Simplify 0 into 0
14.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.928 * [backup-simplify]: Simplify 0 into 0
14.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.931 * [backup-simplify]: Simplify 0 into 0
14.931 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
14.931 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10))
14.931 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
14.931 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.931 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.931 * [taylor]: Taking taylor expansion of d1 in d1
14.931 * [backup-simplify]: Simplify 0 into 0
14.931 * [backup-simplify]: Simplify 1 into 1
14.932 * [backup-simplify]: Simplify (* 1 1) into 1
14.932 * [backup-simplify]: Simplify (* 1 1) into 1
14.932 * [backup-simplify]: Simplify (* 1 1) into 1
14.932 * [backup-simplify]: Simplify (* 1 1) into 1
14.933 * [backup-simplify]: Simplify (/ 1 1) into 1
14.933 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.933 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.933 * [taylor]: Taking taylor expansion of d1 in d1
14.933 * [backup-simplify]: Simplify 0 into 0
14.933 * [backup-simplify]: Simplify 1 into 1
14.933 * [backup-simplify]: Simplify (* 1 1) into 1
14.933 * [backup-simplify]: Simplify (* 1 1) into 1
14.934 * [backup-simplify]: Simplify (* 1 1) into 1
14.934 * [backup-simplify]: Simplify (* 1 1) into 1
14.934 * [backup-simplify]: Simplify (/ 1 1) into 1
14.934 * [backup-simplify]: Simplify 1 into 1
14.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.936 * [backup-simplify]: Simplify 0 into 0
14.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.939 * [backup-simplify]: Simplify 0 into 0
14.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.945 * [backup-simplify]: Simplify 0 into 0
14.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.949 * [backup-simplify]: Simplify 0 into 0
14.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.952 * [backup-simplify]: Simplify 0 into 0
14.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.958 * [backup-simplify]: Simplify 0 into 0
14.959 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
14.959 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10))
14.959 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
14.959 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.959 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.959 * [taylor]: Taking taylor expansion of d1 in d1
14.959 * [backup-simplify]: Simplify 0 into 0
14.959 * [backup-simplify]: Simplify 1 into 1
14.959 * [backup-simplify]: Simplify (* 1 1) into 1
14.960 * [backup-simplify]: Simplify (* 1 1) into 1
14.960 * [backup-simplify]: Simplify (* 1 1) into 1
14.960 * [backup-simplify]: Simplify (* 1 1) into 1
14.961 * [backup-simplify]: Simplify (/ 1 1) into 1
14.961 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
14.961 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
14.961 * [taylor]: Taking taylor expansion of d1 in d1
14.961 * [backup-simplify]: Simplify 0 into 0
14.961 * [backup-simplify]: Simplify 1 into 1
14.961 * [backup-simplify]: Simplify (* 1 1) into 1
14.962 * [backup-simplify]: Simplify (* 1 1) into 1
14.962 * [backup-simplify]: Simplify (* 1 1) into 1
14.962 * [backup-simplify]: Simplify (* 1 1) into 1
14.963 * [backup-simplify]: Simplify (/ 1 1) into 1
14.963 * [backup-simplify]: Simplify 1 into 1
14.964 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.964 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.965 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.966 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.967 * [backup-simplify]: Simplify 0 into 0
14.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.971 * [backup-simplify]: Simplify 0 into 0
14.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.976 * [backup-simplify]: Simplify 0 into 0
14.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.981 * [backup-simplify]: Simplify 0 into 0
14.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.987 * [backup-simplify]: Simplify 0 into 0
14.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.994 * [backup-simplify]: Simplify 0 into 0
14.994 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
14.994 * * * [progress]: simplifying candidates
14.994 * * * * [progress]: [ 1 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
14.994 * * * * [progress]: [ 2 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ 9 1)))>
14.994 * * * * [progress]: [ 3 / 31 ] simplifiying candidate #<alt (λ (d1) (pow (* (pow d1 9) d1) 1))>
14.994 * * * * [progress]: [ 4 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
14.994 * * * * [progress]: [ 5 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (+ (* (log d1) 9) (log d1))))>
14.994 * * * * [progress]: [ 6 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (pow d1 9)) (log d1))))>
14.994 * * * * [progress]: [ 7 / 31 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (pow d1 9) d1))))>
14.994 * * * * [progress]: [ 8 / 31 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (pow d1 9) d1))))>
14.994 * * * * [progress]: [ 9 / 31 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))))>
14.994 * * * * [progress]: [ 10 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1))) (cbrt (* (pow d1 9) d1))))>
14.994 * * * * [progress]: [ 11 / 31 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))))>
14.995 * * * * [progress]: [ 12 / 31 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1))))>
14.995 * * * * [progress]: [ 13 / 31 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
14.995 * * * * [progress]: [ 14 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1))))>
14.995 * * * * [progress]: [ 15 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1))))>
14.995 * * * * [progress]: [ 16 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1))))>
14.995 * * * * [progress]: [ 17 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
14.995 * * * * [progress]: [ 18 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) (sqrt d1)) (sqrt d1)))>
14.995 * * * * [progress]: [ 19 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (pow d1 9) 1) d1))>
14.995 * * * * [progress]: [ 20 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow (* (cbrt d1) (cbrt d1)) 9) (* (pow (cbrt d1) 9) d1)))>
14.995 * * * * [progress]: [ 21 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow (sqrt d1) 9) (* (pow (sqrt d1) 9) d1)))>
14.995 * * * * [progress]: [ 22 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow 1 9) (* (pow d1 9) d1)))>
14.995 * * * * [progress]: [ 23 / 31 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) (* (cbrt (pow d1 9)) d1)))>
14.995 * * * * [progress]: [ 24 / 31 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (pow d1 9)) (* (sqrt (pow d1 9)) d1)))>
14.995 * * * * [progress]: [ 25 / 31 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (pow d1 9) d1)))>
14.995 * * * * [progress]: [ 26 / 31 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (/ 9 2)) (* (pow d1 (/ 9 2)) d1)))>
14.995 * * * * [progress]: [ 27 / 31 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (pow d1 9) d1))))>
14.995 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #<alt (λ (d1) (* d1 (pow d1 9)))>
14.995 * * * * [progress]: [ 29 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
14.995 * * * * [progress]: [ 30 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
14.995 * * * * [progress]: [ 31 / 31 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
14.996 * [simplify]: Simplifying:
  (+ 9 1)
  (+ 9 1)
  (+ (* (log d1) 9) (log d1))
  (+ (* (log d1) 9) (log d1))
  (+ (log (pow d1 9)) (log d1))
  (log (* (pow d1 9) d1))
  (exp (* (pow d1 9) d1))
  (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1)))
  (cbrt (* (pow d1 9) d1))
  (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (sqrt (* (pow d1 9) d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (pow (sqrt d1) 9) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (sqrt (pow d1 9)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 (/ 9 2)) (sqrt d1))
  (* (pow d1 9) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 9) (sqrt d1))
  (* (pow d1 9) 1)
  (* (pow (cbrt d1) 9) d1)
  (* (pow (sqrt d1) 9) d1)
  (* (pow d1 9) d1)
  (* (cbrt (pow d1 9)) d1)
  (* (sqrt (pow d1 9)) d1)
  (* (pow d1 9) d1)
  (* (pow d1 (/ 9 2)) d1)
  (real->posit16 (* (pow d1 9) d1))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
14.997 * * [simplify]: iteration 1: (47 enodes)
15.010 * * [simplify]: iteration 2: (110 enodes)
15.047 * * [simplify]: iteration 3: (308 enodes)
15.261 * * [simplify]: iteration 4: (1118 enodes)
17.732 * * [simplify]: Extracting #0: cost 20 inf + 0
17.739 * * [simplify]: Extracting #1: cost 329 inf + 1
17.747 * * [simplify]: Extracting #2: cost 952 inf + 8879
17.757 * * [simplify]: Extracting #3: cost 841 inf + 51805
17.778 * * [simplify]: Extracting #4: cost 344 inf + 320081
17.835 * * [simplify]: Extracting #5: cost 12 inf + 547523
17.892 * * [simplify]: Extracting #6: cost 0 inf + 556101
17.941 * [simplify]: Simplified to:
  10
  10
  (* (log d1) 10)
  (* (log d1) 10)
  (* (log d1) 10)
  (* (log d1) 10)
  (exp (pow d1 10))
  (* (* (pow d1 10) (pow d1 10)) (pow d1 10))
  (* (cbrt (pow d1 10)) (cbrt (pow d1 10)))
  (cbrt (pow d1 10))
  (* (* (pow d1 10) (pow d1 10)) (pow d1 10))
  (sqrt (pow d1 10))
  (sqrt (pow d1 10))
  (pow (sqrt d1) 10)
  (pow (sqrt d1) 10)
  (* (sqrt d1) (sqrt (pow d1 9)))
  (* (sqrt d1) (sqrt (pow d1 9)))
  (* (sqrt d1) (pow d1 9/2))
  (* (sqrt d1) (pow d1 9/2))
  (* (* (cbrt d1) (cbrt d1)) (pow d1 9))
  (* (sqrt d1) (pow d1 9))
  (pow d1 9)
  (* d1 (pow (cbrt d1) 9))
  (* (pow (sqrt d1) 9) d1)
  (pow d1 10)
  (* (cbrt (pow d1 9)) d1)
  (* d1 (sqrt (pow d1 9)))
  (pow d1 10)
  (pow d1 11/2)
  (real->posit16 (pow d1 10))
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
17.942 * * * [progress]: adding candidates to table
18.163 * * [progress]: iteration 3 / 4
18.163 * * * [progress]: picking best candidate
18.165 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
18.165 * * * [progress]: localizing error
18.170 * * * [progress]: generating rewritten candidates
18.170 * * * [progress]: generating series expansions
18.170 * * * [progress]: simplifying candidates
18.170 * [simplify]: Simplifying:
  
18.170 * * [simplify]: iteration 1: (0 enodes)
18.170 * * [simplify]: Extracting #0: cost 0 inf + 0
18.170 * [simplify]: Simplified to:
  
18.170 * * * [progress]: adding candidates to table
18.171 * [progress]: [Phase 3 of 3] Extracting.
18.174 * [simplify]: Simplifying:
  (pow d1 10)
18.174 * * [simplify]: iteration 1: (3 enodes)
18.174 * * [simplify]: Extracting #0: cost 1 inf + 0
18.175 * * [simplify]: Extracting #1: cost 3 inf + 0
18.175 * * [simplify]: Extracting #2: cost 1 inf + 2
18.175 * * [simplify]: Extracting #3: cost 0 inf + 214
18.175 * [simplify]: Simplified to:
  (pow d1 10)
20.497 * [regime-testing]: Baseline error score: 0
20.499 * [regime-testing]: Oracle error score: 0
20.500 * [regime-testing]: End program error score: 0
20.549 * [regime-testing]: Target error score: 0