29.473 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.068 * [progress]: [Phase 2 of 3] Improving. 0.068 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.069 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.069 * * [simplify]: iteration 1: (9 enodes) 0.073 * * [simplify]: iteration 2: (24 enodes) 0.084 * * [simplify]: iteration 3: (54 enodes) 0.107 * * [simplify]: iteration 4: (90 enodes) 0.199 * * [simplify]: iteration 5: (278 enodes) 0.327 * * [simplify]: iteration 6: (763 enodes) 1.875 * * [simplify]: Extracting #0: cost 1 inf + 0 1.875 * * [simplify]: Extracting #1: cost 114 inf + 0 1.879 * * [simplify]: Extracting #2: cost 445 inf + 508 1.884 * * [simplify]: Extracting #3: cost 428 inf + 6947 1.903 * * [simplify]: Extracting #4: cost 248 inf + 100915 1.942 * * [simplify]: Extracting #5: cost 51 inf + 214288 1.994 * * [simplify]: Extracting #6: cost 0 inf + 243551 2.043 * [simplify]: Simplified to: (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) 2.048 * * [progress]: iteration 1 / 4 2.048 * * * [progress]: picking best candidate 2.055 * * * * [pick]: Picked # 2.055 * * * [progress]: localizing error 2.102 * * * [progress]: generating rewritten candidates 2.102 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 2.137 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 2.200 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 2.904 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.490 * * * [progress]: generating series expansions 5.491 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 5.491 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 5.491 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 5.491 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.491 * [taylor]: Taking taylor expansion of d1 in d1 5.491 * [backup-simplify]: Simplify 0 into 0 5.491 * [backup-simplify]: Simplify 1 into 1 5.491 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.491 * [taylor]: Taking taylor expansion of d1 in d1 5.491 * [backup-simplify]: Simplify 0 into 0 5.491 * [backup-simplify]: Simplify 1 into 1 5.491 * [backup-simplify]: Simplify (* 1 1) into 1 5.492 * [backup-simplify]: Simplify (* 1 1) into 1 5.492 * [backup-simplify]: Simplify 1 into 1 5.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.494 * [backup-simplify]: Simplify 0 into 0 5.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.495 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 5.500 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 5.500 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 5.500 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 5.500 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.500 * [taylor]: Taking taylor expansion of d1 in d1 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 1 into 1 5.501 * [backup-simplify]: Simplify (* 1 1) into 1 5.501 * [backup-simplify]: Simplify (* 1 1) into 1 5.501 * [backup-simplify]: Simplify (/ 1 1) into 1 5.501 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 5.501 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.501 * [taylor]: Taking taylor expansion of d1 in d1 5.501 * [backup-simplify]: Simplify 0 into 0 5.501 * [backup-simplify]: Simplify 1 into 1 5.502 * [backup-simplify]: Simplify (* 1 1) into 1 5.502 * [backup-simplify]: Simplify (* 1 1) into 1 5.502 * [backup-simplify]: Simplify (/ 1 1) into 1 5.502 * [backup-simplify]: Simplify 1 into 1 5.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.503 * [backup-simplify]: Simplify 0 into 0 5.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.505 * [backup-simplify]: Simplify 0 into 0 5.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.507 * [backup-simplify]: Simplify 0 into 0 5.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.509 * [backup-simplify]: Simplify 0 into 0 5.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.511 * [backup-simplify]: Simplify 0 into 0 5.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.513 * [backup-simplify]: Simplify 0 into 0 5.513 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 5.513 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 5.513 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 5.514 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 5.514 * [taylor]: Taking taylor expansion of -1 in d1 5.514 * [backup-simplify]: Simplify -1 into -1 5.514 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.514 * [taylor]: Taking taylor expansion of d1 in d1 5.514 * [backup-simplify]: Simplify 0 into 0 5.514 * [backup-simplify]: Simplify 1 into 1 5.514 * [backup-simplify]: Simplify (* 1 1) into 1 5.514 * [backup-simplify]: Simplify (* 1 1) into 1 5.515 * [backup-simplify]: Simplify (/ -1 1) into -1 5.515 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 5.515 * [taylor]: Taking taylor expansion of -1 in d1 5.515 * [backup-simplify]: Simplify -1 into -1 5.515 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.515 * [taylor]: Taking taylor expansion of d1 in d1 5.515 * [backup-simplify]: Simplify 0 into 0 5.515 * [backup-simplify]: Simplify 1 into 1 5.515 * [backup-simplify]: Simplify (* 1 1) into 1 5.515 * [backup-simplify]: Simplify (* 1 1) into 1 5.516 * [backup-simplify]: Simplify (/ -1 1) into -1 5.516 * [backup-simplify]: Simplify -1 into -1 5.516 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.516 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.519 * [backup-simplify]: Simplify 0 into 0 5.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.520 * [backup-simplify]: Simplify 0 into 0 5.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.529 * [backup-simplify]: Simplify 0 into 0 5.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.532 * [backup-simplify]: Simplify 0 into 0 5.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.534 * [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 5.534 * [backup-simplify]: Simplify 0 into 0 5.534 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 5.534 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 5.534 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 5.534 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 5.534 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.535 * [taylor]: Taking taylor expansion of d1 in d1 5.535 * [backup-simplify]: Simplify 0 into 0 5.535 * [backup-simplify]: Simplify 1 into 1 5.535 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.535 * [taylor]: Taking taylor expansion of d1 in d1 5.535 * [backup-simplify]: Simplify 0 into 0 5.535 * [backup-simplify]: Simplify 1 into 1 5.535 * [backup-simplify]: Simplify (* 1 1) into 1 5.535 * [backup-simplify]: Simplify (* 1 1) into 1 5.535 * [backup-simplify]: Simplify 1 into 1 5.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.536 * [backup-simplify]: Simplify 0 into 0 5.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.537 * [backup-simplify]: Simplify 0 into 0 5.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.538 * [backup-simplify]: Simplify 0 into 0 5.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.540 * [backup-simplify]: Simplify 0 into 0 5.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.541 * [backup-simplify]: Simplify 0 into 0 5.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.544 * [backup-simplify]: Simplify 0 into 0 5.544 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 5.544 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 5.544 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 5.544 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.544 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.544 * [taylor]: Taking taylor expansion of d1 in d1 5.544 * [backup-simplify]: Simplify 0 into 0 5.544 * [backup-simplify]: Simplify 1 into 1 5.544 * [backup-simplify]: Simplify (* 1 1) into 1 5.545 * [backup-simplify]: Simplify (* 1 1) into 1 5.545 * [backup-simplify]: Simplify (/ 1 1) into 1 5.545 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.545 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.545 * [taylor]: Taking taylor expansion of d1 in d1 5.545 * [backup-simplify]: Simplify 0 into 0 5.545 * [backup-simplify]: Simplify 1 into 1 5.546 * [backup-simplify]: Simplify (* 1 1) into 1 5.546 * [backup-simplify]: Simplify (* 1 1) into 1 5.546 * [backup-simplify]: Simplify (/ 1 1) into 1 5.546 * [backup-simplify]: Simplify 1 into 1 5.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.548 * [backup-simplify]: Simplify 0 into 0 5.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.551 * [backup-simplify]: Simplify 0 into 0 5.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.554 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.561 * [backup-simplify]: Simplify 0 into 0 5.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.566 * [backup-simplify]: Simplify 0 into 0 5.566 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 5.567 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 5.567 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 5.567 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.567 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.567 * [taylor]: Taking taylor expansion of d1 in d1 5.567 * [backup-simplify]: Simplify 0 into 0 5.567 * [backup-simplify]: Simplify 1 into 1 5.567 * [backup-simplify]: Simplify (* 1 1) into 1 5.568 * [backup-simplify]: Simplify (* 1 1) into 1 5.568 * [backup-simplify]: Simplify (/ 1 1) into 1 5.568 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.568 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.568 * [taylor]: Taking taylor expansion of d1 in d1 5.568 * [backup-simplify]: Simplify 0 into 0 5.568 * [backup-simplify]: Simplify 1 into 1 5.569 * [backup-simplify]: Simplify (* 1 1) into 1 5.569 * [backup-simplify]: Simplify (* 1 1) into 1 5.569 * [backup-simplify]: Simplify (/ 1 1) into 1 5.570 * [backup-simplify]: Simplify 1 into 1 5.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.572 * [backup-simplify]: Simplify 0 into 0 5.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.575 * [backup-simplify]: Simplify 0 into 0 5.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.578 * [backup-simplify]: Simplify 0 into 0 5.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.581 * [backup-simplify]: Simplify 0 into 0 5.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.585 * [backup-simplify]: Simplify 0 into 0 5.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.589 * [backup-simplify]: Simplify 0 into 0 5.589 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 5.589 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 5.589 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 5.589 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 5.589 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.589 * [taylor]: Taking taylor expansion of d1 in d1 5.589 * [backup-simplify]: Simplify 0 into 0 5.589 * [backup-simplify]: Simplify 1 into 1 5.589 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.589 * [taylor]: Taking taylor expansion of d1 in d1 5.589 * [backup-simplify]: Simplify 0 into 0 5.589 * [backup-simplify]: Simplify 1 into 1 5.590 * [backup-simplify]: Simplify (* 1 1) into 1 5.590 * [backup-simplify]: Simplify (* 1 1) into 1 5.591 * [backup-simplify]: Simplify (* 1 1) into 1 5.591 * [backup-simplify]: Simplify (* 1 1) into 1 5.591 * [backup-simplify]: Simplify 1 into 1 5.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.594 * [backup-simplify]: Simplify 0 into 0 5.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.598 * [backup-simplify]: Simplify 0 into 0 5.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.602 * [backup-simplify]: Simplify 0 into 0 5.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.607 * [backup-simplify]: Simplify 0 into 0 5.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.612 * [backup-simplify]: Simplify 0 into 0 5.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.619 * [backup-simplify]: Simplify 0 into 0 5.619 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 5.619 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 5.619 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 5.619 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 5.619 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.619 * [taylor]: Taking taylor expansion of d1 in d1 5.619 * [backup-simplify]: Simplify 0 into 0 5.619 * [backup-simplify]: Simplify 1 into 1 5.620 * [backup-simplify]: Simplify (* 1 1) into 1 5.620 * [backup-simplify]: Simplify (* 1 1) into 1 5.621 * [backup-simplify]: Simplify (* 1 1) into 1 5.621 * [backup-simplify]: Simplify (* 1 1) into 1 5.622 * [backup-simplify]: Simplify (/ 1 1) into 1 5.622 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 5.622 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.622 * [taylor]: Taking taylor expansion of d1 in d1 5.622 * [backup-simplify]: Simplify 0 into 0 5.622 * [backup-simplify]: Simplify 1 into 1 5.622 * [backup-simplify]: Simplify (* 1 1) into 1 5.622 * [backup-simplify]: Simplify (* 1 1) into 1 5.623 * [backup-simplify]: Simplify (* 1 1) into 1 5.623 * [backup-simplify]: Simplify (* 1 1) into 1 5.624 * [backup-simplify]: Simplify (/ 1 1) into 1 5.624 * [backup-simplify]: Simplify 1 into 1 5.624 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.627 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.628 * [backup-simplify]: Simplify 0 into 0 5.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.633 * [backup-simplify]: Simplify 0 into 0 5.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.638 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.644 * [backup-simplify]: Simplify 0 into 0 5.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.650 * [backup-simplify]: Simplify 0 into 0 5.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.658 * [backup-simplify]: Simplify 0 into 0 5.658 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 5.658 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 5.658 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 5.658 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 5.658 * [taylor]: Taking taylor expansion of -1 in d1 5.658 * [backup-simplify]: Simplify -1 into -1 5.658 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.658 * [taylor]: Taking taylor expansion of d1 in d1 5.659 * [backup-simplify]: Simplify 0 into 0 5.659 * [backup-simplify]: Simplify 1 into 1 5.659 * [backup-simplify]: Simplify (* 1 1) into 1 5.659 * [backup-simplify]: Simplify (* 1 1) into 1 5.661 * [backup-simplify]: Simplify (* 1 1) into 1 5.662 * [backup-simplify]: Simplify (* 1 1) into 1 5.662 * [backup-simplify]: Simplify (/ -1 1) into -1 5.662 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 5.662 * [taylor]: Taking taylor expansion of -1 in d1 5.663 * [backup-simplify]: Simplify -1 into -1 5.663 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.663 * [taylor]: Taking taylor expansion of d1 in d1 5.663 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify 1 into 1 5.663 * [backup-simplify]: Simplify (* 1 1) into 1 5.663 * [backup-simplify]: Simplify (* 1 1) into 1 5.664 * [backup-simplify]: Simplify (* 1 1) into 1 5.664 * [backup-simplify]: Simplify (* 1 1) into 1 5.664 * [backup-simplify]: Simplify (/ -1 1) into -1 5.665 * [backup-simplify]: Simplify -1 into -1 5.665 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.668 * [backup-simplify]: Simplify 0 into 0 5.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.670 * [backup-simplify]: Simplify 0 into 0 5.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.673 * [backup-simplify]: Simplify 0 into 0 5.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.677 * [backup-simplify]: Simplify 0 into 0 5.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.681 * [backup-simplify]: Simplify 0 into 0 5.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.685 * [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 5.685 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 5.685 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.685 * [backup-simplify]: Simplify (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) into (pow d1 8) 5.685 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 5.685 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.685 * [taylor]: Taking taylor expansion of d1 in d1 5.685 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify 1 into 1 5.685 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.685 * [taylor]: Taking taylor expansion of d1 in d1 5.685 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify 1 into 1 5.686 * [backup-simplify]: Simplify (* 1 1) into 1 5.686 * [backup-simplify]: Simplify (* 1 1) into 1 5.686 * [backup-simplify]: Simplify (* 1 1) into 1 5.686 * [backup-simplify]: Simplify 1 into 1 5.687 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.687 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.687 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.687 * [backup-simplify]: Simplify 0 into 0 5.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.689 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.693 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.695 * [backup-simplify]: Simplify 0 into 0 5.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.698 * [backup-simplify]: Simplify 0 into 0 5.698 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 5.698 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 5.698 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 5.698 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.698 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.698 * [taylor]: Taking taylor expansion of d1 in d1 5.698 * [backup-simplify]: Simplify 0 into 0 5.698 * [backup-simplify]: Simplify 1 into 1 5.699 * [backup-simplify]: Simplify (* 1 1) into 1 5.699 * [backup-simplify]: Simplify (* 1 1) into 1 5.699 * [backup-simplify]: Simplify (* 1 1) into 1 5.700 * [backup-simplify]: Simplify (/ 1 1) into 1 5.700 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.700 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.700 * [taylor]: Taking taylor expansion of d1 in d1 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify 1 into 1 5.700 * [backup-simplify]: Simplify (* 1 1) into 1 5.701 * [backup-simplify]: Simplify (* 1 1) into 1 5.701 * [backup-simplify]: Simplify (* 1 1) into 1 5.701 * [backup-simplify]: Simplify (/ 1 1) into 1 5.701 * [backup-simplify]: Simplify 1 into 1 5.702 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.703 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.706 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.708 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.714 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 5.718 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 5.718 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 5.718 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.718 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.718 * [taylor]: Taking taylor expansion of d1 in d1 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 1 into 1 5.718 * [backup-simplify]: Simplify (* 1 1) into 1 5.718 * [backup-simplify]: Simplify (* 1 1) into 1 5.718 * [backup-simplify]: Simplify (* 1 1) into 1 5.719 * [backup-simplify]: Simplify (/ 1 1) into 1 5.719 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.719 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.719 * [taylor]: Taking taylor expansion of d1 in d1 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 1 into 1 5.719 * [backup-simplify]: Simplify (* 1 1) into 1 5.719 * [backup-simplify]: Simplify (* 1 1) into 1 5.720 * [backup-simplify]: Simplify (* 1 1) into 1 5.720 * [backup-simplify]: Simplify (/ 1 1) into 1 5.720 * [backup-simplify]: Simplify 1 into 1 5.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.722 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.722 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.724 * [backup-simplify]: Simplify 0 into 0 5.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.727 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.730 * [backup-simplify]: Simplify 0 into 0 5.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.733 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.736 * [backup-simplify]: Simplify 0 into 0 5.736 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 5.736 * * * [progress]: simplifying candidates 5.736 * * * * [progress]: [ 1 / 396 ] simplifiying candidate # 5.736 * * * * [progress]: [ 2 / 396 ] simplifiying candidate # 5.736 * * * * [progress]: [ 3 / 396 ] simplifiying candidate # 5.736 * * * * [progress]: [ 4 / 396 ] simplifiying candidate # 5.736 * * * * [progress]: [ 5 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 6 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 7 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 8 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 9 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 10 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 11 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 12 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 13 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 14 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 15 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 16 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 17 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 18 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 19 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 20 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 21 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 22 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 23 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 24 / 396 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 5.737 * * * * [progress]: [ 25 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 26 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 27 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 28 / 396 ] simplifiying candidate # 5.737 * * * * [progress]: [ 29 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 30 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 31 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 32 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 33 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 34 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 35 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 36 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 37 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 38 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 39 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 40 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 41 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 42 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 43 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 44 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 45 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 46 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 47 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 48 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 49 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 50 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 51 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 52 / 396 ] simplifiying candidate # 5.738 * * * * [progress]: [ 53 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 54 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 55 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 56 / 396 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 5.739 * * * * [progress]: [ 57 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 58 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 59 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 60 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 61 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 62 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 63 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 64 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 65 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 66 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 67 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 68 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 69 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 70 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 71 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 72 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 73 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 74 / 396 ] simplifiying candidate # 5.739 * * * * [progress]: [ 75 / 396 ] simplifiying candidate # 5.740 * * * * [progress]: [ 76 / 396 ] simplifiying candidate # 5.740 * * * * [progress]: [ 77 / 396 ] simplifiying candidate # 5.740 * * * * [progress]: [ 78 / 396 ] simplifiying candidate # 5.740 * * * * [progress]: [ 79 / 396 ] simplifiying candidate # 5.740 * * * * [progress]: [ 80 / 396 ] simplifiying candidate # 5.741 * * * * [progress]: [ 81 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 82 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 83 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 84 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 85 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 86 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 87 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 88 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 89 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 90 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 91 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 92 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 93 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 94 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 95 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 96 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 97 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 98 / 396 ] simplifiying candidate # 5.742 * * * * [progress]: [ 99 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 100 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 101 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 102 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 103 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 104 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 105 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 106 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 107 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 108 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 109 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 110 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 111 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 112 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 113 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 114 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 115 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 116 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 117 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 118 / 396 ] simplifiying candidate # 5.743 * * * * [progress]: [ 119 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 120 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 121 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 122 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 123 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 124 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 125 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 126 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 127 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 128 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 129 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 130 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 131 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 132 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 133 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 134 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 135 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 136 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 137 / 396 ] simplifiying candidate # 5.744 * * * * [progress]: [ 138 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 139 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 140 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 141 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 142 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 143 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 144 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 145 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 146 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 147 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 148 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 149 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 150 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 151 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 152 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 153 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 154 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 155 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 156 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 157 / 396 ] simplifiying candidate # 5.745 * * * * [progress]: [ 158 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 159 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 160 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 161 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 162 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 163 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 164 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 165 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 166 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 167 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 168 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 169 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 170 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 171 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 172 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 173 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 174 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 175 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 176 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 177 / 396 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 5.746 * * * * [progress]: [ 178 / 396 ] simplifiying candidate # 5.746 * * * * [progress]: [ 179 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 180 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 181 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 182 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 183 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 184 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 185 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 186 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 187 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 188 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 189 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 190 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 191 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 192 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 193 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 194 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 195 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 196 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 197 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 198 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 199 / 396 ] simplifiying candidate # 5.747 * * * * [progress]: [ 200 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 201 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 202 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 203 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 204 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 205 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 206 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 207 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 208 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 209 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 210 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 211 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 212 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 213 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 214 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 215 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 216 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 217 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 218 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 219 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 220 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 221 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 222 / 396 ] simplifiying candidate # 5.748 * * * * [progress]: [ 223 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 224 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 225 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 226 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 227 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 228 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 229 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 230 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 231 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 232 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 233 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 234 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 235 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 236 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 237 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 238 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 239 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 240 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 241 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 242 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 243 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 244 / 396 ] simplifiying candidate # 5.749 * * * * [progress]: [ 245 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 246 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 247 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 248 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 249 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 250 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 251 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 252 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 253 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 254 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 255 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 256 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 257 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 258 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 259 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 260 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 261 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 262 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 263 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 264 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 265 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 266 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 267 / 396 ] simplifiying candidate # 5.750 * * * * [progress]: [ 268 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 269 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 270 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 271 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 272 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 273 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 274 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 275 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 276 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 277 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 278 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 279 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 280 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 281 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 282 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 283 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 284 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 285 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 286 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 287 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 288 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 289 / 396 ] simplifiying candidate # 5.751 * * * * [progress]: [ 290 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 291 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 292 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 293 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 294 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 295 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 296 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 297 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 298 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 299 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 300 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 301 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 302 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 303 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 304 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 305 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 306 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 307 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 308 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 309 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 310 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 311 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 312 / 396 ] simplifiying candidate # 5.752 * * * * [progress]: [ 313 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 314 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 315 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 316 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 317 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 318 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 319 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 320 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 321 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 322 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 323 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 324 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 325 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 326 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 327 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 328 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 329 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 330 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 331 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 332 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 333 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 334 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 335 / 396 ] simplifiying candidate # 5.753 * * * * [progress]: [ 336 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 337 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 338 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 339 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 340 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 341 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 342 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 343 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 344 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 345 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 346 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 347 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 348 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 349 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 350 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 351 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 352 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 353 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 354 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 355 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 356 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 357 / 396 ] simplifiying candidate # 5.754 * * * * [progress]: [ 358 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 359 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 360 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 361 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 362 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 363 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 364 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 365 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 366 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 367 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 368 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 369 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 370 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 371 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 372 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 373 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 374 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 375 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 376 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 377 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 378 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 379 / 396 ] simplifiying candidate # 5.755 * * * * [progress]: [ 380 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 381 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 382 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 383 / 396 ] simplifiying candidate #real (real->posit16 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))> 5.756 * * * * [progress]: [ 384 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 385 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 386 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 387 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 388 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 389 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 390 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 391 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 392 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 393 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 394 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 395 / 396 ] simplifiying candidate # 5.756 * * * * [progress]: [ 396 / 396 ] simplifiying candidate # 5.762 * [simplify]: Simplifying: (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* d1 (* d1 d1)) d1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 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))) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (exp (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (sqrt d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 8) (pow d1 8) (pow d1 8) 5.767 * * [simplify]: iteration 1: (169 enodes) 5.840 * * [simplify]: iteration 2: (422 enodes) 6.042 * * [simplify]: iteration 3: (878 enodes) 7.030 * * [simplify]: Extracting #0: cost 44 inf + 0 7.032 * * [simplify]: Extracting #1: cost 271 inf + 1485 7.041 * * [simplify]: Extracting #2: cost 397 inf + 20531 7.067 * * [simplify]: Extracting #3: cost 210 inf + 65773 7.119 * * [simplify]: Extracting #4: cost 19 inf + 137655 7.169 * * [simplify]: Extracting #5: cost 0 inf + 144849 7.197 * [simplify]: Simplified to: 3 3 3 3 (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* 3 (log d1)) (* 3 (log d1)) (* 3 (log d1)) (exp (* d1 (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1) d1 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (* (sqrt d1) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 4 (* (log d1) 4) (* (log d1) 4) (* (log d1) 4) (* (log d1) 4) (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))) 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (log d1)) (+ (* 6 (log d1)) (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))) 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (fabs (* (* d1 d1) (* d1 d1))) (fabs (* (* d1 d1) (* d1 d1))) (* (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1))) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 (* d1 d1)) (sqrt d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) 7.217 * * * [progress]: adding candidates to table 7.512 * * [progress]: iteration 2 / 4 7.512 * * * [progress]: picking best candidate 7.527 * * * * [pick]: Picked # 7.527 * * * [progress]: localizing error 7.551 * * * [progress]: generating rewritten candidates 7.551 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 7.572 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 7.595 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.652 * * * [progress]: generating series expansions 7.652 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 7.652 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8) 7.652 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 7.652 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 7.652 * [taylor]: Taking taylor expansion of d1 in d1 7.652 * [backup-simplify]: Simplify 0 into 0 7.652 * [backup-simplify]: Simplify 1 into 1 7.652 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 7.653 * [taylor]: Taking taylor expansion of d1 in d1 7.653 * [backup-simplify]: Simplify 0 into 0 7.653 * [backup-simplify]: Simplify 1 into 1 7.653 * [backup-simplify]: Simplify (* 1 1) into 1 7.653 * [backup-simplify]: Simplify (* 1 1) into 1 7.654 * [backup-simplify]: Simplify (* 1 1) into 1 7.654 * [backup-simplify]: Simplify 1 into 1 7.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.655 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.655 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.655 * [backup-simplify]: Simplify 0 into 0 7.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.657 * [backup-simplify]: Simplify 0 into 0 7.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.659 * [backup-simplify]: Simplify 0 into 0 7.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.661 * [backup-simplify]: Simplify 0 into 0 7.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.664 * [backup-simplify]: Simplify 0 into 0 7.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.667 * [backup-simplify]: Simplify 0 into 0 7.667 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 7.667 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8)) 7.667 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 7.668 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 7.668 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 7.668 * [taylor]: Taking taylor expansion of d1 in d1 7.668 * [backup-simplify]: Simplify 0 into 0 7.668 * [backup-simplify]: Simplify 1 into 1 7.668 * [backup-simplify]: Simplify (* 1 1) into 1 7.668 * [backup-simplify]: Simplify (* 1 1) into 1 7.668 * [backup-simplify]: Simplify (* 1 1) into 1 7.669 * [backup-simplify]: Simplify (/ 1 1) into 1 7.669 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 7.669 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 7.669 * [taylor]: Taking taylor expansion of d1 in d1 7.669 * [backup-simplify]: Simplify 0 into 0 7.669 * [backup-simplify]: Simplify 1 into 1 7.669 * [backup-simplify]: Simplify (* 1 1) into 1 7.669 * [backup-simplify]: Simplify (* 1 1) into 1 7.669 * [backup-simplify]: Simplify (* 1 1) into 1 7.670 * [backup-simplify]: Simplify (/ 1 1) into 1 7.670 * [backup-simplify]: Simplify 1 into 1 7.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.671 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.671 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.673 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.676 * [backup-simplify]: Simplify 0 into 0 7.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.678 * [backup-simplify]: Simplify 0 into 0 7.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.684 * [backup-simplify]: Simplify 0 into 0 7.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.689 * [backup-simplify]: Simplify 0 into 0 7.689 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 7.690 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 7.690 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 7.690 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 7.690 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 7.690 * [taylor]: Taking taylor expansion of d1 in d1 7.690 * [backup-simplify]: Simplify 0 into 0 7.690 * [backup-simplify]: Simplify 1 into 1 7.690 * [backup-simplify]: Simplify (* 1 1) into 1 7.691 * [backup-simplify]: Simplify (* 1 1) into 1 7.691 * [backup-simplify]: Simplify (* 1 1) into 1 7.691 * [backup-simplify]: Simplify (/ 1 1) into 1 7.691 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 7.691 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 7.691 * [taylor]: Taking taylor expansion of d1 in d1 7.691 * [backup-simplify]: Simplify 0 into 0 7.692 * [backup-simplify]: Simplify 1 into 1 7.692 * [backup-simplify]: Simplify (* 1 1) into 1 7.692 * [backup-simplify]: Simplify (* 1 1) into 1 7.693 * [backup-simplify]: Simplify (* 1 1) into 1 7.693 * [backup-simplify]: Simplify (/ 1 1) into 1 7.693 * [backup-simplify]: Simplify 1 into 1 7.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.696 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.700 * [backup-simplify]: Simplify 0 into 0 7.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.704 * [backup-simplify]: Simplify 0 into 0 7.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.709 * [backup-simplify]: Simplify 0 into 0 7.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.714 * [backup-simplify]: Simplify 0 into 0 7.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.720 * [backup-simplify]: Simplify 0 into 0 7.720 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 7.720 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 7.720 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9) 7.720 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 7.720 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 7.720 * [taylor]: Taking taylor expansion of d1 in d1 7.720 * [backup-simplify]: Simplify 0 into 0 7.720 * [backup-simplify]: Simplify 1 into 1 7.720 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 7.720 * [taylor]: Taking taylor expansion of d1 in d1 7.720 * [backup-simplify]: Simplify 0 into 0 7.720 * [backup-simplify]: Simplify 1 into 1 7.721 * [backup-simplify]: Simplify (* 1 1) into 1 7.721 * [backup-simplify]: Simplify (* 1 1) into 1 7.722 * [backup-simplify]: Simplify (* 1 1) into 1 7.722 * [backup-simplify]: Simplify (* 1 1) into 1 7.722 * [backup-simplify]: Simplify 1 into 1 7.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.725 * [backup-simplify]: Simplify 0 into 0 7.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.729 * [backup-simplify]: Simplify 0 into 0 7.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.733 * [backup-simplify]: Simplify 0 into 0 7.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.738 * [backup-simplify]: Simplify 0 into 0 7.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.744 * [backup-simplify]: Simplify 0 into 0 7.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.751 * [backup-simplify]: Simplify 0 into 0 7.751 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 7.752 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9)) 7.752 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 7.752 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 7.752 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 7.752 * [taylor]: Taking taylor expansion of d1 in d1 7.752 * [backup-simplify]: Simplify 0 into 0 7.752 * [backup-simplify]: Simplify 1 into 1 7.752 * [backup-simplify]: Simplify (* 1 1) into 1 7.753 * [backup-simplify]: Simplify (* 1 1) into 1 7.753 * [backup-simplify]: Simplify (* 1 1) into 1 7.754 * [backup-simplify]: Simplify (* 1 1) into 1 7.754 * [backup-simplify]: Simplify (/ 1 1) into 1 7.754 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 7.754 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 7.754 * [taylor]: Taking taylor expansion of d1 in d1 7.754 * [backup-simplify]: Simplify 0 into 0 7.754 * [backup-simplify]: Simplify 1 into 1 7.754 * [backup-simplify]: Simplify (* 1 1) into 1 7.755 * [backup-simplify]: Simplify (* 1 1) into 1 7.755 * [backup-simplify]: Simplify (* 1 1) into 1 7.756 * [backup-simplify]: Simplify (* 1 1) into 1 7.756 * [backup-simplify]: Simplify (/ 1 1) into 1 7.756 * [backup-simplify]: Simplify 1 into 1 7.757 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.759 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.760 * [backup-simplify]: Simplify 0 into 0 7.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.764 * [backup-simplify]: Simplify 0 into 0 7.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.770 * [backup-simplify]: Simplify 0 into 0 7.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.778 * [backup-simplify]: Simplify 0 into 0 7.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.785 * [backup-simplify]: Simplify 0 into 0 7.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.792 * [backup-simplify]: Simplify 0 into 0 7.792 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 7.793 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 7.793 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 7.793 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 7.793 * [taylor]: Taking taylor expansion of -1 in d1 7.793 * [backup-simplify]: Simplify -1 into -1 7.793 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 7.793 * [taylor]: Taking taylor expansion of d1 in d1 7.793 * [backup-simplify]: Simplify 0 into 0 7.793 * [backup-simplify]: Simplify 1 into 1 7.793 * [backup-simplify]: Simplify (* 1 1) into 1 7.794 * [backup-simplify]: Simplify (* 1 1) into 1 7.794 * [backup-simplify]: Simplify (* 1 1) into 1 7.794 * [backup-simplify]: Simplify (* 1 1) into 1 7.795 * [backup-simplify]: Simplify (/ -1 1) into -1 7.795 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 7.795 * [taylor]: Taking taylor expansion of -1 in d1 7.795 * [backup-simplify]: Simplify -1 into -1 7.795 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 7.795 * [taylor]: Taking taylor expansion of d1 in d1 7.795 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify 1 into 1 7.796 * [backup-simplify]: Simplify (* 1 1) into 1 7.796 * [backup-simplify]: Simplify (* 1 1) into 1 7.796 * [backup-simplify]: Simplify (* 1 1) into 1 7.797 * [backup-simplify]: Simplify (* 1 1) into 1 7.797 * [backup-simplify]: Simplify (/ -1 1) into -1 7.797 * [backup-simplify]: Simplify -1 into -1 7.798 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.801 * [backup-simplify]: Simplify 0 into 0 7.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.806 * [backup-simplify]: Simplify 0 into 0 7.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.809 * [backup-simplify]: Simplify 0 into 0 7.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.813 * [backup-simplify]: Simplify 0 into 0 7.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.817 * [backup-simplify]: Simplify 0 into 0 7.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.821 * [backup-simplify]: Simplify 0 into 0 7.821 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 7.821 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.821 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10) 7.821 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 7.821 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 7.821 * [taylor]: Taking taylor expansion of d1 in d1 7.821 * [backup-simplify]: Simplify 0 into 0 7.821 * [backup-simplify]: Simplify 1 into 1 7.821 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 7.821 * [taylor]: Taking taylor expansion of d1 in d1 7.821 * [backup-simplify]: Simplify 0 into 0 7.821 * [backup-simplify]: Simplify 1 into 1 7.822 * [backup-simplify]: Simplify (* 1 1) into 1 7.822 * [backup-simplify]: Simplify (* 1 1) into 1 7.822 * [backup-simplify]: Simplify (* 1 1) into 1 7.822 * [backup-simplify]: Simplify (* 1 1) into 1 7.822 * [backup-simplify]: Simplify 1 into 1 7.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.824 * [backup-simplify]: Simplify 0 into 0 7.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.826 * [backup-simplify]: Simplify 0 into 0 7.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.829 * [backup-simplify]: Simplify 0 into 0 7.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.832 * [backup-simplify]: Simplify 0 into 0 7.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.835 * [backup-simplify]: Simplify 0 into 0 7.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.838 * [backup-simplify]: Simplify 0 into 0 7.838 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 7.838 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 7.839 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 7.839 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 7.839 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 7.839 * [taylor]: Taking taylor expansion of d1 in d1 7.839 * [backup-simplify]: Simplify 0 into 0 7.839 * [backup-simplify]: Simplify 1 into 1 7.839 * [backup-simplify]: Simplify (* 1 1) into 1 7.839 * [backup-simplify]: Simplify (* 1 1) into 1 7.839 * [backup-simplify]: Simplify (* 1 1) into 1 7.840 * [backup-simplify]: Simplify (* 1 1) into 1 7.840 * [backup-simplify]: Simplify (/ 1 1) into 1 7.840 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 7.840 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 7.840 * [taylor]: Taking taylor expansion of d1 in d1 7.840 * [backup-simplify]: Simplify 0 into 0 7.840 * [backup-simplify]: Simplify 1 into 1 7.840 * [backup-simplify]: Simplify (* 1 1) into 1 7.840 * [backup-simplify]: Simplify (* 1 1) into 1 7.841 * [backup-simplify]: Simplify (* 1 1) into 1 7.841 * [backup-simplify]: Simplify (* 1 1) into 1 7.841 * [backup-simplify]: Simplify (/ 1 1) into 1 7.841 * [backup-simplify]: Simplify 1 into 1 7.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.844 * [backup-simplify]: Simplify 0 into 0 7.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.847 * [backup-simplify]: Simplify 0 into 0 7.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.850 * [backup-simplify]: Simplify 0 into 0 7.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.854 * [backup-simplify]: Simplify 0 into 0 7.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.862 * [backup-simplify]: Simplify 0 into 0 7.862 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 7.862 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 7.862 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 7.862 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 7.862 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 7.862 * [taylor]: Taking taylor expansion of d1 in d1 7.862 * [backup-simplify]: Simplify 0 into 0 7.862 * [backup-simplify]: Simplify 1 into 1 7.862 * [backup-simplify]: Simplify (* 1 1) into 1 7.863 * [backup-simplify]: Simplify (* 1 1) into 1 7.863 * [backup-simplify]: Simplify (* 1 1) into 1 7.863 * [backup-simplify]: Simplify (* 1 1) into 1 7.863 * [backup-simplify]: Simplify (/ 1 1) into 1 7.863 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 7.863 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 7.863 * [taylor]: Taking taylor expansion of d1 in d1 7.863 * [backup-simplify]: Simplify 0 into 0 7.863 * [backup-simplify]: Simplify 1 into 1 7.864 * [backup-simplify]: Simplify (* 1 1) into 1 7.864 * [backup-simplify]: Simplify (* 1 1) into 1 7.864 * [backup-simplify]: Simplify (* 1 1) into 1 7.864 * [backup-simplify]: Simplify (* 1 1) into 1 7.865 * [backup-simplify]: Simplify (/ 1 1) into 1 7.865 * [backup-simplify]: Simplify 1 into 1 7.865 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.865 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.867 * [backup-simplify]: Simplify 0 into 0 7.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.869 * [backup-simplify]: Simplify 0 into 0 7.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.874 * [backup-simplify]: Simplify 0 into 0 7.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.879 * [backup-simplify]: Simplify 0 into 0 7.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.886 * [backup-simplify]: Simplify 0 into 0 7.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.893 * [backup-simplify]: Simplify 0 into 0 7.893 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 7.893 * * * [progress]: simplifying candidates 7.893 * * * * [progress]: [ 1 / 86 ] simplifiying candidate # 7.893 * * * * [progress]: [ 2 / 86 ] simplifiying candidate # 7.893 * * * * [progress]: [ 3 / 86 ] simplifiying candidate # 7.893 * * * * [progress]: [ 4 / 86 ] simplifiying candidate # 7.893 * * * * [progress]: [ 5 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 6 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 7 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 8 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 9 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 10 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 11 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 12 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 13 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 14 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 15 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 16 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 17 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 18 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 19 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 20 / 86 ] simplifiying candidate # 7.894 * * * * [progress]: [ 21 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 22 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 23 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 24 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 25 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 26 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 27 / 86 ] simplifiying candidate #real (real->posit16 (* (pow d1 7) d1)))) d1))> 7.895 * * * * [progress]: [ 28 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 29 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 30 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 31 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 32 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 33 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 34 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 35 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 36 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 37 / 86 ] simplifiying candidate # 7.895 * * * * [progress]: [ 38 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 39 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 40 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 41 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 42 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 43 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 44 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 45 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 46 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 47 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 48 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 49 / 86 ] simplifiying candidate #real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))> 7.896 * * * * [progress]: [ 50 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 51 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 52 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 53 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 54 / 86 ] simplifiying candidate # 7.896 * * * * [progress]: [ 55 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 56 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 57 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 58 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 59 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 60 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 61 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 62 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 63 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 64 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 65 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 66 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 67 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 68 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 69 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 70 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 71 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 72 / 86 ] simplifiying candidate # 7.897 * * * * [progress]: [ 73 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 74 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 75 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 76 / 86 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))> 7.898 * * * * [progress]: [ 77 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 78 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 79 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 80 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 81 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 82 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 83 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 84 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 85 / 86 ] simplifiying candidate # 7.898 * * * * [progress]: [ 86 / 86 ] simplifiying candidate # 7.899 * [simplify]: Simplifying: (+ 7 1) (+ 7 1) (+ (* (log d1) 7) (log d1)) (+ (* (log d1) 7) (log d1)) (+ (log (pow d1 7)) (log d1)) (log (* (pow d1 7) d1)) (exp (* (pow d1 7) d1)) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)) (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)) (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (* (pow d1 7) (sqrt d1)) (* (pow d1 7) 1) (* (pow (cbrt d1) 7) d1) (* (pow (sqrt d1) 7) d1) (* (pow d1 7) d1) (* (cbrt (pow d1 7)) d1) (* (sqrt (pow d1 7)) d1) (* (pow d1 7) d1) (* (pow d1 (/ 7 2)) d1) (real->posit16 (* (pow d1 7) d1)) (+ 1 (+ 7 1)) (+ 1 (+ 7 1)) (* d1 (* (pow d1 7) d1)) (+ (log d1) (+ (* (log d1) 7) (log d1))) (+ (log d1) (+ (* (log d1) 7) (log d1))) (+ (log d1) (+ (log (pow d1 7)) (log d1))) (+ (log d1) (log (* (pow d1 7) d1))) (log (* d1 (* (pow d1 7) d1))) (exp (* d1 (* (pow d1 7) d1))) (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1))) (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1))) (* d1 (pow d1 7)) (* (cbrt d1) (* (pow d1 7) d1)) (* (sqrt d1) (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1)) (real->posit16 (* d1 (* (pow d1 7) d1))) (+ (+ 1 (+ 7 1)) 1) (+ (+ 1 (+ 7 1)) 1) (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1) (+ (+ 1 (+ 7 1)) 1) (+ (+ 1 (+ 7 1)) 1) (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1)) (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1)) (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1)) (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1)) (+ (log (* d1 (* (pow d1 7) d1))) (log d1)) (log (* (* d1 (* (pow d1 7) d1)) d1)) (exp (* (* d1 (* (pow d1 7) d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (* (* d1 (* (pow d1 7) d1)) 1) (* (* (pow d1 7) d1) d1) (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1)) (pow d1 8) (pow d1 8) (pow d1 8) (pow d1 9) (pow d1 9) (pow d1 9) (pow d1 10) (pow d1 10) (pow d1 10) 7.901 * * [simplify]: iteration 1: (90 enodes) 7.945 * * [simplify]: iteration 2: (235 enodes) 8.129 * * [simplify]: iteration 3: (738 enodes) 9.433 * * [simplify]: Extracting #0: cost 42 inf + 0 9.435 * * [simplify]: Extracting #1: cost 452 inf + 3 9.441 * * [simplify]: Extracting #2: cost 619 inf + 20080 9.457 * * [simplify]: Extracting #3: cost 314 inf + 107848 9.499 * * [simplify]: Extracting #4: cost 132 inf + 164814 9.545 * * [simplify]: Extracting #5: cost 9 inf + 220000 9.586 * * [simplify]: Extracting #6: cost 0 inf + 223708 9.643 * [simplify]: Simplified to: 8 8 (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (fabs (* (* d1 d1) (* d1 d1))) (fabs (* (* d1 d1) (* d1 d1))) (pow (sqrt d1) 8) (pow (sqrt d1) 8) (* (sqrt d1) (sqrt (pow d1 7))) (* (sqrt d1) (sqrt (pow d1 7))) (* (sqrt d1) (pow d1 7/2)) (* (sqrt d1) (pow d1 7/2)) (* (cbrt d1) (* (cbrt d1) (pow d1 7))) (* (pow d1 7) (sqrt d1)) (pow d1 7) (* d1 (pow (cbrt d1) 7)) (* (pow (sqrt d1) 7) d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (cbrt (pow d1 7)) d1) (* d1 (sqrt (pow d1 7))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (pow d1 9/2) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) 9 9 (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (exp (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) d1) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) d1) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) d1) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (cbrt d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (sqrt d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1))))) 10 10 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) 10 10 (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (exp (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (cbrt d1)) (* (* (* (* d1 d1) (* d1 d1)) (cbrt d1)) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (sqrt d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (real->posit16 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) 9.647 * * * [progress]: adding candidates to table 9.869 * * [progress]: iteration 3 / 4 9.869 * * * [progress]: picking best candidate 9.872 * * * * [pick]: Picked # 9.872 * * * [progress]: localizing error 9.876 * * * [progress]: generating rewritten candidates 9.876 * * * [progress]: generating series expansions 9.876 * * * [progress]: simplifying candidates 9.876 * [simplify]: Simplifying: 9.876 * * [simplify]: iteration 1: (0 enodes) 9.876 * * [simplify]: Extracting #0: cost 0 inf + 0 9.876 * [simplify]: Simplified to: 9.876 * * * [progress]: adding candidates to table 9.876 * [progress]: [Phase 3 of 3] Extracting. 9.878 * [simplify]: Simplifying: (pow d1 10) 9.878 * * [simplify]: iteration 1: (3 enodes) 9.878 * * [simplify]: Extracting #0: cost 1 inf + 0 9.879 * * [simplify]: Extracting #1: cost 3 inf + 0 9.879 * * [simplify]: Extracting #2: cost 1 inf + 2 9.879 * * [simplify]: Extracting #3: cost 0 inf + 214 9.879 * [simplify]: Simplified to: (pow d1 10) 12.684 * [regime-testing]: Baseline error score: 0 12.689 * [regime-testing]: Oracle error score: 0 12.689 * [regime-testing]: End program error score: 0 12.733 * [regime-testing]: Target error score: 0