0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.147 * * * [progress]: [2/2] Setting up program. 0.151 * [progress]: [Phase 2 of 3] Improving. 0.152 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.152 * [simplify]: Simplifying (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) 0.152 * * [simplify]: iters left: 6 (9 enodes) 0.157 * * [simplify]: iters left: 5 (40 enodes) 0.171 * * [simplify]: iters left: 4 (78 enodes) 0.201 * * [simplify]: iters left: 3 (121 enodes) 0.253 * * [simplify]: iters left: 2 (188 enodes) 0.359 * * [simplify]: iters left: 1 (358 enodes) 0.456 * * [simplify]: Extracting #0: cost 1 inf + 0 0.457 * * [simplify]: Extracting #1: cost 43 inf + 0 0.457 * * [simplify]: Extracting #2: cost 77 inf + 242 0.459 * * [simplify]: Extracting #3: cost 34 inf + 7512 0.462 * * [simplify]: Extracting #4: cost 6 inf + 13623 0.465 * * [simplify]: Extracting #5: cost 0 inf + 15087 0.471 * [simplify]: Simplified to (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) 0.471 * [simplify]: Simplified (2) to (λ (n) (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 0.482 * * [progress]: iteration 1 / 4 0.482 * * * [progress]: picking best candidate 0.485 * * * * [pick]: Picked # 0.485 * * * [progress]: localizing error 0.500 * * * [progress]: generating rewritten candidates 0.500 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.509 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.509 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.520 * * * [progress]: generating series expansions 0.520 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.520 * [backup-simplify]: Simplify (- (log1p n) (log n)) into (- (log1p n) (log n)) 0.520 * [approximate]: Taking taylor expansion of (- (log1p n) (log n)) in (n) around 0 0.520 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 0.520 * [taylor]: Taking taylor expansion of (log1p n) in n 0.520 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.520 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.520 * [taylor]: Taking taylor expansion of 1 in n 0.520 * [backup-simplify]: Simplify 1 into 1 0.520 * [taylor]: Taking taylor expansion of n in n 0.520 * [backup-simplify]: Simplify 0 into 0 0.520 * [backup-simplify]: Simplify 1 into 1 0.521 * [backup-simplify]: Simplify (+ 1 0) into 1 0.521 * [backup-simplify]: Simplify (log 1) into 0 0.521 * [taylor]: Taking taylor expansion of (log n) in n 0.521 * [taylor]: Taking taylor expansion of n in n 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 1 into 1 0.522 * [backup-simplify]: Simplify (log 1) into 0 0.522 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 0.522 * [taylor]: Taking taylor expansion of (log1p n) in n 0.522 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.522 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.522 * [taylor]: Taking taylor expansion of 1 in n 0.522 * [backup-simplify]: Simplify 1 into 1 0.522 * [taylor]: Taking taylor expansion of n in n 0.522 * [backup-simplify]: Simplify 0 into 0 0.522 * [backup-simplify]: Simplify 1 into 1 0.523 * [backup-simplify]: Simplify (+ 1 0) into 1 0.523 * [backup-simplify]: Simplify (log 1) into 0 0.523 * [taylor]: Taking taylor expansion of (log n) in n 0.523 * [taylor]: Taking taylor expansion of n in n 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 1 into 1 0.523 * [backup-simplify]: Simplify (log 1) into 0 0.524 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 0.524 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 0.524 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 0.524 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 0.525 * [backup-simplify]: Simplify (+ 0 1) into 1 0.526 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.528 * [backup-simplify]: Simplify (- 0) into 0 0.528 * [backup-simplify]: Simplify (+ 1 0) into 1 0.529 * [backup-simplify]: Simplify 1 into 1 0.529 * [backup-simplify]: Simplify (+ 0 0) into 0 0.532 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.535 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.535 * [backup-simplify]: Simplify (- 0) into 0 0.536 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.536 * [backup-simplify]: Simplify -1/2 into -1/2 0.536 * [backup-simplify]: Simplify (+ (* -1/2 (pow n 2)) (+ (* 1 n) (- (log n)))) into (- n (+ (log n) (* 1/2 (pow n 2)))) 0.536 * [backup-simplify]: Simplify (- (log1p (/ 1 n)) (log (/ 1 n))) into (- (log1p (/ 1 n)) (log (/ 1 n))) 0.536 * [approximate]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in (n) around 0 0.536 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 0.536 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.536 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.536 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.536 * [taylor]: Taking taylor expansion of 1 in n 0.537 * [backup-simplify]: Simplify 1 into 1 0.537 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.537 * [taylor]: Taking taylor expansion of n in n 0.537 * [backup-simplify]: Simplify 0 into 0 0.537 * [backup-simplify]: Simplify 1 into 1 0.537 * [backup-simplify]: Simplify (/ 1 1) into 1 0.537 * [backup-simplify]: Simplify (+ 0 1) into 1 0.538 * [backup-simplify]: Simplify (log 1) into 0 0.538 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.538 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.538 * [taylor]: Taking taylor expansion of n in n 0.538 * [backup-simplify]: Simplify 0 into 0 0.538 * [backup-simplify]: Simplify 1 into 1 0.538 * [backup-simplify]: Simplify (/ 1 1) into 1 0.539 * [backup-simplify]: Simplify (log 1) into 0 0.539 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 0.539 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.539 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.539 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.539 * [taylor]: Taking taylor expansion of 1 in n 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.539 * [taylor]: Taking taylor expansion of n in n 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify 1 into 1 0.539 * [backup-simplify]: Simplify (/ 1 1) into 1 0.540 * [backup-simplify]: Simplify (+ 0 1) into 1 0.540 * [backup-simplify]: Simplify (log 1) into 0 0.540 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.540 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.540 * [taylor]: Taking taylor expansion of n in n 0.540 * [backup-simplify]: Simplify 0 into 0 0.540 * [backup-simplify]: Simplify 1 into 1 0.541 * [backup-simplify]: Simplify (/ 1 1) into 1 0.541 * [backup-simplify]: Simplify (log 1) into 0 0.542 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.542 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.542 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 0.542 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.544 * [backup-simplify]: Simplify (+ 1 0) into 1 0.545 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.547 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.547 * [backup-simplify]: Simplify (- 0) into 0 0.548 * [backup-simplify]: Simplify (+ 1 0) into 1 0.548 * [backup-simplify]: Simplify 1 into 1 0.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.555 * [backup-simplify]: Simplify (+ 0 0) into 0 0.558 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.562 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.562 * [backup-simplify]: Simplify (- 0) into 0 0.563 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.563 * [backup-simplify]: Simplify -1/2 into -1/2 0.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.564 * [backup-simplify]: Simplify (+ 0 0) into 0 0.569 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 0.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.576 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.577 * [backup-simplify]: Simplify (- 0) into 0 0.577 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.577 * [backup-simplify]: Simplify 1/3 into 1/3 0.578 * [backup-simplify]: Simplify (+ (* 1/3 (pow (/ 1 n) 3)) (+ (* -1/2 (pow (/ 1 n) 2)) (* 1 (/ 1 n)))) into (- (+ (* 1/3 (/ 1 (pow n 3))) (/ 1 n)) (* 1/2 (/ 1 (pow n 2)))) 0.578 * [backup-simplify]: Simplify (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) into (- (log1p (/ -1 n)) (log (/ -1 n))) 0.578 * [approximate]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in (n) around 0 0.578 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 0.578 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.578 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.578 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.578 * [taylor]: Taking taylor expansion of 1 in n 0.578 * [backup-simplify]: Simplify 1 into 1 0.578 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.578 * [taylor]: Taking taylor expansion of -1 in n 0.578 * [backup-simplify]: Simplify -1 into -1 0.578 * [taylor]: Taking taylor expansion of n in n 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.579 * [backup-simplify]: Simplify (/ -1 1) into -1 0.579 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.580 * [backup-simplify]: Simplify (log -1) into (log -1) 0.580 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 0.580 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.580 * [taylor]: Taking taylor expansion of -1 in n 0.580 * [backup-simplify]: Simplify -1 into -1 0.580 * [taylor]: Taking taylor expansion of n in n 0.580 * [backup-simplify]: Simplify 0 into 0 0.580 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify (/ -1 1) into -1 0.581 * [backup-simplify]: Simplify (log -1) into (log -1) 0.581 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 0.581 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.581 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.581 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.581 * [taylor]: Taking taylor expansion of 1 in n 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.581 * [taylor]: Taking taylor expansion of -1 in n 0.581 * [backup-simplify]: Simplify -1 into -1 0.581 * [taylor]: Taking taylor expansion of n in n 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [backup-simplify]: Simplify (/ -1 1) into -1 0.582 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.582 * [backup-simplify]: Simplify (log -1) into (log -1) 0.582 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 0.582 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.582 * [taylor]: Taking taylor expansion of -1 in n 0.582 * [backup-simplify]: Simplify -1 into -1 0.582 * [taylor]: Taking taylor expansion of n in n 0.582 * [backup-simplify]: Simplify 0 into 0 0.582 * [backup-simplify]: Simplify 1 into 1 0.583 * [backup-simplify]: Simplify (/ -1 1) into -1 0.583 * [backup-simplify]: Simplify (log -1) into (log -1) 0.584 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.585 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.585 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 0.586 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.588 * [backup-simplify]: Simplify (+ 1 0) into 1 0.590 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.592 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.592 * [backup-simplify]: Simplify (- 0) into 0 0.593 * [backup-simplify]: Simplify (+ -1 0) into -1 0.593 * [backup-simplify]: Simplify -1 into -1 0.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.594 * [backup-simplify]: Simplify (+ 0 0) into 0 0.597 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 0.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.601 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.601 * [backup-simplify]: Simplify (- 0) into 0 0.602 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.602 * [backup-simplify]: Simplify -1/2 into -1/2 0.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.603 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3 0.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.616 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 0.616 * [backup-simplify]: Simplify (- 0) into 0 0.616 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 0.616 * [backup-simplify]: Simplify -1/3 into -1/3 0.617 * [backup-simplify]: Simplify (+ (* -1/3 (pow (/ 1 (- n)) 3)) (+ (* -1/2 (pow (/ 1 (- n)) 2)) (* -1 (/ 1 (- n))))) into (- (+ (* 1/3 (/ 1 (pow n 3))) (/ 1 n)) (* 1/2 (/ 1 (pow n 2)))) 0.617 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.617 * [backup-simplify]: Simplify (fma n (- (log1p n) (log n)) -1) into (fma n (- (log1p n) (log n)) -1) 0.617 * [approximate]: Taking taylor expansion of (fma n (- (log1p n) (log n)) -1) in (n) around 0 0.617 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) -1) in n 0.617 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) -1) 0.617 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 0.617 * [taylor]: Taking taylor expansion of n in n 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 0.617 * [taylor]: Taking taylor expansion of (log1p n) in n 0.617 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.617 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.617 * [taylor]: Taking taylor expansion of 1 in n 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [taylor]: Taking taylor expansion of n in n 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [backup-simplify]: Simplify (+ 1 0) into 1 0.618 * [backup-simplify]: Simplify (log 1) into 0 0.618 * [taylor]: Taking taylor expansion of (log n) in n 0.618 * [taylor]: Taking taylor expansion of n in n 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify (log 1) into 0 0.618 * [taylor]: Taking taylor expansion of -1 in n 0.618 * [backup-simplify]: Simplify -1 into -1 0.618 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) -1) in n 0.618 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) -1) 0.618 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 0.618 * [taylor]: Taking taylor expansion of n in n 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 0.618 * [taylor]: Taking taylor expansion of (log1p n) in n 0.618 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.618 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.618 * [taylor]: Taking taylor expansion of 1 in n 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [taylor]: Taking taylor expansion of n in n 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 1 into 1 0.619 * [backup-simplify]: Simplify (+ 1 0) into 1 0.619 * [backup-simplify]: Simplify (log 1) into 0 0.619 * [taylor]: Taking taylor expansion of (log n) in n 0.619 * [taylor]: Taking taylor expansion of n in n 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [backup-simplify]: Simplify (log 1) into 0 0.619 * [taylor]: Taking taylor expansion of -1 in n 0.619 * [backup-simplify]: Simplify -1 into -1 0.619 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 0.620 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 0.620 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 0.620 * [backup-simplify]: Simplify (* 0 (- (log n))) into 0 0.620 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.620 * [backup-simplify]: Simplify -1 into -1 0.620 * [backup-simplify]: Simplify (+ 0 1) into 1 0.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.622 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.622 * [backup-simplify]: Simplify (- 0) into 0 0.622 * [backup-simplify]: Simplify (+ 1 0) into 1 0.623 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- (log n)))) into (- (log n)) 0.623 * [backup-simplify]: Simplify (+ (- (log n)) 0) into (- (log n)) 0.623 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 0.623 * [backup-simplify]: Simplify (+ 0 0) into 0 0.624 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.626 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.626 * [backup-simplify]: Simplify (- 0) into 0 0.626 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.627 * [backup-simplify]: Simplify (+ (* 0 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1 0.627 * [backup-simplify]: Simplify (+ 1 0) into 1 0.627 * [backup-simplify]: Simplify 1 into 1 0.627 * [backup-simplify]: Simplify (+ (* 1 (pow n 2)) (+ (* (- (log n)) n) -1)) into (- (pow n 2) (+ (* n (log n)) 1)) 0.628 * [backup-simplify]: Simplify (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) into (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) 0.628 * [approximate]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) in (n) around 0 0.628 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) in n 0.628 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) -1) 0.628 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 0.628 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.628 * [taylor]: Taking taylor expansion of n in n 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [backup-simplify]: Simplify (/ 1 1) into 1 0.628 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 0.628 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.628 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.628 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.628 * [taylor]: Taking taylor expansion of 1 in n 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.628 * [taylor]: Taking taylor expansion of n in n 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [backup-simplify]: Simplify (/ 1 1) into 1 0.629 * [backup-simplify]: Simplify (+ 0 1) into 1 0.629 * [backup-simplify]: Simplify (log 1) into 0 0.629 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.629 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.629 * [taylor]: Taking taylor expansion of n in n 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 1 into 1 0.629 * [backup-simplify]: Simplify (/ 1 1) into 1 0.630 * [backup-simplify]: Simplify (log 1) into 0 0.630 * [taylor]: Taking taylor expansion of -1 in n 0.630 * [backup-simplify]: Simplify -1 into -1 0.630 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) in n 0.630 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) -1) 0.630 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 0.630 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.630 * [taylor]: Taking taylor expansion of n in n 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify 1 into 1 0.630 * [backup-simplify]: Simplify (/ 1 1) into 1 0.630 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 0.630 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.630 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.630 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.630 * [taylor]: Taking taylor expansion of 1 in n 0.630 * [backup-simplify]: Simplify 1 into 1 0.630 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.630 * [taylor]: Taking taylor expansion of n in n 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify 1 into 1 0.630 * [backup-simplify]: Simplify (/ 1 1) into 1 0.631 * [backup-simplify]: Simplify (+ 0 1) into 1 0.631 * [backup-simplify]: Simplify (log 1) into 0 0.631 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.631 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.631 * [taylor]: Taking taylor expansion of n in n 0.631 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify 1 into 1 0.631 * [backup-simplify]: Simplify (/ 1 1) into 1 0.631 * [backup-simplify]: Simplify (log 1) into 0 0.632 * [taylor]: Taking taylor expansion of -1 in n 0.632 * [backup-simplify]: Simplify -1 into -1 0.632 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.632 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.632 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 0.632 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 0.633 * [backup-simplify]: Simplify (* 1 0) into 0 0.633 * [backup-simplify]: Simplify (+ 0 0) into 0 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.634 * [backup-simplify]: Simplify (+ 1 0) into 1 0.634 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.635 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.636 * [backup-simplify]: Simplify (- 0) into 0 0.636 * [backup-simplify]: Simplify (+ 1 0) into 1 0.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.637 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 0.637 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.638 * [backup-simplify]: Simplify (+ 0 0) into 0 0.640 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.642 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.642 * [backup-simplify]: Simplify (- 0) into 0 0.642 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.643 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 1) (* 0 0))) into -1/2 0.644 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.644 * [backup-simplify]: Simplify -1/2 into -1/2 0.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.645 * [backup-simplify]: Simplify (+ 0 0) into 0 0.651 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 0.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.657 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.658 * [backup-simplify]: Simplify (- 0) into 0 0.658 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.661 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/3 0.661 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.661 * [backup-simplify]: Simplify 1/3 into 1/3 0.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.663 * [backup-simplify]: Simplify (+ 0 0) into 0 0.674 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into -1/4 0.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.690 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 0.690 * [backup-simplify]: Simplify (- 0) into 0 0.691 * [backup-simplify]: Simplify (+ -1/4 0) into -1/4 0.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.694 * [backup-simplify]: Simplify (+ (* 1 -1/4) (+ (* 0 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0))))) into -1/4 0.694 * [backup-simplify]: Simplify (+ -1/4 0) into -1/4 0.694 * [backup-simplify]: Simplify -1/4 into -1/4 0.695 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 n) 3)) (+ (* 1/3 (pow (/ 1 n) 2)) (* -1/2 (/ 1 n)))) into (- (* 1/3 (/ 1 (pow n 2))) (+ (* 1/4 (/ 1 (pow n 3))) (* 1/2 (/ 1 n)))) 0.695 * [backup-simplify]: Simplify (fma (/ 1 (- n)) (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) -1) into (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) 0.695 * [approximate]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) in (n) around 0 0.695 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) in n 0.695 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) -1) 0.695 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 0.695 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.695 * [taylor]: Taking taylor expansion of -1 in n 0.695 * [backup-simplify]: Simplify -1 into -1 0.695 * [taylor]: Taking taylor expansion of n in n 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [backup-simplify]: Simplify (/ -1 1) into -1 0.696 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 0.696 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.696 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.696 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.696 * [taylor]: Taking taylor expansion of 1 in n 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.696 * [taylor]: Taking taylor expansion of -1 in n 0.696 * [backup-simplify]: Simplify -1 into -1 0.696 * [taylor]: Taking taylor expansion of n in n 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.697 * [backup-simplify]: Simplify (/ -1 1) into -1 0.697 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.698 * [backup-simplify]: Simplify (log -1) into (log -1) 0.698 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 0.698 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.698 * [taylor]: Taking taylor expansion of -1 in n 0.698 * [backup-simplify]: Simplify -1 into -1 0.698 * [taylor]: Taking taylor expansion of n in n 0.698 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [backup-simplify]: Simplify (/ -1 1) into -1 0.699 * [backup-simplify]: Simplify (log -1) into (log -1) 0.699 * [taylor]: Taking taylor expansion of -1 in n 0.699 * [backup-simplify]: Simplify -1 into -1 0.699 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) in n 0.699 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) -1) 0.699 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 0.699 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.699 * [taylor]: Taking taylor expansion of -1 in n 0.699 * [backup-simplify]: Simplify -1 into -1 0.699 * [taylor]: Taking taylor expansion of n in n 0.699 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify 1 into 1 0.700 * [backup-simplify]: Simplify (/ -1 1) into -1 0.700 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 0.700 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.700 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.700 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.700 * [taylor]: Taking taylor expansion of 1 in n 0.700 * [backup-simplify]: Simplify 1 into 1 0.700 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.700 * [taylor]: Taking taylor expansion of -1 in n 0.700 * [backup-simplify]: Simplify -1 into -1 0.700 * [taylor]: Taking taylor expansion of n in n 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 1 into 1 0.700 * [backup-simplify]: Simplify (/ -1 1) into -1 0.701 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.701 * [backup-simplify]: Simplify (log -1) into (log -1) 0.701 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 0.701 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.701 * [taylor]: Taking taylor expansion of -1 in n 0.701 * [backup-simplify]: Simplify -1 into -1 0.701 * [taylor]: Taking taylor expansion of n in n 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 1 into 1 0.702 * [backup-simplify]: Simplify (/ -1 1) into -1 0.702 * [backup-simplify]: Simplify (log -1) into (log -1) 0.702 * [taylor]: Taking taylor expansion of -1 in n 0.702 * [backup-simplify]: Simplify -1 into -1 0.703 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.704 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.705 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 0.705 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 0.706 * [backup-simplify]: Simplify (* -1 0) into 0 0.706 * [backup-simplify]: Simplify (+ 0 0) into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.708 * [backup-simplify]: Simplify (+ 1 0) into 1 0.709 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.712 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.712 * [backup-simplify]: Simplify (- 0) into 0 0.713 * [backup-simplify]: Simplify (+ -1 0) into -1 0.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.714 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 0.715 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.716 * [backup-simplify]: Simplify (+ 0 0) into 0 0.719 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 0.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.723 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.723 * [backup-simplify]: Simplify (- 0) into 0 0.724 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.726 * [backup-simplify]: Simplify (+ (* -1 -1/2) (+ (* 0 -1) (* 0 0))) into 1/2 0.726 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.727 * [backup-simplify]: Simplify 1/2 into 1/2 0.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.728 * [backup-simplify]: Simplify (+ 0 0) into 0 0.733 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3 0.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.738 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 0.738 * [backup-simplify]: Simplify (- 0) into 0 0.738 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 0.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.740 * [backup-simplify]: Simplify (+ (* -1 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0)))) into 1/3 0.740 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.740 * [backup-simplify]: Simplify 1/3 into 1/3 0.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.741 * [backup-simplify]: Simplify (+ 0 0) into 0 0.747 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into -1/4 0.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.753 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 0.754 * [backup-simplify]: Simplify (- 0) into 0 0.754 * [backup-simplify]: Simplify (+ -1/4 0) into -1/4 0.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.756 * [backup-simplify]: Simplify (+ (* -1 -1/4) (+ (* 0 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0))))) into 1/4 0.756 * [backup-simplify]: Simplify (+ 1/4 0) into 1/4 0.756 * [backup-simplify]: Simplify 1/4 into 1/4 0.756 * [backup-simplify]: Simplify (+ (* 1/4 (pow (/ 1 (- n)) 3)) (+ (* 1/3 (pow (/ 1 (- n)) 2)) (* 1/2 (/ 1 (- n))))) into (- (* 1/3 (/ 1 (pow n 2))) (+ (* 1/4 (/ 1 (pow n 3))) (* 1/2 (/ 1 n)))) 0.756 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.756 * [backup-simplify]: Simplify (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) into (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) 0.756 * [approximate]: Taking taylor expansion of (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) in (n) around 0 0.757 * [taylor]: Taking taylor expansion of (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) in n 0.757 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) -1) in n 0.757 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) -1) 0.757 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 0.757 * [taylor]: Taking taylor expansion of n in n 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 1 into 1 0.757 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 0.757 * [taylor]: Taking taylor expansion of (log1p n) in n 0.757 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.757 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.757 * [taylor]: Taking taylor expansion of 1 in n 0.757 * [backup-simplify]: Simplify 1 into 1 0.757 * [taylor]: Taking taylor expansion of n in n 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 1 into 1 0.757 * [backup-simplify]: Simplify (+ 1 0) into 1 0.757 * [backup-simplify]: Simplify (log 1) into 0 0.757 * [taylor]: Taking taylor expansion of (log n) in n 0.757 * [taylor]: Taking taylor expansion of n in n 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 1 into 1 0.758 * [backup-simplify]: Simplify (log 1) into 0 0.758 * [taylor]: Taking taylor expansion of -1 in n 0.758 * [backup-simplify]: Simplify -1 into -1 0.758 * [taylor]: Taking taylor expansion of (log1p n) in n 0.758 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.758 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.758 * [taylor]: Taking taylor expansion of 1 in n 0.758 * [backup-simplify]: Simplify 1 into 1 0.758 * [taylor]: Taking taylor expansion of n in n 0.758 * [backup-simplify]: Simplify 0 into 0 0.758 * [backup-simplify]: Simplify 1 into 1 0.758 * [backup-simplify]: Simplify (+ 1 0) into 1 0.759 * [backup-simplify]: Simplify (log 1) into 0 0.759 * [taylor]: Taking taylor expansion of (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) in n 0.759 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) -1) in n 0.759 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) -1) 0.759 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 0.759 * [taylor]: Taking taylor expansion of n in n 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 1 into 1 0.759 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 0.759 * [taylor]: Taking taylor expansion of (log1p n) in n 0.759 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.759 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.759 * [taylor]: Taking taylor expansion of 1 in n 0.759 * [backup-simplify]: Simplify 1 into 1 0.759 * [taylor]: Taking taylor expansion of n in n 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 1 into 1 0.759 * [backup-simplify]: Simplify (+ 1 0) into 1 0.759 * [backup-simplify]: Simplify (log 1) into 0 0.759 * [taylor]: Taking taylor expansion of (log n) in n 0.759 * [taylor]: Taking taylor expansion of n in n 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 1 into 1 0.760 * [backup-simplify]: Simplify (log 1) into 0 0.760 * [taylor]: Taking taylor expansion of -1 in n 0.760 * [backup-simplify]: Simplify -1 into -1 0.760 * [taylor]: Taking taylor expansion of (log1p n) in n 0.760 * [taylor]: Rewrote expression to (log (+ 1 n)) 0.760 * [taylor]: Taking taylor expansion of (+ 1 n) in n 0.760 * [taylor]: Taking taylor expansion of 1 in n 0.760 * [backup-simplify]: Simplify 1 into 1 0.760 * [taylor]: Taking taylor expansion of n in n 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 1 into 1 0.760 * [backup-simplify]: Simplify (+ 1 0) into 1 0.760 * [backup-simplify]: Simplify (log 1) into 0 0.761 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 0.761 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 0.761 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 0.761 * [backup-simplify]: Simplify (* 0 (- (log n))) into 0 0.761 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.761 * [backup-simplify]: Simplify (+ -1 0) into -1 0.761 * [backup-simplify]: Simplify -1 into -1 0.762 * [backup-simplify]: Simplify (+ 0 1) into 1 0.762 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.763 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.764 * [backup-simplify]: Simplify (- 0) into 0 0.764 * [backup-simplify]: Simplify (+ 1 0) into 1 0.764 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- (log n)))) into (- (log n)) 0.765 * [backup-simplify]: Simplify (+ (- (log n)) 0) into (- (log n)) 0.765 * [backup-simplify]: Simplify (+ 0 1) into 1 0.766 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.766 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 0.766 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 0.767 * [backup-simplify]: Simplify (+ 0 0) into 0 0.770 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.773 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.773 * [backup-simplify]: Simplify (- 0) into 0 0.774 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.775 * [backup-simplify]: Simplify (+ (* 0 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1 0.775 * [backup-simplify]: Simplify (+ 1 0) into 1 0.775 * [backup-simplify]: Simplify (+ 0 0) into 0 0.778 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.779 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2 0.779 * [backup-simplify]: Simplify 1/2 into 1/2 0.779 * [backup-simplify]: Simplify (+ (* 1/2 (pow n 2)) (+ (* (- 1 (log n)) n) -1)) into (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1)) 0.779 * [backup-simplify]: Simplify (+ (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) (log1p (/ 1 n))) into (+ (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) (log1p (/ 1 n))) 0.780 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) (log1p (/ 1 n))) in (n) around 0 0.780 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) (log1p (/ 1 n))) in n 0.780 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) in n 0.780 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) -1) 0.780 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 0.780 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.780 * [taylor]: Taking taylor expansion of n in n 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 1 into 1 0.780 * [backup-simplify]: Simplify (/ 1 1) into 1 0.780 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 0.780 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.780 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.780 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.780 * [taylor]: Taking taylor expansion of 1 in n 0.780 * [backup-simplify]: Simplify 1 into 1 0.780 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.781 * [taylor]: Taking taylor expansion of n in n 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (/ 1 1) into 1 0.782 * [backup-simplify]: Simplify (+ 0 1) into 1 0.782 * [backup-simplify]: Simplify (log 1) into 0 0.782 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.782 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.782 * [taylor]: Taking taylor expansion of n in n 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 1 into 1 0.783 * [backup-simplify]: Simplify (/ 1 1) into 1 0.783 * [backup-simplify]: Simplify (log 1) into 0 0.783 * [taylor]: Taking taylor expansion of -1 in n 0.783 * [backup-simplify]: Simplify -1 into -1 0.783 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.783 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.783 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.783 * [taylor]: Taking taylor expansion of 1 in n 0.783 * [backup-simplify]: Simplify 1 into 1 0.783 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.783 * [taylor]: Taking taylor expansion of n in n 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 1 into 1 0.784 * [backup-simplify]: Simplify (/ 1 1) into 1 0.784 * [backup-simplify]: Simplify (+ 0 1) into 1 0.784 * [backup-simplify]: Simplify (log 1) into 0 0.785 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) (log1p (/ 1 n))) in n 0.785 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) -1) in n 0.785 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) -1) 0.785 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 0.785 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.785 * [taylor]: Taking taylor expansion of n in n 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (/ 1 1) into 1 0.785 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 0.785 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.785 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.785 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.785 * [taylor]: Taking taylor expansion of 1 in n 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.785 * [taylor]: Taking taylor expansion of n in n 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.786 * [backup-simplify]: Simplify (/ 1 1) into 1 0.786 * [backup-simplify]: Simplify (+ 0 1) into 1 0.787 * [backup-simplify]: Simplify (log 1) into 0 0.787 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.787 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.787 * [taylor]: Taking taylor expansion of n in n 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 1 into 1 0.787 * [backup-simplify]: Simplify (/ 1 1) into 1 0.788 * [backup-simplify]: Simplify (log 1) into 0 0.788 * [taylor]: Taking taylor expansion of -1 in n 0.788 * [backup-simplify]: Simplify -1 into -1 0.788 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 0.788 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 0.788 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 0.788 * [taylor]: Taking taylor expansion of 1 in n 0.788 * [backup-simplify]: Simplify 1 into 1 0.788 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.788 * [taylor]: Taking taylor expansion of n in n 0.788 * [backup-simplify]: Simplify 0 into 0 0.788 * [backup-simplify]: Simplify 1 into 1 0.788 * [backup-simplify]: Simplify (/ 1 1) into 1 0.789 * [backup-simplify]: Simplify (+ 0 1) into 1 0.789 * [backup-simplify]: Simplify (log 1) into 0 0.790 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.790 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.790 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 0.790 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 0.791 * [backup-simplify]: Simplify (* 1 0) into 0 0.791 * [backup-simplify]: Simplify (+ 0 0) into 0 0.791 * [backup-simplify]: Simplify (+ 0 0) into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.793 * [backup-simplify]: Simplify (+ 1 0) into 1 0.794 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.796 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.796 * [backup-simplify]: Simplify (- 0) into 0 0.797 * [backup-simplify]: Simplify (+ 1 0) into 1 0.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.798 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 0.798 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.799 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 0.799 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 0.799 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 0.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.800 * [backup-simplify]: Simplify (+ 0 0) into 0 0.803 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.805 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.806 * [backup-simplify]: Simplify (- 0) into 0 0.806 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.807 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 1) (* 0 0))) into -1/2 0.807 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.808 * [backup-simplify]: Simplify (+ 1 0) into 1 0.809 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.809 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 0.809 * [backup-simplify]: Simplify 1/2 into 1/2 0.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.810 * [backup-simplify]: Simplify (+ 0 0) into 0 0.814 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 0.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.817 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 0.818 * [backup-simplify]: Simplify (- 0) into 0 0.818 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.819 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/3 0.820 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.820 * [backup-simplify]: Simplify (+ 0 0) into 0 0.822 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 0.822 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 0.822 * [backup-simplify]: Simplify -1/6 into -1/6 0.822 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 n) 2)) (+ (* 1/2 (/ 1 n)) (- (log (/ 1 n))))) into (- (* 1/2 (/ 1 n)) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 0.823 * [backup-simplify]: Simplify (+ (fma (/ 1 (- n)) (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) -1) (log1p (/ 1 (- n)))) into (+ (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) (log1p (/ -1 n))) 0.823 * [approximate]: Taking taylor expansion of (+ (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) (log1p (/ -1 n))) in (n) around 0 0.823 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) (log1p (/ -1 n))) in n 0.823 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) in n 0.823 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) -1) 0.823 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 0.823 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.823 * [taylor]: Taking taylor expansion of -1 in n 0.823 * [backup-simplify]: Simplify -1 into -1 0.823 * [taylor]: Taking taylor expansion of n in n 0.823 * [backup-simplify]: Simplify 0 into 0 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [backup-simplify]: Simplify (/ -1 1) into -1 0.823 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 0.823 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.823 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.823 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.823 * [taylor]: Taking taylor expansion of 1 in n 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.823 * [taylor]: Taking taylor expansion of -1 in n 0.823 * [backup-simplify]: Simplify -1 into -1 0.823 * [taylor]: Taking taylor expansion of n in n 0.823 * [backup-simplify]: Simplify 0 into 0 0.823 * [backup-simplify]: Simplify 1 into 1 0.824 * [backup-simplify]: Simplify (/ -1 1) into -1 0.824 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.824 * [backup-simplify]: Simplify (log -1) into (log -1) 0.824 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 0.824 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.824 * [taylor]: Taking taylor expansion of -1 in n 0.824 * [backup-simplify]: Simplify -1 into -1 0.824 * [taylor]: Taking taylor expansion of n in n 0.824 * [backup-simplify]: Simplify 0 into 0 0.824 * [backup-simplify]: Simplify 1 into 1 0.825 * [backup-simplify]: Simplify (/ -1 1) into -1 0.825 * [backup-simplify]: Simplify (log -1) into (log -1) 0.825 * [taylor]: Taking taylor expansion of -1 in n 0.825 * [backup-simplify]: Simplify -1 into -1 0.825 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.825 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.825 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.825 * [taylor]: Taking taylor expansion of 1 in n 0.825 * [backup-simplify]: Simplify 1 into 1 0.825 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.825 * [taylor]: Taking taylor expansion of -1 in n 0.825 * [backup-simplify]: Simplify -1 into -1 0.825 * [taylor]: Taking taylor expansion of n in n 0.825 * [backup-simplify]: Simplify 0 into 0 0.825 * [backup-simplify]: Simplify 1 into 1 0.825 * [backup-simplify]: Simplify (/ -1 1) into -1 0.826 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.826 * [backup-simplify]: Simplify (log -1) into (log -1) 0.826 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) (log1p (/ -1 n))) in n 0.826 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) -1) in n 0.826 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) -1) 0.826 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 0.826 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.826 * [taylor]: Taking taylor expansion of -1 in n 0.826 * [backup-simplify]: Simplify -1 into -1 0.826 * [taylor]: Taking taylor expansion of n in n 0.826 * [backup-simplify]: Simplify 0 into 0 0.826 * [backup-simplify]: Simplify 1 into 1 0.826 * [backup-simplify]: Simplify (/ -1 1) into -1 0.826 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 0.826 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.826 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.826 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.826 * [taylor]: Taking taylor expansion of 1 in n 0.826 * [backup-simplify]: Simplify 1 into 1 0.826 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.826 * [taylor]: Taking taylor expansion of -1 in n 0.826 * [backup-simplify]: Simplify -1 into -1 0.827 * [taylor]: Taking taylor expansion of n in n 0.827 * [backup-simplify]: Simplify 0 into 0 0.827 * [backup-simplify]: Simplify 1 into 1 0.827 * [backup-simplify]: Simplify (/ -1 1) into -1 0.827 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.827 * [backup-simplify]: Simplify (log -1) into (log -1) 0.827 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 0.827 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.827 * [taylor]: Taking taylor expansion of -1 in n 0.827 * [backup-simplify]: Simplify -1 into -1 0.827 * [taylor]: Taking taylor expansion of n in n 0.827 * [backup-simplify]: Simplify 0 into 0 0.827 * [backup-simplify]: Simplify 1 into 1 0.828 * [backup-simplify]: Simplify (/ -1 1) into -1 0.828 * [backup-simplify]: Simplify (log -1) into (log -1) 0.828 * [taylor]: Taking taylor expansion of -1 in n 0.828 * [backup-simplify]: Simplify -1 into -1 0.828 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 0.828 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 0.828 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 0.828 * [taylor]: Taking taylor expansion of 1 in n 0.828 * [backup-simplify]: Simplify 1 into 1 0.828 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.828 * [taylor]: Taking taylor expansion of -1 in n 0.828 * [backup-simplify]: Simplify -1 into -1 0.828 * [taylor]: Taking taylor expansion of n in n 0.828 * [backup-simplify]: Simplify 0 into 0 0.828 * [backup-simplify]: Simplify 1 into 1 0.828 * [backup-simplify]: Simplify (/ -1 1) into -1 0.829 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.829 * [backup-simplify]: Simplify (log -1) into (log -1) 0.830 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.830 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.830 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 0.831 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 0.831 * [backup-simplify]: Simplify (* -1 0) into 0 0.831 * [backup-simplify]: Simplify (+ 0 0) into 0 0.832 * [backup-simplify]: Simplify (+ 0 0) into 0 0.832 * [backup-simplify]: Simplify 0 into 0 0.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.833 * [backup-simplify]: Simplify (+ 1 0) into 1 0.834 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.837 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.837 * [backup-simplify]: Simplify (- 0) into 0 0.838 * [backup-simplify]: Simplify (+ -1 0) into -1 0.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.839 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 0.840 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.840 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 0.841 * [backup-simplify]: Simplify (+ 0 (- (log -1) (log n))) into (- (log -1) (log n)) 0.841 * [backup-simplify]: Simplify (- (log -1) (log n)) into (- (log -1) (log n)) 0.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.843 * [backup-simplify]: Simplify (+ 0 0) into 0 0.845 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 0.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.849 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.850 * [backup-simplify]: Simplify (- 0) into 0 0.850 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.852 * [backup-simplify]: Simplify (+ (* -1 -1/2) (+ (* 0 -1) (* 0 0))) into 1/2 0.853 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.854 * [backup-simplify]: Simplify (+ 1 0) into 1 0.856 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.856 * [backup-simplify]: Simplify (+ 1/2 -1) into -1/2 0.856 * [backup-simplify]: Simplify -1/2 into -1/2 0.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.857 * [backup-simplify]: Simplify (+ 0 0) into 0 0.863 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3 0.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.867 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 0.868 * [backup-simplify]: Simplify (- 0) into 0 0.868 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 0.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.869 * [backup-simplify]: Simplify (+ (* -1 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0)))) into 1/3 0.870 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.870 * [backup-simplify]: Simplify (+ 0 0) into 0 0.872 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 0.872 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 0.873 * [backup-simplify]: Simplify -1/6 into -1/6 0.873 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- n)) 2)) (+ (* -1/2 (/ 1 (- n))) (- (log -1) (log (/ 1 (- n)))))) into (- (+ (log -1) (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 0.873 * * * [progress]: simplifying candidates 0.873 * * * * [progress]: [ 1 / 77 ] simplifiying candidate # 0.873 * [simplify]: Simplifying (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (log n) 1))) 0.873 * * [simplify]: iters left: 6 (9 enodes) 0.876 * * [simplify]: iters left: 5 (35 enodes) 0.883 * * [simplify]: iters left: 4 (48 enodes) 0.892 * * [simplify]: iters left: 3 (61 enodes) 0.907 * * [simplify]: iters left: 2 (68 enodes) 0.917 * * [simplify]: iters left: 1 (82 enodes) 0.932 * * [simplify]: Extracting #0: cost 1 inf + 0 0.932 * * [simplify]: Extracting #1: cost 9 inf + 0 0.932 * * [simplify]: Extracting #2: cost 15 inf + 2 0.932 * * [simplify]: Extracting #3: cost 16 inf + 4 0.932 * * [simplify]: Extracting #4: cost 13 inf + 440 0.933 * * [simplify]: Extracting #5: cost 4 inf + 2864 0.933 * * [simplify]: Extracting #6: cost 1 inf + 3247 0.934 * * [simplify]: Extracting #7: cost 0 inf + 3629 0.934 * [simplify]: Simplified to (- (log1p n) (log n)) 0.934 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (log n)) 1 (* (log n) 1))) -1) (log1p n))) 0.934 * [simplify]: Simplifying (fma (- (log n)) 1 (* (log n) 1)) 0.934 * * [simplify]: iters left: 4 (6 enodes) 0.937 * * [simplify]: iters left: 3 (21 enodes) 0.944 * * [simplify]: iters left: 2 (32 enodes) 0.955 * * [simplify]: iters left: 1 (37 enodes) 0.970 * * [simplify]: Extracting #0: cost 1 inf + 0 0.970 * * [simplify]: Extracting #1: cost 7 inf + 0 0.970 * * [simplify]: Extracting #2: cost 7 inf + 3 0.970 * * [simplify]: Extracting #3: cost 2 inf + 368 0.970 * * [simplify]: Extracting #4: cost 0 inf + 590 0.971 * [simplify]: Simplified to (- (log n) (log n)) 0.971 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (- (log n) (log n))) -1) (log1p n))) 0.971 * * * * [progress]: [ 2 / 77 ] simplifiying candidate # 0.971 * [simplify]: Simplifying (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) 0.972 * * [simplify]: iters left: 6 (10 enodes) 0.977 * * [simplify]: iters left: 5 (39 enodes) 0.990 * * [simplify]: iters left: 4 (59 enodes) 1.010 * * [simplify]: iters left: 3 (81 enodes) 1.038 * * [simplify]: iters left: 2 (121 enodes) 1.072 * * [simplify]: iters left: 1 (199 enodes) 1.124 * * [simplify]: Extracting #0: cost 1 inf + 0 1.124 * * [simplify]: Extracting #1: cost 20 inf + 0 1.125 * * [simplify]: Extracting #2: cost 81 inf + 0 1.125 * * [simplify]: Extracting #3: cost 98 inf + 5 1.125 * * [simplify]: Extracting #4: cost 87 inf + 1718 1.126 * * [simplify]: Extracting #5: cost 77 inf + 3972 1.128 * * [simplify]: Extracting #6: cost 38 inf + 23795 1.132 * * [simplify]: Extracting #7: cost 2 inf + 50455 1.140 * * [simplify]: Extracting #8: cost 0 inf + 52023 1.148 * [simplify]: Simplified to (- (log1p n) (log n)) 1.148 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) -1) (log1p n))) 1.148 * [simplify]: Simplifying (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n))))) 1.148 * * [simplify]: iters left: 6 (7 enodes) 1.151 * * [simplify]: iters left: 5 (26 enodes) 1.164 * * [simplify]: iters left: 4 (42 enodes) 1.173 * * [simplify]: iters left: 3 (83 enodes) 1.190 * * [simplify]: iters left: 2 (133 enodes) 1.219 * * [simplify]: iters left: 1 (202 enodes) 1.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1.284 * * [simplify]: Extracting #1: cost 0 inf + 1 1.284 * [simplify]: Simplified to 0 1.284 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) 0) -1) (log1p n))) 1.284 * * * * [progress]: [ 3 / 77 ] simplifiying candidate # 1.285 * [simplify]: Simplifying (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (sqrt (log n)) (sqrt (log n))))) 1.285 * * [simplify]: iters left: 6 (9 enodes) 1.289 * * [simplify]: iters left: 5 (30 enodes) 1.298 * * [simplify]: iters left: 4 (38 enodes) 1.309 * * [simplify]: iters left: 3 (43 enodes) 1.321 * * [simplify]: iters left: 2 (50 enodes) 1.336 * * [simplify]: iters left: 1 (67 enodes) 1.360 * * [simplify]: Extracting #0: cost 1 inf + 0 1.360 * * [simplify]: Extracting #1: cost 12 inf + 0 1.360 * * [simplify]: Extracting #2: cost 26 inf + 0 1.360 * * [simplify]: Extracting #3: cost 25 inf + 94 1.361 * * [simplify]: Extracting #4: cost 11 inf + 2943 1.362 * * [simplify]: Extracting #5: cost 4 inf + 4682 1.363 * * [simplify]: Extracting #6: cost 0 inf + 6279 1.364 * [simplify]: Simplified to (- (log1p n) (log n)) 1.364 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n))))) -1) (log1p n))) 1.365 * [simplify]: Simplifying (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n)))) 1.365 * * [simplify]: iters left: 5 (6 enodes) 1.368 * * [simplify]: iters left: 4 (18 enodes) 1.373 * * [simplify]: iters left: 3 (26 enodes) 1.381 * * [simplify]: iters left: 2 (34 enodes) 1.390 * * [simplify]: iters left: 1 (36 enodes) 1.398 * * [simplify]: Extracting #0: cost 1 inf + 0 1.398 * * [simplify]: Extracting #1: cost 0 inf + 1 1.398 * [simplify]: Simplified to 0 1.398 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) 0) -1) (log1p n))) 1.398 * * * * [progress]: [ 4 / 77 ] simplifiying candidate # 1.398 * [simplify]: Simplifying (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (log n) 1))) 1.398 * * [simplify]: iters left: 6 (9 enodes) 1.403 * * [simplify]: iters left: 5 (35 enodes) 1.418 * * [simplify]: iters left: 4 (48 enodes) 1.435 * * [simplify]: iters left: 3 (61 enodes) 1.451 * * [simplify]: iters left: 2 (68 enodes) 1.469 * * [simplify]: iters left: 1 (82 enodes) 1.492 * * [simplify]: Extracting #0: cost 1 inf + 0 1.492 * * [simplify]: Extracting #1: cost 9 inf + 0 1.492 * * [simplify]: Extracting #2: cost 15 inf + 2 1.492 * * [simplify]: Extracting #3: cost 16 inf + 4 1.492 * * [simplify]: Extracting #4: cost 13 inf + 440 1.493 * * [simplify]: Extracting #5: cost 4 inf + 2864 1.493 * * [simplify]: Extracting #6: cost 1 inf + 3247 1.493 * * [simplify]: Extracting #7: cost 0 inf + 3629 1.494 * [simplify]: Simplified to (- (log1p n) (log n)) 1.494 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (log n)) 1 (* (log n) 1))) -1) (log1p n))) 1.494 * [simplify]: Simplifying (fma (- (log n)) 1 (* (log n) 1)) 1.494 * * [simplify]: iters left: 4 (6 enodes) 1.496 * * [simplify]: iters left: 3 (21 enodes) 1.500 * * [simplify]: iters left: 2 (32 enodes) 1.506 * * [simplify]: iters left: 1 (37 enodes) 1.514 * * [simplify]: Extracting #0: cost 1 inf + 0 1.514 * * [simplify]: Extracting #1: cost 7 inf + 0 1.514 * * [simplify]: Extracting #2: cost 7 inf + 3 1.514 * * [simplify]: Extracting #3: cost 2 inf + 368 1.514 * * [simplify]: Extracting #4: cost 0 inf + 590 1.514 * [simplify]: Simplified to (- (log n) (log n)) 1.514 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (- (log n) (log n))) -1) (log1p n))) 1.514 * * * * [progress]: [ 5 / 77 ] simplifiying candidate # 1.515 * [simplify]: Simplifying (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (log n) 1))) 1.515 * * [simplify]: iters left: 6 (8 enodes) 1.517 * * [simplify]: iters left: 5 (32 enodes) 1.525 * * [simplify]: iters left: 4 (41 enodes) 1.534 * * [simplify]: iters left: 3 (49 enodes) 1.541 * * [simplify]: iters left: 2 (53 enodes) 1.546 * * [simplify]: Extracting #0: cost 1 inf + 0 1.546 * * [simplify]: Extracting #1: cost 8 inf + 0 1.546 * * [simplify]: Extracting #2: cost 11 inf + 2 1.546 * * [simplify]: Extracting #3: cost 10 inf + 3 1.546 * * [simplify]: Extracting #4: cost 5 inf + 638 1.547 * * [simplify]: Extracting #5: cost 0 inf + 1213 1.547 * [simplify]: Simplified to (- (log1p n) (log n)) 1.547 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (log n)) 1 (* (log n) 1))) -1) (log1p n))) 1.547 * [simplify]: Simplifying (fma (- (log n)) 1 (* (log n) 1)) 1.547 * * [simplify]: iters left: 4 (6 enodes) 1.549 * * [simplify]: iters left: 3 (21 enodes) 1.553 * * [simplify]: iters left: 2 (32 enodes) 1.561 * * [simplify]: iters left: 1 (37 enodes) 1.575 * * [simplify]: Extracting #0: cost 1 inf + 0 1.576 * * [simplify]: Extracting #1: cost 7 inf + 0 1.576 * * [simplify]: Extracting #2: cost 7 inf + 3 1.576 * * [simplify]: Extracting #3: cost 2 inf + 368 1.576 * * [simplify]: Extracting #4: cost 0 inf + 590 1.577 * [simplify]: Simplified to (- (log n) (log n)) 1.577 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (- (log n) (log n))) -1) (log1p n))) 1.577 * * * * [progress]: [ 6 / 77 ] simplifiying candidate # 1.577 * [simplify]: Simplifying (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) 1.577 * * [simplify]: iters left: 6 (9 enodes) 1.581 * * [simplify]: iters left: 5 (36 enodes) 1.594 * * [simplify]: iters left: 4 (52 enodes) 1.606 * * [simplify]: iters left: 3 (73 enodes) 1.620 * * [simplify]: iters left: 2 (123 enodes) 1.650 * * [simplify]: iters left: 1 (210 enodes) 1.706 * * [simplify]: Extracting #0: cost 1 inf + 0 1.706 * * [simplify]: Extracting #1: cost 22 inf + 0 1.706 * * [simplify]: Extracting #2: cost 96 inf + 0 1.707 * * [simplify]: Extracting #3: cost 104 inf + 832 1.708 * * [simplify]: Extracting #4: cost 92 inf + 4702 1.710 * * [simplify]: Extracting #5: cost 44 inf + 30335 1.719 * * [simplify]: Extracting #6: cost 1 inf + 61256 1.733 * * [simplify]: Extracting #7: cost 0 inf + 61869 1.743 * [simplify]: Simplified to (- (log1p n) (log n)) 1.743 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) -1) (log1p n))) 1.744 * [simplify]: Simplifying (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n))))) 1.744 * * [simplify]: iters left: 6 (7 enodes) 1.745 * * [simplify]: iters left: 5 (26 enodes) 1.751 * * [simplify]: iters left: 4 (42 enodes) 1.760 * * [simplify]: iters left: 3 (83 enodes) 1.778 * * [simplify]: iters left: 2 (133 enodes) 1.818 * * [simplify]: iters left: 1 (202 enodes) 1.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1.887 * * [simplify]: Extracting #1: cost 0 inf + 1 1.887 * [simplify]: Simplified to 0 1.887 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) 0) -1) (log1p n))) 1.887 * * * * [progress]: [ 7 / 77 ] simplifiying candidate # 1.887 * [simplify]: Simplifying (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (sqrt (log n)) (sqrt (log n))))) 1.887 * * [simplify]: iters left: 6 (8 enodes) 1.889 * * [simplify]: iters left: 5 (27 enodes) 1.893 * * [simplify]: iters left: 4 (31 enodes) 1.897 * * [simplify]: iters left: 3 (36 enodes) 1.905 * * [simplify]: iters left: 2 (45 enodes) 1.917 * * [simplify]: iters left: 1 (60 enodes) 1.937 * * [simplify]: Extracting #0: cost 1 inf + 0 1.937 * * [simplify]: Extracting #1: cost 14 inf + 0 1.937 * * [simplify]: Extracting #2: cost 33 inf + 0 1.938 * * [simplify]: Extracting #3: cost 29 inf + 254 1.938 * * [simplify]: Extracting #4: cost 21 inf + 1402 1.940 * * [simplify]: Extracting #5: cost 4 inf + 6029 1.942 * * [simplify]: Extracting #6: cost 0 inf + 7353 1.944 * [simplify]: Simplified to (- (log1p n) (log n)) 1.944 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n))))) -1) (log1p n))) 1.945 * [simplify]: Simplifying (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n)))) 1.945 * * [simplify]: iters left: 5 (6 enodes) 1.948 * * [simplify]: iters left: 4 (18 enodes) 1.953 * * [simplify]: iters left: 3 (26 enodes) 1.961 * * [simplify]: iters left: 2 (34 enodes) 1.973 * * [simplify]: iters left: 1 (36 enodes) 1.981 * * [simplify]: Extracting #0: cost 1 inf + 0 1.981 * * [simplify]: Extracting #1: cost 0 inf + 1 1.981 * [simplify]: Simplified to 0 1.981 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) 0) -1) (log1p n))) 1.981 * * * * [progress]: [ 8 / 77 ] simplifiying candidate # 1.982 * [simplify]: Simplifying (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (log n) 1))) 1.982 * * [simplify]: iters left: 6 (8 enodes) 1.986 * * [simplify]: iters left: 5 (32 enodes) 1.997 * * [simplify]: iters left: 4 (41 enodes) 2.011 * * [simplify]: iters left: 3 (49 enodes) 2.023 * * [simplify]: iters left: 2 (53 enodes) 2.032 * * [simplify]: Extracting #0: cost 1 inf + 0 2.032 * * [simplify]: Extracting #1: cost 8 inf + 0 2.032 * * [simplify]: Extracting #2: cost 11 inf + 2 2.032 * * [simplify]: Extracting #3: cost 10 inf + 3 2.032 * * [simplify]: Extracting #4: cost 5 inf + 638 2.032 * * [simplify]: Extracting #5: cost 0 inf + 1213 2.032 * [simplify]: Simplified to (- (log1p n) (log n)) 2.032 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (log n)) 1 (* (log n) 1))) -1) (log1p n))) 2.033 * [simplify]: Simplifying (fma (- (log n)) 1 (* (log n) 1)) 2.033 * * [simplify]: iters left: 4 (6 enodes) 2.035 * * [simplify]: iters left: 3 (21 enodes) 2.039 * * [simplify]: iters left: 2 (32 enodes) 2.045 * * [simplify]: iters left: 1 (37 enodes) 2.053 * * [simplify]: Extracting #0: cost 1 inf + 0 2.053 * * [simplify]: Extracting #1: cost 7 inf + 0 2.053 * * [simplify]: Extracting #2: cost 7 inf + 3 2.053 * * [simplify]: Extracting #3: cost 2 inf + 368 2.053 * * [simplify]: Extracting #4: cost 0 inf + 590 2.053 * [simplify]: Simplified to (- (log n) (log n)) 2.053 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (- (log n) (log n))) -1) (log1p n))) 2.054 * * * * [progress]: [ 9 / 77 ] simplifiying candidate # 2.054 * [simplify]: Simplifying (fma 1 (log1p n) (- (* (log n) 1))) 2.054 * * [simplify]: iters left: 6 (7 enodes) 2.056 * * [simplify]: iters left: 5 (29 enodes) 2.062 * * [simplify]: iters left: 4 (39 enodes) 2.074 * * [simplify]: iters left: 3 (48 enodes) 2.082 * * [simplify]: iters left: 2 (53 enodes) 2.090 * * [simplify]: Extracting #0: cost 1 inf + 0 2.090 * * [simplify]: Extracting #1: cost 7 inf + 0 2.090 * * [simplify]: Extracting #2: cost 9 inf + 2 2.091 * * [simplify]: Extracting #3: cost 4 inf + 367 2.091 * * [simplify]: Extracting #4: cost 1 inf + 860 2.091 * * [simplify]: Extracting #5: cost 0 inf + 951 2.091 * [simplify]: Simplified to (- (log1p n) (log n)) 2.091 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (log n)) 1 (* (log n) 1))) -1) (log1p n))) 2.091 * [simplify]: Simplifying (fma (- (log n)) 1 (* (log n) 1)) 2.092 * * [simplify]: iters left: 4 (6 enodes) 2.093 * * [simplify]: iters left: 3 (21 enodes) 2.098 * * [simplify]: iters left: 2 (32 enodes) 2.103 * * [simplify]: iters left: 1 (37 enodes) 2.111 * * [simplify]: Extracting #0: cost 1 inf + 0 2.111 * * [simplify]: Extracting #1: cost 7 inf + 0 2.111 * * [simplify]: Extracting #2: cost 7 inf + 3 2.112 * * [simplify]: Extracting #3: cost 2 inf + 368 2.112 * * [simplify]: Extracting #4: cost 0 inf + 590 2.113 * [simplify]: Simplified to (- (log n) (log n)) 2.113 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (- (log n) (log n))) -1) (log1p n))) 2.113 * * * * [progress]: [ 10 / 77 ] simplifiying candidate # 2.113 * [simplify]: Simplifying (fma 1 (log1p n) (- (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) 2.113 * * [simplify]: iters left: 6 (9 enodes) 2.119 * * [simplify]: iters left: 5 (38 enodes) 2.126 * * [simplify]: iters left: 4 (57 enodes) 2.137 * * [simplify]: iters left: 3 (78 enodes) 2.153 * * [simplify]: iters left: 2 (122 enodes) 2.189 * * [simplify]: iters left: 1 (191 enodes) 2.249 * * [simplify]: Extracting #0: cost 1 inf + 0 2.249 * * [simplify]: Extracting #1: cost 12 inf + 0 2.250 * * [simplify]: Extracting #2: cost 51 inf + 1 2.250 * * [simplify]: Extracting #3: cost 82 inf + 5 2.251 * * [simplify]: Extracting #4: cost 73 inf + 755 2.252 * * [simplify]: Extracting #5: cost 57 inf + 5541 2.256 * * [simplify]: Extracting #6: cost 18 inf + 30612 2.263 * * [simplify]: Extracting #7: cost 0 inf + 42839 2.270 * * [simplify]: Extracting #8: cost 0 inf + 42577 2.277 * [simplify]: Simplified to (- (log1p n) (log n)) 2.277 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) -1) (log1p n))) 2.277 * [simplify]: Simplifying (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n))))) 2.277 * * [simplify]: iters left: 6 (7 enodes) 2.281 * * [simplify]: iters left: 5 (26 enodes) 2.290 * * [simplify]: iters left: 4 (42 enodes) 2.310 * * [simplify]: iters left: 3 (83 enodes) 2.333 * * [simplify]: iters left: 2 (133 enodes) 2.355 * * [simplify]: iters left: 1 (202 enodes) 2.435 * * [simplify]: Extracting #0: cost 1 inf + 0 2.435 * * [simplify]: Extracting #1: cost 0 inf + 1 2.435 * [simplify]: Simplified to 0 2.435 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) 0) -1) (log1p n))) 2.435 * * * * [progress]: [ 11 / 77 ] simplifiying candidate # 2.436 * [simplify]: Simplifying (fma 1 (log1p n) (- (* (sqrt (log n)) (sqrt (log n))))) 2.436 * * [simplify]: iters left: 6 (8 enodes) 2.440 * * [simplify]: iters left: 5 (29 enodes) 2.450 * * [simplify]: iters left: 4 (36 enodes) 2.461 * * [simplify]: iters left: 3 (41 enodes) 2.472 * * [simplify]: iters left: 2 (43 enodes) 2.482 * * [simplify]: Extracting #0: cost 1 inf + 0 2.482 * * [simplify]: Extracting #1: cost 8 inf + 0 2.482 * * [simplify]: Extracting #2: cost 13 inf + 1 2.482 * * [simplify]: Extracting #3: cost 11 inf + 73 2.483 * * [simplify]: Extracting #4: cost 3 inf + 1071 2.483 * * [simplify]: Extracting #5: cost 0 inf + 1474 2.484 * [simplify]: Simplified to (- (log1p n) (log n)) 2.484 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n))))) -1) (log1p n))) 2.484 * [simplify]: Simplifying (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n)))) 2.484 * * [simplify]: iters left: 5 (6 enodes) 2.487 * * [simplify]: iters left: 4 (18 enodes) 2.490 * * [simplify]: iters left: 3 (26 enodes) 2.494 * * [simplify]: iters left: 2 (34 enodes) 2.499 * * [simplify]: iters left: 1 (36 enodes) 2.503 * * [simplify]: Extracting #0: cost 1 inf + 0 2.503 * * [simplify]: Extracting #1: cost 0 inf + 1 2.503 * [simplify]: Simplified to 0 2.503 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) 0) -1) (log1p n))) 2.503 * * * * [progress]: [ 12 / 77 ] simplifiying candidate # 2.504 * [simplify]: Simplifying (fma 1 (log1p n) (- (* (log n) 1))) 2.504 * * [simplify]: iters left: 6 (7 enodes) 2.506 * * [simplify]: iters left: 5 (29 enodes) 2.513 * * [simplify]: iters left: 4 (39 enodes) 2.520 * * [simplify]: iters left: 3 (48 enodes) 2.528 * * [simplify]: iters left: 2 (53 enodes) 2.537 * * [simplify]: Extracting #0: cost 1 inf + 0 2.537 * * [simplify]: Extracting #1: cost 7 inf + 0 2.537 * * [simplify]: Extracting #2: cost 9 inf + 2 2.538 * * [simplify]: Extracting #3: cost 4 inf + 367 2.538 * * [simplify]: Extracting #4: cost 1 inf + 860 2.538 * * [simplify]: Extracting #5: cost 0 inf + 951 2.539 * [simplify]: Simplified to (- (log1p n) (log n)) 2.539 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (fma (- (log n)) 1 (* (log n) 1))) -1) (log1p n))) 2.539 * [simplify]: Simplifying (fma (- (log n)) 1 (* (log n) 1)) 2.539 * * [simplify]: iters left: 4 (6 enodes) 2.543 * * [simplify]: iters left: 3 (21 enodes) 2.552 * * [simplify]: iters left: 2 (32 enodes) 2.561 * * [simplify]: iters left: 1 (37 enodes) 2.570 * * [simplify]: Extracting #0: cost 1 inf + 0 2.570 * * [simplify]: Extracting #1: cost 7 inf + 0 2.570 * * [simplify]: Extracting #2: cost 7 inf + 3 2.571 * * [simplify]: Extracting #3: cost 2 inf + 368 2.571 * * [simplify]: Extracting #4: cost 0 inf + 590 2.571 * [simplify]: Simplified to (- (log n) (log n)) 2.571 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (- (log1p n) (log n)) (- (log n) (log n))) -1) (log1p n))) 2.571 * * * * [progress]: [ 13 / 77 ] simplifiying candidate # 2.571 * [simplify]: Simplifying (expm1 (- (log1p n) (log n))) 2.571 * * [simplify]: iters left: 4 (5 enodes) 2.573 * * [simplify]: iters left: 3 (17 enodes) 2.575 * * [simplify]: iters left: 2 (20 enodes) 2.578 * * [simplify]: Extracting #0: cost 1 inf + 0 2.578 * * [simplify]: Extracting #1: cost 3 inf + 0 2.578 * * [simplify]: Extracting #2: cost 7 inf + 0 2.578 * * [simplify]: Extracting #3: cost 11 inf + 0 2.578 * * [simplify]: Extracting #4: cost 10 inf + 1 2.578 * * [simplify]: Extracting #5: cost 0 inf + 1491 2.578 * [simplify]: Simplified to (expm1 (- (log1p n) (log n))) 2.578 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (log1p (expm1 (- (log1p n) (log n)))) -1) (log1p n))) 2.578 * * * * [progress]: [ 14 / 77 ] simplifiying candidate # 2.578 * [simplify]: Simplifying (log1p (- (log1p n) (log n))) 2.579 * * [simplify]: iters left: 4 (5 enodes) 2.580 * * [simplify]: iters left: 3 (17 enodes) 2.582 * * [simplify]: iters left: 2 (20 enodes) 2.585 * * [simplify]: Extracting #0: cost 1 inf + 0 2.585 * * [simplify]: Extracting #1: cost 3 inf + 0 2.585 * * [simplify]: Extracting #2: cost 7 inf + 0 2.585 * * [simplify]: Extracting #3: cost 11 inf + 0 2.585 * * [simplify]: Extracting #4: cost 10 inf + 1 2.585 * * [simplify]: Extracting #5: cost 0 inf + 1531 2.585 * [simplify]: Simplified to (log1p (- (log1p n) (log n))) 2.585 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (expm1 (log1p (- (log1p n) (log n)))) -1) (log1p n))) 2.585 * * * * [progress]: [ 15 / 77 ] simplifiying candidate # 2.585 * [simplify]: Simplifying (- (log n)) 2.585 * * [simplify]: iters left: 3 (3 enodes) 2.586 * * [simplify]: iters left: 2 (9 enodes) 2.587 * * [simplify]: Extracting #0: cost 1 inf + 0 2.587 * * [simplify]: Extracting #1: cost 3 inf + 0 2.587 * * [simplify]: Extracting #2: cost 5 inf + 0 2.587 * * [simplify]: Extracting #3: cost 4 inf + 1 2.587 * * [simplify]: Extracting #4: cost 0 inf + 365 2.588 * [simplify]: Simplified to (- (log n)) 2.588 * [simplify]: Simplified (2 1 2 3) to (λ (n) (+ (fma n (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (log n))) -1) (log1p n))) 2.588 * * * * [progress]: [ 16 / 77 ] simplifiying candidate # 2.588 * [simplify]: Simplifying (- (log n)) 2.588 * * [simplify]: iters left: 3 (3 enodes) 2.588 * * [simplify]: iters left: 2 (9 enodes) 2.590 * * [simplify]: Extracting #0: cost 1 inf + 0 2.590 * * [simplify]: Extracting #1: cost 3 inf + 0 2.590 * * [simplify]: Extracting #2: cost 5 inf + 0 2.590 * * [simplify]: Extracting #3: cost 4 inf + 1 2.590 * * [simplify]: Extracting #4: cost 0 inf + 365 2.590 * [simplify]: Simplified to (- (log n)) 2.590 * [simplify]: Simplified (2 1 2 3) to (λ (n) (+ (fma n (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (log n))) -1) (log1p n))) 2.590 * * * * [progress]: [ 17 / 77 ] simplifiying candidate # 2.590 * [simplify]: Simplifying (- (log n)) 2.590 * * [simplify]: iters left: 3 (3 enodes) 2.591 * * [simplify]: iters left: 2 (9 enodes) 2.592 * * [simplify]: Extracting #0: cost 1 inf + 0 2.592 * * [simplify]: Extracting #1: cost 3 inf + 0 2.592 * * [simplify]: Extracting #2: cost 5 inf + 0 2.592 * * [simplify]: Extracting #3: cost 4 inf + 1 2.592 * * [simplify]: Extracting #4: cost 0 inf + 365 2.592 * [simplify]: Simplified to (- (log n)) 2.592 * [simplify]: Simplified (2 1 2 3) to (λ (n) (+ (fma n (fma 1 (log1p n) (- (log n))) -1) (log1p n))) 2.592 * * * * [progress]: [ 18 / 77 ] simplifiying candidate # 2.592 * [simplify]: Simplifying (/ (+ 1 n) n) 2.592 * * [simplify]: iters left: 4 (4 enodes) 2.594 * * [simplify]: iters left: 3 (15 enodes) 2.597 * * [simplify]: iters left: 2 (17 enodes) 2.599 * * [simplify]: Extracting #0: cost 1 inf + 0 2.599 * * [simplify]: Extracting #1: cost 4 inf + 0 2.599 * * [simplify]: Extracting #2: cost 5 inf + 1 2.599 * * [simplify]: Extracting #3: cost 2 inf + 86 2.599 * * [simplify]: Extracting #4: cost 1 inf + 168 2.599 * * [simplify]: Extracting #5: cost 0 inf + 250 2.600 * [simplify]: Simplified to (/ (+ n 1) n) 2.600 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (log (/ (+ n 1) n)) -1) (log1p n))) 2.600 * * * * [progress]: [ 19 / 77 ] simplifiying candidate # 2.600 * [simplify]: Simplifying (/ (exp (log1p n)) n) 2.600 * * [simplify]: iters left: 4 (4 enodes) 2.601 * * [simplify]: iters left: 3 (12 enodes) 2.602 * * [simplify]: Extracting #0: cost 1 inf + 0 2.602 * * [simplify]: Extracting #1: cost 4 inf + 0 2.602 * * [simplify]: Extracting #2: cost 5 inf + 1 2.603 * * [simplify]: Extracting #3: cost 5 inf + 92 2.603 * * [simplify]: Extracting #4: cost 0 inf + 907 2.603 * [simplify]: Simplified to (/ (exp (log1p n)) n) 2.603 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (log (/ (exp (log1p n)) n)) -1) (log1p n))) 2.603 * * * * [progress]: [ 20 / 77 ] simplifiying candidate # 2.603 * * * * [progress]: [ 21 / 77 ] simplifiying candidate # 2.603 * [simplify]: Simplifying (log (- (log1p n) (log n))) 2.603 * * [simplify]: iters left: 4 (5 enodes) 2.605 * * [simplify]: iters left: 3 (17 enodes) 2.610 * * [simplify]: iters left: 2 (20 enodes) 2.615 * * [simplify]: Extracting #0: cost 1 inf + 0 2.615 * * [simplify]: Extracting #1: cost 3 inf + 0 2.615 * * [simplify]: Extracting #2: cost 7 inf + 0 2.616 * * [simplify]: Extracting #3: cost 11 inf + 0 2.616 * * [simplify]: Extracting #4: cost 10 inf + 1 2.616 * * [simplify]: Extracting #5: cost 0 inf + 1491 2.616 * [simplify]: Simplified to (log (- (log1p n) (log n))) 2.616 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (exp (log (- (log1p n) (log n)))) -1) (log1p n))) 2.616 * * * * [progress]: [ 22 / 77 ] simplifiying candidate # 2.617 * [simplify]: Simplifying (exp (- (log1p n) (log n))) 2.617 * * [simplify]: iters left: 4 (5 enodes) 2.619 * * [simplify]: iters left: 3 (20 enodes) 2.624 * * [simplify]: iters left: 2 (27 enodes) 2.632 * * [simplify]: iters left: 1 (32 enodes) 2.636 * * [simplify]: Extracting #0: cost 1 inf + 0 2.636 * * [simplify]: Extracting #1: cost 8 inf + 0 2.636 * * [simplify]: Extracting #2: cost 14 inf + 1 2.636 * * [simplify]: Extracting #3: cost 9 inf + 840 2.637 * * [simplify]: Extracting #4: cost 0 inf + 2162 2.637 * [simplify]: Simplified to (/ (exp (log1p n)) n) 2.637 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (log (/ (exp (log1p n)) n)) -1) (log1p n))) 2.637 * * * * [progress]: [ 23 / 77 ] simplifiying candidate # 2.637 * [simplify]: Simplifying (* (cbrt (- (log1p n) (log n))) (cbrt (- (log1p n) (log n)))) 2.637 * * [simplify]: iters left: 6 (6 enodes) 2.639 * * [simplify]: iters left: 5 (20 enodes) 2.641 * * [simplify]: iters left: 4 (23 enodes) 2.644 * * [simplify]: Extracting #0: cost 1 inf + 0 2.644 * * [simplify]: Extracting #1: cost 3 inf + 0 2.644 * * [simplify]: Extracting #2: cost 5 inf + 0 2.644 * * [simplify]: Extracting #3: cost 9 inf + 0 2.645 * * [simplify]: Extracting #4: cost 13 inf + 0 2.645 * * [simplify]: Extracting #5: cost 12 inf + 1 2.645 * * [simplify]: Extracting #6: cost 6 inf + 657 2.645 * * [simplify]: Extracting #7: cost 1 inf + 1832 2.645 * * [simplify]: Extracting #8: cost 0 inf + 2153 2.645 * [simplify]: Simplified to (* (cbrt (- (log1p n) (log n))) (cbrt (- (log1p n) (log n)))) 2.645 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (* (* (cbrt (- (log1p n) (log n))) (cbrt (- (log1p n) (log n)))) (cbrt (- (log1p n) (log n)))) -1) (log1p n))) 2.646 * [simplify]: Simplifying (cbrt (- (log1p n) (log n))) 2.646 * * [simplify]: iters left: 4 (5 enodes) 2.647 * * [simplify]: iters left: 3 (17 enodes) 2.650 * * [simplify]: iters left: 2 (20 enodes) 2.653 * * [simplify]: Extracting #0: cost 1 inf + 0 2.653 * * [simplify]: Extracting #1: cost 3 inf + 0 2.653 * * [simplify]: Extracting #2: cost 7 inf + 0 2.653 * * [simplify]: Extracting #3: cost 11 inf + 0 2.653 * * [simplify]: Extracting #4: cost 10 inf + 1 2.653 * * [simplify]: Extracting #5: cost 0 inf + 1511 2.654 * [simplify]: Simplified to (cbrt (- (log1p n) (log n))) 2.654 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (* (* (cbrt (- (log1p n) (log n))) (cbrt (- (log1p n) (log n)))) (cbrt (- (log1p n) (log n)))) -1) (log1p n))) 2.654 * * * * [progress]: [ 24 / 77 ] simplifiying candidate # 2.654 * [simplify]: Simplifying (* (* (- (log1p n) (log n)) (- (log1p n) (log n))) (- (log1p n) (log n))) 2.654 * * [simplify]: iters left: 6 (6 enodes) 2.655 * * [simplify]: iters left: 5 (21 enodes) 2.659 * * [simplify]: iters left: 4 (38 enodes) 2.669 * * [simplify]: iters left: 3 (121 enodes) 2.705 * * [simplify]: iters left: 2 (390 enodes) 2.998 * * [simplify]: Extracting #0: cost 1 inf + 0 2.999 * * [simplify]: Extracting #1: cost 48 inf + 0 3.000 * * [simplify]: Extracting #2: cost 206 inf + 1 3.004 * * [simplify]: Extracting #3: cost 185 inf + 8551 3.027 * * [simplify]: Extracting #4: cost 36 inf + 57285 3.056 * * [simplify]: Extracting #5: cost 0 inf + 69844 3.087 * * [simplify]: Extracting #6: cost 0 inf + 69573 3.118 * [simplify]: Simplified to (* (- (log1p n) (log n)) (* (- (log1p n) (log n)) (- (log1p n) (log n)))) 3.118 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (cbrt (* (- (log1p n) (log n)) (* (- (log1p n) (log n)) (- (log1p n) (log n))))) -1) (log1p n))) 3.119 * * * * [progress]: [ 25 / 77 ] simplifiying candidate # 3.119 * [simplify]: Simplifying (sqrt (- (log1p n) (log n))) 3.119 * * [simplify]: iters left: 4 (5 enodes) 3.121 * * [simplify]: iters left: 3 (17 enodes) 3.126 * * [simplify]: iters left: 2 (20 enodes) 3.132 * * [simplify]: Extracting #0: cost 1 inf + 0 3.132 * * [simplify]: Extracting #1: cost 3 inf + 0 3.132 * * [simplify]: Extracting #2: cost 7 inf + 0 3.132 * * [simplify]: Extracting #3: cost 11 inf + 0 3.132 * * [simplify]: Extracting #4: cost 10 inf + 1 3.132 * * [simplify]: Extracting #5: cost 0 inf + 1431 3.132 * [simplify]: Simplified to (sqrt (- (log1p n) (log n))) 3.132 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (* (sqrt (- (log1p n) (log n))) (sqrt (- (log1p n) (log n)))) -1) (log1p n))) 3.133 * [simplify]: Simplifying (sqrt (- (log1p n) (log n))) 3.133 * * [simplify]: iters left: 4 (5 enodes) 3.135 * * [simplify]: iters left: 3 (17 enodes) 3.140 * * [simplify]: iters left: 2 (20 enodes) 3.145 * * [simplify]: Extracting #0: cost 1 inf + 0 3.145 * * [simplify]: Extracting #1: cost 3 inf + 0 3.146 * * [simplify]: Extracting #2: cost 7 inf + 0 3.146 * * [simplify]: Extracting #3: cost 11 inf + 0 3.146 * * [simplify]: Extracting #4: cost 10 inf + 1 3.146 * * [simplify]: Extracting #5: cost 0 inf + 1431 3.146 * [simplify]: Simplified to (sqrt (- (log1p n) (log n))) 3.146 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (* (sqrt (- (log1p n) (log n))) (sqrt (- (log1p n) (log n)))) -1) (log1p n))) 3.146 * * * * [progress]: [ 26 / 77 ] simplifiying candidate # 3.147 * [simplify]: Simplifying (- (pow (log1p n) 3) (pow (log n) 3)) 3.147 * * [simplify]: iters left: 4 (7 enodes) 3.152 * * [simplify]: iters left: 3 (36 enodes) 3.168 * * [simplify]: iters left: 2 (81 enodes) 3.205 * * [simplify]: iters left: 1 (161 enodes) 3.263 * * [simplify]: Extracting #0: cost 1 inf + 0 3.263 * * [simplify]: Extracting #1: cost 26 inf + 0 3.263 * * [simplify]: Extracting #2: cost 65 inf + 0 3.264 * * [simplify]: Extracting #3: cost 67 inf + 397 3.265 * * [simplify]: Extracting #4: cost 50 inf + 5579 3.268 * * [simplify]: Extracting #5: cost 8 inf + 23146 3.272 * * [simplify]: Extracting #6: cost 0 inf + 26498 3.276 * [simplify]: Simplified to (- (* (log1p n) (* (log1p n) (log1p n))) (* (log n) (* (log n) (log n)))) 3.276 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (/ (- (* (log1p n) (* (log1p n) (log1p n))) (* (log n) (* (log n) (log n)))) (+ (* (log1p n) (log1p n)) (+ (* (log n) (log n)) (* (log1p n) (log n))))) -1) (log1p n))) 3.276 * [simplify]: Simplifying (+ (* (log1p n) (log1p n)) (+ (* (log n) (log n)) (* (log1p n) (log n)))) 3.276 * * [simplify]: iters left: 6 (8 enodes) 3.280 * * [simplify]: iters left: 5 (33 enodes) 3.291 * * [simplify]: iters left: 4 (50 enodes) 3.306 * * [simplify]: iters left: 3 (61 enodes) 3.323 * * [simplify]: iters left: 2 (62 enodes) 3.337 * * [simplify]: Extracting #0: cost 1 inf + 0 3.337 * * [simplify]: Extracting #1: cost 11 inf + 0 3.338 * * [simplify]: Extracting #2: cost 21 inf + 0 3.338 * * [simplify]: Extracting #3: cost 20 inf + 1 3.338 * * [simplify]: Extracting #4: cost 14 inf + 1132 3.339 * * [simplify]: Extracting #5: cost 0 inf + 3741 3.340 * * [simplify]: Extracting #6: cost 0 inf + 3681 3.341 * [simplify]: Simplified to (fma (log n) (log n) (* (+ (log1p n) (log n)) (log1p n))) 3.341 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (/ (- (* (log1p n) (* (log1p n) (log1p n))) (* (log n) (* (log n) (log n)))) (fma (log n) (log n) (* (+ (log1p n) (log n)) (log1p n)))) -1) (log1p n))) 3.342 * * * * [progress]: [ 27 / 77 ] simplifiying candidate # 3.342 * [simplify]: Simplifying (- (log n)) 3.342 * * [simplify]: iters left: 3 (3 enodes) 3.344 * * [simplify]: iters left: 2 (9 enodes) 3.346 * * [simplify]: Extracting #0: cost 1 inf + 0 3.346 * * [simplify]: Extracting #1: cost 3 inf + 0 3.346 * * [simplify]: Extracting #2: cost 5 inf + 0 3.346 * * [simplify]: Extracting #3: cost 4 inf + 1 3.347 * * [simplify]: Extracting #4: cost 0 inf + 365 3.347 * [simplify]: Simplified to (- (log n)) 3.347 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (log1p n) (- (log n))) -1) (log1p n))) 3.347 * * * * [progress]: [ 28 / 77 ] simplifiying candidate # 3.347 * * * * [progress]: [ 29 / 77 ] simplifiying candidate # 3.347 * [simplify]: Simplifying (- (* (log1p n) (log1p n)) (* (log n) (log n))) 3.347 * * [simplify]: iters left: 5 (6 enodes) 3.350 * * [simplify]: iters left: 4 (24 enodes) 3.358 * * [simplify]: iters left: 3 (37 enodes) 3.369 * * [simplify]: iters left: 2 (56 enodes) 3.388 * * [simplify]: iters left: 1 (103 enodes) 3.430 * * [simplify]: Extracting #0: cost 1 inf + 0 3.430 * * [simplify]: Extracting #1: cost 33 inf + 0 3.430 * * [simplify]: Extracting #2: cost 50 inf + 0 3.431 * * [simplify]: Extracting #3: cost 48 inf + 92 3.432 * * [simplify]: Extracting #4: cost 33 inf + 2357 3.434 * * [simplify]: Extracting #5: cost 7 inf + 9643 3.438 * * [simplify]: Extracting #6: cost 0 inf + 11930 3.442 * [simplify]: Simplified to (- (* (log1p n) (log1p n)) (* (log n) (log n))) 3.442 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (/ (- (* (log1p n) (log1p n)) (* (log n) (log n))) (+ (log1p n) (log n))) -1) (log1p n))) 3.443 * [simplify]: Simplifying (+ (log1p n) (log n)) 3.443 * * [simplify]: iters left: 3 (4 enodes) 3.445 * * [simplify]: iters left: 2 (13 enodes) 3.448 * * [simplify]: Extracting #0: cost 1 inf + 0 3.448 * * [simplify]: Extracting #1: cost 4 inf + 0 3.448 * * [simplify]: Extracting #2: cost 7 inf + 0 3.448 * * [simplify]: Extracting #3: cost 6 inf + 1 3.449 * * [simplify]: Extracting #4: cost 0 inf + 727 3.449 * [simplify]: Simplified to (+ (log1p n) (log n)) 3.449 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (/ (- (* (log1p n) (log1p n)) (* (log n) (log n))) (+ (log1p n) (log n))) -1) (log1p n))) 3.449 * * * * [progress]: [ 30 / 77 ] simplifiying candidate # 3.449 * [simplify]: Simplifying (+ (sqrt (log1p n)) (sqrt (log n))) 3.449 * * [simplify]: iters left: 4 (6 enodes) 3.454 * * [simplify]: iters left: 3 (19 enodes) 3.459 * * [simplify]: Extracting #0: cost 1 inf + 0 3.459 * * [simplify]: Extracting #1: cost 4 inf + 0 3.459 * * [simplify]: Extracting #2: cost 8 inf + 0 3.459 * * [simplify]: Extracting #3: cost 11 inf + 0 3.459 * * [simplify]: Extracting #4: cost 10 inf + 1 3.459 * * [simplify]: Extracting #5: cost 0 inf + 1371 3.460 * [simplify]: Simplified to (+ (sqrt (log1p n)) (sqrt (log n))) 3.460 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (* (+ (sqrt (log1p n)) (sqrt (log n))) (- (sqrt (log1p n)) (sqrt (log n)))) -1) (log1p n))) 3.460 * [simplify]: Simplifying (- (sqrt (log1p n)) (sqrt (log n))) 3.460 * * [simplify]: iters left: 4 (6 enodes) 3.463 * * [simplify]: iters left: 3 (20 enodes) 3.468 * * [simplify]: iters left: 2 (23 enodes) 3.474 * * [simplify]: Extracting #0: cost 1 inf + 0 3.475 * * [simplify]: Extracting #1: cost 5 inf + 0 3.475 * * [simplify]: Extracting #2: cost 10 inf + 0 3.475 * * [simplify]: Extracting #3: cost 13 inf + 0 3.475 * * [simplify]: Extracting #4: cost 12 inf + 1 3.475 * * [simplify]: Extracting #5: cost 10 inf + 163 3.475 * * [simplify]: Extracting #6: cost 1 inf + 1392 3.476 * * [simplify]: Extracting #7: cost 0 inf + 1673 3.476 * [simplify]: Simplified to (- (sqrt (log1p n)) (sqrt (log n))) 3.476 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (* (+ (sqrt (log1p n)) (sqrt (log n))) (- (sqrt (log1p n)) (sqrt (log n)))) -1) (log1p n))) 3.476 * * * * [progress]: [ 31 / 77 ] simplifiying candidate # 3.476 * [simplify]: Simplifying (- (log1p n) (log n)) 3.477 * * [simplify]: iters left: 3 (4 enodes) 3.478 * * [simplify]: iters left: 2 (14 enodes) 3.481 * * [simplify]: iters left: 1 (17 enodes) 3.483 * * [simplify]: Extracting #0: cost 1 inf + 0 3.483 * * [simplify]: Extracting #1: cost 5 inf + 0 3.483 * * [simplify]: Extracting #2: cost 9 inf + 0 3.483 * * [simplify]: Extracting #3: cost 8 inf + 1 3.483 * * [simplify]: Extracting #4: cost 0 inf + 949 3.483 * [simplify]: Simplified to (- (log1p n) (log n)) 3.484 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (* 1 (- (log1p n) (log n))) -1) (log1p n))) 3.484 * * * * [progress]: [ 32 / 77 ] simplifiying candidate # 3.484 * [simplify]: Simplifying (- (log1p n) (log n)) 3.484 * * [simplify]: iters left: 3 (4 enodes) 3.485 * * [simplify]: iters left: 2 (14 enodes) 3.487 * * [simplify]: iters left: 1 (17 enodes) 3.489 * * [simplify]: Extracting #0: cost 1 inf + 0 3.489 * * [simplify]: Extracting #1: cost 5 inf + 0 3.490 * * [simplify]: Extracting #2: cost 9 inf + 0 3.490 * * [simplify]: Extracting #3: cost 8 inf + 1 3.490 * * [simplify]: Extracting #4: cost 0 inf + 949 3.490 * [simplify]: Simplified to (- (log1p n) (log n)) 3.490 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (* 1 (- (log1p n) (log n))) -1) (log1p n))) 3.490 * * * * [progress]: [ 33 / 77 ] simplifiying candidate # 3.490 * [simplify]: Simplifying (- (log1p n) (log (* (cbrt n) (cbrt n)))) 3.490 * * [simplify]: iters left: 6 (6 enodes) 3.491 * * [simplify]: iters left: 5 (22 enodes) 3.495 * * [simplify]: iters left: 4 (31 enodes) 3.499 * * [simplify]: iters left: 3 (41 enodes) 3.505 * * [simplify]: iters left: 2 (48 enodes) 3.516 * * [simplify]: iters left: 1 (60 enodes) 3.533 * * [simplify]: Extracting #0: cost 1 inf + 0 3.533 * * [simplify]: Extracting #1: cost 12 inf + 0 3.533 * * [simplify]: Extracting #2: cost 25 inf + 0 3.533 * * [simplify]: Extracting #3: cost 24 inf + 223 3.534 * * [simplify]: Extracting #4: cost 6 inf + 3721 3.535 * * [simplify]: Extracting #5: cost 0 inf + 5277 3.536 * [simplify]: Simplified to (- (log1p n) (+ (log (cbrt n)) (log (cbrt n)))) 3.536 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (- (- (log1p n) (+ (log (cbrt n)) (log (cbrt n)))) (log (cbrt n))) -1) (log1p n))) 3.536 * * * * [progress]: [ 34 / 77 ] simplifiying candidate # 3.537 * [simplify]: Simplifying (- (log1p n) (log (sqrt n))) 3.537 * * [simplify]: iters left: 4 (5 enodes) 3.539 * * [simplify]: iters left: 3 (17 enodes) 3.544 * * [simplify]: iters left: 2 (20 enodes) 3.549 * * [simplify]: Extracting #0: cost 1 inf + 0 3.549 * * [simplify]: Extracting #1: cost 5 inf + 0 3.549 * * [simplify]: Extracting #2: cost 10 inf + 0 3.549 * * [simplify]: Extracting #3: cost 10 inf + 1 3.549 * * [simplify]: Extracting #4: cost 6 inf + 265 3.550 * * [simplify]: Extracting #5: cost 1 inf + 1120 3.550 * * [simplify]: Extracting #6: cost 0 inf + 1271 3.550 * [simplify]: Simplified to (- (log1p n) (log (sqrt n))) 3.550 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (- (- (log1p n) (log (sqrt n))) (log (sqrt n))) -1) (log1p n))) 3.550 * * * * [progress]: [ 35 / 77 ] simplifiying candidate # 3.551 * [simplify]: Simplifying (- (log1p n) (log 1)) 3.551 * * [simplify]: iters left: 3 (5 enodes) 3.556 * * [simplify]: iters left: 2 (19 enodes) 3.561 * * [simplify]: Extracting #0: cost 1 inf + 0 3.561 * * [simplify]: Extracting #1: cost 4 inf + 0 3.561 * * [simplify]: Extracting #2: cost 2 inf + 2 3.561 * * [simplify]: Extracting #3: cost 0 inf + 184 3.562 * [simplify]: Simplified to (log1p n) 3.562 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 3.562 * * * * [progress]: [ 36 / 77 ] simplifiying candidate # 3.562 * [simplify]: Simplifying (- (log n)) 3.562 * * [simplify]: iters left: 3 (3 enodes) 3.563 * * [simplify]: iters left: 2 (9 enodes) 3.565 * * [simplify]: Extracting #0: cost 1 inf + 0 3.565 * * [simplify]: Extracting #1: cost 3 inf + 0 3.565 * * [simplify]: Extracting #2: cost 5 inf + 0 3.565 * * [simplify]: Extracting #3: cost 4 inf + 1 3.565 * * [simplify]: Extracting #4: cost 0 inf + 365 3.565 * [simplify]: Simplified to (- (log n)) 3.565 * [simplify]: Simplified (2 1 2 2) to (λ (n) (+ (fma n (+ (log1p n) (- (log n))) -1) (log1p n))) 3.565 * * * * [progress]: [ 37 / 77 ] simplifiying candidate #real (real->posit16 (- (log1p n) (log n)))) -1) (log1p n)))> 3.565 * [simplify]: Simplifying (real->posit16 (- (log1p n) (log n))) 3.565 * * [simplify]: iters left: 4 (5 enodes) 3.566 * * [simplify]: iters left: 3 (14 enodes) 3.568 * * [simplify]: iters left: 2 (17 enodes) 3.571 * * [simplify]: Extracting #0: cost 1 inf + 0 3.571 * * [simplify]: Extracting #1: cost 2 inf + 0 3.571 * * [simplify]: Extracting #2: cost 5 inf + 0 3.571 * * [simplify]: Extracting #3: cost 9 inf + 0 3.571 * * [simplify]: Extracting #4: cost 8 inf + 1 3.571 * * [simplify]: Extracting #5: cost 0 inf + 949 3.571 * [simplify]: Simplified to (real->posit16 (- (log1p n) (log n))) 3.571 * [simplify]: Simplified (2 1 2 1) to (λ (n) (+ (fma n (posit16->real (real->posit16 (- (log1p n) (log n)))) -1) (log1p n))) 3.571 * * * * [progress]: [ 38 / 77 ] simplifiying candidate # 3.572 * [simplify]: Simplifying (expm1 (fma n (- (log1p n) (log n)) -1)) 3.572 * * [simplify]: iters left: 5 (7 enodes) 3.575 * * [simplify]: iters left: 4 (25 enodes) 3.579 * * [simplify]: iters left: 3 (38 enodes) 3.586 * * [simplify]: iters left: 2 (63 enodes) 3.596 * * [simplify]: iters left: 1 (93 enodes) 3.623 * * [simplify]: Extracting #0: cost 1 inf + 0 3.623 * * [simplify]: Extracting #1: cost 3 inf + 0 3.623 * * [simplify]: Extracting #2: cost 18 inf + 0 3.623 * * [simplify]: Extracting #3: cost 27 inf + 2 3.624 * * [simplify]: Extracting #4: cost 17 inf + 1063 3.625 * * [simplify]: Extracting #5: cost 5 inf + 2935 3.626 * * [simplify]: Extracting #6: cost 0 inf + 4218 3.627 * [simplify]: Simplified to (expm1 (fma (- (log1p n) (log n)) n -1)) 3.628 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (log1p (expm1 (fma (- (log1p n) (log n)) n -1))) (log1p n))) 3.628 * * * * [progress]: [ 39 / 77 ] simplifiying candidate # 3.628 * [simplify]: Simplifying (log1p (fma n (- (log1p n) (log n)) -1)) 3.628 * * [simplify]: iters left: 5 (7 enodes) 3.630 * * [simplify]: iters left: 4 (25 enodes) 3.634 * * [simplify]: iters left: 3 (38 enodes) 3.641 * * [simplify]: iters left: 2 (63 enodes) 3.650 * * [simplify]: iters left: 1 (93 enodes) 3.670 * * [simplify]: Extracting #0: cost 1 inf + 0 3.670 * * [simplify]: Extracting #1: cost 3 inf + 0 3.671 * * [simplify]: Extracting #2: cost 18 inf + 0 3.671 * * [simplify]: Extracting #3: cost 27 inf + 2 3.671 * * [simplify]: Extracting #4: cost 17 inf + 1063 3.672 * * [simplify]: Extracting #5: cost 5 inf + 2935 3.676 * * [simplify]: Extracting #6: cost 0 inf + 4258 3.678 * [simplify]: Simplified to (log1p (fma (- (log1p n) (log n)) n -1)) 3.678 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (expm1 (log1p (fma (- (log1p n) (log n)) n -1))) (log1p n))) 3.678 * * * * [progress]: [ 40 / 77 ] simplifiying candidate # 3.678 * [simplify]: Simplifying (* n (- (log1p n) (log n))) 3.678 * * [simplify]: iters left: 5 (5 enodes) 3.681 * * [simplify]: iters left: 4 (18 enodes) 3.686 * * [simplify]: iters left: 3 (27 enodes) 3.695 * * [simplify]: iters left: 2 (43 enodes) 3.706 * * [simplify]: iters left: 1 (54 enodes) 3.719 * * [simplify]: Extracting #0: cost 1 inf + 0 3.719 * * [simplify]: Extracting #1: cost 11 inf + 0 3.719 * * [simplify]: Extracting #2: cost 18 inf + 1 3.720 * * [simplify]: Extracting #3: cost 6 inf + 1273 3.720 * * [simplify]: Extracting #4: cost 0 inf + 2299 3.721 * [simplify]: Simplified to (* (- (log1p n) (log n)) n) 3.721 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (+ (* (- (log1p n) (log n)) n) -1) (log1p n))) 3.721 * * * * [progress]: [ 41 / 77 ] simplifiying candidate # 3.721 * * * * [progress]: [ 42 / 77 ] simplifiying candidate # 3.722 * [simplify]: Simplifying (log (fma n (- (log1p n) (log n)) -1)) 3.722 * * [simplify]: iters left: 5 (7 enodes) 3.726 * * [simplify]: iters left: 4 (25 enodes) 3.734 * * [simplify]: iters left: 3 (38 enodes) 3.747 * * [simplify]: iters left: 2 (63 enodes) 3.764 * * [simplify]: iters left: 1 (93 enodes) 3.786 * * [simplify]: Extracting #0: cost 1 inf + 0 3.786 * * [simplify]: Extracting #1: cost 3 inf + 0 3.786 * * [simplify]: Extracting #2: cost 18 inf + 0 3.786 * * [simplify]: Extracting #3: cost 27 inf + 2 3.786 * * [simplify]: Extracting #4: cost 17 inf + 1063 3.787 * * [simplify]: Extracting #5: cost 5 inf + 2935 3.787 * * [simplify]: Extracting #6: cost 0 inf + 4218 3.788 * [simplify]: Simplified to (log (fma (- (log1p n) (log n)) n -1)) 3.788 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (exp (log (fma (- (log1p n) (log n)) n -1))) (log1p n))) 3.788 * * * * [progress]: [ 43 / 77 ] simplifiying candidate # 3.788 * [simplify]: Simplifying (exp (fma n (- (log1p n) (log n)) -1)) 3.788 * * [simplify]: iters left: 5 (7 enodes) 3.791 * * [simplify]: iters left: 4 (25 enodes) 3.796 * * [simplify]: iters left: 3 (41 enodes) 3.806 * * [simplify]: iters left: 2 (81 enodes) 3.829 * * [simplify]: iters left: 1 (156 enodes) 3.878 * * [simplify]: Extracting #0: cost 1 inf + 0 3.878 * * [simplify]: Extracting #1: cost 16 inf + 0 3.878 * * [simplify]: Extracting #2: cost 61 inf + 0 3.879 * * [simplify]: Extracting #3: cost 79 inf + 165 3.880 * * [simplify]: Extracting #4: cost 41 inf + 6025 3.884 * * [simplify]: Extracting #5: cost 8 inf + 13298 3.888 * * [simplify]: Extracting #6: cost 0 inf + 16946 3.893 * [simplify]: Simplified to (exp (fma (- (log1p n) (log n)) n -1)) 3.893 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (log (exp (fma (- (log1p n) (log n)) n -1))) (log1p n))) 3.893 * * * * [progress]: [ 44 / 77 ] simplifiying candidate # 3.894 * [simplify]: Simplifying (* (cbrt (fma n (- (log1p n) (log n)) -1)) (cbrt (fma n (- (log1p n) (log n)) -1))) 3.894 * * [simplify]: iters left: 6 (8 enodes) 3.898 * * [simplify]: iters left: 5 (28 enodes) 3.907 * * [simplify]: iters left: 4 (41 enodes) 3.921 * * [simplify]: iters left: 3 (66 enodes) 3.939 * * [simplify]: iters left: 2 (95 enodes) 3.968 * * [simplify]: iters left: 1 (116 enodes) 3.996 * * [simplify]: Extracting #0: cost 1 inf + 0 3.996 * * [simplify]: Extracting #1: cost 3 inf + 0 3.996 * * [simplify]: Extracting #2: cost 5 inf + 0 3.996 * * [simplify]: Extracting #3: cost 22 inf + 0 3.996 * * [simplify]: Extracting #4: cost 33 inf + 2 3.997 * * [simplify]: Extracting #5: cost 19 inf + 1524 3.999 * * [simplify]: Extracting #6: cost 2 inf + 5390 4.001 * * [simplify]: Extracting #7: cost 0 inf + 5543 4.003 * [simplify]: Simplified to (* (cbrt (fma (- (log1p n) (log n)) n -1)) (cbrt (fma (- (log1p n) (log n)) n -1))) 4.003 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (* (* (cbrt (fma (- (log1p n) (log n)) n -1)) (cbrt (fma (- (log1p n) (log n)) n -1))) (cbrt (fma n (- (log1p n) (log n)) -1))) (log1p n))) 4.003 * [simplify]: Simplifying (cbrt (fma n (- (log1p n) (log n)) -1)) 4.003 * * [simplify]: iters left: 5 (7 enodes) 4.007 * * [simplify]: iters left: 4 (25 enodes) 4.015 * * [simplify]: iters left: 3 (38 enodes) 4.029 * * [simplify]: iters left: 2 (63 enodes) 4.046 * * [simplify]: iters left: 1 (93 enodes) 4.067 * * [simplify]: Extracting #0: cost 1 inf + 0 4.067 * * [simplify]: Extracting #1: cost 3 inf + 0 4.067 * * [simplify]: Extracting #2: cost 18 inf + 0 4.067 * * [simplify]: Extracting #3: cost 27 inf + 2 4.067 * * [simplify]: Extracting #4: cost 17 inf + 1063 4.068 * * [simplify]: Extracting #5: cost 5 inf + 2935 4.069 * * [simplify]: Extracting #6: cost 0 inf + 4238 4.069 * [simplify]: Simplified to (cbrt (fma (- (log1p n) (log n)) n -1)) 4.069 * [simplify]: Simplified (2 1 2) to (λ (n) (+ (* (* (cbrt (fma n (- (log1p n) (log n)) -1)) (cbrt (fma n (- (log1p n) (log n)) -1))) (cbrt (fma (- (log1p n) (log n)) n -1))) (log1p n))) 4.069 * * * * [progress]: [ 45 / 77 ] simplifiying candidate # 4.070 * [simplify]: Simplifying (* (* (fma n (- (log1p n) (log n)) -1) (fma n (- (log1p n) (log n)) -1)) (fma n (- (log1p n) (log n)) -1)) 4.070 * * [simplify]: iters left: 6 (8 enodes) 4.072 * * [simplify]: iters left: 5 (29 enodes) 4.079 * * [simplify]: iters left: 4 (56 enodes) 4.099 * * [simplify]: iters left: 3 (199 enodes) 4.183 * * [simplify]: Extracting #0: cost 1 inf + 0 4.183 * * [simplify]: Extracting #1: cost 33 inf + 0 4.184 * * [simplify]: Extracting #2: cost 217 inf + 3 4.186 * * [simplify]: Extracting #3: cost 211 inf + 20783 4.197 * * [simplify]: Extracting #4: cost 26 inf + 82978 4.218 * * [simplify]: Extracting #5: cost 0 inf + 91727 4.247 * [simplify]: Simplified to (* (fma (- (log1p n) (log n)) n -1) (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1))) 4.247 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (cbrt (* (fma (- (log1p n) (log n)) n -1) (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1)))) (log1p n))) 4.247 * * * * [progress]: [ 46 / 77 ] simplifiying candidate # 4.248 * [simplify]: Simplifying (sqrt (fma n (- (log1p n) (log n)) -1)) 4.248 * * [simplify]: iters left: 5 (7 enodes) 4.251 * * [simplify]: iters left: 4 (25 enodes) 4.259 * * [simplify]: iters left: 3 (38 enodes) 4.272 * * [simplify]: iters left: 2 (63 enodes) 4.285 * * [simplify]: iters left: 1 (93 enodes) 4.301 * * [simplify]: Extracting #0: cost 1 inf + 0 4.302 * * [simplify]: Extracting #1: cost 3 inf + 0 4.302 * * [simplify]: Extracting #2: cost 18 inf + 0 4.302 * * [simplify]: Extracting #3: cost 27 inf + 2 4.302 * * [simplify]: Extracting #4: cost 17 inf + 1063 4.303 * * [simplify]: Extracting #5: cost 5 inf + 2935 4.304 * * [simplify]: Extracting #6: cost 0 inf + 4158 4.306 * [simplify]: Simplified to (sqrt (fma (- (log1p n) (log n)) n -1)) 4.306 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (* (sqrt (fma (- (log1p n) (log n)) n -1)) (sqrt (fma n (- (log1p n) (log n)) -1))) (log1p n))) 4.306 * [simplify]: Simplifying (sqrt (fma n (- (log1p n) (log n)) -1)) 4.307 * * [simplify]: iters left: 5 (7 enodes) 4.310 * * [simplify]: iters left: 4 (25 enodes) 4.318 * * [simplify]: iters left: 3 (38 enodes) 4.332 * * [simplify]: iters left: 2 (63 enodes) 4.349 * * [simplify]: iters left: 1 (93 enodes) 4.376 * * [simplify]: Extracting #0: cost 1 inf + 0 4.376 * * [simplify]: Extracting #1: cost 3 inf + 0 4.376 * * [simplify]: Extracting #2: cost 18 inf + 0 4.376 * * [simplify]: Extracting #3: cost 27 inf + 2 4.376 * * [simplify]: Extracting #4: cost 17 inf + 1063 4.378 * * [simplify]: Extracting #5: cost 5 inf + 2935 4.379 * * [simplify]: Extracting #6: cost 0 inf + 4158 4.380 * [simplify]: Simplified to (sqrt (fma (- (log1p n) (log n)) n -1)) 4.381 * [simplify]: Simplified (2 1 2) to (λ (n) (+ (* (sqrt (fma n (- (log1p n) (log n)) -1)) (sqrt (fma (- (log1p n) (log n)) n -1))) (log1p n))) 4.381 * * * * [progress]: [ 47 / 77 ] simplifiying candidate # 4.381 * * * * [progress]: [ 48 / 77 ] simplifiying candidate #real (real->posit16 (fma n (- (log1p n) (log n)) -1))) (log1p n)))> 4.381 * [simplify]: Simplifying (real->posit16 (fma n (- (log1p n) (log n)) -1)) 4.381 * * [simplify]: iters left: 5 (7 enodes) 4.385 * * [simplify]: iters left: 4 (22 enodes) 4.392 * * [simplify]: iters left: 3 (35 enodes) 4.405 * * [simplify]: iters left: 2 (60 enodes) 4.423 * * [simplify]: iters left: 1 (89 enodes) 4.446 * * [simplify]: Extracting #0: cost 1 inf + 0 4.446 * * [simplify]: Extracting #1: cost 2 inf + 0 4.446 * * [simplify]: Extracting #2: cost 16 inf + 0 4.446 * * [simplify]: Extracting #3: cost 25 inf + 2 4.446 * * [simplify]: Extracting #4: cost 12 inf + 1553 4.447 * * [simplify]: Extracting #5: cost 1 inf + 3457 4.448 * * [simplify]: Extracting #6: cost 0 inf + 3564 4.448 * [simplify]: Simplified to (real->posit16 (fma (- (log1p n) (log n)) n -1)) 4.448 * [simplify]: Simplified (2 1 1) to (λ (n) (+ (posit16->real (real->posit16 (fma (- (log1p n) (log n)) n -1))) (log1p n))) 4.448 * * * * [progress]: [ 49 / 77 ] simplifiying candidate # 4.449 * [simplify]: Simplifying (expm1 (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 4.449 * * [simplify]: iters left: 6 (8 enodes) 4.451 * * [simplify]: iters left: 5 (29 enodes) 4.456 * * [simplify]: iters left: 4 (46 enodes) 4.464 * * [simplify]: iters left: 3 (86 enodes) 4.483 * * [simplify]: iters left: 2 (150 enodes) 4.532 * * [simplify]: iters left: 1 (233 enodes) 4.577 * * [simplify]: Extracting #0: cost 1 inf + 0 4.577 * * [simplify]: Extracting #1: cost 3 inf + 0 4.577 * * [simplify]: Extracting #2: cost 34 inf + 0 4.577 * * [simplify]: Extracting #3: cost 58 inf + 93 4.580 * * [simplify]: Extracting #4: cost 19 inf + 7491 4.584 * * [simplify]: Extracting #5: cost 0 inf + 10789 4.586 * * [simplify]: Extracting #6: cost 0 inf + 10699 4.589 * [simplify]: Simplified to (expm1 (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 4.589 * [simplify]: Simplified (2 1) to (λ (n) (log1p (expm1 (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 4.589 * * * * [progress]: [ 50 / 77 ] simplifiying candidate # 4.589 * [simplify]: Simplifying (log1p (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 4.589 * * [simplify]: iters left: 6 (8 enodes) 4.591 * * [simplify]: iters left: 5 (29 enodes) 4.596 * * [simplify]: iters left: 4 (46 enodes) 4.607 * * [simplify]: iters left: 3 (86 enodes) 4.627 * * [simplify]: iters left: 2 (150 enodes) 4.681 * * [simplify]: iters left: 1 (233 enodes) 4.761 * * [simplify]: Extracting #0: cost 1 inf + 0 4.761 * * [simplify]: Extracting #1: cost 3 inf + 0 4.761 * * [simplify]: Extracting #2: cost 34 inf + 0 4.762 * * [simplify]: Extracting #3: cost 58 inf + 93 4.764 * * [simplify]: Extracting #4: cost 19 inf + 7531 4.768 * * [simplify]: Extracting #5: cost 0 inf + 10829 4.773 * * [simplify]: Extracting #6: cost 0 inf + 10739 4.778 * [simplify]: Simplified to (log1p (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 4.778 * [simplify]: Simplified (2 1) to (λ (n) (expm1 (log1p (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 4.778 * * * * [progress]: [ 51 / 77 ] simplifiying candidate # 4.778 * * * * [progress]: [ 52 / 77 ] simplifiying candidate # 4.779 * * * * [progress]: [ 53 / 77 ] simplifiying candidate # 4.779 * * * * [progress]: [ 54 / 77 ] simplifiying candidate # 4.779 * [simplify]: Simplifying (* (exp (fma n (- (log1p n) (log n)) -1)) (+ 1 n)) 4.779 * * [simplify]: iters left: 6 (10 enodes) 4.785 * * [simplify]: iters left: 5 (44 enodes) 4.801 * * [simplify]: iters left: 4 (70 enodes) 4.825 * * [simplify]: iters left: 3 (140 enodes) 4.879 * * [simplify]: iters left: 2 (257 enodes) 4.995 * * [simplify]: iters left: 1 (494 enodes) 5.280 * * [simplify]: Extracting #0: cost 1 inf + 0 5.280 * * [simplify]: Extracting #1: cost 56 inf + 0 5.282 * * [simplify]: Extracting #2: cost 273 inf + 44 5.286 * * [simplify]: Extracting #3: cost 279 inf + 8571 5.297 * * [simplify]: Extracting #4: cost 215 inf + 23417 5.319 * * [simplify]: Extracting #5: cost 97 inf + 85681 5.347 * * [simplify]: Extracting #6: cost 1 inf + 140576 5.364 * * [simplify]: Extracting #7: cost 0 inf + 140858 5.383 * * [simplify]: Extracting #8: cost 0 inf + 140856 5.400 * [simplify]: Simplified to (fma n (exp (fma (- (log1p n) (log n)) n -1)) (exp (fma (- (log1p n) (log n)) n -1))) 5.400 * [simplify]: Simplified (2 1) to (λ (n) (log (fma n (exp (fma (- (log1p n) (log n)) n -1)) (exp (fma (- (log1p n) (log n)) n -1))))) 5.400 * * * * [progress]: [ 55 / 77 ] simplifiying candidate # 5.400 * [simplify]: Simplifying (* (exp (fma n (- (log1p n) (log n)) -1)) (exp (log1p n))) 5.400 * * [simplify]: iters left: 6 (9 enodes) 5.405 * * [simplify]: iters left: 5 (34 enodes) 5.416 * * [simplify]: iters left: 4 (56 enodes) 5.427 * * [simplify]: iters left: 3 (114 enodes) 5.446 * * [simplify]: iters left: 2 (241 enodes) 5.511 * * [simplify]: iters left: 1 (458 enodes) 5.665 * * [simplify]: Extracting #0: cost 1 inf + 0 5.665 * * [simplify]: Extracting #1: cost 48 inf + 0 5.666 * * [simplify]: Extracting #2: cost 213 inf + 0 5.669 * * [simplify]: Extracting #3: cost 235 inf + 4893 5.675 * * [simplify]: Extracting #4: cost 164 inf + 19685 5.688 * * [simplify]: Extracting #5: cost 95 inf + 46415 5.708 * * [simplify]: Extracting #6: cost 2 inf + 98400 5.730 * * [simplify]: Extracting #7: cost 0 inf + 99524 5.752 * [simplify]: Simplified to (exp (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 5.752 * [simplify]: Simplified (2 1) to (λ (n) (log (exp (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 5.752 * * * * [progress]: [ 56 / 77 ] simplifiying candidate # 5.752 * * * * [progress]: [ 57 / 77 ] simplifiying candidate # 5.752 * [simplify]: Simplifying (log (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 5.752 * * [simplify]: iters left: 6 (8 enodes) 5.757 * * [simplify]: iters left: 5 (29 enodes) 5.765 * * [simplify]: iters left: 4 (46 enodes) 5.774 * * [simplify]: iters left: 3 (86 enodes) 5.789 * * [simplify]: iters left: 2 (150 enodes) 5.840 * * [simplify]: iters left: 1 (233 enodes) 5.892 * * [simplify]: Extracting #0: cost 1 inf + 0 5.892 * * [simplify]: Extracting #1: cost 3 inf + 0 5.892 * * [simplify]: Extracting #2: cost 34 inf + 0 5.892 * * [simplify]: Extracting #3: cost 58 inf + 93 5.895 * * [simplify]: Extracting #4: cost 19 inf + 7491 5.899 * * [simplify]: Extracting #5: cost 0 inf + 10789 5.904 * * [simplify]: Extracting #6: cost 0 inf + 10699 5.909 * [simplify]: Simplified to (log (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 5.909 * [simplify]: Simplified (2 1) to (λ (n) (exp (log (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 5.909 * * * * [progress]: [ 58 / 77 ] simplifiying candidate # 5.909 * [simplify]: Simplifying (exp (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 5.909 * * [simplify]: iters left: 6 (8 enodes) 5.913 * * [simplify]: iters left: 5 (32 enodes) 5.922 * * [simplify]: iters left: 4 (57 enodes) 5.933 * * [simplify]: iters left: 3 (116 enodes) 5.962 * * [simplify]: iters left: 2 (231 enodes) 6.055 * * [simplify]: iters left: 1 (469 enodes) 6.225 * * [simplify]: Extracting #0: cost 1 inf + 0 6.226 * * [simplify]: Extracting #1: cost 48 inf + 0 6.227 * * [simplify]: Extracting #2: cost 209 inf + 0 6.229 * * [simplify]: Extracting #3: cost 227 inf + 6687 6.239 * * [simplify]: Extracting #4: cost 125 inf + 36284 6.248 * * [simplify]: Extracting #5: cost 29 inf + 82860 6.259 * * [simplify]: Extracting #6: cost 1 inf + 100481 6.273 * * [simplify]: Extracting #7: cost 0 inf + 100924 6.289 * [simplify]: Simplified to (exp (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 6.289 * [simplify]: Simplified (2 1) to (λ (n) (log (exp (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 6.289 * * * * [progress]: [ 59 / 77 ] simplifiying candidate # 6.290 * [simplify]: Simplifying (* (cbrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) (cbrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n)))) 6.290 * * [simplify]: iters left: 6 (9 enodes) 6.292 * * [simplify]: iters left: 5 (32 enodes) 6.297 * * [simplify]: iters left: 4 (49 enodes) 6.306 * * [simplify]: iters left: 3 (89 enodes) 6.332 * * [simplify]: iters left: 2 (153 enodes) 6.388 * * [simplify]: iters left: 1 (243 enodes) 6.452 * * [simplify]: Extracting #0: cost 1 inf + 0 6.452 * * [simplify]: Extracting #1: cost 3 inf + 0 6.452 * * [simplify]: Extracting #2: cost 5 inf + 0 6.453 * * [simplify]: Extracting #3: cost 36 inf + 0 6.453 * * [simplify]: Extracting #4: cost 58 inf + 370 6.454 * * [simplify]: Extracting #5: cost 13 inf + 8854 6.458 * * [simplify]: Extracting #6: cost 1 inf + 11296 6.462 * * [simplify]: Extracting #7: cost 0 inf + 11553 6.467 * [simplify]: Simplified to (* (cbrt (fma n (- (log1p n) (log n)) (+ (log1p n) -1))) (cbrt (fma n (- (log1p n) (log n)) (+ (log1p n) -1)))) 6.467 * [simplify]: Simplified (2 1) to (λ (n) (* (* (cbrt (fma n (- (log1p n) (log n)) (+ (log1p n) -1))) (cbrt (fma n (- (log1p n) (log n)) (+ (log1p n) -1)))) (cbrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))))) 6.468 * [simplify]: Simplifying (cbrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 6.468 * * [simplify]: iters left: 6 (8 enodes) 6.472 * * [simplify]: iters left: 5 (29 enodes) 6.482 * * [simplify]: iters left: 4 (46 enodes) 6.498 * * [simplify]: iters left: 3 (86 enodes) 6.523 * * [simplify]: iters left: 2 (150 enodes) 6.562 * * [simplify]: iters left: 1 (233 enodes) 6.612 * * [simplify]: Extracting #0: cost 1 inf + 0 6.612 * * [simplify]: Extracting #1: cost 3 inf + 0 6.612 * * [simplify]: Extracting #2: cost 34 inf + 0 6.613 * * [simplify]: Extracting #3: cost 58 inf + 93 6.615 * * [simplify]: Extracting #4: cost 19 inf + 7511 6.620 * * [simplify]: Extracting #5: cost 0 inf + 10809 6.624 * * [simplify]: Extracting #6: cost 0 inf + 10719 6.628 * [simplify]: Simplified to (cbrt (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 6.628 * [simplify]: Simplified (2 2) to (λ (n) (* (* (cbrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) (cbrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n)))) (cbrt (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 6.628 * * * * [progress]: [ 60 / 77 ] simplifiying candidate # 6.628 * [simplify]: Simplifying (* (* (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 6.629 * * [simplify]: iters left: 6 (9 enodes) 6.631 * * [simplify]: iters left: 5 (45 enodes) 6.645 * * [simplify]: iters left: 4 (148 enodes) 6.728 * * [simplify]: Extracting #0: cost 1 inf + 0 6.728 * * [simplify]: Extracting #1: cost 25 inf + 0 6.729 * * [simplify]: Extracting #2: cost 147 inf + 1 6.730 * * [simplify]: Extracting #3: cost 175 inf + 660 6.735 * * [simplify]: Extracting #4: cost 105 inf + 22239 6.757 * * [simplify]: Extracting #5: cost 12 inf + 56771 6.778 * * [simplify]: Extracting #6: cost 0 inf + 61343 6.789 * [simplify]: Simplified to (* (* (+ (log1p n) (fma (- (log1p n) (log n)) n -1)) (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 6.789 * [simplify]: Simplified (2 1) to (λ (n) (cbrt (* (* (+ (log1p n) (fma (- (log1p n) (log n)) n -1)) (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 6.789 * * * * [progress]: [ 61 / 77 ] simplifiying candidate # 6.789 * [simplify]: Simplifying (sqrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 6.789 * * [simplify]: iters left: 6 (8 enodes) 6.792 * * [simplify]: iters left: 5 (29 enodes) 6.797 * * [simplify]: iters left: 4 (46 enodes) 6.805 * * [simplify]: iters left: 3 (86 enodes) 6.827 * * [simplify]: iters left: 2 (150 enodes) 6.862 * * [simplify]: iters left: 1 (233 enodes) 6.913 * * [simplify]: Extracting #0: cost 1 inf + 0 6.913 * * [simplify]: Extracting #1: cost 3 inf + 0 6.913 * * [simplify]: Extracting #2: cost 34 inf + 0 6.914 * * [simplify]: Extracting #3: cost 58 inf + 93 6.916 * * [simplify]: Extracting #4: cost 19 inf + 7431 6.921 * * [simplify]: Extracting #5: cost 0 inf + 10729 6.926 * * [simplify]: Extracting #6: cost 0 inf + 10639 6.929 * [simplify]: Simplified to (sqrt (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 6.929 * [simplify]: Simplified (2 1) to (λ (n) (* (sqrt (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) (sqrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))))) 6.929 * [simplify]: Simplifying (sqrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 6.929 * * [simplify]: iters left: 6 (8 enodes) 6.931 * * [simplify]: iters left: 5 (29 enodes) 6.936 * * [simplify]: iters left: 4 (46 enodes) 6.947 * * [simplify]: iters left: 3 (86 enodes) 6.960 * * [simplify]: iters left: 2 (150 enodes) 7.000 * * [simplify]: iters left: 1 (233 enodes) 7.079 * * [simplify]: Extracting #0: cost 1 inf + 0 7.080 * * [simplify]: Extracting #1: cost 3 inf + 0 7.080 * * [simplify]: Extracting #2: cost 34 inf + 0 7.080 * * [simplify]: Extracting #3: cost 58 inf + 93 7.083 * * [simplify]: Extracting #4: cost 19 inf + 7431 7.087 * * [simplify]: Extracting #5: cost 0 inf + 10729 7.092 * * [simplify]: Extracting #6: cost 0 inf + 10639 7.097 * [simplify]: Simplified to (sqrt (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 7.097 * [simplify]: Simplified (2 2) to (λ (n) (* (sqrt (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) (sqrt (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 7.097 * * * * [progress]: [ 62 / 77 ] simplifiying candidate # 7.098 * [simplify]: Simplifying (+ (pow (fma n (- (log1p n) (log n)) -1) 3) (pow (log1p n) 3)) 7.098 * * [simplify]: iters left: 6 (10 enodes) 7.104 * * [simplify]: iters left: 5 (48 enodes) 7.124 * * [simplify]: iters left: 4 (106 enodes) 7.154 * * [simplify]: iters left: 3 (301 enodes) 7.304 * * [simplify]: Extracting #0: cost 1 inf + 0 7.304 * * [simplify]: Extracting #1: cost 23 inf + 0 7.305 * * [simplify]: Extracting #2: cost 147 inf + 92 7.308 * * [simplify]: Extracting #3: cost 291 inf + 3193 7.318 * * [simplify]: Extracting #4: cost 147 inf + 45410 7.346 * * [simplify]: Extracting #5: cost 7 inf + 98476 7.379 * * [simplify]: Extracting #6: cost 0 inf + 101646 7.416 * * [simplify]: Extracting #7: cost 0 inf + 101645 7.448 * [simplify]: Simplified to (fma (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1)) (fma (- (log1p n) (log n)) n -1) (* (log1p n) (* (log1p n) (log1p n)))) 7.448 * [simplify]: Simplified (2 1) to (λ (n) (/ (fma (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1)) (fma (- (log1p n) (log n)) n -1) (* (log1p n) (* (log1p n) (log1p n)))) (+ (* (fma n (- (log1p n) (log n)) -1) (fma n (- (log1p n) (log n)) -1)) (- (* (log1p n) (log1p n)) (* (fma n (- (log1p n) (log n)) -1) (log1p n)))))) 7.449 * [simplify]: Simplifying (+ (* (fma n (- (log1p n) (log n)) -1) (fma n (- (log1p n) (log n)) -1)) (- (* (log1p n) (log1p n)) (* (fma n (- (log1p n) (log n)) -1) (log1p n)))) 7.449 * * [simplify]: iters left: 6 (11 enodes) 7.455 * * [simplify]: iters left: 5 (47 enodes) 7.470 * * [simplify]: iters left: 4 (97 enodes) 7.500 * * [simplify]: iters left: 3 (284 enodes) 7.608 * * [simplify]: Extracting #0: cost 1 inf + 0 7.608 * * [simplify]: Extracting #1: cost 52 inf + 0 7.609 * * [simplify]: Extracting #2: cost 353 inf + 92 7.613 * * [simplify]: Extracting #3: cost 301 inf + 25994 7.638 * * [simplify]: Extracting #4: cost 61 inf + 100643 7.677 * * [simplify]: Extracting #5: cost 0 inf + 118185 7.716 * * [simplify]: Extracting #6: cost 0 inf + 118085 7.756 * [simplify]: Simplified to (fma (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1) (* (- (log1p n) (fma (- (log1p n) (log n)) n -1)) (log1p n))) 7.756 * [simplify]: Simplified (2 2) to (λ (n) (/ (fma (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1)) (fma (- (log1p n) (log n)) n -1) (* (log1p n) (* (log1p n) (log1p n)))) (fma (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1) (* (- (log1p n) (fma (- (log1p n) (log n)) n -1)) (log1p n))))) 7.757 * * * * [progress]: [ 63 / 77 ] simplifiying candidate # 7.757 * * * * [progress]: [ 64 / 77 ] simplifiying candidate # 7.757 * [simplify]: Simplifying (- (* (fma n (- (log1p n) (log n)) -1) (fma n (- (log1p n) (log n)) -1)) (* (log1p n) (log1p n))) 7.757 * * [simplify]: iters left: 6 (9 enodes) 7.762 * * [simplify]: iters left: 5 (37 enodes) 7.775 * * [simplify]: iters left: 4 (73 enodes) 7.807 * * [simplify]: iters left: 3 (216 enodes) 7.909 * * [simplify]: Extracting #0: cost 1 inf + 0 7.909 * * [simplify]: Extracting #1: cost 49 inf + 0 7.911 * * [simplify]: Extracting #2: cost 273 inf + 223 7.917 * * [simplify]: Extracting #3: cost 229 inf + 20519 7.941 * * [simplify]: Extracting #4: cost 17 inf + 83953 7.965 * * [simplify]: Extracting #5: cost 0 inf + 90239 7.980 * [simplify]: Simplified to (- (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1)) (* (log1p n) (log1p n))) 7.980 * [simplify]: Simplified (2 1) to (λ (n) (/ (- (* (fma (- (log1p n) (log n)) n -1) (fma (- (log1p n) (log n)) n -1)) (* (log1p n) (log1p n))) (- (fma n (- (log1p n) (log n)) -1) (log1p n)))) 7.980 * [simplify]: Simplifying (- (fma n (- (log1p n) (log n)) -1) (log1p n)) 7.980 * * [simplify]: iters left: 6 (7 enodes) 7.982 * * [simplify]: iters left: 5 (27 enodes) 7.989 * * [simplify]: iters left: 4 (47 enodes) 7.999 * * [simplify]: iters left: 3 (94 enodes) 8.024 * * [simplify]: iters left: 2 (166 enodes) 8.077 * * [simplify]: iters left: 1 (273 enodes) 8.156 * * [simplify]: Extracting #0: cost 1 inf + 0 8.156 * * [simplify]: Extracting #1: cost 42 inf + 0 8.156 * * [simplify]: Extracting #2: cost 73 inf + 398 8.158 * * [simplify]: Extracting #3: cost 24 inf + 9906 8.161 * * [simplify]: Extracting #4: cost 0 inf + 15885 8.164 * * [simplify]: Extracting #5: cost 0 inf + 15785 8.168 * [simplify]: Simplified to (- (fma (- (log1p n) (log n)) n -1) (log1p n)) 8.168 * [simplify]: Simplified (2 2) to (λ (n) (/ (- (* (fma n (- (log1p n) (log n)) -1) (fma n (- (log1p n) (log n)) -1)) (* (log1p n) (log1p n))) (- (fma (- (log1p n) (log n)) n -1) (log1p n)))) 8.168 * * * * [progress]: [ 65 / 77 ] simplifiying candidate # 8.168 * [simplify]: Simplifying (+ (fma n (- (log1p n) (log n)) -1) (log1p n)) 8.168 * * [simplify]: iters left: 6 (7 enodes) 8.170 * * [simplify]: iters left: 5 (26 enodes) 8.175 * * [simplify]: iters left: 4 (43 enodes) 8.188 * * [simplify]: iters left: 3 (83 enodes) 8.210 * * [simplify]: iters left: 2 (146 enodes) 8.238 * * [simplify]: iters left: 1 (231 enodes) 8.294 * * [simplify]: Extracting #0: cost 1 inf + 0 8.294 * * [simplify]: Extracting #1: cost 32 inf + 0 8.295 * * [simplify]: Extracting #2: cost 56 inf + 93 8.297 * * [simplify]: Extracting #3: cost 21 inf + 6268 8.300 * * [simplify]: Extracting #4: cost 0 inf + 10015 8.302 * * [simplify]: Extracting #5: cost 0 inf + 9965 8.305 * [simplify]: Simplified to (+ (log1p n) (fma (- (log1p n) (log n)) n -1)) 8.305 * [simplify]: Simplified (2 2) to (λ (n) (* 1 (+ (log1p n) (fma (- (log1p n) (log n)) n -1)))) 8.305 * * * * [progress]: [ 66 / 77 ] simplifiying candidate # 8.305 * [simplify]: Simplifying (+ -1 (log1p n)) 8.305 * * [simplify]: iters left: 3 (4 enodes) 8.306 * * [simplify]: iters left: 2 (13 enodes) 8.308 * * [simplify]: Extracting #0: cost 1 inf + 0 8.308 * * [simplify]: Extracting #1: cost 4 inf + 0 8.309 * * [simplify]: Extracting #2: cost 5 inf + 1 8.309 * * [simplify]: Extracting #3: cost 4 inf + 2 8.309 * * [simplify]: Extracting #4: cost 0 inf + 448 8.309 * [simplify]: Simplified to (+ -1 (log1p n)) 8.309 * [simplify]: Simplified (2 2) to (λ (n) (+ (* n (- (log1p n) (log n))) (+ -1 (log1p n)))) 8.309 * * * * [progress]: [ 67 / 77 ] simplifiying candidate #real (real->posit16 (+ (fma n (- (log1p n) (log n)) -1) (log1p n)))))> 8.309 * [simplify]: Simplifying (real->posit16 (+ (fma n (- (log1p n) (log n)) -1) (log1p n))) 8.309 * * [simplify]: iters left: 6 (8 enodes) 8.311 * * [simplify]: iters left: 5 (26 enodes) 8.316 * * [simplify]: iters left: 4 (43 enodes) 8.324 * * [simplify]: iters left: 3 (83 enodes) 8.344 * * [simplify]: iters left: 2 (146 enodes) 8.400 * * [simplify]: iters left: 1 (231 enodes) 8.476 * * [simplify]: Extracting #0: cost 1 inf + 0 8.476 * * [simplify]: Extracting #1: cost 2 inf + 0 8.476 * * [simplify]: Extracting #2: cost 32 inf + 0 8.477 * * [simplify]: Extracting #3: cost 55 inf + 134 8.479 * * [simplify]: Extracting #4: cost 20 inf + 6076 8.481 * * [simplify]: Extracting #5: cost 0 inf + 10090 8.483 * * [simplify]: Extracting #6: cost 0 inf + 9965 8.486 * [simplify]: Simplified to (real->posit16 (+ (log1p n) (fma (- (log1p n) (log n)) n -1))) 8.486 * [simplify]: Simplified (2 1) to (λ (n) (posit16->real (real->posit16 (+ (log1p n) (fma (- (log1p n) (log n)) n -1))))) 8.486 * * * * [progress]: [ 68 / 77 ] simplifiying candidate # 8.486 * * * * [progress]: [ 69 / 77 ] simplifiying candidate # 8.486 * [simplify]: Simplifying (- n (+ (log n) (* 1/2 (pow n 2)))) 8.486 * * [simplify]: iters left: 6 (8 enodes) 8.489 * * [simplify]: iters left: 5 (35 enodes) 8.498 * * [simplify]: iters left: 4 (58 enodes) 8.511 * * [simplify]: iters left: 3 (98 enodes) 8.544 * * [simplify]: iters left: 2 (159 enodes) 8.592 * * [simplify]: iters left: 1 (209 enodes) 8.635 * * [simplify]: Extracting #0: cost 1 inf + 0 8.635 * * [simplify]: Extracting #1: cost 23 inf + 0 8.635 * * [simplify]: Extracting #2: cost 38 inf + 3 8.636 * * [simplify]: Extracting #3: cost 19 inf + 1431 8.638 * * [simplify]: Extracting #4: cost 2 inf + 3608 8.641 * * [simplify]: Extracting #5: cost 0 inf + 3785 8.643 * [simplify]: Simplified to (- n (fma 1/2 (* n n) (log n))) 8.643 * [simplify]: Simplified (2 1 2) to (λ (n) (+ (fma n (- n (fma 1/2 (* n n) (log n))) -1) (log1p n))) 8.643 * * * * [progress]: [ 70 / 77 ] simplifiying candidate # 8.644 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow n 3))) (/ 1 n)) (* 1/2 (/ 1 (pow n 2)))) 8.644 * * [simplify]: iters left: 6 (15 enodes) 8.655 * * [simplify]: iters left: 5 (69 enodes) 8.682 * * [simplify]: iters left: 4 (118 enodes) 8.721 * * [simplify]: iters left: 3 (192 enodes) 8.784 * * [simplify]: iters left: 2 (333 enodes) 8.888 * * [simplify]: Extracting #0: cost 1 inf + 0 8.888 * * [simplify]: Extracting #1: cost 17 inf + 0 8.888 * * [simplify]: Extracting #2: cost 75 inf + 3 8.889 * * [simplify]: Extracting #3: cost 112 inf + 790 8.892 * * [simplify]: Extracting #4: cost 78 inf + 6392 8.897 * * [simplify]: Extracting #5: cost 34 inf + 21238 8.905 * * [simplify]: Extracting #6: cost 1 inf + 36131 8.913 * * [simplify]: Extracting #7: cost 0 inf + 36343 8.921 * [simplify]: Simplified to (+ (- (/ 1/3 (* (* n n) n)) (/ 1/2 (* n n))) (/ 1 n)) 8.921 * [simplify]: Simplified (2 1 2) to (λ (n) (+ (fma n (+ (- (/ 1/3 (* (* n n) n)) (/ 1/2 (* n n))) (/ 1 n)) -1) (log1p n))) 8.921 * * * * [progress]: [ 71 / 77 ] simplifiying candidate # 8.921 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow n 3))) (/ 1 n)) (* 1/2 (/ 1 (pow n 2)))) 8.922 * * [simplify]: iters left: 6 (15 enodes) 8.929 * * [simplify]: iters left: 5 (69 enodes) 8.944 * * [simplify]: iters left: 4 (118 enodes) 8.975 * * [simplify]: iters left: 3 (192 enodes) 9.022 * * [simplify]: iters left: 2 (333 enodes) 9.103 * * [simplify]: Extracting #0: cost 1 inf + 0 9.103 * * [simplify]: Extracting #1: cost 17 inf + 0 9.104 * * [simplify]: Extracting #2: cost 75 inf + 3 9.104 * * [simplify]: Extracting #3: cost 112 inf + 790 9.105 * * [simplify]: Extracting #4: cost 78 inf + 6392 9.108 * * [simplify]: Extracting #5: cost 34 inf + 21238 9.112 * * [simplify]: Extracting #6: cost 1 inf + 36131 9.116 * * [simplify]: Extracting #7: cost 0 inf + 36343 9.121 * [simplify]: Simplified to (+ (- (/ 1/3 (* (* n n) n)) (/ 1/2 (* n n))) (/ 1 n)) 9.121 * [simplify]: Simplified (2 1 2) to (λ (n) (+ (fma n (+ (- (/ 1/3 (* (* n n) n)) (/ 1/2 (* n n))) (/ 1 n)) -1) (log1p n))) 9.121 * * * * [progress]: [ 72 / 77 ] simplifiying candidate # 9.121 * [simplify]: Simplifying (- (pow n 2) (+ (* n (log n)) 1)) 9.121 * * [simplify]: iters left: 6 (8 enodes) 9.127 * * [simplify]: iters left: 5 (37 enodes) 9.140 * * [simplify]: iters left: 4 (60 enodes) 9.158 * * [simplify]: iters left: 3 (86 enodes) 9.183 * * [simplify]: iters left: 2 (120 enodes) 9.203 * * [simplify]: iters left: 1 (160 enodes) 9.239 * * [simplify]: Extracting #0: cost 1 inf + 0 9.239 * * [simplify]: Extracting #1: cost 26 inf + 0 9.240 * * [simplify]: Extracting #2: cost 47 inf + 128 9.240 * * [simplify]: Extracting #3: cost 18 inf + 2554 9.242 * * [simplify]: Extracting #4: cost 1 inf + 5051 9.243 * * [simplify]: Extracting #5: cost 0 inf + 5202 9.244 * [simplify]: Simplified to (fma (- n (log n)) n -1) 9.244 * [simplify]: Simplified (2 1) to (λ (n) (+ (fma (- n (log n)) n -1) (log1p n))) 9.244 * * * * [progress]: [ 73 / 77 ] simplifiying candidate # 9.245 * [simplify]: Simplifying (- (* 1/3 (/ 1 (pow n 2))) (+ (* 1/4 (/ 1 (pow n 3))) (* 1/2 (/ 1 n)))) 9.245 * * [simplify]: iters left: 6 (17 enodes) 9.252 * * [simplify]: iters left: 5 (79 enodes) 9.274 * * [simplify]: iters left: 4 (125 enodes) 9.303 * * [simplify]: iters left: 3 (211 enodes) 9.356 * * [simplify]: iters left: 2 (384 enodes) 9.461 * * [simplify]: Extracting #0: cost 1 inf + 0 9.461 * * [simplify]: Extracting #1: cost 27 inf + 0 9.461 * * [simplify]: Extracting #2: cost 94 inf + 5 9.463 * * [simplify]: Extracting #3: cost 140 inf + 662 9.467 * * [simplify]: Extracting #4: cost 80 inf + 12119 9.475 * * [simplify]: Extracting #5: cost 41 inf + 23931 9.485 * * [simplify]: Extracting #6: cost 8 inf + 39343 9.496 * * [simplify]: Extracting #7: cost 0 inf + 44476 9.503 * [simplify]: Simplified to (- (+ (/ 1/3 (* n n)) (/ -1/2 n)) (/ (/ 1/4 (* n n)) n)) 9.503 * [simplify]: Simplified (2 1) to (λ (n) (+ (- (+ (/ 1/3 (* n n)) (/ -1/2 n)) (/ (/ 1/4 (* n n)) n)) (log1p n))) 9.503 * * * * [progress]: [ 74 / 77 ] simplifiying candidate # 9.503 * [simplify]: Simplifying (- (* 1/3 (/ 1 (pow n 2))) (+ (* 1/4 (/ 1 (pow n 3))) (* 1/2 (/ 1 n)))) 9.504 * * [simplify]: iters left: 6 (17 enodes) 9.511 * * [simplify]: iters left: 5 (79 enodes) 9.528 * * [simplify]: iters left: 4 (125 enodes) 9.568 * * [simplify]: iters left: 3 (211 enodes) 9.639 * * [simplify]: iters left: 2 (384 enodes) 9.776 * * [simplify]: Extracting #0: cost 1 inf + 0 9.776 * * [simplify]: Extracting #1: cost 27 inf + 0 9.777 * * [simplify]: Extracting #2: cost 94 inf + 5 9.777 * * [simplify]: Extracting #3: cost 140 inf + 662 9.779 * * [simplify]: Extracting #4: cost 80 inf + 12119 9.784 * * [simplify]: Extracting #5: cost 41 inf + 23931 9.789 * * [simplify]: Extracting #6: cost 8 inf + 39343 9.794 * * [simplify]: Extracting #7: cost 0 inf + 44476 9.801 * [simplify]: Simplified to (- (+ (/ 1/3 (* n n)) (/ -1/2 n)) (/ (/ 1/4 (* n n)) n)) 9.801 * [simplify]: Simplified (2 1) to (λ (n) (+ (- (+ (/ 1/3 (* n n)) (/ -1/2 n)) (/ (/ 1/4 (* n n)) n)) (log1p n))) 9.801 * * * * [progress]: [ 75 / 77 ] simplifiying candidate # 9.802 * [simplify]: Simplifying (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1)) 9.802 * * [simplify]: iters left: 6 (11 enodes) 9.813 * * [simplify]: iters left: 5 (50 enodes) 9.824 * * [simplify]: iters left: 4 (91 enodes) 9.843 * * [simplify]: iters left: 3 (176 enodes) 9.885 * * [simplify]: iters left: 2 (294 enodes) 10.022 * * [simplify]: iters left: 1 (482 enodes) 10.258 * * [simplify]: Extracting #0: cost 1 inf + 0 10.258 * * [simplify]: Extracting #1: cost 53 inf + 0 10.260 * * [simplify]: Extracting #2: cost 101 inf + 4 10.261 * * [simplify]: Extracting #3: cost 75 inf + 2933 10.270 * * [simplify]: Extracting #4: cost 20 inf + 10506 10.278 * * [simplify]: Extracting #5: cost 2 inf + 13577 10.287 * * [simplify]: Extracting #6: cost 0 inf + 14093 10.295 * [simplify]: Simplified to (fma n (- (fma n 1/2 1) (log n)) -1) 10.296 * [simplify]: Simplified (2) to (λ (n) (fma n (- (fma n 1/2 1) (log n)) -1)) 10.296 * * * * [progress]: [ 76 / 77 ] simplifiying candidate # 10.296 * [simplify]: Simplifying (- (* 1/2 (/ 1 n)) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 10.296 * * [simplify]: iters left: 6 (13 enodes) 10.307 * * [simplify]: iters left: 5 (62 enodes) 10.322 * * [simplify]: iters left: 4 (89 enodes) 10.336 * * [simplify]: iters left: 3 (125 enodes) 10.359 * * [simplify]: iters left: 2 (203 enodes) 10.427 * * [simplify]: iters left: 1 (274 enodes) 10.493 * * [simplify]: Extracting #0: cost 1 inf + 0 10.493 * * [simplify]: Extracting #1: cost 25 inf + 0 10.494 * * [simplify]: Extracting #2: cost 53 inf + 4 10.494 * * [simplify]: Extracting #3: cost 44 inf + 578 10.496 * * [simplify]: Extracting #4: cost 11 inf + 4477 10.500 * * [simplify]: Extracting #5: cost 0 inf + 6113 10.504 * [simplify]: Simplified to (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n))) 10.505 * [simplify]: Simplified (2) to (λ (n) (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n)))) 10.505 * * * * [progress]: [ 77 / 77 ] simplifiying candidate # 10.505 * [simplify]: Simplifying (- (+ (log -1) (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 10.505 * * [simplify]: iters left: 6 (17 enodes) 10.517 * * [simplify]: iters left: 5 (74 enodes) 10.543 * * [simplify]: iters left: 4 (125 enodes) 10.588 * * [simplify]: iters left: 3 (252 enodes) 10.681 * * [simplify]: Extracting #0: cost 1 inf + 0 10.681 * * [simplify]: Extracting #1: cost 53 inf + 0 10.682 * * [simplify]: Extracting #2: cost 113 inf + 3 10.683 * * [simplify]: Extracting #3: cost 107 inf + 845 10.686 * * [simplify]: Extracting #4: cost 51 inf + 9368 10.696 * * [simplify]: Extracting #5: cost 2 inf + 20543 10.703 * * [simplify]: Extracting #6: cost 0 inf + 21019 11.017 * [simplify]: Simplified to (- (+ (log n) (+ (/ 1/2 n) 0)) (/ 1/6 (* n n))) 11.017 * [simplify]: Simplified (2) to (λ (n) (- (+ (log n) (+ (/ 1/2 n) 0)) (/ 1/6 (* n n)))) 11.018 * * * [progress]: adding candidates to table 11.698 * * [progress]: iteration 2 / 4 11.698 * * * [progress]: picking best candidate 11.701 * * * * [pick]: Picked # 11.701 * * * [progress]: localizing error 11.718 * * * [progress]: generating rewritten candidates 11.718 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 11.725 * * * [progress]: generating series expansions 11.725 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 11.725 * [backup-simplify]: Simplify (/ 1/6 (* n n)) into (/ 1/6 (pow n 2)) 11.725 * [approximate]: Taking taylor expansion of (/ 1/6 (pow n 2)) in (n) around 0 11.725 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 11.725 * [taylor]: Taking taylor expansion of 1/6 in n 11.725 * [backup-simplify]: Simplify 1/6 into 1/6 11.725 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.725 * [taylor]: Taking taylor expansion of n in n 11.725 * [backup-simplify]: Simplify 0 into 0 11.725 * [backup-simplify]: Simplify 1 into 1 11.726 * [backup-simplify]: Simplify (* 1 1) into 1 11.726 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 11.726 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 11.726 * [taylor]: Taking taylor expansion of 1/6 in n 11.726 * [backup-simplify]: Simplify 1/6 into 1/6 11.726 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.726 * [taylor]: Taking taylor expansion of n in n 11.726 * [backup-simplify]: Simplify 0 into 0 11.726 * [backup-simplify]: Simplify 1 into 1 11.727 * [backup-simplify]: Simplify (* 1 1) into 1 11.727 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 11.727 * [backup-simplify]: Simplify 1/6 into 1/6 11.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 11.728 * [backup-simplify]: Simplify 0 into 0 11.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.730 * [backup-simplify]: Simplify 0 into 0 11.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.733 * [backup-simplify]: Simplify 0 into 0 11.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.735 * [backup-simplify]: Simplify 0 into 0 11.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.738 * [backup-simplify]: Simplify 0 into 0 11.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.740 * [backup-simplify]: Simplify 0 into 0 11.740 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 11.741 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 n) (/ 1 n))) into (* 1/6 (pow n 2)) 11.741 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 11.741 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 11.741 * [taylor]: Taking taylor expansion of 1/6 in n 11.741 * [backup-simplify]: Simplify 1/6 into 1/6 11.741 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.741 * [taylor]: Taking taylor expansion of n in n 11.741 * [backup-simplify]: Simplify 0 into 0 11.741 * [backup-simplify]: Simplify 1 into 1 11.741 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 11.741 * [taylor]: Taking taylor expansion of 1/6 in n 11.741 * [backup-simplify]: Simplify 1/6 into 1/6 11.741 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.741 * [taylor]: Taking taylor expansion of n in n 11.741 * [backup-simplify]: Simplify 0 into 0 11.741 * [backup-simplify]: Simplify 1 into 1 11.742 * [backup-simplify]: Simplify (* 1 1) into 1 11.742 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 11.742 * [backup-simplify]: Simplify 1/6 into 1/6 11.743 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.744 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 11.744 * [backup-simplify]: Simplify 0 into 0 11.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.745 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.745 * [backup-simplify]: Simplify 0 into 0 11.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.746 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.746 * [backup-simplify]: Simplify 0 into 0 11.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.748 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.748 * [backup-simplify]: Simplify 0 into 0 11.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.749 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.749 * [backup-simplify]: Simplify 0 into 0 11.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.751 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.751 * [backup-simplify]: Simplify 0 into 0 11.751 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 11.751 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* 1/6 (pow n 2)) 11.751 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 11.751 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 11.751 * [taylor]: Taking taylor expansion of 1/6 in n 11.751 * [backup-simplify]: Simplify 1/6 into 1/6 11.751 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.751 * [taylor]: Taking taylor expansion of n in n 11.751 * [backup-simplify]: Simplify 0 into 0 11.751 * [backup-simplify]: Simplify 1 into 1 11.751 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 11.751 * [taylor]: Taking taylor expansion of 1/6 in n 11.751 * [backup-simplify]: Simplify 1/6 into 1/6 11.751 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.752 * [taylor]: Taking taylor expansion of n in n 11.752 * [backup-simplify]: Simplify 0 into 0 11.752 * [backup-simplify]: Simplify 1 into 1 11.752 * [backup-simplify]: Simplify (* 1 1) into 1 11.752 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 11.752 * [backup-simplify]: Simplify 1/6 into 1/6 11.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.753 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 11.753 * [backup-simplify]: Simplify 0 into 0 11.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.754 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.754 * [backup-simplify]: Simplify 0 into 0 11.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.755 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.755 * [backup-simplify]: Simplify 0 into 0 11.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.757 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.757 * [backup-simplify]: Simplify 0 into 0 11.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.758 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.758 * [backup-simplify]: Simplify 0 into 0 11.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.760 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.760 * [backup-simplify]: Simplify 0 into 0 11.760 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- n)) 2)) into (/ 1/6 (pow n 2)) 11.760 * * * [progress]: simplifying candidates 11.760 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 11.760 * [simplify]: Simplifying (expm1 (/ 1/6 (* n n))) 11.760 * * [simplify]: iters left: 5 (5 enodes) 11.762 * * [simplify]: iters left: 4 (17 enodes) 11.765 * * [simplify]: iters left: 3 (19 enodes) 11.768 * * [simplify]: Extracting #0: cost 1 inf + 0 11.768 * * [simplify]: Extracting #1: cost 3 inf + 0 11.768 * * [simplify]: Extracting #2: cost 8 inf + 0 11.768 * * [simplify]: Extracting #3: cost 7 inf + 43 11.768 * * [simplify]: Extracting #4: cost 0 inf + 636 11.768 * [simplify]: Simplified to (expm1 (/ 1/6 (* n n))) 11.768 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (log1p (expm1 (/ 1/6 (* n n)))) (log n)))) 11.769 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 11.769 * [simplify]: Simplifying (log1p (/ 1/6 (* n n))) 11.769 * * [simplify]: iters left: 5 (5 enodes) 11.770 * * [simplify]: iters left: 4 (17 enodes) 11.773 * * [simplify]: iters left: 3 (19 enodes) 11.776 * * [simplify]: Extracting #0: cost 1 inf + 0 11.776 * * [simplify]: Extracting #1: cost 3 inf + 0 11.777 * * [simplify]: Extracting #2: cost 8 inf + 0 11.777 * * [simplify]: Extracting #3: cost 7 inf + 43 11.777 * * [simplify]: Extracting #4: cost 0 inf + 676 11.777 * [simplify]: Simplified to (log1p (/ 1/6 (* n n))) 11.777 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (expm1 (log1p (/ 1/6 (* n n)))) (log n)))) 11.777 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 11.777 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 11.778 * [simplify]: Simplifying (- (log 1/6) (+ (log n) (log n))) 11.778 * * [simplify]: iters left: 5 (6 enodes) 11.782 * * [simplify]: iters left: 4 (22 enodes) 11.789 * * [simplify]: iters left: 3 (31 enodes) 11.803 * * [simplify]: iters left: 2 (39 enodes) 11.810 * * [simplify]: iters left: 1 (45 enodes) 11.817 * * [simplify]: Extracting #0: cost 1 inf + 0 11.817 * * [simplify]: Extracting #1: cost 10 inf + 0 11.817 * * [simplify]: Extracting #2: cost 20 inf + 0 11.817 * * [simplify]: Extracting #3: cost 16 inf + 184 11.817 * * [simplify]: Extracting #4: cost 5 inf + 1698 11.818 * * [simplify]: Extracting #5: cost 0 inf + 2537 11.818 * [simplify]: Simplified to (- (log 1/6) (+ (log n) (log n))) 11.818 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (exp (- (log 1/6) (+ (log n) (log n)))) (log n)))) 11.818 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 11.819 * [simplify]: Simplifying (- (log 1/6) (log (* n n))) 11.819 * * [simplify]: iters left: 5 (6 enodes) 11.821 * * [simplify]: iters left: 4 (22 enodes) 11.824 * * [simplify]: iters left: 3 (31 enodes) 11.830 * * [simplify]: iters left: 2 (41 enodes) 11.836 * * [simplify]: iters left: 1 (48 enodes) 11.843 * * [simplify]: Extracting #0: cost 1 inf + 0 11.843 * * [simplify]: Extracting #1: cost 12 inf + 0 11.843 * * [simplify]: Extracting #2: cost 25 inf + 0 11.844 * * [simplify]: Extracting #3: cost 10 inf + 1748 11.845 * * [simplify]: Extracting #4: cost 0 inf + 3263 11.846 * [simplify]: Simplified to (- (log 1/6) (+ (log n) (log n))) 11.846 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (exp (- (log 1/6) (+ (log n) (log n)))) (log n)))) 11.846 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 11.846 * [simplify]: Simplifying (log (/ 1/6 (* n n))) 11.846 * * [simplify]: iters left: 5 (5 enodes) 11.850 * * [simplify]: iters left: 4 (20 enodes) 11.857 * * [simplify]: iters left: 3 (32 enodes) 11.866 * * [simplify]: iters left: 2 (42 enodes) 11.879 * * [simplify]: iters left: 1 (49 enodes) 11.893 * * [simplify]: Extracting #0: cost 1 inf + 0 11.894 * * [simplify]: Extracting #1: cost 11 inf + 0 11.894 * * [simplify]: Extracting #2: cost 22 inf + 0 11.894 * * [simplify]: Extracting #3: cost 21 inf + 73 11.894 * * [simplify]: Extracting #4: cost 6 inf + 1513 11.895 * * [simplify]: Extracting #5: cost 1 inf + 2111 11.896 * * [simplify]: Extracting #6: cost 0 inf + 2223 11.897 * [simplify]: Simplified to (log (/ 1/6 (* n n))) 11.897 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (exp (log (/ 1/6 (* n n)))) (log n)))) 11.897 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 11.897 * [simplify]: Simplifying (exp (/ 1/6 (* n n))) 11.897 * * [simplify]: iters left: 5 (5 enodes) 11.900 * * [simplify]: iters left: 4 (17 enodes) 11.905 * * [simplify]: iters left: 3 (19 enodes) 11.911 * * [simplify]: Extracting #0: cost 1 inf + 0 11.911 * * [simplify]: Extracting #1: cost 3 inf + 0 11.911 * * [simplify]: Extracting #2: cost 8 inf + 0 11.911 * * [simplify]: Extracting #3: cost 7 inf + 43 11.911 * * [simplify]: Extracting #4: cost 0 inf + 636 11.912 * [simplify]: Simplified to (exp (/ 1/6 (* n n))) 11.912 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (log (exp (/ 1/6 (* n n)))) (log n)))) 11.912 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 11.912 * [simplify]: Simplifying (/ (* (* 1/6 1/6) 1/6) (* (* (* n n) n) (* (* n n) n))) 11.912 * * [simplify]: iters left: 6 (8 enodes) 11.917 * * [simplify]: iters left: 5 (40 enodes) 11.930 * * [simplify]: iters left: 4 (125 enodes) 11.973 * * [simplify]: iters left: 3 (396 enodes) 12.236 * * [simplify]: Extracting #0: cost 1 inf + 0 12.236 * * [simplify]: Extracting #1: cost 92 inf + 0 12.238 * * [simplify]: Extracting #2: cost 138 inf + 3666 12.247 * * [simplify]: Extracting #3: cost 39 inf + 15522 12.258 * * [simplify]: Extracting #4: cost 4 inf + 23501 12.270 * * [simplify]: Extracting #5: cost 0 inf + 24551 12.282 * [simplify]: Simplified to (/ 1/216 (* (* n (* n n)) (* n (* n n)))) 12.282 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (cbrt (/ 1/216 (* (* n (* n n)) (* n (* n n))))) (log n)))) 12.282 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 12.283 * [simplify]: Simplifying (/ (* (* 1/6 1/6) 1/6) (* (* (* n n) (* n n)) (* n n))) 12.283 * * [simplify]: iters left: 6 (8 enodes) 12.289 * * [simplify]: iters left: 5 (41 enodes) 12.310 * * [simplify]: iters left: 4 (128 enodes) 12.371 * * [simplify]: iters left: 3 (371 enodes) 12.570 * * [simplify]: Extracting #0: cost 1 inf + 0 12.570 * * [simplify]: Extracting #1: cost 90 inf + 0 12.571 * * [simplify]: Extracting #2: cost 150 inf + 1834 12.575 * * [simplify]: Extracting #3: cost 69 inf + 11137 12.580 * * [simplify]: Extracting #4: cost 4 inf + 23149 12.586 * * [simplify]: Extracting #5: cost 0 inf + 24320 12.592 * [simplify]: Simplified to (/ (/ 1/216 (* n n)) (* (* n n) (* n n))) 12.592 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (cbrt (/ (/ 1/216 (* n n)) (* (* n n) (* n n)))) (log n)))) 12.592 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 12.592 * [simplify]: Simplifying (* (cbrt (/ 1/6 (* n n))) (cbrt (/ 1/6 (* n n)))) 12.592 * * [simplify]: iters left: 6 (6 enodes) 12.594 * * [simplify]: iters left: 5 (20 enodes) 12.597 * * [simplify]: iters left: 4 (22 enodes) 12.601 * * [simplify]: Extracting #0: cost 1 inf + 0 12.601 * * [simplify]: Extracting #1: cost 3 inf + 0 12.601 * * [simplify]: Extracting #2: cost 5 inf + 0 12.601 * * [simplify]: Extracting #3: cost 10 inf + 0 12.601 * * [simplify]: Extracting #4: cost 10 inf + 2 12.601 * * [simplify]: Extracting #5: cost 1 inf + 858 12.601 * * [simplify]: Extracting #6: cost 0 inf + 1060 12.602 * [simplify]: Simplified to (* (cbrt (/ 1/6 (* n n))) (cbrt (/ 1/6 (* n n)))) 12.602 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (* (* (cbrt (/ 1/6 (* n n))) (cbrt (/ 1/6 (* n n)))) (cbrt (/ 1/6 (* n n)))) (log n)))) 12.602 * [simplify]: Simplifying (cbrt (/ 1/6 (* n n))) 12.602 * * [simplify]: iters left: 5 (5 enodes) 12.603 * * [simplify]: iters left: 4 (17 enodes) 12.606 * * [simplify]: iters left: 3 (19 enodes) 12.609 * * [simplify]: Extracting #0: cost 1 inf + 0 12.609 * * [simplify]: Extracting #1: cost 3 inf + 0 12.609 * * [simplify]: Extracting #2: cost 8 inf + 0 12.609 * * [simplify]: Extracting #3: cost 7 inf + 43 12.609 * * [simplify]: Extracting #4: cost 0 inf + 656 12.609 * [simplify]: Simplified to (cbrt (/ 1/6 (* n n))) 12.609 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (* (* (cbrt (/ 1/6 (* n n))) (cbrt (/ 1/6 (* n n)))) (cbrt (/ 1/6 (* n n)))) (log n)))) 12.609 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 12.610 * [simplify]: Simplifying (* (* (/ 1/6 (* n n)) (/ 1/6 (* n n))) (/ 1/6 (* n n))) 12.610 * * [simplify]: iters left: 6 (6 enodes) 12.612 * * [simplify]: iters left: 5 (27 enodes) 12.618 * * [simplify]: iters left: 4 (73 enodes) 12.647 * * [simplify]: iters left: 3 (237 enodes) 12.796 * * [simplify]: Extracting #0: cost 1 inf + 0 12.797 * * [simplify]: Extracting #1: cost 52 inf + 0 12.797 * * [simplify]: Extracting #2: cost 100 inf + 5 12.798 * * [simplify]: Extracting #3: cost 65 inf + 6165 12.802 * * [simplify]: Extracting #4: cost 6 inf + 12848 12.805 * * [simplify]: Extracting #5: cost 0 inf + 13267 12.809 * [simplify]: Simplified to (* (/ 1/6 (* n n)) (* (/ 1/6 (* n n)) (/ 1/6 (* n n)))) 12.809 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (cbrt (* (/ 1/6 (* n n)) (* (/ 1/6 (* n n)) (/ 1/6 (* n n))))) (log n)))) 12.809 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 12.809 * [simplify]: Simplifying (sqrt (/ 1/6 (* n n))) 12.809 * * [simplify]: iters left: 5 (5 enodes) 12.811 * * [simplify]: iters left: 4 (17 enodes) 12.814 * * [simplify]: iters left: 3 (19 enodes) 12.817 * * [simplify]: Extracting #0: cost 1 inf + 0 12.817 * * [simplify]: Extracting #1: cost 3 inf + 0 12.817 * * [simplify]: Extracting #2: cost 8 inf + 0 12.817 * * [simplify]: Extracting #3: cost 7 inf + 43 12.817 * * [simplify]: Extracting #4: cost 0 inf + 576 12.817 * [simplify]: Simplified to (sqrt (/ 1/6 (* n n))) 12.817 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (* (sqrt (/ 1/6 (* n n))) (sqrt (/ 1/6 (* n n)))) (log n)))) 12.818 * [simplify]: Simplifying (sqrt (/ 1/6 (* n n))) 12.818 * * [simplify]: iters left: 5 (5 enodes) 12.819 * * [simplify]: iters left: 4 (17 enodes) 12.822 * * [simplify]: iters left: 3 (19 enodes) 12.827 * * [simplify]: Extracting #0: cost 1 inf + 0 12.827 * * [simplify]: Extracting #1: cost 3 inf + 0 12.827 * * [simplify]: Extracting #2: cost 8 inf + 0 12.827 * * [simplify]: Extracting #3: cost 7 inf + 43 12.827 * * [simplify]: Extracting #4: cost 0 inf + 576 12.827 * [simplify]: Simplified to (sqrt (/ 1/6 (* n n))) 12.827 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (* (sqrt (/ 1/6 (* n n))) (sqrt (/ 1/6 (* n n)))) (log n)))) 12.827 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 12.828 * [simplify]: Simplifying (- 1/6) 12.828 * * [simplify]: iters left: 2 (2 enodes) 12.830 * * [simplify]: iters left: 1 (7 enodes) 12.832 * * [simplify]: Extracting #0: cost 1 inf + 0 12.833 * * [simplify]: Extracting #1: cost 0 inf + 1 12.833 * [simplify]: Simplified to -1/6 12.833 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (/ -1/6 (- (* n n))) (log n)))) 12.833 * [simplify]: Simplifying (- (* n n)) 12.833 * * [simplify]: iters left: 4 (3 enodes) 12.835 * * [simplify]: iters left: 3 (12 enodes) 12.838 * * [simplify]: iters left: 2 (14 enodes) 12.842 * * [simplify]: Extracting #0: cost 1 inf + 0 12.842 * * [simplify]: Extracting #1: cost 5 inf + 0 12.842 * * [simplify]: Extracting #2: cost 6 inf + 1 12.842 * * [simplify]: Extracting #3: cost 0 inf + 327 12.842 * [simplify]: Simplified to (- (* n n)) 12.842 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (/ -1/6 (- (* n n))) (log n)))) 12.842 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 12.843 * [simplify]: Simplifying (/ (* (cbrt 1/6) (cbrt 1/6)) n) 12.843 * * [simplify]: iters left: 5 (5 enodes) 12.846 * * [simplify]: iters left: 4 (17 enodes) 12.852 * * [simplify]: iters left: 3 (21 enodes) 12.860 * * [simplify]: iters left: 2 (24 enodes) 12.867 * * [simplify]: Extracting #0: cost 1 inf + 0 12.868 * * [simplify]: Extracting #1: cost 7 inf + 0 12.868 * * [simplify]: Extracting #2: cost 11 inf + 1 12.868 * * [simplify]: Extracting #3: cost 10 inf + 2 12.868 * * [simplify]: Extracting #4: cost 0 inf + 1218 12.868 * [simplify]: Simplified to (/ (* (cbrt 1/6) (cbrt 1/6)) n) 12.868 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (* (/ (* (cbrt 1/6) (cbrt 1/6)) n) (/ (cbrt 1/6) n)) (log n)))) 12.869 * [simplify]: Simplifying (/ (cbrt 1/6) n) 12.869 * * [simplify]: iters left: 3 (4 enodes) 12.872 * * [simplify]: iters left: 2 (12 enodes) 12.876 * * [simplify]: Extracting #0: cost 1 inf + 0 12.876 * * [simplify]: Extracting #1: cost 4 inf + 0 12.876 * * [simplify]: Extracting #2: cost 5 inf + 1 12.876 * * [simplify]: Extracting #3: cost 4 inf + 2 12.876 * * [simplify]: Extracting #4: cost 0 inf + 408 12.876 * [simplify]: Simplified to (/ (cbrt 1/6) n) 12.876 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (* (/ (* (cbrt 1/6) (cbrt 1/6)) n) (/ (cbrt 1/6) n)) (log n)))) 12.876 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 12.877 * [simplify]: Simplifying (/ (sqrt 1/6) n) 12.877 * * [simplify]: iters left: 3 (4 enodes) 12.879 * * [simplify]: iters left: 2 (12 enodes) 12.882 * * [simplify]: Extracting #0: cost 1 inf + 0 12.882 * * [simplify]: Extracting #1: cost 4 inf + 0 12.882 * * [simplify]: Extracting #2: cost 5 inf + 1 12.882 * * [simplify]: Extracting #3: cost 4 inf + 2 12.882 * * [simplify]: Extracting #4: cost 0 inf + 248 12.882 * [simplify]: Simplified to (/ (sqrt 1/6) n) 12.882 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (* (/ (sqrt 1/6) n) (/ (sqrt 1/6) n)) (log n)))) 12.882 * [simplify]: Simplifying (/ (sqrt 1/6) n) 12.882 * * [simplify]: iters left: 3 (4 enodes) 12.884 * * [simplify]: iters left: 2 (12 enodes) 12.886 * * [simplify]: Extracting #0: cost 1 inf + 0 12.886 * * [simplify]: Extracting #1: cost 4 inf + 0 12.886 * * [simplify]: Extracting #2: cost 5 inf + 1 12.886 * * [simplify]: Extracting #3: cost 4 inf + 2 12.886 * * [simplify]: Extracting #4: cost 0 inf + 248 12.886 * [simplify]: Simplified to (/ (sqrt 1/6) n) 12.886 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (* (/ (sqrt 1/6) n) (/ (sqrt 1/6) n)) (log n)))) 12.886 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 12.887 * [simplify]: Simplifying (/ 1 n) 12.887 * * [simplify]: iters left: 2 (3 enodes) 12.888 * * [simplify]: iters left: 1 (11 enodes) 12.890 * * [simplify]: Extracting #0: cost 1 inf + 0 12.890 * * [simplify]: Extracting #1: cost 4 inf + 0 12.890 * * [simplify]: Extracting #2: cost 2 inf + 2 12.890 * * [simplify]: Extracting #3: cost 0 inf + 86 12.890 * [simplify]: Simplified to (/ 1 n) 12.890 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (* (/ 1 n) (/ 1/6 n)) (log n)))) 12.890 * [simplify]: Simplifying (/ 1/6 n) 12.890 * * [simplify]: iters left: 2 (3 enodes) 12.891 * * [simplify]: iters left: 1 (9 enodes) 12.893 * * [simplify]: Extracting #0: cost 1 inf + 0 12.893 * * [simplify]: Extracting #1: cost 4 inf + 0 12.893 * * [simplify]: Extracting #2: cost 2 inf + 2 12.893 * * [simplify]: Extracting #3: cost 0 inf + 86 12.893 * [simplify]: Simplified to (/ 1/6 n) 12.893 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (* (/ 1 n) (/ 1/6 n)) (log n)))) 12.893 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 12.893 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 12.893 * [simplify]: Simplifying (/ 1 (* n n)) 12.893 * * [simplify]: iters left: 4 (4 enodes) 12.894 * * [simplify]: iters left: 3 (16 enodes) 12.900 * * [simplify]: iters left: 2 (20 enodes) 12.903 * * [simplify]: Extracting #0: cost 1 inf + 0 12.903 * * [simplify]: Extracting #1: cost 6 inf + 0 12.903 * * [simplify]: Extracting #2: cost 5 inf + 43 12.903 * * [simplify]: Extracting #3: cost 1 inf + 290 12.904 * * [simplify]: Extracting #4: cost 0 inf + 332 12.904 * [simplify]: Simplified to (/ 1 (* n n)) 12.904 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (* 1/6 (/ 1 (* n n))) (log n)))) 12.904 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 12.904 * [simplify]: Simplifying (/ (* n n) 1/6) 12.904 * * [simplify]: iters left: 4 (4 enodes) 12.906 * * [simplify]: iters left: 3 (14 enodes) 12.908 * * [simplify]: iters left: 2 (18 enodes) 12.914 * * [simplify]: iters left: 1 (21 enodes) 12.920 * * [simplify]: Extracting #0: cost 1 inf + 0 12.921 * * [simplify]: Extracting #1: cost 7 inf + 0 12.921 * * [simplify]: Extracting #2: cost 8 inf + 2 12.921 * * [simplify]: Extracting #3: cost 1 inf + 374 12.921 * * [simplify]: Extracting #4: cost 0 inf + 416 12.921 * [simplify]: Simplified to (/ (* n n) 1/6) 12.921 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (/ 1 (/ (* n n) 1/6)) (log n)))) 12.921 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 12.922 * [simplify]: Simplifying (/ 1/6 n) 12.922 * * [simplify]: iters left: 2 (3 enodes) 12.924 * * [simplify]: iters left: 1 (9 enodes) 12.927 * * [simplify]: Extracting #0: cost 1 inf + 0 12.927 * * [simplify]: Extracting #1: cost 4 inf + 0 12.927 * * [simplify]: Extracting #2: cost 2 inf + 2 12.927 * * [simplify]: Extracting #3: cost 0 inf + 86 12.927 * [simplify]: Simplified to (/ 1/6 n) 12.927 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (/ (/ 1/6 n) n) (log n)))) 12.927 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 12.928 * [simplify]: Simplifying (/ (* n n) (cbrt 1/6)) 12.928 * * [simplify]: iters left: 4 (5 enodes) 12.931 * * [simplify]: iters left: 3 (17 enodes) 12.937 * * [simplify]: iters left: 2 (21 enodes) 12.944 * * [simplify]: iters left: 1 (24 enodes) 12.951 * * [simplify]: Extracting #0: cost 1 inf + 0 12.952 * * [simplify]: Extracting #1: cost 7 inf + 0 12.952 * * [simplify]: Extracting #2: cost 11 inf + 1 12.952 * * [simplify]: Extracting #3: cost 8 inf + 84 12.952 * * [simplify]: Extracting #4: cost 2 inf + 814 12.952 * * [simplify]: Extracting #5: cost 0 inf + 1058 12.953 * [simplify]: Simplified to (/ (* n n) (cbrt 1/6)) 12.953 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (/ (* (cbrt 1/6) (cbrt 1/6)) (/ (* n n) (cbrt 1/6))) (log n)))) 12.953 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 12.953 * [simplify]: Simplifying (/ (* n n) (sqrt 1/6)) 12.953 * * [simplify]: iters left: 4 (5 enodes) 12.957 * * [simplify]: iters left: 3 (17 enodes) 12.961 * * [simplify]: iters left: 2 (21 enodes) 12.965 * * [simplify]: iters left: 1 (24 enodes) 12.969 * * [simplify]: Extracting #0: cost 1 inf + 0 12.969 * * [simplify]: Extracting #1: cost 7 inf + 0 12.969 * * [simplify]: Extracting #2: cost 11 inf + 1 12.969 * * [simplify]: Extracting #3: cost 8 inf + 84 12.969 * * [simplify]: Extracting #4: cost 2 inf + 574 12.969 * * [simplify]: Extracting #5: cost 0 inf + 738 12.970 * [simplify]: Simplified to (/ (* n n) (sqrt 1/6)) 12.970 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (/ (sqrt 1/6) (/ (* n n) (sqrt 1/6))) (log n)))) 12.970 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 12.970 * [simplify]: Simplifying (/ (* n n) 1/6) 12.970 * * [simplify]: iters left: 4 (4 enodes) 12.971 * * [simplify]: iters left: 3 (14 enodes) 12.974 * * [simplify]: iters left: 2 (18 enodes) 12.977 * * [simplify]: iters left: 1 (21 enodes) 12.981 * * [simplify]: Extracting #0: cost 1 inf + 0 12.981 * * [simplify]: Extracting #1: cost 7 inf + 0 12.981 * * [simplify]: Extracting #2: cost 8 inf + 2 12.981 * * [simplify]: Extracting #3: cost 1 inf + 374 12.981 * * [simplify]: Extracting #4: cost 0 inf + 416 12.981 * [simplify]: Simplified to (/ (* n n) 1/6) 12.981 * [simplify]: Simplified (2 2 1 2) to (λ (n) (- (/ 1/2 n) (- (/ 1 (/ (* n n) 1/6)) (log n)))) 12.982 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #real (real->posit16 (/ 1/6 (* n n)))) (log n))))> 12.982 * [simplify]: Simplifying (real->posit16 (/ 1/6 (* n n))) 12.982 * * [simplify]: iters left: 5 (5 enodes) 12.985 * * [simplify]: iters left: 4 (14 enodes) 12.989 * * [simplify]: iters left: 3 (16 enodes) 12.994 * * [simplify]: Extracting #0: cost 1 inf + 0 12.995 * * [simplify]: Extracting #1: cost 2 inf + 0 12.995 * * [simplify]: Extracting #2: cost 6 inf + 0 12.995 * * [simplify]: Extracting #3: cost 5 inf + 43 12.995 * * [simplify]: Extracting #4: cost 0 inf + 332 12.995 * [simplify]: Simplified to (real->posit16 (/ 1/6 (* n n))) 12.995 * [simplify]: Simplified (2 2 1 1) to (λ (n) (- (/ 1/2 n) (- (posit16->real (real->posit16 (/ 1/6 (* n n)))) (log n)))) 12.995 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 12.996 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 12.996 * * [simplify]: iters left: 3 (5 enodes) 13.000 * * [simplify]: iters left: 2 (20 enodes) 13.007 * * [simplify]: iters left: 1 (26 enodes) 13.015 * * [simplify]: Extracting #0: cost 1 inf + 0 13.015 * * [simplify]: Extracting #1: cost 6 inf + 0 13.015 * * [simplify]: Extracting #2: cost 6 inf + 43 13.016 * * [simplify]: Extracting #3: cost 0 inf + 333 13.016 * [simplify]: Simplified to (/ 1/6 (* n n)) 13.016 * [simplify]: Simplified (2 2 1) to (λ (n) (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n)))) 13.016 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 13.016 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 13.016 * * [simplify]: iters left: 3 (5 enodes) 13.020 * * [simplify]: iters left: 2 (20 enodes) 13.027 * * [simplify]: iters left: 1 (26 enodes) 13.038 * * [simplify]: Extracting #0: cost 1 inf + 0 13.038 * * [simplify]: Extracting #1: cost 6 inf + 0 13.038 * * [simplify]: Extracting #2: cost 6 inf + 43 13.038 * * [simplify]: Extracting #3: cost 0 inf + 333 13.038 * [simplify]: Simplified to (/ 1/6 (* n n)) 13.038 * [simplify]: Simplified (2 2 1) to (λ (n) (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n)))) 13.038 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 13.039 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 13.039 * * [simplify]: iters left: 3 (5 enodes) 13.043 * * [simplify]: iters left: 2 (20 enodes) 13.050 * * [simplify]: iters left: 1 (26 enodes) 13.058 * * [simplify]: Extracting #0: cost 1 inf + 0 13.058 * * [simplify]: Extracting #1: cost 6 inf + 0 13.059 * * [simplify]: Extracting #2: cost 6 inf + 43 13.059 * * [simplify]: Extracting #3: cost 0 inf + 333 13.059 * [simplify]: Simplified to (/ 1/6 (* n n)) 13.059 * [simplify]: Simplified (2 2 1) to (λ (n) (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n)))) 13.059 * * * [progress]: adding candidates to table 13.260 * [progress]: [Phase 3 of 3] Extracting. 13.264 * [simplify]: Simplifying (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n))) 13.265 * * [simplify]: iters left: 6 (9 enodes) 13.265 * * [simplify]: Extracting #0: cost 1 inf + 0 13.265 * * [simplify]: Extracting #1: cost 3 inf + 0 13.265 * * [simplify]: Extracting #2: cost 7 inf + 0 13.266 * * [simplify]: Extracting #3: cost 6 inf + 73 13.266 * * [simplify]: Extracting #4: cost 0 inf + 704 13.266 * [simplify]: Simplified to (- (/ 1/2 n) (- (/ 1/6 (* n n)) (log n))) 19.526 * [regime-testing]: Baseline error score: 0 19.531 * [regime-testing]: Oracle error score: 0 19.531 * [regime-testing]: End program error score: 0 19.623 * [regime-testing]: Target error score: 0