0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.051 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.051 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.051 * * [simplify]: iteration 1: (9 enodes) 0.054 * * [simplify]: iteration 2: (42 enodes) 0.062 * * [simplify]: iteration 3: (75 enodes) 0.092 * * [simplify]: iteration 4: (129 enodes) 0.146 * * [simplify]: iteration 5: (431 enodes) 0.807 * * [simplify]: iteration 6: (1889 enodes) 8.258 * * [simplify]: Extracting #0: cost 1 inf + 0 8.259 * * [simplify]: Extracting #1: cost 304 inf + 0 8.267 * * [simplify]: Extracting #2: cost 1714 inf + 1050 8.286 * * [simplify]: Extracting #3: cost 1786 inf + 3793 8.315 * * [simplify]: Extracting #4: cost 1616 inf + 59568 8.384 * * [simplify]: Extracting #5: cost 1045 inf + 402346 8.616 * * [simplify]: Extracting #6: cost 108 inf + 1149201 8.837 * * [simplify]: Extracting #7: cost 0 inf + 1222392 9.142 * * [simplify]: Extracting #8: cost 0 inf + 1220472 9.413 * [simplify]: Simplified to: (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 9.419 * * [progress]: iteration 1 / 4 9.419 * * * [progress]: picking best candidate 9.423 * * * * [pick]: Picked # 9.424 * * * [progress]: localizing error 9.472 * * * [progress]: generating rewritten candidates 9.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 10.200 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1) 10.226 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 10.280 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 10.476 * * * [progress]: generating series expansions 10.476 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 10.476 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 10.476 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 10.476 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 10.476 * [taylor]: Taking taylor expansion of d1 in d1 10.476 * [backup-simplify]: Simplify 0 into 0 10.476 * [backup-simplify]: Simplify 1 into 1 10.476 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 10.476 * [taylor]: Taking taylor expansion of d1 in d1 10.476 * [backup-simplify]: Simplify 0 into 0 10.476 * [backup-simplify]: Simplify 1 into 1 10.477 * [backup-simplify]: Simplify (* 1 1) into 1 10.478 * [backup-simplify]: Simplify (* 1 1) into 1 10.478 * [backup-simplify]: Simplify (* 1 1) into 1 10.479 * [backup-simplify]: Simplify (* 1 1) into 1 10.479 * [backup-simplify]: Simplify 1 into 1 10.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.481 * [backup-simplify]: Simplify 0 into 0 10.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.485 * [backup-simplify]: Simplify 0 into 0 10.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.488 * [backup-simplify]: Simplify 0 into 0 10.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.492 * [backup-simplify]: Simplify 0 into 0 10.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.495 * [backup-simplify]: Simplify 0 into 0 10.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.499 * [backup-simplify]: Simplify 0 into 0 10.499 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 10.499 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 10.499 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 10.499 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 10.499 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 10.499 * [taylor]: Taking taylor expansion of d1 in d1 10.499 * [backup-simplify]: Simplify 0 into 0 10.499 * [backup-simplify]: Simplify 1 into 1 10.500 * [backup-simplify]: Simplify (* 1 1) into 1 10.500 * [backup-simplify]: Simplify (* 1 1) into 1 10.500 * [backup-simplify]: Simplify (* 1 1) into 1 10.500 * [backup-simplify]: Simplify (* 1 1) into 1 10.501 * [backup-simplify]: Simplify (/ 1 1) into 1 10.501 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 10.501 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 10.501 * [taylor]: Taking taylor expansion of d1 in d1 10.501 * [backup-simplify]: Simplify 0 into 0 10.501 * [backup-simplify]: Simplify 1 into 1 10.501 * [backup-simplify]: Simplify (* 1 1) into 1 10.501 * [backup-simplify]: Simplify (* 1 1) into 1 10.502 * [backup-simplify]: Simplify (* 1 1) into 1 10.502 * [backup-simplify]: Simplify (* 1 1) into 1 10.502 * [backup-simplify]: Simplify (/ 1 1) into 1 10.502 * [backup-simplify]: Simplify 1 into 1 10.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.504 * [backup-simplify]: Simplify 0 into 0 10.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.508 * [backup-simplify]: Simplify 0 into 0 10.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.511 * [backup-simplify]: Simplify 0 into 0 10.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.515 * [backup-simplify]: Simplify 0 into 0 10.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.522 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.530 * [backup-simplify]: Simplify 0 into 0 10.531 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 10.531 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 10.531 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 10.531 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 10.531 * [taylor]: Taking taylor expansion of -1 in d1 10.531 * [backup-simplify]: Simplify -1 into -1 10.531 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 10.531 * [taylor]: Taking taylor expansion of d1 in d1 10.531 * [backup-simplify]: Simplify 0 into 0 10.531 * [backup-simplify]: Simplify 1 into 1 10.532 * [backup-simplify]: Simplify (* 1 1) into 1 10.532 * [backup-simplify]: Simplify (* 1 1) into 1 10.532 * [backup-simplify]: Simplify (* 1 1) into 1 10.533 * [backup-simplify]: Simplify (* 1 1) into 1 10.533 * [backup-simplify]: Simplify (/ -1 1) into -1 10.533 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 10.533 * [taylor]: Taking taylor expansion of -1 in d1 10.533 * [backup-simplify]: Simplify -1 into -1 10.533 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 10.533 * [taylor]: Taking taylor expansion of d1 in d1 10.533 * [backup-simplify]: Simplify 0 into 0 10.533 * [backup-simplify]: Simplify 1 into 1 10.534 * [backup-simplify]: Simplify (* 1 1) into 1 10.534 * [backup-simplify]: Simplify (* 1 1) into 1 10.535 * [backup-simplify]: Simplify (* 1 1) into 1 10.535 * [backup-simplify]: Simplify (* 1 1) into 1 10.535 * [backup-simplify]: Simplify (/ -1 1) into -1 10.536 * [backup-simplify]: Simplify -1 into -1 10.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.537 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.538 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.538 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.539 * [backup-simplify]: Simplify 0 into 0 10.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.544 * [backup-simplify]: Simplify 0 into 0 10.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.550 * [backup-simplify]: Simplify 0 into 0 10.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.557 * [backup-simplify]: Simplify 0 into 0 10.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.570 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.576 * [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 10.576 * [backup-simplify]: Simplify 0 into 0 10.576 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 10.576 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1) 10.576 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 10.577 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 10.577 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 10.577 * [taylor]: Taking taylor expansion of d1 in d1 10.577 * [backup-simplify]: Simplify 0 into 0 10.577 * [backup-simplify]: Simplify 1 into 1 10.577 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 10.577 * [taylor]: Taking taylor expansion of d1 in d1 10.577 * [backup-simplify]: Simplify 0 into 0 10.577 * [backup-simplify]: Simplify 1 into 1 10.577 * [backup-simplify]: Simplify (* 1 1) into 1 10.577 * [backup-simplify]: Simplify (* 1 1) into 1 10.578 * [backup-simplify]: Simplify 1 into 1 10.578 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.578 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.578 * [backup-simplify]: Simplify 0 into 0 10.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.580 * [backup-simplify]: Simplify 0 into 0 10.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.581 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.582 * [backup-simplify]: Simplify 0 into 0 10.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.584 * [backup-simplify]: Simplify 0 into 0 10.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.586 * [backup-simplify]: Simplify 0 into 0 10.586 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 10.586 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 10.586 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 10.586 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 10.586 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 10.586 * [taylor]: Taking taylor expansion of d1 in d1 10.586 * [backup-simplify]: Simplify 0 into 0 10.586 * [backup-simplify]: Simplify 1 into 1 10.586 * [backup-simplify]: Simplify (* 1 1) into 1 10.587 * [backup-simplify]: Simplify (* 1 1) into 1 10.587 * [backup-simplify]: Simplify (/ 1 1) into 1 10.587 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 10.587 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 10.587 * [taylor]: Taking taylor expansion of d1 in d1 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify 1 into 1 10.587 * [backup-simplify]: Simplify (* 1 1) into 1 10.588 * [backup-simplify]: Simplify (* 1 1) into 1 10.588 * [backup-simplify]: Simplify (/ 1 1) into 1 10.588 * [backup-simplify]: Simplify 1 into 1 10.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.589 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.589 * [backup-simplify]: Simplify 0 into 0 10.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.591 * [backup-simplify]: Simplify 0 into 0 10.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.593 * [backup-simplify]: Simplify 0 into 0 10.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.595 * [backup-simplify]: Simplify 0 into 0 10.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.597 * [backup-simplify]: Simplify 0 into 0 10.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 10.600 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 10.600 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 10.600 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 10.600 * [taylor]: Taking taylor expansion of -1 in d1 10.600 * [backup-simplify]: Simplify -1 into -1 10.600 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 10.600 * [taylor]: Taking taylor expansion of d1 in d1 10.600 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify 1 into 1 10.601 * [backup-simplify]: Simplify (* 1 1) into 1 10.601 * [backup-simplify]: Simplify (* 1 1) into 1 10.601 * [backup-simplify]: Simplify (/ -1 1) into -1 10.601 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 10.601 * [taylor]: Taking taylor expansion of -1 in d1 10.601 * [backup-simplify]: Simplify -1 into -1 10.601 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 10.601 * [taylor]: Taking taylor expansion of d1 in d1 10.601 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify 1 into 1 10.601 * [backup-simplify]: Simplify (* 1 1) into 1 10.602 * [backup-simplify]: Simplify (* 1 1) into 1 10.602 * [backup-simplify]: Simplify (/ -1 1) into -1 10.602 * [backup-simplify]: Simplify -1 into -1 10.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.603 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.605 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.607 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.612 * [backup-simplify]: Simplify 0 into 0 10.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.614 * [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 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 10.615 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 10.615 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 10.615 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 10.615 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 10.615 * [taylor]: Taking taylor expansion of d1 in d1 10.615 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify 1 into 1 10.615 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 10.615 * [taylor]: Taking taylor expansion of d1 in d1 10.615 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify 1 into 1 10.615 * [backup-simplify]: Simplify (* 1 1) into 1 10.616 * [backup-simplify]: Simplify (* 1 1) into 1 10.616 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.617 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.617 * [backup-simplify]: Simplify 0 into 0 10.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.619 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.622 * [backup-simplify]: Simplify 0 into 0 10.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.624 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.628 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.631 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 10.632 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 10.632 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 10.632 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 10.632 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 10.632 * [taylor]: Taking taylor expansion of d1 in d1 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify 1 into 1 10.632 * [backup-simplify]: Simplify (* 1 1) into 1 10.633 * [backup-simplify]: Simplify (* 1 1) into 1 10.633 * [backup-simplify]: Simplify (/ 1 1) into 1 10.633 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 10.633 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 10.633 * [taylor]: Taking taylor expansion of d1 in d1 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify 1 into 1 10.634 * [backup-simplify]: Simplify (* 1 1) into 1 10.634 * [backup-simplify]: Simplify (* 1 1) into 1 10.635 * [backup-simplify]: Simplify (/ 1 1) into 1 10.635 * [backup-simplify]: Simplify 1 into 1 10.636 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.636 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.637 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.641 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.644 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.648 * [backup-simplify]: Simplify 0 into 0 10.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.652 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 10.657 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 10.657 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 10.657 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 10.657 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 10.657 * [taylor]: Taking taylor expansion of d1 in d1 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify 1 into 1 10.658 * [backup-simplify]: Simplify (* 1 1) into 1 10.658 * [backup-simplify]: Simplify (* 1 1) into 1 10.659 * [backup-simplify]: Simplify (/ 1 1) into 1 10.659 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 10.659 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 10.659 * [taylor]: Taking taylor expansion of d1 in d1 10.659 * [backup-simplify]: Simplify 0 into 0 10.659 * [backup-simplify]: Simplify 1 into 1 10.660 * [backup-simplify]: Simplify (* 1 1) into 1 10.660 * [backup-simplify]: Simplify (* 1 1) into 1 10.661 * [backup-simplify]: Simplify (/ 1 1) into 1 10.661 * [backup-simplify]: Simplify 1 into 1 10.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.663 * [backup-simplify]: Simplify 0 into 0 10.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.665 * [backup-simplify]: Simplify 0 into 0 10.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.667 * [backup-simplify]: Simplify 0 into 0 10.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.669 * [backup-simplify]: Simplify 0 into 0 10.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.671 * [backup-simplify]: Simplify 0 into 0 10.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.674 * [backup-simplify]: Simplify 0 into 0 10.674 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 10.674 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 10.674 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 10.674 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 10.674 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 10.674 * [taylor]: Taking taylor expansion of d1 in d1 10.674 * [backup-simplify]: Simplify 0 into 0 10.674 * [backup-simplify]: Simplify 1 into 1 10.674 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 10.674 * [taylor]: Taking taylor expansion of d1 in d1 10.674 * [backup-simplify]: Simplify 0 into 0 10.674 * [backup-simplify]: Simplify 1 into 1 10.675 * [backup-simplify]: Simplify (* 1 1) into 1 10.675 * [backup-simplify]: Simplify (* 1 1) into 1 10.675 * [backup-simplify]: Simplify (* 1 1) into 1 10.675 * [backup-simplify]: Simplify 1 into 1 10.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.678 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.678 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.680 * [backup-simplify]: Simplify 0 into 0 10.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.682 * [backup-simplify]: Simplify 0 into 0 10.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.684 * [backup-simplify]: Simplify 0 into 0 10.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.687 * [backup-simplify]: Simplify 0 into 0 10.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.690 * [backup-simplify]: Simplify 0 into 0 10.690 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 10.690 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 10.690 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 10.690 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 10.690 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 10.690 * [taylor]: Taking taylor expansion of d1 in d1 10.690 * [backup-simplify]: Simplify 0 into 0 10.690 * [backup-simplify]: Simplify 1 into 1 10.691 * [backup-simplify]: Simplify (* 1 1) into 1 10.691 * [backup-simplify]: Simplify (* 1 1) into 1 10.691 * [backup-simplify]: Simplify (* 1 1) into 1 10.692 * [backup-simplify]: Simplify (/ 1 1) into 1 10.692 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 10.692 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 10.692 * [taylor]: Taking taylor expansion of d1 in d1 10.692 * [backup-simplify]: Simplify 0 into 0 10.692 * [backup-simplify]: Simplify 1 into 1 10.692 * [backup-simplify]: Simplify (* 1 1) into 1 10.693 * [backup-simplify]: Simplify (* 1 1) into 1 10.693 * [backup-simplify]: Simplify (* 1 1) into 1 10.693 * [backup-simplify]: Simplify (/ 1 1) into 1 10.694 * [backup-simplify]: Simplify 1 into 1 10.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.697 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.701 * [backup-simplify]: Simplify 0 into 0 10.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.706 * [backup-simplify]: Simplify 0 into 0 10.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.711 * [backup-simplify]: Simplify 0 into 0 10.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.717 * [backup-simplify]: Simplify 0 into 0 10.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.723 * [backup-simplify]: Simplify 0 into 0 10.723 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 10.723 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 10.723 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 10.723 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 10.723 * [taylor]: Taking taylor expansion of -1 in d1 10.723 * [backup-simplify]: Simplify -1 into -1 10.723 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 10.723 * [taylor]: Taking taylor expansion of d1 in d1 10.723 * [backup-simplify]: Simplify 0 into 0 10.723 * [backup-simplify]: Simplify 1 into 1 10.724 * [backup-simplify]: Simplify (* 1 1) into 1 10.724 * [backup-simplify]: Simplify (* 1 1) into 1 10.725 * [backup-simplify]: Simplify (* 1 1) into 1 10.725 * [backup-simplify]: Simplify (/ -1 1) into -1 10.725 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 10.725 * [taylor]: Taking taylor expansion of -1 in d1 10.725 * [backup-simplify]: Simplify -1 into -1 10.725 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 10.725 * [taylor]: Taking taylor expansion of d1 in d1 10.725 * [backup-simplify]: Simplify 0 into 0 10.725 * [backup-simplify]: Simplify 1 into 1 10.726 * [backup-simplify]: Simplify (* 1 1) into 1 10.726 * [backup-simplify]: Simplify (* 1 1) into 1 10.726 * [backup-simplify]: Simplify (* 1 1) into 1 10.727 * [backup-simplify]: Simplify (/ -1 1) into -1 10.727 * [backup-simplify]: Simplify -1 into -1 10.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.730 * [backup-simplify]: Simplify 0 into 0 10.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.734 * [backup-simplify]: Simplify 0 into 0 10.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.739 * [backup-simplify]: Simplify 0 into 0 10.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.744 * [backup-simplify]: Simplify 0 into 0 10.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.750 * [backup-simplify]: Simplify 0 into 0 10.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.756 * [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 10.756 * [backup-simplify]: Simplify 0 into 0 10.756 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 10.756 * * * [progress]: simplifying candidates 10.756 * * * * [progress]: [ 1 / 243 ] simplifiying candidate # 10.756 * * * * [progress]: [ 2 / 243 ] simplifiying candidate # 10.756 * * * * [progress]: [ 3 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 4 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 5 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 6 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 7 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 8 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 9 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 10 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 11 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 12 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 13 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 14 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 15 / 243 ] simplifiying candidate # 10.757 * * * * [progress]: [ 16 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 17 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 18 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 19 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 20 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 21 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 22 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 23 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 24 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 25 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 26 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 27 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 28 / 243 ] simplifiying candidate # 10.758 * * * * [progress]: [ 29 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 30 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 31 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 32 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 33 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 34 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 35 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 36 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 37 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 38 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 39 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 40 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 41 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 42 / 243 ] simplifiying candidate # 10.759 * * * * [progress]: [ 43 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 44 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 45 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 46 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 47 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 48 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 49 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 50 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 51 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 52 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 53 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 54 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 55 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 56 / 243 ] simplifiying candidate # 10.760 * * * * [progress]: [ 57 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 58 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 59 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 60 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 61 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 62 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 63 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 64 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 65 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 66 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 67 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 68 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 69 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 70 / 243 ] simplifiying candidate # 10.761 * * * * [progress]: [ 71 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 72 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 73 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 74 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 75 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 76 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 77 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 78 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 79 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 80 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 81 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 82 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 83 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 84 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 85 / 243 ] simplifiying candidate # 10.762 * * * * [progress]: [ 86 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 87 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 88 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 89 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 90 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 91 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 92 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 93 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 94 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 95 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 96 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 97 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 98 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 99 / 243 ] simplifiying candidate # 10.763 * * * * [progress]: [ 100 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 101 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 102 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 103 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 104 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 105 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 106 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 107 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 108 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 109 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 110 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 111 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 112 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 113 / 243 ] simplifiying candidate # 10.764 * * * * [progress]: [ 114 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 115 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 116 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 117 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 118 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 119 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 120 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 121 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 122 / 243 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 10.765 * * * * [progress]: [ 123 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 124 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 125 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 126 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 127 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 128 / 243 ] simplifiying candidate # 10.765 * * * * [progress]: [ 129 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 130 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 131 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 132 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 133 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 134 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 135 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 136 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 137 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 138 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 139 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 140 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 141 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 142 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 143 / 243 ] simplifiying candidate # 10.766 * * * * [progress]: [ 144 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 145 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 146 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 147 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 148 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 149 / 243 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 10.767 * * * * [progress]: [ 150 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 151 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 152 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 153 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 154 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 155 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 156 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 157 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 158 / 243 ] simplifiying candidate # 10.767 * * * * [progress]: [ 159 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 160 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 161 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 162 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 163 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 164 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 165 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 166 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 167 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 168 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 169 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 170 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 171 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 172 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 173 / 243 ] simplifiying candidate # 10.768 * * * * [progress]: [ 174 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 175 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 176 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 177 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 178 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 179 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 180 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 181 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 182 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 183 / 243 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 10.769 * * * * [progress]: [ 184 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 185 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 186 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 187 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 188 / 243 ] simplifiying candidate # 10.769 * * * * [progress]: [ 189 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 190 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 191 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 192 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 193 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 194 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 195 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 196 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 197 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 198 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 199 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 200 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 201 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 202 / 243 ] simplifiying candidate # 10.770 * * * * [progress]: [ 203 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 204 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 205 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 206 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 207 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 208 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 209 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 210 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 211 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 212 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 213 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 214 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 215 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 216 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 217 / 243 ] simplifiying candidate # 10.771 * * * * [progress]: [ 218 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 219 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 220 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 221 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 222 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 223 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 224 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 225 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 226 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 227 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 228 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 229 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 230 / 243 ] simplifiying candidate #real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))> 10.772 * * * * [progress]: [ 231 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 232 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 233 / 243 ] simplifiying candidate # 10.772 * * * * [progress]: [ 234 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 235 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 236 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 237 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 238 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 239 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 240 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 241 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 242 / 243 ] simplifiying candidate # 10.773 * * * * [progress]: [ 243 / 243 ] simplifiying candidate # 10.776 * [simplify]: Simplifying: (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (expm1 (* (* d1 (* d1 d1)) d1)) (log1p (* (* d1 (* d1 d1)) d1)) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* d1 (* d1 d1)) d1)) (expm1 (* (* (* d1 (* d1 d1)) d1) d1)) (log1p (* (* (* d1 (* d1 d1)) d1) d1)) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* (* (* d1 (* d1 d1)) d1) d1)) (exp (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (* (* (* d1 (* d1 d1)) d1) 1) (* d1 d1) (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1)) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 5) (pow d1 5) (pow d1 5) 10.780 * * [simplify]: iteration 1: (139 enodes) 10.844 * * [simplify]: iteration 2: (520 enodes) 11.115 * * [simplify]: iteration 3: (1071 enodes) 12.076 * * [simplify]: Extracting #0: cost 64 inf + 0 12.077 * * [simplify]: Extracting #1: cost 318 inf + 123 12.081 * * [simplify]: Extracting #2: cost 434 inf + 10862 12.099 * * [simplify]: Extracting #3: cost 302 inf + 35031 12.123 * * [simplify]: Extracting #4: cost 73 inf + 112890 12.165 * * [simplify]: Extracting #5: cost 3 inf + 143504 12.197 * * [simplify]: Extracting #6: cost 0 inf + 144945 12.240 * [simplify]: Simplified to: (expm1 (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (log1p (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ (+ (+ 1 1) (+ 1 1)) (+ 1 2)) (+ 1 (+ (+ 1 2) (+ 1 2))) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (+ 3 (+ (+ 1 1) (+ 1 1))) (+ (+ 3 1) (+ 1 2)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (exp (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (* (cbrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (cbrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1)))) (cbrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) d1)) (sqrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (sqrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) d1) (real->posit16 (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))) (expm1 (* (* d1 d1) d1)) (log1p (* (* d1 d1) d1)) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 2) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (log d1) 3) (* (log d1) 3) (* (log d1) 3) (exp (* (* d1 d1) d1)) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1) d1 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* d1 d1) d1)) (sqrt (* (* d1 d1) d1)) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* (* d1 d1) d1) (real->posit16 (* (* d1 d1) d1)) (expm1 (* (* d1 d1) (* d1 d1))) (log1p (* (* d1 d1) (* d1 d1))) (+ (+ 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)) (+ 2 (+ 1 1)) (+ (+ 1 1) (+ 1 1)) (+ 2 (+ 1 1)) (+ 3 1) (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1)) (exp (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (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))) (expm1 (* (* (* d1 d1) (* d1 d1)) d1)) (log1p (* (* (* d1 d1) (* d1 d1)) d1)) (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 (+ 2 (+ 1 1))) (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 (+ 2 (+ 1 1))) (+ 1 (+ 3 1)) (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 (+ 2 (+ 1 1))) (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 (+ 2 (+ 1 1))) (+ 1 (+ 3 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 (+ 2 (+ 1 1))) (+ 1 (+ (+ 1 1) (+ 1 1))) (+ 1 (+ 2 (+ 1 1))) (+ 1 (+ 3 1)) (+ (fma 3 (log d1) (log d1)) (log d1)) (+ (fma 3 (log d1) (log d1)) (log d1)) (+ (fma 3 (log d1) (log d1)) (log d1)) (+ (fma 3 (log d1) (log d1)) (log d1)) (+ (fma 3 (log d1) (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) (* d1 d1)) (sqrt d1)) (* (* d1 d1) (* d1 d1)) (* d1 d1) (real->posit16 (* (* (* d1 d1) (* d1 d1)) d1)) (pow d1 7) (pow d1 7) (pow d1 7) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (* d1 d1) d1) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 5) (pow d1 5) (pow d1 5) 12.255 * * * [progress]: adding candidates to table 14.619 * * [progress]: iteration 2 / 4 14.619 * * * [progress]: picking best candidate 14.637 * * * * [pick]: Picked # 14.638 * * * [progress]: localizing error 14.690 * * * [progress]: generating rewritten candidates 14.691 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 14.751 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 14.769 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 14.892 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 15.224 * * * [progress]: generating series expansions 15.224 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 15.224 * [backup-simplify]: Simplify (* (* (pow d1 4) d1) (* d1 d1)) into (pow d1 7) 15.224 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 15.224 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 15.224 * [taylor]: Taking taylor expansion of d1 in d1 15.224 * [backup-simplify]: Simplify 0 into 0 15.225 * [backup-simplify]: Simplify 1 into 1 15.225 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 15.225 * [taylor]: Taking taylor expansion of d1 in d1 15.225 * [backup-simplify]: Simplify 0 into 0 15.225 * [backup-simplify]: Simplify 1 into 1 15.226 * [backup-simplify]: Simplify (* 1 1) into 1 15.226 * [backup-simplify]: Simplify (* 1 1) into 1 15.227 * [backup-simplify]: Simplify (* 1 1) into 1 15.227 * [backup-simplify]: Simplify (* 1 1) into 1 15.227 * [backup-simplify]: Simplify 1 into 1 15.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.230 * [backup-simplify]: Simplify 0 into 0 15.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.235 * [backup-simplify]: Simplify 0 into 0 15.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.240 * [backup-simplify]: Simplify 0 into 0 15.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.246 * [backup-simplify]: Simplify 0 into 0 15.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.252 * [backup-simplify]: Simplify 0 into 0 15.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.259 * [backup-simplify]: Simplify 0 into 0 15.259 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 15.259 * [backup-simplify]: Simplify (* (* (pow (/ 1 d1) 4) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 15.259 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 15.259 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 15.259 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 15.259 * [taylor]: Taking taylor expansion of d1 in d1 15.259 * [backup-simplify]: Simplify 0 into 0 15.259 * [backup-simplify]: Simplify 1 into 1 15.260 * [backup-simplify]: Simplify (* 1 1) into 1 15.260 * [backup-simplify]: Simplify (* 1 1) into 1 15.260 * [backup-simplify]: Simplify (* 1 1) into 1 15.261 * [backup-simplify]: Simplify (* 1 1) into 1 15.261 * [backup-simplify]: Simplify (/ 1 1) into 1 15.261 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 15.261 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 15.261 * [taylor]: Taking taylor expansion of d1 in d1 15.261 * [backup-simplify]: Simplify 0 into 0 15.261 * [backup-simplify]: Simplify 1 into 1 15.262 * [backup-simplify]: Simplify (* 1 1) into 1 15.262 * [backup-simplify]: Simplify (* 1 1) into 1 15.266 * [backup-simplify]: Simplify (* 1 1) into 1 15.266 * [backup-simplify]: Simplify (* 1 1) into 1 15.267 * [backup-simplify]: Simplify (/ 1 1) into 1 15.267 * [backup-simplify]: Simplify 1 into 1 15.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.271 * [backup-simplify]: Simplify 0 into 0 15.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.276 * [backup-simplify]: Simplify 0 into 0 15.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.282 * [backup-simplify]: Simplify 0 into 0 15.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.288 * [backup-simplify]: Simplify 0 into 0 15.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.295 * [backup-simplify]: Simplify 0 into 0 15.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.300 * [backup-simplify]: Simplify 0 into 0 15.300 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 15.300 * [backup-simplify]: Simplify (* (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 15.300 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 15.300 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 15.300 * [taylor]: Taking taylor expansion of -1 in d1 15.300 * [backup-simplify]: Simplify -1 into -1 15.300 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 15.300 * [taylor]: Taking taylor expansion of d1 in d1 15.300 * [backup-simplify]: Simplify 0 into 0 15.300 * [backup-simplify]: Simplify 1 into 1 15.300 * [backup-simplify]: Simplify (* 1 1) into 1 15.301 * [backup-simplify]: Simplify (* 1 1) into 1 15.301 * [backup-simplify]: Simplify (* 1 1) into 1 15.301 * [backup-simplify]: Simplify (* 1 1) into 1 15.301 * [backup-simplify]: Simplify (/ -1 1) into -1 15.301 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 15.301 * [taylor]: Taking taylor expansion of -1 in d1 15.301 * [backup-simplify]: Simplify -1 into -1 15.301 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 15.301 * [taylor]: Taking taylor expansion of d1 in d1 15.301 * [backup-simplify]: Simplify 0 into 0 15.301 * [backup-simplify]: Simplify 1 into 1 15.302 * [backup-simplify]: Simplify (* 1 1) into 1 15.302 * [backup-simplify]: Simplify (* 1 1) into 1 15.302 * [backup-simplify]: Simplify (* 1 1) into 1 15.302 * [backup-simplify]: Simplify (* 1 1) into 1 15.303 * [backup-simplify]: Simplify (/ -1 1) into -1 15.303 * [backup-simplify]: Simplify -1 into -1 15.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.304 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.304 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 15.305 * [backup-simplify]: Simplify 0 into 0 15.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.308 * [backup-simplify]: Simplify 0 into 0 15.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.311 * [backup-simplify]: Simplify 0 into 0 15.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.315 * [backup-simplify]: Simplify 0 into 0 15.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.319 * [backup-simplify]: Simplify 0 into 0 15.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.324 * [backup-simplify]: Simplify 0 into 0 15.324 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 15.324 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 15.324 * [backup-simplify]: Simplify (* (pow d1 4) d1) into (pow d1 5) 15.324 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 15.324 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 15.324 * [taylor]: Taking taylor expansion of d1 in d1 15.324 * [backup-simplify]: Simplify 0 into 0 15.324 * [backup-simplify]: Simplify 1 into 1 15.324 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 15.324 * [taylor]: Taking taylor expansion of d1 in d1 15.324 * [backup-simplify]: Simplify 0 into 0 15.324 * [backup-simplify]: Simplify 1 into 1 15.324 * [backup-simplify]: Simplify (* 1 1) into 1 15.325 * [backup-simplify]: Simplify (* 1 1) into 1 15.325 * [backup-simplify]: Simplify (* 1 1) into 1 15.325 * [backup-simplify]: Simplify 1 into 1 15.325 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.326 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.326 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.326 * [backup-simplify]: Simplify 0 into 0 15.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.328 * [backup-simplify]: Simplify 0 into 0 15.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.330 * [backup-simplify]: Simplify 0 into 0 15.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.332 * [backup-simplify]: Simplify 0 into 0 15.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.335 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 15.338 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 4) (/ 1 d1)) into (/ 1 (pow d1 5)) 15.338 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 15.338 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 15.338 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 15.338 * [taylor]: Taking taylor expansion of d1 in d1 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 1 into 1 15.339 * [backup-simplify]: Simplify (* 1 1) into 1 15.339 * [backup-simplify]: Simplify (* 1 1) into 1 15.339 * [backup-simplify]: Simplify (* 1 1) into 1 15.339 * [backup-simplify]: Simplify (/ 1 1) into 1 15.339 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 15.339 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 15.339 * [taylor]: Taking taylor expansion of d1 in d1 15.339 * [backup-simplify]: Simplify 0 into 0 15.339 * [backup-simplify]: Simplify 1 into 1 15.340 * [backup-simplify]: Simplify (* 1 1) into 1 15.340 * [backup-simplify]: Simplify (* 1 1) into 1 15.340 * [backup-simplify]: Simplify (* 1 1) into 1 15.340 * [backup-simplify]: Simplify (/ 1 1) into 1 15.341 * [backup-simplify]: Simplify 1 into 1 15.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.342 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.342 * [backup-simplify]: Simplify 0 into 0 15.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.345 * [backup-simplify]: Simplify 0 into 0 15.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.347 * [backup-simplify]: Simplify 0 into 0 15.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.351 * [backup-simplify]: Simplify 0 into 0 15.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.354 * [backup-simplify]: Simplify 0 into 0 15.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.358 * [backup-simplify]: Simplify 0 into 0 15.358 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 15.358 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 15.358 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 15.358 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 15.358 * [taylor]: Taking taylor expansion of -1 in d1 15.358 * [backup-simplify]: Simplify -1 into -1 15.358 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 15.358 * [taylor]: Taking taylor expansion of d1 in d1 15.358 * [backup-simplify]: Simplify 0 into 0 15.358 * [backup-simplify]: Simplify 1 into 1 15.358 * [backup-simplify]: Simplify (* 1 1) into 1 15.359 * [backup-simplify]: Simplify (* 1 1) into 1 15.359 * [backup-simplify]: Simplify (* 1 1) into 1 15.359 * [backup-simplify]: Simplify (/ -1 1) into -1 15.360 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 15.360 * [taylor]: Taking taylor expansion of -1 in d1 15.360 * [backup-simplify]: Simplify -1 into -1 15.360 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 15.360 * [taylor]: Taking taylor expansion of d1 in d1 15.360 * [backup-simplify]: Simplify 0 into 0 15.360 * [backup-simplify]: Simplify 1 into 1 15.360 * [backup-simplify]: Simplify (* 1 1) into 1 15.360 * [backup-simplify]: Simplify (* 1 1) into 1 15.361 * [backup-simplify]: Simplify (* 1 1) into 1 15.361 * [backup-simplify]: Simplify (/ -1 1) into -1 15.361 * [backup-simplify]: Simplify -1 into -1 15.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 15.364 * [backup-simplify]: Simplify 0 into 0 15.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.368 * [backup-simplify]: Simplify 0 into 0 15.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.375 * [backup-simplify]: Simplify 0 into 0 15.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.380 * [backup-simplify]: Simplify 0 into 0 15.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.386 * [backup-simplify]: Simplify 0 into 0 15.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.393 * [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 15.393 * [backup-simplify]: Simplify 0 into 0 15.393 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 15.393 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 15.393 * [backup-simplify]: Simplify (* (* (* (pow d1 4) d1) (* d1 d1)) d1) into (pow d1 8) 15.393 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 15.393 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 15.393 * [taylor]: Taking taylor expansion of d1 in d1 15.393 * [backup-simplify]: Simplify 0 into 0 15.393 * [backup-simplify]: Simplify 1 into 1 15.393 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 15.393 * [taylor]: Taking taylor expansion of d1 in d1 15.393 * [backup-simplify]: Simplify 0 into 0 15.394 * [backup-simplify]: Simplify 1 into 1 15.394 * [backup-simplify]: Simplify (* 1 1) into 1 15.394 * [backup-simplify]: Simplify (* 1 1) into 1 15.395 * [backup-simplify]: Simplify (* 1 1) into 1 15.395 * [backup-simplify]: Simplify 1 into 1 15.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.396 * [backup-simplify]: Simplify 0 into 0 15.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.398 * [backup-simplify]: Simplify 0 into 0 15.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.400 * [backup-simplify]: Simplify 0 into 0 15.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.403 * [backup-simplify]: Simplify 0 into 0 15.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.407 * [backup-simplify]: Simplify 0 into 0 15.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.411 * [backup-simplify]: Simplify 0 into 0 15.412 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 15.412 * [backup-simplify]: Simplify (* (* (* (pow (/ 1 d1) 4) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 15.412 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 15.412 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 15.412 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 15.412 * [taylor]: Taking taylor expansion of d1 in d1 15.412 * [backup-simplify]: Simplify 0 into 0 15.412 * [backup-simplify]: Simplify 1 into 1 15.412 * [backup-simplify]: Simplify (* 1 1) into 1 15.413 * [backup-simplify]: Simplify (* 1 1) into 1 15.413 * [backup-simplify]: Simplify (* 1 1) into 1 15.413 * [backup-simplify]: Simplify (/ 1 1) into 1 15.413 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 15.414 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 15.414 * [taylor]: Taking taylor expansion of d1 in d1 15.414 * [backup-simplify]: Simplify 0 into 0 15.414 * [backup-simplify]: Simplify 1 into 1 15.414 * [backup-simplify]: Simplify (* 1 1) into 1 15.414 * [backup-simplify]: Simplify (* 1 1) into 1 15.415 * [backup-simplify]: Simplify (* 1 1) into 1 15.415 * [backup-simplify]: Simplify (/ 1 1) into 1 15.415 * [backup-simplify]: Simplify 1 into 1 15.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.416 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.417 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.418 * [backup-simplify]: Simplify 0 into 0 15.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.421 * [backup-simplify]: Simplify 0 into 0 15.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.424 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.427 * [backup-simplify]: Simplify 0 into 0 15.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.430 * [backup-simplify]: Simplify 0 into 0 15.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.433 * [backup-simplify]: Simplify 0 into 0 15.433 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 15.434 * [backup-simplify]: Simplify (* (* (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 15.434 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 15.434 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 15.434 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 15.434 * [taylor]: Taking taylor expansion of d1 in d1 15.434 * [backup-simplify]: Simplify 0 into 0 15.434 * [backup-simplify]: Simplify 1 into 1 15.434 * [backup-simplify]: Simplify (* 1 1) into 1 15.434 * [backup-simplify]: Simplify (* 1 1) into 1 15.435 * [backup-simplify]: Simplify (* 1 1) into 1 15.435 * [backup-simplify]: Simplify (/ 1 1) into 1 15.435 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 15.435 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 15.435 * [taylor]: Taking taylor expansion of d1 in d1 15.435 * [backup-simplify]: Simplify 0 into 0 15.435 * [backup-simplify]: Simplify 1 into 1 15.435 * [backup-simplify]: Simplify (* 1 1) into 1 15.435 * [backup-simplify]: Simplify (* 1 1) into 1 15.436 * [backup-simplify]: Simplify (* 1 1) into 1 15.436 * [backup-simplify]: Simplify (/ 1 1) into 1 15.436 * [backup-simplify]: Simplify 1 into 1 15.436 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.438 * [backup-simplify]: Simplify 0 into 0 15.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.440 * [backup-simplify]: Simplify 0 into 0 15.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.442 * [backup-simplify]: Simplify 0 into 0 15.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.445 * [backup-simplify]: Simplify 0 into 0 15.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.448 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.452 * [backup-simplify]: Simplify 0 into 0 15.452 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 15.452 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 15.452 * [backup-simplify]: Simplify (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) into (pow d1 9) 15.452 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 15.452 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 15.452 * [taylor]: Taking taylor expansion of d1 in d1 15.452 * [backup-simplify]: Simplify 0 into 0 15.452 * [backup-simplify]: Simplify 1 into 1 15.452 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 15.452 * [taylor]: Taking taylor expansion of d1 in d1 15.452 * [backup-simplify]: Simplify 0 into 0 15.452 * [backup-simplify]: Simplify 1 into 1 15.453 * [backup-simplify]: Simplify (* 1 1) into 1 15.453 * [backup-simplify]: Simplify (* 1 1) into 1 15.453 * [backup-simplify]: Simplify (* 1 1) into 1 15.453 * [backup-simplify]: Simplify (* 1 1) into 1 15.453 * [backup-simplify]: Simplify 1 into 1 15.454 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.454 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.455 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.455 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.455 * [backup-simplify]: Simplify 0 into 0 15.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.459 * [backup-simplify]: Simplify 0 into 0 15.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.463 * [backup-simplify]: Simplify 0 into 0 15.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.467 * [backup-simplify]: Simplify 0 into 0 15.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.473 * [backup-simplify]: Simplify 0 into 0 15.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.477 * [backup-simplify]: Simplify 0 into 0 15.477 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 15.477 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (pow (/ 1 d1) 4) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9)) 15.477 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 15.477 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 15.477 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 15.477 * [taylor]: Taking taylor expansion of d1 in d1 15.477 * [backup-simplify]: Simplify 0 into 0 15.477 * [backup-simplify]: Simplify 1 into 1 15.477 * [backup-simplify]: Simplify (* 1 1) into 1 15.478 * [backup-simplify]: Simplify (* 1 1) into 1 15.478 * [backup-simplify]: Simplify (* 1 1) into 1 15.478 * [backup-simplify]: Simplify (* 1 1) into 1 15.478 * [backup-simplify]: Simplify (/ 1 1) into 1 15.478 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 15.478 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 15.478 * [taylor]: Taking taylor expansion of d1 in d1 15.479 * [backup-simplify]: Simplify 0 into 0 15.479 * [backup-simplify]: Simplify 1 into 1 15.479 * [backup-simplify]: Simplify (* 1 1) into 1 15.479 * [backup-simplify]: Simplify (* 1 1) into 1 15.479 * [backup-simplify]: Simplify (* 1 1) into 1 15.479 * [backup-simplify]: Simplify (* 1 1) into 1 15.480 * [backup-simplify]: Simplify (/ 1 1) into 1 15.480 * [backup-simplify]: Simplify 1 into 1 15.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.482 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.482 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.483 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.483 * [backup-simplify]: Simplify 0 into 0 15.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.486 * [backup-simplify]: Simplify 0 into 0 15.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.489 * [backup-simplify]: Simplify 0 into 0 15.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.493 * [backup-simplify]: Simplify 0 into 0 15.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.497 * [backup-simplify]: Simplify 0 into 0 15.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.502 * [backup-simplify]: Simplify 0 into 0 15.502 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 15.502 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 15.502 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 15.502 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 15.502 * [taylor]: Taking taylor expansion of -1 in d1 15.502 * [backup-simplify]: Simplify -1 into -1 15.502 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 15.502 * [taylor]: Taking taylor expansion of d1 in d1 15.502 * [backup-simplify]: Simplify 0 into 0 15.502 * [backup-simplify]: Simplify 1 into 1 15.502 * [backup-simplify]: Simplify (* 1 1) into 1 15.503 * [backup-simplify]: Simplify (* 1 1) into 1 15.503 * [backup-simplify]: Simplify (* 1 1) into 1 15.503 * [backup-simplify]: Simplify (* 1 1) into 1 15.504 * [backup-simplify]: Simplify (/ -1 1) into -1 15.504 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 15.504 * [taylor]: Taking taylor expansion of -1 in d1 15.504 * [backup-simplify]: Simplify -1 into -1 15.504 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 15.504 * [taylor]: Taking taylor expansion of d1 in d1 15.504 * [backup-simplify]: Simplify 0 into 0 15.504 * [backup-simplify]: Simplify 1 into 1 15.504 * [backup-simplify]: Simplify (* 1 1) into 1 15.504 * [backup-simplify]: Simplify (* 1 1) into 1 15.504 * [backup-simplify]: Simplify (* 1 1) into 1 15.505 * [backup-simplify]: Simplify (* 1 1) into 1 15.505 * [backup-simplify]: Simplify (/ -1 1) into -1 15.505 * [backup-simplify]: Simplify -1 into -1 15.505 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.507 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 15.508 * [backup-simplify]: Simplify 0 into 0 15.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.513 * [backup-simplify]: Simplify 0 into 0 15.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.519 * [backup-simplify]: Simplify 0 into 0 15.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.526 * [backup-simplify]: Simplify 0 into 0 15.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.534 * [backup-simplify]: Simplify 0 into 0 15.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.542 * [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 15.542 * [backup-simplify]: Simplify 0 into 0 15.542 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 15.543 * * * [progress]: simplifying candidates 15.543 * * * * [progress]: [ 1 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 2 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 3 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 4 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 5 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 6 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 7 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 8 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 9 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 10 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 11 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 12 / 176 ] simplifiying candidate # 15.543 * * * * [progress]: [ 13 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 14 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 15 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 16 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 17 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 18 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 19 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 20 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 21 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 22 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 23 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 24 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 25 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 26 / 176 ] simplifiying candidate # 15.544 * * * * [progress]: [ 27 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 28 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 29 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 30 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 31 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 32 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 33 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 34 / 176 ] simplifiying candidate #real (real->posit16 (* (* (pow d1 4) d1) (* d1 d1)))) d1)) d1))> 15.545 * * * * [progress]: [ 35 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 36 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 37 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 38 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 39 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 40 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 41 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 42 / 176 ] simplifiying candidate # 15.545 * * * * [progress]: [ 43 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 44 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 45 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 46 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 47 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 48 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 49 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 50 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 51 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 52 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 53 / 176 ] simplifiying candidate # 15.546 * * * * [progress]: [ 54 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 55 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 56 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 57 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 58 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 59 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 60 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 61 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 62 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 63 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 64 / 176 ] simplifiying candidate #real (real->posit16 (* (pow d1 4) d1))) (* d1 d1)) d1)) d1))> 15.547 * * * * [progress]: [ 65 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 66 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 67 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 68 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 69 / 176 ] simplifiying candidate # 15.547 * * * * [progress]: [ 70 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 71 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 72 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 73 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 74 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 75 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 76 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 77 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 78 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 79 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 80 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 81 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 82 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 83 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 84 / 176 ] simplifiying candidate # 15.548 * * * * [progress]: [ 85 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 86 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 87 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 88 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 89 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 90 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 91 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 92 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 93 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 94 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 95 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 96 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 97 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 98 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 99 / 176 ] simplifiying candidate # 15.549 * * * * [progress]: [ 100 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 101 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 102 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 103 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 104 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 105 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 106 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 107 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 108 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 109 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 110 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 111 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 112 / 176 ] simplifiying candidate #real (real->posit16 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)))) d1))> 15.550 * * * * [progress]: [ 113 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 114 / 176 ] simplifiying candidate # 15.550 * * * * [progress]: [ 115 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 116 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 117 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 118 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 119 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 120 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 121 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 122 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 123 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 124 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 125 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 126 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 127 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 128 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 129 / 176 ] simplifiying candidate # 15.551 * * * * [progress]: [ 130 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 131 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 132 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 133 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 134 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 135 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 136 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 137 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 138 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 139 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 140 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 141 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 142 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 143 / 176 ] simplifiying candidate # 15.552 * * * * [progress]: [ 144 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 145 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 146 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 147 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 148 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 149 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 150 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 151 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 152 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 153 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 154 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 155 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 156 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 157 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 158 / 176 ] simplifiying candidate # 15.553 * * * * [progress]: [ 159 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 160 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 161 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 162 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 163 / 176 ] simplifiying candidate #real (real->posit16 (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)))) d1))> 15.554 * * * * [progress]: [ 164 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 165 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 166 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 167 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 168 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 169 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 170 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 171 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 172 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 173 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 174 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 175 / 176 ] simplifiying candidate # 15.554 * * * * [progress]: [ 176 / 176 ] simplifiying candidate # 15.557 * [simplify]: Simplifying: (expm1 (* (* (pow d1 4) d1) (* d1 d1))) (log1p (* (* (pow d1 4) d1) (* d1 d1))) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) 2) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) (* 2 1)) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) 2) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) (* 2 1)) (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1)) (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (+ (+ (log (pow d1 4)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (pow d1 4)) (log d1)) (log (* d1 d1))) (+ (log (* (pow d1 4) d1)) (+ (log d1) (log d1))) (+ (log (* (pow d1 4) d1)) (log (* d1 d1))) (log (* (* (pow d1 4) d1) (* d1 d1))) (exp (* (* (pow d1 4) d1) (* d1 d1))) (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (pow d1 4) d1) (* d1 d1))) (cbrt (* (* (pow d1 4) d1) (* d1 d1)))) (cbrt (* (* (pow d1 4) d1) (* d1 d1))) (* (* (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) (* d1 d1))) (sqrt (* (* (pow d1 4) d1) (* d1 d1))) (sqrt (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* (* (pow d1 4) d1) (* d1 d1))) (expm1 (* (pow d1 4) d1)) (log1p (* (pow d1 4) d1)) (+ 4 1) (+ 4 1) (+ (* (log d1) 4) (log d1)) (+ (* (log d1) 4) (log d1)) (+ (log (pow d1 4)) (log d1)) (log (* (pow d1 4) d1)) (exp (* (pow d1 4) d1)) (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (cbrt (* (pow d1 4) d1)) (cbrt (* (pow d1 4) d1))) (cbrt (* (pow d1 4) d1)) (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (* (pow (sqrt d1) 4) (sqrt d1)) (* (pow (sqrt d1) 4) (sqrt d1)) (* (sqrt (pow d1 4)) (sqrt d1)) (* (sqrt (pow d1 4)) (sqrt d1)) (* (pow d1 (/ 4 2)) (sqrt d1)) (* (pow d1 (/ 4 2)) (sqrt d1)) (* (pow d1 4) (* (cbrt d1) (cbrt d1))) (* (pow d1 4) (sqrt d1)) (* (pow d1 4) 1) (* (pow (cbrt d1) 4) d1) (* (pow (sqrt d1) 4) d1) (* (pow d1 4) d1) (* (cbrt (pow d1 4)) d1) (* (sqrt (pow d1 4)) d1) (* (pow d1 4) d1) (* (pow d1 (/ 4 2)) d1) (real->posit16 (* (pow d1 4) d1)) (expm1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (log1p (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (log (pow d1 4)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (log (pow d1 4)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (log (* (pow d1 4) d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (log (* (pow d1 4) d1)) (log (* d1 d1))) (log d1)) (+ (log (* (* (pow d1 4) d1) (* d1 d1))) (log d1)) (log (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (exp (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (cbrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (cbrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (sqrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (sqrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* (* (pow d1 4) d1) (* d1 d1)) (sqrt d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (expm1 (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (log1p (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (log (pow d1 4)) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (log (pow d1 4)) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (log (* (pow d1 4) d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (log (* (pow d1 4) d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (log (* (* (pow d1 4) d1) (* d1 d1))) (log d1))) (+ (log d1) (log (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (log (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (exp (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* (cbrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)))) (cbrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* d1 (* (* (pow d1 4) d1) (* d1 d1))) (* (cbrt d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (sqrt d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (real->posit16 (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 5) (pow d1 5) (pow d1 5) (pow d1 8) (pow d1 8) (pow d1 8) (pow d1 9) (pow d1 9) (pow d1 9) 15.561 * * [simplify]: iteration 1: (148 enodes) 15.638 * * [simplify]: iteration 2: (613 enodes) 15.905 * * [simplify]: iteration 3: (1578 enodes) 18.052 * * [simplify]: Extracting #0: cost 68 inf + 0 18.055 * * [simplify]: Extracting #1: cost 597 inf + 0 18.067 * * [simplify]: Extracting #2: cost 987 inf + 19977 18.127 * * [simplify]: Extracting #3: cost 691 inf + 133931 18.196 * * [simplify]: Extracting #4: cost 304 inf + 274536 18.265 * * [simplify]: Extracting #5: cost 64 inf + 397235 18.336 * * [simplify]: Extracting #6: cost 0 inf + 441470 18.406 * [simplify]: Simplified to: (expm1 (* (* (* d1 d1) d1) (pow d1 4))) (log1p (* (* (* d1 d1) d1) (pow d1 4))) (+ (+ 1 1) (+ 4 1)) (+ 2 (+ 4 1)) (+ (+ 1 1) (+ 4 1)) (+ 2 (+ 4 1)) (+ (+ 1 1) (+ 4 1)) (+ 2 (+ 4 1)) (+ (+ 1 1) (+ 4 1)) (+ 2 (+ 4 1)) (* (* (* d1 d1) d1) (pow d1 4)) (* (* (* d1 d1) d1) (pow d1 4)) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (fma (log d1) 4 (* 3 (log d1))) (exp (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* (* (* d1 d1) d1) (pow d1 4)) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* (* (* d1 d1) d1) (pow d1 4)) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* (* (* d1 d1) d1) (pow d1 4)) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* (* (* d1 d1) d1) (pow d1 4)) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* d1 d1) d1) (pow d1 4))) (* (cbrt (* (* (* d1 d1) d1) (pow d1 4))) (cbrt (* (* (* d1 d1) d1) (pow d1 4)))) (cbrt (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* (* (* d1 d1) d1) (pow d1 4)) (* (* (* d1 d1) d1) (pow d1 4))) (* (* (* d1 d1) d1) (pow d1 4))) (sqrt (* (* (* d1 d1) d1) (pow d1 4))) (sqrt (* (* (* d1 d1) d1) (pow d1 4))) (* (* d1 d1) (pow d1 4)) (* (* d1 d1) d1) (real->posit16 (* (* (* d1 d1) d1) (pow d1 4))) (expm1 (* (pow d1 4) d1)) (log1p (* (pow d1 4) d1)) (+ 4 1) (+ 4 1) (fma 4 (log d1) (log d1)) (fma 4 (log d1) (log d1)) (fma 4 (log d1) (log d1)) (fma 4 (log d1) (log d1)) (exp (* (pow d1 4) d1)) (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (cbrt (* (pow d1 4) d1)) (cbrt (* (pow d1 4) d1))) (cbrt (* (pow d1 4) d1)) (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (* (pow (sqrt d1) 4) (sqrt d1)) (* (pow (sqrt d1) 4) (sqrt d1)) (* (sqrt d1) (sqrt (pow d1 4))) (* (sqrt d1) (sqrt (pow d1 4))) (* (sqrt d1) (pow d1 (/ 4 2))) (* (sqrt d1) (pow d1 (/ 4 2))) (* (cbrt d1) (* (pow d1 4) (cbrt d1))) (* (pow d1 4) (sqrt d1)) (pow d1 4) (* d1 (pow (cbrt d1) 4)) (* (pow (sqrt d1) 4) d1) (* (pow d1 4) d1) (* d1 (cbrt (pow d1 4))) (* d1 (sqrt (pow d1 4))) (* (pow d1 4) d1) (* d1 (pow d1 (/ 4 2))) (real->posit16 (* (pow d1 4) d1)) (expm1 (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (log1p (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 2 (+ 1 (+ 4 1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (+ (fma 4 (log d1) (log d1)) (* 3 (log d1))) (exp (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (cbrt (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (cbrt (* (* d1 d1) (* (* d1 d1) (pow d1 4))))) (cbrt (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (sqrt (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (sqrt (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* (cbrt d1) d1) (* (cbrt d1) d1)) (pow d1 4)) d1) (* (* (* (pow d1 4) (sqrt d1)) (* d1 d1)) d1) (* (* (* d1 d1) d1) (pow d1 4)) (* (* d1 d1) d1) (real->posit16 (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (expm1 (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (log1p (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (+ (+ 4 1) (+ (+ 1 1) (+ 1 1))) (+ (+ 2 (+ 4 1)) (+ 1 1)) (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4)) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (+ (+ (fma 4 (log d1) (log d1)) (log d1)) (* 3 (log d1))) (exp (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4)))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))))) (sqrt (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (sqrt (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (* (* d1 d1) (* (* d1 d1) (pow d1 4))) (* (pow d1 4) (* (* (* d1 d1) (* d1 d1)) (cbrt d1))) (* (sqrt d1) (* (* d1 d1) (* (* d1 d1) (pow d1 4)))) (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4)) (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) d1) (pow d1 4))) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 5) (pow d1 5) (pow d1 5) (pow d1 8) (pow d1 8) (pow d1 8) (pow d1 9) (pow d1 9) (pow d1 9) 18.414 * * * [progress]: adding candidates to table 20.052 * * [progress]: iteration 3 / 4 20.052 * * * [progress]: picking best candidate 20.063 * * * * [pick]: Picked # 20.063 * * * [progress]: localizing error 20.071 * * * [progress]: generating rewritten candidates 20.071 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 20.081 * * * [progress]: generating series expansions 20.081 * * * * [progress]: [ 1 / 1 ] generating series at (2) 20.081 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10) 20.081 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 20.081 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 20.081 * [taylor]: Taking taylor expansion of d1 in d1 20.081 * [backup-simplify]: Simplify 0 into 0 20.081 * [backup-simplify]: Simplify 1 into 1 20.081 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 20.081 * [taylor]: Taking taylor expansion of d1 in d1 20.081 * [backup-simplify]: Simplify 0 into 0 20.081 * [backup-simplify]: Simplify 1 into 1 20.082 * [backup-simplify]: Simplify (* 1 1) into 1 20.082 * [backup-simplify]: Simplify (* 1 1) into 1 20.082 * [backup-simplify]: Simplify (* 1 1) into 1 20.083 * [backup-simplify]: Simplify (* 1 1) into 1 20.083 * [backup-simplify]: Simplify 1 into 1 20.083 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.084 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.084 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.084 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.084 * [backup-simplify]: Simplify 0 into 0 20.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.087 * [backup-simplify]: Simplify 0 into 0 20.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.091 * [backup-simplify]: Simplify 0 into 0 20.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.094 * [backup-simplify]: Simplify 0 into 0 20.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.097 * [backup-simplify]: Simplify 0 into 0 20.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.102 * [backup-simplify]: Simplify 0 into 0 20.102 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 20.102 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10)) 20.102 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 20.102 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 20.102 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 20.102 * [taylor]: Taking taylor expansion of d1 in d1 20.102 * [backup-simplify]: Simplify 0 into 0 20.102 * [backup-simplify]: Simplify 1 into 1 20.102 * [backup-simplify]: Simplify (* 1 1) into 1 20.103 * [backup-simplify]: Simplify (* 1 1) into 1 20.103 * [backup-simplify]: Simplify (* 1 1) into 1 20.103 * [backup-simplify]: Simplify (* 1 1) into 1 20.103 * [backup-simplify]: Simplify (/ 1 1) into 1 20.103 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 20.103 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 20.103 * [taylor]: Taking taylor expansion of d1 in d1 20.103 * [backup-simplify]: Simplify 0 into 0 20.103 * [backup-simplify]: Simplify 1 into 1 20.104 * [backup-simplify]: Simplify (* 1 1) into 1 20.104 * [backup-simplify]: Simplify (* 1 1) into 1 20.104 * [backup-simplify]: Simplify (* 1 1) into 1 20.104 * [backup-simplify]: Simplify (* 1 1) into 1 20.105 * [backup-simplify]: Simplify (/ 1 1) into 1 20.105 * [backup-simplify]: Simplify 1 into 1 20.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.107 * [backup-simplify]: Simplify 0 into 0 20.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.110 * [backup-simplify]: Simplify 0 into 0 20.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.113 * [backup-simplify]: Simplify 0 into 0 20.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.117 * [backup-simplify]: Simplify 0 into 0 20.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.124 * [backup-simplify]: Simplify 0 into 0 20.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.129 * [backup-simplify]: Simplify 0 into 0 20.129 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 20.129 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 20.129 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 20.129 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 20.129 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 20.129 * [taylor]: Taking taylor expansion of d1 in d1 20.129 * [backup-simplify]: Simplify 0 into 0 20.129 * [backup-simplify]: Simplify 1 into 1 20.129 * [backup-simplify]: Simplify (* 1 1) into 1 20.129 * [backup-simplify]: Simplify (* 1 1) into 1 20.130 * [backup-simplify]: Simplify (* 1 1) into 1 20.130 * [backup-simplify]: Simplify (* 1 1) into 1 20.130 * [backup-simplify]: Simplify (/ 1 1) into 1 20.130 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 20.130 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 20.130 * [taylor]: Taking taylor expansion of d1 in d1 20.130 * [backup-simplify]: Simplify 0 into 0 20.130 * [backup-simplify]: Simplify 1 into 1 20.131 * [backup-simplify]: Simplify (* 1 1) into 1 20.131 * [backup-simplify]: Simplify (* 1 1) into 1 20.131 * [backup-simplify]: Simplify (* 1 1) into 1 20.131 * [backup-simplify]: Simplify (* 1 1) into 1 20.132 * [backup-simplify]: Simplify (/ 1 1) into 1 20.132 * [backup-simplify]: Simplify 1 into 1 20.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 20.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.134 * [backup-simplify]: Simplify 0 into 0 20.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 20.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.137 * [backup-simplify]: Simplify 0 into 0 20.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 20.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.141 * [backup-simplify]: Simplify 0 into 0 20.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 20.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.148 * [backup-simplify]: Simplify 0 into 0 20.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 20.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.153 * [backup-simplify]: Simplify 0 into 0 20.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 20.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.157 * [backup-simplify]: Simplify 0 into 0 20.158 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 20.158 * * * [progress]: simplifying candidates 20.158 * * * * [progress]: [ 1 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 2 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 3 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 4 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 5 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 6 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 7 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 8 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 9 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 10 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 11 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 12 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 13 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 14 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 15 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 16 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 17 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 18 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 19 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 20 / 33 ] simplifiying candidate # 20.158 * * * * [progress]: [ 21 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 22 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 23 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 24 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 25 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 26 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 27 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 28 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 29 / 33 ] simplifiying candidate #real (real->posit16 (* (pow d1 9) d1))))> 20.159 * * * * [progress]: [ 30 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 31 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 32 / 33 ] simplifiying candidate # 20.159 * * * * [progress]: [ 33 / 33 ] simplifiying candidate # 20.159 * [simplify]: Simplifying: (expm1 (* (pow d1 9) d1)) (log1p (* (pow d1 9) d1)) (+ 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) 20.160 * * [simplify]: iteration 1: (49 enodes) 20.174 * * [simplify]: iteration 2: (199 enodes) 20.224 * * [simplify]: iteration 3: (416 enodes) 20.427 * * [simplify]: iteration 4: (1187 enodes) 22.983 * * [simplify]: Extracting #0: cost 23 inf + 0 22.985 * * [simplify]: Extracting #1: cost 369 inf + 0 22.993 * * [simplify]: Extracting #2: cost 1137 inf + 5899 23.008 * * [simplify]: Extracting #3: cost 1098 inf + 26692 23.053 * * [simplify]: Extracting #4: cost 801 inf + 144891 23.141 * * [simplify]: Extracting #5: cost 204 inf + 546101 23.287 * * [simplify]: Extracting #6: cost 2 inf + 712295 23.426 * * [simplify]: Extracting #7: cost 0 inf + 714011 23.527 * [simplify]: Simplified to: (expm1 (* (pow d1 9) d1)) (log1p (* (pow d1 9) d1)) (+ 9 1) (+ 9 1) (fma (log d1) 9 (log d1)) (fma (log d1) 9 (log d1)) (fma (log d1) 9 (log d1)) (fma (log d1) 9 (log d1)) (exp (* (pow d1 9) d1)) (* (* (pow d1 9) d1) (* (* (pow d1 9) d1) (* (pow d1 9) 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)) (* (sqrt d1) (pow (sqrt d1) 9)) (* (sqrt d1) (pow (sqrt d1) 9)) (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1)) (* (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)) (* d1 (pow (sqrt d1) 9)) (* (pow d1 9) d1) (* d1 (cbrt (pow d1 9))) (* d1 (sqrt (pow d1 9))) (* (pow d1 9) d1) (* (pow d1 (/ 9 2)) d1) (real->posit16 (* (pow d1 9) d1)) (pow d1 10) (pow d1 10) (pow d1 10) 23.528 * * * [progress]: adding candidates to table 23.828 * * [progress]: iteration 4 / 4 23.828 * * * [progress]: picking best candidate 23.831 * * * * [pick]: Picked # 23.831 * * * [progress]: localizing error 23.837 * * * [progress]: generating rewritten candidates 23.837 * * * [progress]: generating series expansions 23.837 * * * [progress]: simplifying candidates 23.838 * [simplify]: Simplifying: 23.838 * * [simplify]: iteration 1: (0 enodes) 23.838 * * [simplify]: Extracting #0: cost 0 inf + 0 23.838 * [simplify]: Simplified to: 23.838 * * * [progress]: adding candidates to table 23.839 * [progress]: [Phase 3 of 3] Extracting. 23.843 * [simplify]: Simplifying: (pow d1 10) 23.843 * * [simplify]: iteration 1: (3 enodes) 23.844 * * [simplify]: Extracting #0: cost 1 inf + 0 23.844 * * [simplify]: Extracting #1: cost 3 inf + 0 23.844 * * [simplify]: Extracting #2: cost 1 inf + 2 23.844 * * [simplify]: Extracting #3: cost 0 inf + 214 23.844 * [simplify]: Simplified to: (pow d1 10) 26.482 * [regime-testing]: Baseline error score: 0 26.485 * [regime-testing]: Oracle error score: 0 26.485 * [regime-testing]: End program error score: 0 26.548 * [regime-testing]: Target error score: 0