95.794 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.136 * * * [progress]: [2/2] Setting up program. 0.139 * [progress]: [Phase 2 of 3] Improving. 0.139 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.139 * [simplify]: Simplifying: (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) 0.139 * * [simplify]: iteration 1: (9 enodes) 0.141 * * [simplify]: iteration 2: (20 enodes) 0.145 * * [simplify]: iteration 3: (49 enodes) 0.188 * * [simplify]: iteration 4: (81 enodes) 0.203 * * [simplify]: iteration 5: (144 enodes) 0.307 * * [simplify]: iteration 6: (280 enodes) 0.406 * * [simplify]: iteration 7: (424 enodes) 0.643 * * [simplify]: iteration 8: (654 enodes) 1.717 * * [simplify]: iteration 9: (1164 enodes) 3.957 * * [simplify]: iteration 10: (1863 enodes) 8.327 * * [simplify]: Extracting #0: cost 1 inf + 0 8.327 * * [simplify]: Extracting #1: cost 52 inf + 0 8.329 * * [simplify]: Extracting #2: cost 171 inf + 75 8.331 * * [simplify]: Extracting #3: cost 107 inf + 10616 8.341 * * [simplify]: Extracting #4: cost 19 inf + 31391 8.353 * * [simplify]: Extracting #5: cost 0 inf + 36189 8.366 * * [simplify]: Extracting #6: cost 0 inf + 36158 8.394 * [simplify]: Simplified to: (+ (fma n (- (log1p n) (log n)) (log1p n)) -1) 8.408 * * [progress]: iteration 1 / 4 8.408 * * * [progress]: picking best candidate 8.412 * * * * [pick]: Picked # 8.412 * * * [progress]: localizing error 8.430 * * * [progress]: generating rewritten candidates 8.430 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 8.436 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 8.436 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.441 * * * [progress]: generating series expansions 8.441 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 8.441 * [backup-simplify]: Simplify (- (log1p n) (log n)) into (- (log1p n) (log n)) 8.441 * [approximate]: Taking taylor expansion of (- (log1p n) (log n)) in (n) around 0 8.441 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.441 * [taylor]: Taking taylor expansion of (log1p n) in n 8.441 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.441 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.441 * [taylor]: Taking taylor expansion of 1 in n 8.441 * [backup-simplify]: Simplify 1 into 1 8.441 * [taylor]: Taking taylor expansion of n in n 8.441 * [backup-simplify]: Simplify 0 into 0 8.441 * [backup-simplify]: Simplify 1 into 1 8.442 * [backup-simplify]: Simplify (+ 1 0) into 1 8.442 * [backup-simplify]: Simplify (log 1) into 0 8.442 * [taylor]: Taking taylor expansion of (log n) in n 8.442 * [taylor]: Taking taylor expansion of n in n 8.442 * [backup-simplify]: Simplify 0 into 0 8.442 * [backup-simplify]: Simplify 1 into 1 8.443 * [backup-simplify]: Simplify (log 1) into 0 8.443 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.443 * [taylor]: Taking taylor expansion of (log1p n) in n 8.443 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.443 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.443 * [taylor]: Taking taylor expansion of 1 in n 8.443 * [backup-simplify]: Simplify 1 into 1 8.443 * [taylor]: Taking taylor expansion of n in n 8.443 * [backup-simplify]: Simplify 0 into 0 8.443 * [backup-simplify]: Simplify 1 into 1 8.443 * [backup-simplify]: Simplify (+ 1 0) into 1 8.443 * [backup-simplify]: Simplify (log 1) into 0 8.443 * [taylor]: Taking taylor expansion of (log n) in n 8.443 * [taylor]: Taking taylor expansion of n in n 8.443 * [backup-simplify]: Simplify 0 into 0 8.443 * [backup-simplify]: Simplify 1 into 1 8.444 * [backup-simplify]: Simplify (log 1) into 0 8.444 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 8.444 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.444 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 8.444 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.445 * [backup-simplify]: Simplify (+ 0 1) into 1 8.445 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.446 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.446 * [backup-simplify]: Simplify (- 0) into 0 8.447 * [backup-simplify]: Simplify (+ 1 0) into 1 8.447 * [backup-simplify]: Simplify 1 into 1 8.447 * [backup-simplify]: Simplify (+ 0 0) into 0 8.449 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.450 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.451 * [backup-simplify]: Simplify (- 0) into 0 8.451 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.451 * [backup-simplify]: Simplify -1/2 into -1/2 8.451 * [backup-simplify]: Simplify (+ (* -1/2 (pow n 2)) (+ (* 1 n) (- (log n)))) into (- n (+ (log n) (* 1/2 (pow n 2)))) 8.451 * [backup-simplify]: Simplify (- (log1p (/ 1 n)) (log (/ 1 n))) into (- (log1p (/ 1 n)) (log (/ 1 n))) 8.451 * [approximate]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in (n) around 0 8.451 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.451 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.451 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.451 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.451 * [taylor]: Taking taylor expansion of 1 in n 8.451 * [backup-simplify]: Simplify 1 into 1 8.451 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.451 * [taylor]: Taking taylor expansion of n in n 8.451 * [backup-simplify]: Simplify 0 into 0 8.451 * [backup-simplify]: Simplify 1 into 1 8.452 * [backup-simplify]: Simplify (/ 1 1) into 1 8.452 * [backup-simplify]: Simplify (+ 0 1) into 1 8.452 * [backup-simplify]: Simplify (log 1) into 0 8.452 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.452 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.452 * [taylor]: Taking taylor expansion of n in n 8.452 * [backup-simplify]: Simplify 0 into 0 8.452 * [backup-simplify]: Simplify 1 into 1 8.453 * [backup-simplify]: Simplify (/ 1 1) into 1 8.453 * [backup-simplify]: Simplify (log 1) into 0 8.453 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.453 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.453 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.453 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.453 * [taylor]: Taking taylor expansion of 1 in n 8.453 * [backup-simplify]: Simplify 1 into 1 8.453 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.453 * [taylor]: Taking taylor expansion of n in n 8.453 * [backup-simplify]: Simplify 0 into 0 8.453 * [backup-simplify]: Simplify 1 into 1 8.453 * [backup-simplify]: Simplify (/ 1 1) into 1 8.453 * [backup-simplify]: Simplify (+ 0 1) into 1 8.454 * [backup-simplify]: Simplify (log 1) into 0 8.454 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.454 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.454 * [taylor]: Taking taylor expansion of n in n 8.454 * [backup-simplify]: Simplify 0 into 0 8.454 * [backup-simplify]: Simplify 1 into 1 8.454 * [backup-simplify]: Simplify (/ 1 1) into 1 8.454 * [backup-simplify]: Simplify (log 1) into 0 8.455 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.455 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.455 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 8.455 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 8.455 * [backup-simplify]: Simplify 0 into 0 8.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.456 * [backup-simplify]: Simplify (+ 1 0) into 1 8.457 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.458 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.458 * [backup-simplify]: Simplify (- 0) into 0 8.458 * [backup-simplify]: Simplify (+ 1 0) into 1 8.458 * [backup-simplify]: Simplify 1 into 1 8.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.459 * [backup-simplify]: Simplify (+ 0 0) into 0 8.461 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.463 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.463 * [backup-simplify]: Simplify (- 0) into 0 8.463 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.463 * [backup-simplify]: Simplify -1/2 into -1/2 8.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.464 * [backup-simplify]: Simplify (+ 0 0) into 0 8.467 * [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 8.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.471 * [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 8.471 * [backup-simplify]: Simplify (- 0) into 0 8.472 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.472 * [backup-simplify]: Simplify 1/3 into 1/3 8.472 * [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)))) 8.472 * [backup-simplify]: Simplify (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) into (- (log1p (/ -1 n)) (log (/ -1 n))) 8.472 * [approximate]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in (n) around 0 8.472 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.472 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.472 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.473 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.473 * [taylor]: Taking taylor expansion of 1 in n 8.473 * [backup-simplify]: Simplify 1 into 1 8.473 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.473 * [taylor]: Taking taylor expansion of -1 in n 8.473 * [backup-simplify]: Simplify -1 into -1 8.473 * [taylor]: Taking taylor expansion of n in n 8.473 * [backup-simplify]: Simplify 0 into 0 8.473 * [backup-simplify]: Simplify 1 into 1 8.473 * [backup-simplify]: Simplify (/ -1 1) into -1 8.474 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.474 * [backup-simplify]: Simplify (log -1) into (log -1) 8.474 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.474 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.474 * [taylor]: Taking taylor expansion of -1 in n 8.474 * [backup-simplify]: Simplify -1 into -1 8.474 * [taylor]: Taking taylor expansion of n in n 8.474 * [backup-simplify]: Simplify 0 into 0 8.474 * [backup-simplify]: Simplify 1 into 1 8.475 * [backup-simplify]: Simplify (/ -1 1) into -1 8.475 * [backup-simplify]: Simplify (log -1) into (log -1) 8.475 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.475 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.475 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.475 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.475 * [taylor]: Taking taylor expansion of 1 in n 8.476 * [backup-simplify]: Simplify 1 into 1 8.476 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.476 * [taylor]: Taking taylor expansion of -1 in n 8.476 * [backup-simplify]: Simplify -1 into -1 8.476 * [taylor]: Taking taylor expansion of n in n 8.476 * [backup-simplify]: Simplify 0 into 0 8.476 * [backup-simplify]: Simplify 1 into 1 8.476 * [backup-simplify]: Simplify (/ -1 1) into -1 8.477 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.477 * [backup-simplify]: Simplify (log -1) into (log -1) 8.477 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.477 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.477 * [taylor]: Taking taylor expansion of -1 in n 8.477 * [backup-simplify]: Simplify -1 into -1 8.477 * [taylor]: Taking taylor expansion of n in n 8.477 * [backup-simplify]: Simplify 0 into 0 8.477 * [backup-simplify]: Simplify 1 into 1 8.477 * [backup-simplify]: Simplify (/ -1 1) into -1 8.478 * [backup-simplify]: Simplify (log -1) into (log -1) 8.479 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.479 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.480 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 8.481 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 8.481 * [backup-simplify]: Simplify 0 into 0 8.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.489 * [backup-simplify]: Simplify (+ 1 0) into 1 8.490 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.493 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 8.493 * [backup-simplify]: Simplify (- 0) into 0 8.494 * [backup-simplify]: Simplify (+ -1 0) into -1 8.494 * [backup-simplify]: Simplify -1 into -1 8.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.496 * [backup-simplify]: Simplify (+ 0 0) into 0 8.498 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 8.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.503 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 8.503 * [backup-simplify]: Simplify (- 0) into 0 8.503 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.503 * [backup-simplify]: Simplify -1/2 into -1/2 8.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.505 * [backup-simplify]: Simplify (+ 0 0) into 0 8.511 * [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 8.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.517 * [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 8.518 * [backup-simplify]: Simplify (- 0) into 0 8.518 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 8.518 * [backup-simplify]: Simplify -1/3 into -1/3 8.519 * [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)))) 8.519 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 8.519 * [backup-simplify]: Simplify (fma n (- (log1p n) (log n)) (log1p n)) into (fma n (- (log1p n) (log n)) (log1p n)) 8.519 * [approximate]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in (n) around 0 8.519 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.519 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.519 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 8.519 * [taylor]: Taking taylor expansion of n in n 8.519 * [backup-simplify]: Simplify 0 into 0 8.519 * [backup-simplify]: Simplify 1 into 1 8.519 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.519 * [taylor]: Taking taylor expansion of (log1p n) in n 8.519 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.519 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.520 * [taylor]: Taking taylor expansion of 1 in n 8.520 * [backup-simplify]: Simplify 1 into 1 8.520 * [taylor]: Taking taylor expansion of n in n 8.520 * [backup-simplify]: Simplify 0 into 0 8.520 * [backup-simplify]: Simplify 1 into 1 8.520 * [backup-simplify]: Simplify (+ 1 0) into 1 8.520 * [backup-simplify]: Simplify (log 1) into 0 8.520 * [taylor]: Taking taylor expansion of (log n) in n 8.520 * [taylor]: Taking taylor expansion of n in n 8.521 * [backup-simplify]: Simplify 0 into 0 8.521 * [backup-simplify]: Simplify 1 into 1 8.521 * [backup-simplify]: Simplify (log 1) into 0 8.521 * [taylor]: Taking taylor expansion of (log1p n) in n 8.521 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.521 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.521 * [taylor]: Taking taylor expansion of 1 in n 8.521 * [backup-simplify]: Simplify 1 into 1 8.521 * [taylor]: Taking taylor expansion of n in n 8.521 * [backup-simplify]: Simplify 0 into 0 8.521 * [backup-simplify]: Simplify 1 into 1 8.522 * [backup-simplify]: Simplify (+ 1 0) into 1 8.522 * [backup-simplify]: Simplify (log 1) into 0 8.522 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.522 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.522 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 8.522 * [taylor]: Taking taylor expansion of n in n 8.522 * [backup-simplify]: Simplify 0 into 0 8.522 * [backup-simplify]: Simplify 1 into 1 8.522 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.522 * [taylor]: Taking taylor expansion of (log1p n) in n 8.522 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.522 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.522 * [taylor]: Taking taylor expansion of 1 in n 8.522 * [backup-simplify]: Simplify 1 into 1 8.522 * [taylor]: Taking taylor expansion of n in n 8.522 * [backup-simplify]: Simplify 0 into 0 8.522 * [backup-simplify]: Simplify 1 into 1 8.523 * [backup-simplify]: Simplify (+ 1 0) into 1 8.523 * [backup-simplify]: Simplify (log 1) into 0 8.523 * [taylor]: Taking taylor expansion of (log n) in n 8.523 * [taylor]: Taking taylor expansion of n in n 8.523 * [backup-simplify]: Simplify 0 into 0 8.523 * [backup-simplify]: Simplify 1 into 1 8.524 * [backup-simplify]: Simplify (log 1) into 0 8.524 * [taylor]: Taking taylor expansion of (log1p n) in n 8.524 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.524 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.524 * [taylor]: Taking taylor expansion of 1 in n 8.524 * [backup-simplify]: Simplify 1 into 1 8.524 * [taylor]: Taking taylor expansion of n in n 8.524 * [backup-simplify]: Simplify 0 into 0 8.524 * [backup-simplify]: Simplify 1 into 1 8.524 * [backup-simplify]: Simplify (+ 1 0) into 1 8.525 * [backup-simplify]: Simplify (log 1) into 0 8.525 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 8.525 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.525 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 8.525 * [backup-simplify]: Simplify (* 0 (- (log n))) into 0 8.526 * [backup-simplify]: Simplify (+ 0 0) into 0 8.526 * [backup-simplify]: Simplify 0 into 0 8.526 * [backup-simplify]: Simplify (+ 0 1) into 1 8.527 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.529 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.529 * [backup-simplify]: Simplify (- 0) into 0 8.530 * [backup-simplify]: Simplify (+ 1 0) into 1 8.530 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- (log n)))) into (- (log n)) 8.531 * [backup-simplify]: Simplify (+ 0 1) into 1 8.532 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.532 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 8.532 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 8.532 * [backup-simplify]: Simplify (+ 0 0) into 0 8.536 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.538 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.539 * [backup-simplify]: Simplify (- 0) into 0 8.539 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.540 * [backup-simplify]: Simplify (+ (* 0 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1 8.541 * [backup-simplify]: Simplify (+ 0 0) into 0 8.543 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.544 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2 8.544 * [backup-simplify]: Simplify 1/2 into 1/2 8.544 * [backup-simplify]: Simplify (+ 0 0) into 0 8.547 * [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 8.550 * [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 8.551 * [backup-simplify]: Simplify (- 0) into 0 8.551 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.552 * [backup-simplify]: Simplify (+ (* 0 1/3) (+ (* 1 -1/2) (+ (* 0 1) (* 0 (- (log n)))))) into (- 1/2) 8.552 * [backup-simplify]: Simplify (+ 0 0) into 0 8.555 * [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 8.556 * [backup-simplify]: Simplify (+ (- 1/2) 1/3) into -1/6 8.556 * [backup-simplify]: Simplify -1/6 into -1/6 8.556 * [backup-simplify]: Simplify (+ (* -1/6 (pow n 3)) (+ (* 1/2 (pow n 2)) (* (- 1 (log n)) n))) into (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) (* 1/6 (pow n 3)))) 8.556 * [backup-simplify]: Simplify (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) into (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 8.556 * [approximate]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in (n) around 0 8.556 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.556 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.556 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.556 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.556 * [taylor]: Taking taylor expansion of n in n 8.556 * [backup-simplify]: Simplify 0 into 0 8.556 * [backup-simplify]: Simplify 1 into 1 8.556 * [backup-simplify]: Simplify (/ 1 1) into 1 8.556 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.556 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.556 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.556 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.557 * [taylor]: Taking taylor expansion of 1 in n 8.557 * [backup-simplify]: Simplify 1 into 1 8.557 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.557 * [taylor]: Taking taylor expansion of n in n 8.557 * [backup-simplify]: Simplify 0 into 0 8.557 * [backup-simplify]: Simplify 1 into 1 8.557 * [backup-simplify]: Simplify (/ 1 1) into 1 8.557 * [backup-simplify]: Simplify (+ 0 1) into 1 8.557 * [backup-simplify]: Simplify (log 1) into 0 8.557 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.557 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.557 * [taylor]: Taking taylor expansion of n in n 8.557 * [backup-simplify]: Simplify 0 into 0 8.557 * [backup-simplify]: Simplify 1 into 1 8.558 * [backup-simplify]: Simplify (/ 1 1) into 1 8.558 * [backup-simplify]: Simplify (log 1) into 0 8.558 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.558 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.558 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.558 * [taylor]: Taking taylor expansion of 1 in n 8.558 * [backup-simplify]: Simplify 1 into 1 8.558 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.558 * [taylor]: Taking taylor expansion of n in n 8.558 * [backup-simplify]: Simplify 0 into 0 8.558 * [backup-simplify]: Simplify 1 into 1 8.558 * [backup-simplify]: Simplify (/ 1 1) into 1 8.559 * [backup-simplify]: Simplify (+ 0 1) into 1 8.559 * [backup-simplify]: Simplify (log 1) into 0 8.559 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.559 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.559 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.559 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.559 * [taylor]: Taking taylor expansion of n in n 8.559 * [backup-simplify]: Simplify 0 into 0 8.559 * [backup-simplify]: Simplify 1 into 1 8.559 * [backup-simplify]: Simplify (/ 1 1) into 1 8.559 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.559 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.559 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.559 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.559 * [taylor]: Taking taylor expansion of 1 in n 8.559 * [backup-simplify]: Simplify 1 into 1 8.559 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.559 * [taylor]: Taking taylor expansion of n in n 8.559 * [backup-simplify]: Simplify 0 into 0 8.559 * [backup-simplify]: Simplify 1 into 1 8.560 * [backup-simplify]: Simplify (/ 1 1) into 1 8.560 * [backup-simplify]: Simplify (+ 0 1) into 1 8.560 * [backup-simplify]: Simplify (log 1) into 0 8.560 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.560 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.560 * [taylor]: Taking taylor expansion of n in n 8.560 * [backup-simplify]: Simplify 0 into 0 8.560 * [backup-simplify]: Simplify 1 into 1 8.560 * [backup-simplify]: Simplify (/ 1 1) into 1 8.561 * [backup-simplify]: Simplify (log 1) into 0 8.561 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.561 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.561 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.561 * [taylor]: Taking taylor expansion of 1 in n 8.561 * [backup-simplify]: Simplify 1 into 1 8.561 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.561 * [taylor]: Taking taylor expansion of n in n 8.561 * [backup-simplify]: Simplify 0 into 0 8.561 * [backup-simplify]: Simplify 1 into 1 8.561 * [backup-simplify]: Simplify (/ 1 1) into 1 8.561 * [backup-simplify]: Simplify (+ 0 1) into 1 8.562 * [backup-simplify]: Simplify (log 1) into 0 8.562 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.562 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.562 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 8.562 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 8.563 * [backup-simplify]: Simplify (* 1 0) into 0 8.563 * [backup-simplify]: Simplify (+ 0 0) into 0 8.563 * [backup-simplify]: Simplify 0 into 0 8.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.564 * [backup-simplify]: Simplify (+ 1 0) into 1 8.564 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.566 * [backup-simplify]: Simplify (- 0) into 0 8.566 * [backup-simplify]: Simplify (+ 1 0) into 1 8.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.567 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 8.568 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.568 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 8.568 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 8.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.568 * [backup-simplify]: Simplify (+ 0 0) into 0 8.570 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.572 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.572 * [backup-simplify]: Simplify (- 0) into 0 8.573 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.574 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 1) (* 0 0))) into -1/2 8.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.574 * [backup-simplify]: Simplify (+ 1 0) into 1 8.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.575 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 8.575 * [backup-simplify]: Simplify 1/2 into 1/2 8.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.576 * [backup-simplify]: Simplify (+ 0 0) into 0 8.581 * [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 8.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.587 * [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 8.588 * [backup-simplify]: Simplify (- 0) into 0 8.588 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.591 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/3 8.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.592 * [backup-simplify]: Simplify (+ 0 0) into 0 8.595 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.596 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.596 * [backup-simplify]: Simplify -1/6 into -1/6 8.596 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 n) 2)) (+ (* 1/2 (/ 1 n)) (- 1 (log (/ 1 n))))) into (- (+ 1 (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 8.596 * [backup-simplify]: Simplify (fma (/ 1 (- n)) (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) (log1p (/ 1 (- n)))) into (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 8.596 * [approximate]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in (n) around 0 8.596 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.596 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.596 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.597 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.597 * [taylor]: Taking taylor expansion of -1 in n 8.597 * [backup-simplify]: Simplify -1 into -1 8.597 * [taylor]: Taking taylor expansion of n in n 8.597 * [backup-simplify]: Simplify 0 into 0 8.597 * [backup-simplify]: Simplify 1 into 1 8.597 * [backup-simplify]: Simplify (/ -1 1) into -1 8.597 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.597 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.597 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.597 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.597 * [taylor]: Taking taylor expansion of 1 in n 8.597 * [backup-simplify]: Simplify 1 into 1 8.597 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.597 * [taylor]: Taking taylor expansion of -1 in n 8.597 * [backup-simplify]: Simplify -1 into -1 8.597 * [taylor]: Taking taylor expansion of n in n 8.597 * [backup-simplify]: Simplify 0 into 0 8.597 * [backup-simplify]: Simplify 1 into 1 8.598 * [backup-simplify]: Simplify (/ -1 1) into -1 8.598 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.599 * [backup-simplify]: Simplify (log -1) into (log -1) 8.599 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.599 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.599 * [taylor]: Taking taylor expansion of -1 in n 8.599 * [backup-simplify]: Simplify -1 into -1 8.599 * [taylor]: Taking taylor expansion of n in n 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [backup-simplify]: Simplify 1 into 1 8.599 * [backup-simplify]: Simplify (/ -1 1) into -1 8.600 * [backup-simplify]: Simplify (log -1) into (log -1) 8.600 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.600 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.600 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.600 * [taylor]: Taking taylor expansion of 1 in n 8.600 * [backup-simplify]: Simplify 1 into 1 8.600 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.600 * [taylor]: Taking taylor expansion of -1 in n 8.600 * [backup-simplify]: Simplify -1 into -1 8.600 * [taylor]: Taking taylor expansion of n in n 8.600 * [backup-simplify]: Simplify 0 into 0 8.600 * [backup-simplify]: Simplify 1 into 1 8.600 * [backup-simplify]: Simplify (/ -1 1) into -1 8.601 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.601 * [backup-simplify]: Simplify (log -1) into (log -1) 8.601 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.602 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.602 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.602 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.602 * [taylor]: Taking taylor expansion of -1 in n 8.602 * [backup-simplify]: Simplify -1 into -1 8.602 * [taylor]: Taking taylor expansion of n in n 8.602 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify 1 into 1 8.602 * [backup-simplify]: Simplify (/ -1 1) into -1 8.602 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.602 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.602 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.602 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.602 * [taylor]: Taking taylor expansion of 1 in n 8.602 * [backup-simplify]: Simplify 1 into 1 8.602 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.602 * [taylor]: Taking taylor expansion of -1 in n 8.603 * [backup-simplify]: Simplify -1 into -1 8.603 * [taylor]: Taking taylor expansion of n in n 8.603 * [backup-simplify]: Simplify 0 into 0 8.603 * [backup-simplify]: Simplify 1 into 1 8.603 * [backup-simplify]: Simplify (/ -1 1) into -1 8.603 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.604 * [backup-simplify]: Simplify (log -1) into (log -1) 8.604 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.604 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.604 * [taylor]: Taking taylor expansion of -1 in n 8.604 * [backup-simplify]: Simplify -1 into -1 8.604 * [taylor]: Taking taylor expansion of n in n 8.604 * [backup-simplify]: Simplify 0 into 0 8.604 * [backup-simplify]: Simplify 1 into 1 8.604 * [backup-simplify]: Simplify (/ -1 1) into -1 8.605 * [backup-simplify]: Simplify (log -1) into (log -1) 8.605 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.605 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.605 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.605 * [taylor]: Taking taylor expansion of 1 in n 8.605 * [backup-simplify]: Simplify 1 into 1 8.605 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.605 * [taylor]: Taking taylor expansion of -1 in n 8.605 * [backup-simplify]: Simplify -1 into -1 8.605 * [taylor]: Taking taylor expansion of n in n 8.605 * [backup-simplify]: Simplify 0 into 0 8.605 * [backup-simplify]: Simplify 1 into 1 8.606 * [backup-simplify]: Simplify (/ -1 1) into -1 8.606 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.607 * [backup-simplify]: Simplify (log -1) into (log -1) 8.608 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.608 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.609 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 8.610 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 8.610 * [backup-simplify]: Simplify (* -1 0) into 0 8.611 * [backup-simplify]: Simplify (+ 0 0) into 0 8.611 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.612 * [backup-simplify]: Simplify (+ 1 0) into 1 8.613 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.622 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 8.622 * [backup-simplify]: Simplify (- 0) into 0 8.623 * [backup-simplify]: Simplify (+ -1 0) into -1 8.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.624 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 8.626 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.626 * [backup-simplify]: Simplify (+ 1 (- (log -1) (log n))) into (- (+ (log -1) 1) (log n)) 8.627 * [backup-simplify]: Simplify (- (+ (log -1) 1) (log n)) into (- (+ (log -1) 1) (log n)) 8.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.629 * [backup-simplify]: Simplify (+ 0 0) into 0 8.631 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 8.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.636 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 8.637 * [backup-simplify]: Simplify (- 0) into 0 8.637 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.639 * [backup-simplify]: Simplify (+ (* -1 -1/2) (+ (* 0 -1) (* 0 0))) into 1/2 8.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.641 * [backup-simplify]: Simplify (+ 1 0) into 1 8.642 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.643 * [backup-simplify]: Simplify (+ 1/2 -1) into -1/2 8.643 * [backup-simplify]: Simplify -1/2 into -1/2 8.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.644 * [backup-simplify]: Simplify (+ 0 0) into 0 8.650 * [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 8.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.656 * [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 8.657 * [backup-simplify]: Simplify (- 0) into 0 8.657 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 8.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.660 * [backup-simplify]: Simplify (+ (* -1 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0)))) into 1/3 8.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.662 * [backup-simplify]: Simplify (+ 0 0) into 0 8.664 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 8.665 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.665 * [backup-simplify]: Simplify -1/6 into -1/6 8.666 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- n)) 2)) (+ (* -1/2 (/ 1 (- n))) (- (+ (log -1) 1) (log (/ 1 (- n)))))) into (- (+ (log -1) (+ 1 (* 1/2 (/ 1 n)))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 8.666 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.667 * [backup-simplify]: Simplify (+ (fma n (- (log1p n) (log n)) (log1p n)) -1) into (- (fma n (- (log1p n) (log n)) (log1p n)) 1) 8.667 * [approximate]: Taking taylor expansion of (- (fma n (- (log1p n) (log n)) (log1p n)) 1) in (n) around 0 8.667 * [taylor]: Taking taylor expansion of (- (fma n (- (log1p n) (log n)) (log1p n)) 1) in n 8.667 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.667 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.667 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 8.667 * [taylor]: Taking taylor expansion of n in n 8.667 * [backup-simplify]: Simplify 0 into 0 8.667 * [backup-simplify]: Simplify 1 into 1 8.667 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.667 * [taylor]: Taking taylor expansion of (log1p n) in n 8.667 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.667 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.667 * [taylor]: Taking taylor expansion of 1 in n 8.667 * [backup-simplify]: Simplify 1 into 1 8.667 * [taylor]: Taking taylor expansion of n in n 8.667 * [backup-simplify]: Simplify 0 into 0 8.667 * [backup-simplify]: Simplify 1 into 1 8.668 * [backup-simplify]: Simplify (+ 1 0) into 1 8.668 * [backup-simplify]: Simplify (log 1) into 0 8.668 * [taylor]: Taking taylor expansion of (log n) in n 8.668 * [taylor]: Taking taylor expansion of n in n 8.668 * [backup-simplify]: Simplify 0 into 0 8.668 * [backup-simplify]: Simplify 1 into 1 8.669 * [backup-simplify]: Simplify (log 1) into 0 8.669 * [taylor]: Taking taylor expansion of (log1p n) in n 8.669 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.669 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.669 * [taylor]: Taking taylor expansion of 1 in n 8.669 * [backup-simplify]: Simplify 1 into 1 8.669 * [taylor]: Taking taylor expansion of n in n 8.669 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify 1 into 1 8.669 * [backup-simplify]: Simplify (+ 1 0) into 1 8.670 * [backup-simplify]: Simplify (log 1) into 0 8.670 * [taylor]: Taking taylor expansion of 1 in n 8.670 * [backup-simplify]: Simplify 1 into 1 8.670 * [taylor]: Taking taylor expansion of (- (fma n (- (log1p n) (log n)) (log1p n)) 1) in n 8.670 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.670 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.670 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 8.670 * [taylor]: Taking taylor expansion of n in n 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 1 into 1 8.670 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.670 * [taylor]: Taking taylor expansion of (log1p n) in n 8.670 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.670 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.670 * [taylor]: Taking taylor expansion of 1 in n 8.670 * [backup-simplify]: Simplify 1 into 1 8.670 * [taylor]: Taking taylor expansion of n in n 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 1 into 1 8.671 * [backup-simplify]: Simplify (+ 1 0) into 1 8.671 * [backup-simplify]: Simplify (log 1) into 0 8.671 * [taylor]: Taking taylor expansion of (log n) in n 8.671 * [taylor]: Taking taylor expansion of n in n 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify 1 into 1 8.671 * [backup-simplify]: Simplify (log 1) into 0 8.672 * [taylor]: Taking taylor expansion of (log1p n) in n 8.672 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.672 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.672 * [taylor]: Taking taylor expansion of 1 in n 8.672 * [backup-simplify]: Simplify 1 into 1 8.672 * [taylor]: Taking taylor expansion of n in n 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 1 into 1 8.672 * [backup-simplify]: Simplify (+ 1 0) into 1 8.673 * [backup-simplify]: Simplify (log 1) into 0 8.673 * [taylor]: Taking taylor expansion of 1 in n 8.673 * [backup-simplify]: Simplify 1 into 1 8.673 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 8.673 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.673 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 8.673 * [backup-simplify]: Simplify (* 0 (- (log n))) into 0 8.674 * [backup-simplify]: Simplify (+ 0 0) into 0 8.674 * [backup-simplify]: Simplify (- 1) into -1 8.675 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.675 * [backup-simplify]: Simplify -1 into -1 8.675 * [backup-simplify]: Simplify (+ 0 1) into 1 8.676 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.678 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.678 * [backup-simplify]: Simplify (- 0) into 0 8.678 * [backup-simplify]: Simplify (+ 1 0) into 1 8.679 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- (log n)))) into (- (log n)) 8.679 * [backup-simplify]: Simplify (+ 0 1) into 1 8.681 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.681 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 8.681 * [backup-simplify]: Simplify (- 0) into 0 8.681 * [backup-simplify]: Simplify (+ (- 1 (log n)) 0) into (- 1 (log n)) 8.681 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 8.682 * [backup-simplify]: Simplify (+ 0 0) into 0 8.685 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.688 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.688 * [backup-simplify]: Simplify (- 0) into 0 8.689 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.690 * [backup-simplify]: Simplify (+ (* 0 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1 8.690 * [backup-simplify]: Simplify (+ 0 0) into 0 8.693 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.694 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2 8.694 * [backup-simplify]: Simplify (- 0) into 0 8.695 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 8.695 * [backup-simplify]: Simplify 1/2 into 1/2 8.695 * [backup-simplify]: Simplify (+ (* 1/2 (pow n 2)) (+ (* (- 1 (log n)) n) -1)) into (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1)) 8.695 * [backup-simplify]: Simplify (+ (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) -1) into (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) 8.695 * [approximate]: Taking taylor expansion of (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) in (n) around 0 8.695 * [taylor]: Taking taylor expansion of (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) in n 8.695 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.695 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.695 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.695 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.695 * [taylor]: Taking taylor expansion of n in n 8.696 * [backup-simplify]: Simplify 0 into 0 8.696 * [backup-simplify]: Simplify 1 into 1 8.696 * [backup-simplify]: Simplify (/ 1 1) into 1 8.696 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.696 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.696 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.696 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.696 * [taylor]: Taking taylor expansion of 1 in n 8.696 * [backup-simplify]: Simplify 1 into 1 8.696 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.696 * [taylor]: Taking taylor expansion of n in n 8.696 * [backup-simplify]: Simplify 0 into 0 8.696 * [backup-simplify]: Simplify 1 into 1 8.697 * [backup-simplify]: Simplify (/ 1 1) into 1 8.697 * [backup-simplify]: Simplify (+ 0 1) into 1 8.698 * [backup-simplify]: Simplify (log 1) into 0 8.698 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.698 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.698 * [taylor]: Taking taylor expansion of n in n 8.698 * [backup-simplify]: Simplify 0 into 0 8.698 * [backup-simplify]: Simplify 1 into 1 8.698 * [backup-simplify]: Simplify (/ 1 1) into 1 8.698 * [backup-simplify]: Simplify (log 1) into 0 8.698 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.699 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.699 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.699 * [taylor]: Taking taylor expansion of 1 in n 8.699 * [backup-simplify]: Simplify 1 into 1 8.699 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.699 * [taylor]: Taking taylor expansion of n in n 8.699 * [backup-simplify]: Simplify 0 into 0 8.699 * [backup-simplify]: Simplify 1 into 1 8.699 * [backup-simplify]: Simplify (/ 1 1) into 1 8.700 * [backup-simplify]: Simplify (+ 0 1) into 1 8.700 * [backup-simplify]: Simplify (log 1) into 0 8.700 * [taylor]: Taking taylor expansion of 1 in n 8.700 * [backup-simplify]: Simplify 1 into 1 8.700 * [taylor]: Taking taylor expansion of (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) in n 8.700 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.700 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.700 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.700 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.700 * [taylor]: Taking taylor expansion of n in n 8.700 * [backup-simplify]: Simplify 0 into 0 8.700 * [backup-simplify]: Simplify 1 into 1 8.701 * [backup-simplify]: Simplify (/ 1 1) into 1 8.701 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.701 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.701 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.701 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.701 * [taylor]: Taking taylor expansion of 1 in n 8.701 * [backup-simplify]: Simplify 1 into 1 8.701 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.701 * [taylor]: Taking taylor expansion of n in n 8.701 * [backup-simplify]: Simplify 0 into 0 8.701 * [backup-simplify]: Simplify 1 into 1 8.701 * [backup-simplify]: Simplify (/ 1 1) into 1 8.702 * [backup-simplify]: Simplify (+ 0 1) into 1 8.702 * [backup-simplify]: Simplify (log 1) into 0 8.702 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.702 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.702 * [taylor]: Taking taylor expansion of n in n 8.702 * [backup-simplify]: Simplify 0 into 0 8.702 * [backup-simplify]: Simplify 1 into 1 8.703 * [backup-simplify]: Simplify (/ 1 1) into 1 8.703 * [backup-simplify]: Simplify (log 1) into 0 8.703 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.703 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.703 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.703 * [taylor]: Taking taylor expansion of 1 in n 8.703 * [backup-simplify]: Simplify 1 into 1 8.703 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.703 * [taylor]: Taking taylor expansion of n in n 8.703 * [backup-simplify]: Simplify 0 into 0 8.703 * [backup-simplify]: Simplify 1 into 1 8.704 * [backup-simplify]: Simplify (/ 1 1) into 1 8.704 * [backup-simplify]: Simplify (+ 0 1) into 1 8.704 * [backup-simplify]: Simplify (log 1) into 0 8.704 * [taylor]: Taking taylor expansion of 1 in n 8.704 * [backup-simplify]: Simplify 1 into 1 8.705 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.705 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.706 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 8.706 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 8.706 * [backup-simplify]: Simplify (* 1 0) into 0 8.706 * [backup-simplify]: Simplify (+ 0 0) into 0 8.707 * [backup-simplify]: Simplify (+ 0 0) into 0 8.707 * [backup-simplify]: Simplify 0 into 0 8.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.708 * [backup-simplify]: Simplify (+ 1 0) into 1 8.709 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.712 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.712 * [backup-simplify]: Simplify (- 0) into 0 8.713 * [backup-simplify]: Simplify (+ 1 0) into 1 8.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.715 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 8.715 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.715 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 8.715 * [backup-simplify]: Simplify (- 1) into -1 8.716 * [backup-simplify]: Simplify (+ (- 1 (log n)) -1) into (- (log n)) 8.716 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.717 * [backup-simplify]: Simplify (+ 0 0) into 0 8.720 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.724 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.725 * [backup-simplify]: Simplify (- 0) into 0 8.725 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.727 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 1) (* 0 0))) into -1/2 8.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.728 * [backup-simplify]: Simplify (+ 1 0) into 1 8.730 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.730 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 8.731 * [backup-simplify]: Simplify (- 0) into 0 8.731 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 8.731 * [backup-simplify]: Simplify 1/2 into 1/2 8.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.733 * [backup-simplify]: Simplify (+ 0 0) into 0 8.738 * [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 8.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.744 * [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 8.744 * [backup-simplify]: Simplify (- 0) into 0 8.745 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.747 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/3 8.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.748 * [backup-simplify]: Simplify (+ 0 0) into 0 8.751 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 8.752 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.752 * [backup-simplify]: Simplify (- 0) into 0 8.753 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 8.753 * [backup-simplify]: Simplify -1/6 into -1/6 8.753 * [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)))) 8.753 * [backup-simplify]: Simplify (+ (fma (/ 1 (- n)) (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) (log1p (/ 1 (- n)))) -1) into (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) 8.753 * [approximate]: Taking taylor expansion of (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) in (n) around 0 8.753 * [taylor]: Taking taylor expansion of (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) in n 8.753 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.753 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.753 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.753 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.753 * [taylor]: Taking taylor expansion of -1 in n 8.753 * [backup-simplify]: Simplify -1 into -1 8.754 * [taylor]: Taking taylor expansion of n in n 8.754 * [backup-simplify]: Simplify 0 into 0 8.754 * [backup-simplify]: Simplify 1 into 1 8.754 * [backup-simplify]: Simplify (/ -1 1) into -1 8.754 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.754 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.754 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.754 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.754 * [taylor]: Taking taylor expansion of 1 in n 8.754 * [backup-simplify]: Simplify 1 into 1 8.754 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.754 * [taylor]: Taking taylor expansion of -1 in n 8.754 * [backup-simplify]: Simplify -1 into -1 8.754 * [taylor]: Taking taylor expansion of n in n 8.754 * [backup-simplify]: Simplify 0 into 0 8.754 * [backup-simplify]: Simplify 1 into 1 8.755 * [backup-simplify]: Simplify (/ -1 1) into -1 8.755 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.756 * [backup-simplify]: Simplify (log -1) into (log -1) 8.756 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.756 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.756 * [taylor]: Taking taylor expansion of -1 in n 8.756 * [backup-simplify]: Simplify -1 into -1 8.756 * [taylor]: Taking taylor expansion of n in n 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 1 into 1 8.756 * [backup-simplify]: Simplify (/ -1 1) into -1 8.757 * [backup-simplify]: Simplify (log -1) into (log -1) 8.757 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.757 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.757 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.757 * [taylor]: Taking taylor expansion of 1 in n 8.757 * [backup-simplify]: Simplify 1 into 1 8.757 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.757 * [taylor]: Taking taylor expansion of -1 in n 8.757 * [backup-simplify]: Simplify -1 into -1 8.757 * [taylor]: Taking taylor expansion of n in n 8.757 * [backup-simplify]: Simplify 0 into 0 8.757 * [backup-simplify]: Simplify 1 into 1 8.757 * [backup-simplify]: Simplify (/ -1 1) into -1 8.758 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.758 * [backup-simplify]: Simplify (log -1) into (log -1) 8.758 * [taylor]: Taking taylor expansion of 1 in n 8.758 * [backup-simplify]: Simplify 1 into 1 8.758 * [taylor]: Taking taylor expansion of (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) in n 8.758 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.758 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.758 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.759 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.759 * [taylor]: Taking taylor expansion of -1 in n 8.759 * [backup-simplify]: Simplify -1 into -1 8.759 * [taylor]: Taking taylor expansion of n in n 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 1 into 1 8.759 * [backup-simplify]: Simplify (/ -1 1) into -1 8.759 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.759 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.759 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.759 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.759 * [taylor]: Taking taylor expansion of 1 in n 8.759 * [backup-simplify]: Simplify 1 into 1 8.760 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.760 * [taylor]: Taking taylor expansion of -1 in n 8.760 * [backup-simplify]: Simplify -1 into -1 8.760 * [taylor]: Taking taylor expansion of n in n 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify 1 into 1 8.760 * [backup-simplify]: Simplify (/ -1 1) into -1 8.761 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.761 * [backup-simplify]: Simplify (log -1) into (log -1) 8.761 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.761 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.761 * [taylor]: Taking taylor expansion of -1 in n 8.761 * [backup-simplify]: Simplify -1 into -1 8.761 * [taylor]: Taking taylor expansion of n in n 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 1 into 1 8.762 * [backup-simplify]: Simplify (/ -1 1) into -1 8.762 * [backup-simplify]: Simplify (log -1) into (log -1) 8.762 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.762 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.762 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.762 * [taylor]: Taking taylor expansion of 1 in n 8.762 * [backup-simplify]: Simplify 1 into 1 8.762 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.762 * [taylor]: Taking taylor expansion of -1 in n 8.762 * [backup-simplify]: Simplify -1 into -1 8.762 * [taylor]: Taking taylor expansion of n in n 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 1 into 1 8.763 * [backup-simplify]: Simplify (/ -1 1) into -1 8.763 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.764 * [backup-simplify]: Simplify (log -1) into (log -1) 8.764 * [taylor]: Taking taylor expansion of 1 in n 8.764 * [backup-simplify]: Simplify 1 into 1 8.765 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.765 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.766 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 8.767 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 8.767 * [backup-simplify]: Simplify (* -1 0) into 0 8.768 * [backup-simplify]: Simplify (+ 0 0) into 0 8.768 * [backup-simplify]: Simplify (+ 0 0) into 0 8.768 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.769 * [backup-simplify]: Simplify (+ 1 0) into 1 8.771 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.778 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 8.779 * [backup-simplify]: Simplify (- 0) into 0 8.780 * [backup-simplify]: Simplify (+ -1 0) into -1 8.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.781 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 8.782 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.783 * [backup-simplify]: Simplify (+ 1 (- (log -1) (log n))) into (- (+ (log -1) 1) (log n)) 8.783 * [backup-simplify]: Simplify (- 1) into -1 8.784 * [backup-simplify]: Simplify (+ (- (+ (log -1) 1) (log n)) -1) into (- (log -1) (log n)) 8.785 * [backup-simplify]: Simplify (- (log -1) (log n)) into (- (log -1) (log n)) 8.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.786 * [backup-simplify]: Simplify (+ 0 0) into 0 8.789 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 8.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.793 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 8.794 * [backup-simplify]: Simplify (- 0) into 0 8.794 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.796 * [backup-simplify]: Simplify (+ (* -1 -1/2) (+ (* 0 -1) (* 0 0))) into 1/2 8.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.798 * [backup-simplify]: Simplify (+ 1 0) into 1 8.799 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.800 * [backup-simplify]: Simplify (+ 1/2 -1) into -1/2 8.800 * [backup-simplify]: Simplify (- 0) into 0 8.800 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.800 * [backup-simplify]: Simplify -1/2 into -1/2 8.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.801 * [backup-simplify]: Simplify (+ 0 0) into 0 8.804 * [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 8.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.808 * [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 8.808 * [backup-simplify]: Simplify (- 0) into 0 8.808 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 8.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.810 * [backup-simplify]: Simplify (+ (* -1 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0)))) into 1/3 8.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.811 * [backup-simplify]: Simplify (+ 0 0) into 0 8.812 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 8.812 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.813 * [backup-simplify]: Simplify (- 0) into 0 8.813 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 8.813 * [backup-simplify]: Simplify -1/6 into -1/6 8.813 * [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)))) 8.813 * * * [progress]: simplifying candidates 8.813 * * * * [progress]: [ 1 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 2 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 3 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 4 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 5 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 6 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 7 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 8 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 9 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 10 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 11 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 12 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 13 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 14 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 15 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 16 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 17 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 18 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 19 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 20 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 21 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 22 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 23 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 24 / 77 ] simplifiying candidate # 8.814 * * * * [progress]: [ 25 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 26 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 27 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 28 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 29 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 30 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 31 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 32 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 33 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 34 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 35 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 36 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 37 / 77 ] simplifiying candidate #real (real->posit16 (- (log1p n) (log n)))) (log1p n)) -1))> 8.815 * * * * [progress]: [ 38 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 39 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 40 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 41 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 42 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 43 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 44 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 45 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 46 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 47 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 48 / 77 ] simplifiying candidate #real (real->posit16 (fma n (- (log1p n) (log n)) (log1p n)))) -1))> 8.815 * * * * [progress]: [ 49 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 50 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 51 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 52 / 77 ] simplifiying candidate # 8.815 * * * * [progress]: [ 53 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 54 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 55 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 56 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 57 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 58 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 59 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 60 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 61 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 62 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 63 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 64 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 65 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 66 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 67 / 77 ] simplifiying candidate #real (real->posit16 (+ (fma n (- (log1p n) (log n)) (log1p n)) -1))))> 8.816 * * * * [progress]: [ 68 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 69 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 70 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 71 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 72 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 73 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 74 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 75 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 76 / 77 ] simplifiying candidate # 8.816 * * * * [progress]: [ 77 / 77 ] simplifiying candidate # 8.817 * [simplify]: Simplifying: (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (log n) 1))) (fma (- (log n)) 1 (* (log n) 1)) (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n))))) (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (sqrt (log n)) (sqrt (log n))))) (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n)))) (fma (* (cbrt (log1p n)) (cbrt (log1p n))) (cbrt (log1p n)) (- (* (log n) 1))) (fma (- (log n)) 1 (* (log n) 1)) (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (log n) 1))) (fma (- (log n)) 1 (* (log n) 1)) (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n))))) (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (sqrt (log n)) (sqrt (log n))))) (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n)))) (fma (sqrt (log1p n)) (sqrt (log1p n)) (- (* (log n) 1))) (fma (- (log n)) 1 (* (log n) 1)) (fma 1 (log1p n) (- (* (log n) 1))) (fma (- (log n)) 1 (* (log n) 1)) (fma 1 (log1p n) (- (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n)))))) (fma (- (cbrt (log n))) (* (cbrt (log n)) (cbrt (log n))) (* (cbrt (log n)) (* (cbrt (log n)) (cbrt (log n))))) (fma 1 (log1p n) (- (* (sqrt (log n)) (sqrt (log n))))) (fma (- (sqrt (log n))) (sqrt (log n)) (* (sqrt (log n)) (sqrt (log n)))) (fma 1 (log1p n) (- (* (log n) 1))) (fma (- (log n)) 1 (* (log n) 1)) (expm1 (- (log1p n) (log n))) (log1p (- (log1p n) (log n))) (- (log n)) (- (log n)) (- (log n)) (/ (+ 1 n) n) (/ (exp (log1p n)) n) (log (- (log1p n) (log n))) (exp (- (log1p n) (log n))) (* (cbrt (- (log1p n) (log n))) (cbrt (- (log1p n) (log n)))) (cbrt (- (log1p n) (log n))) (* (* (- (log1p n) (log n)) (- (log1p n) (log n))) (- (log1p n) (log n))) (sqrt (- (log1p n) (log n))) (sqrt (- (log1p n) (log n))) (- (pow (log1p n) 3) (pow (log n) 3)) (+ (* (log1p n) (log1p n)) (+ (* (log n) (log n)) (* (log1p n) (log n)))) (- (log n)) (- (* (log1p n) (log1p n)) (* (log n) (log n))) (+ (log1p n) (log n)) (+ (sqrt (log1p n)) (sqrt (log n))) (- (sqrt (log1p n)) (sqrt (log n))) (- (log1p n) (log n)) (- (log1p n) (log n)) (- (log1p n) (log (* (cbrt n) (cbrt n)))) (- (log1p n) (log (sqrt n))) (- (log1p n) (log 1)) (- (log n)) (real->posit16 (- (log1p n) (log n))) (expm1 (fma n (- (log1p n) (log n)) (log1p n))) (log1p (fma n (- (log1p n) (log n)) (log1p n))) (* n (- (log1p n) (log n))) (log (fma n (- (log1p n) (log n)) (log1p n))) (exp (fma n (- (log1p n) (log n)) (log1p n))) (* (cbrt (fma n (- (log1p n) (log n)) (log1p n))) (cbrt (fma n (- (log1p n) (log n)) (log1p n)))) (cbrt (fma n (- (log1p n) (log n)) (log1p n))) (* (* (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n))) (fma n (- (log1p n) (log n)) (log1p n))) (sqrt (fma n (- (log1p n) (log n)) (log1p n))) (sqrt (fma n (- (log1p n) (log n)) (log1p n))) (real->posit16 (fma n (- (log1p n) (log n)) (log1p n))) (expm1 (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (log1p (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (* (exp (fma n (- (log1p n) (log n)) (log1p n))) (exp -1)) (log (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (exp (+ (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)) (log1p n)) -1))) (cbrt (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (* (* (+ (fma n (- (log1p n) (log n)) (log1p n)) -1) (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (sqrt (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (sqrt (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (+ (pow (fma n (- (log1p n) (log n)) (log1p n)) 3) (pow -1 3)) (+ (* (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n))) (- (* -1 -1) (* (fma n (- (log1p n) (log n)) (log1p n)) -1))) (- (* (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n))) (* -1 -1)) (- (fma n (- (log1p n) (log n)) (log1p n)) -1) (+ (sqrt (fma n (- (log1p n) (log n)) (log1p n))) 1) (- (sqrt (fma n (- (log1p n) (log n)) (log1p n))) 1) (+ (fma n (- (log1p n) (log n)) (log1p n)) -1) (+ (log1p n) -1) (real->posit16 (+ (fma n (- (log1p n) (log n)) (log1p n)) -1)) (- n (+ (log n) (* 1/2 (pow n 2)))) (- (+ (* 1/3 (/ 1 (pow n 3))) (/ 1 n)) (* 1/2 (/ 1 (pow n 2)))) (- (+ (* 1/3 (/ 1 (pow n 3))) (/ 1 n)) (* 1/2 (/ 1 (pow n 2)))) (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) (* 1/6 (pow n 3)))) (- (+ 1 (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) (- (+ (log -1) (+ 1 (* 1/2 (/ 1 n)))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1)) (- (* 1/2 (/ 1 n)) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) (- (+ (log -1) (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 8.819 * * [simplify]: iteration 1: (144 enodes) 8.872 * * [simplify]: iteration 2: (342 enodes) 9.099 * * [simplify]: iteration 3: (857 enodes) 10.709 * * [simplify]: Extracting #0: cost 58 inf + 0 10.711 * * [simplify]: Extracting #1: cost 340 inf + 0 10.717 * * [simplify]: Extracting #2: cost 747 inf + 3887 10.730 * * [simplify]: Extracting #3: cost 633 inf + 33149 10.770 * * [simplify]: Extracting #4: cost 200 inf + 161952 10.830 * * [simplify]: Extracting #5: cost 6 inf + 235014 10.883 * * [simplify]: Extracting #6: cost 0 inf + 237947 10.934 * [simplify]: Simplified to: (- (* (cbrt (log1p n)) (* (cbrt (log1p n)) (cbrt (log1p n)))) (log n)) (* (log n) 0) (- (* (cbrt (log1p n)) (* (cbrt (log1p n)) (cbrt (log1p n)))) (log n)) (* (log n) 0) (- (* (cbrt (log1p n)) (* (cbrt (log1p n)) (cbrt (log1p n)))) (log n)) (* (log n) 0) (- (* (cbrt (log1p n)) (* (cbrt (log1p n)) (cbrt (log1p n)))) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (- (log1p n) (log n)) (* (log n) 0) (expm1 (- (log1p n) (log n))) (log1p (- (log1p n) (log n))) (- (log n)) (- (log n)) (- (log n)) (/ (+ 1 n) n) (/ (exp (log1p n)) n) (log (- (log1p n) (log n))) (/ (exp (log1p n)) n) (* (cbrt (- (log1p n) (log n))) (cbrt (- (log1p n) (log n)))) (cbrt (- (log1p n) (log n))) (* (* (- (log1p n) (log n)) (- (log1p n) (log n))) (- (log1p n) (log n))) (sqrt (- (log1p n) (log n))) (sqrt (- (log1p n) (log n))) (- (* (log1p n) (* (log1p n) (log1p n))) (* (* (log n) (log n)) (log n))) (fma (log n) (+ (log n) (log1p n)) (* (log1p n) (log1p n))) (- (log n)) (- (* (log1p n) (log1p n)) (* (log n) (log n))) (+ (log n) (log1p n)) (+ (sqrt (log n)) (sqrt (log1p n))) (- (sqrt (log1p n)) (sqrt (log n))) (- (log1p n) (log n)) (- (log1p n) (log n)) (- (log1p n) (log (* (cbrt n) (cbrt n)))) (- (log1p n) (log (sqrt n))) (log1p n) (- (log n)) (real->posit16 (- (log1p n) (log n))) (expm1 (fma n (- (log1p n) (log n)) (log1p n))) (log1p (fma n (- (log1p n) (log n)) (log1p n))) (* (- (log1p n) (log n)) n) (log (fma n (- (log1p n) (log n)) (log1p n))) (exp (fma n (- (log1p n) (log n)) (log1p n))) (* (cbrt (fma n (- (log1p n) (log n)) (log1p n))) (cbrt (fma n (- (log1p n) (log n)) (log1p n)))) (cbrt (fma n (- (log1p n) (log n)) (log1p n))) (* (* (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n))) (fma n (- (log1p n) (log n)) (log1p n))) (sqrt (fma n (- (log1p n) (log n)) (log1p n))) (sqrt (fma n (- (log1p n) (log n)) (log1p n))) (real->posit16 (fma n (- (log1p n) (log n)) (log1p n))) (expm1 (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (log1p (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (exp (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (log (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (exp (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (* (cbrt (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (cbrt (fma (- (log1p n) (log n)) n (- (log1p n) 1)))) (cbrt (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (* (* (fma (- (log1p n) (log n)) n (- (log1p n) 1)) (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (sqrt (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (sqrt (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (fma (fma n (- (log1p n) (log n)) (log1p n)) (* (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n))) -1) (+ (fma (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n)) 1) (fma n (- (log1p n) (log n)) (log1p n))) (fma (fma n (- (log1p n) (log n)) (log1p n)) (fma n (- (log1p n) (log n)) (log1p n)) -1) (fma n (- (log1p n) (log n)) (+ 1 (log1p n))) (+ (sqrt (fma n (- (log1p n) (log n)) (log1p n))) 1) (- (sqrt (fma n (- (log1p n) (log n)) (log1p n))) 1) (fma (- (log1p n) (log n)) n (- (log1p n) 1)) (- (log1p n) 1) (real->posit16 (fma (- (log1p n) (log n)) n (- (log1p n) 1))) (- n (fma (* n n) 1/2 (log n))) (+ (+ (/ (/ 1/3 n) (* n n)) (/ 1 n)) (/ -1/2 (* n n))) (+ (+ (/ (/ 1/3 n) (* n n)) (/ 1 n)) (/ -1/2 (* n n))) (- (fma (* n n) 1/2 n) (fma (* 1/6 n) (* n n) (* (log n) n))) (- (+ 1 (/ 1/2 n)) (- (/ 1/6 (* n n)) (log n))) (- (- (+ 1 (/ 1/2 n)) (/ 1/6 (* n n))) (- (log (/ -1 n)) (log -1))) (- (fma (* n n) 1/2 n) (fma (log n) n 1)) (+ (/ 1/2 n) (+ (log n) (/ -1/6 (* n n)))) (+ (- (+ (/ 1/2 n) (log -1)) (log -1)) (+ (log n) (/ -1/6 (* n n)))) 10.940 * * * [progress]: adding candidates to table 11.633 * * [progress]: iteration 2 / 4 11.633 * * * [progress]: picking best candidate 11.637 * * * * [pick]: Picked # 11.637 * * * [progress]: localizing error 11.675 * * * [progress]: generating rewritten candidates 11.675 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 11.682 * * * [progress]: generating series expansions 11.682 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 11.682 * [backup-simplify]: Simplify (/ -1/6 (* n n)) into (/ -1/6 (pow n 2)) 11.682 * [approximate]: Taking taylor expansion of (/ -1/6 (pow n 2)) in (n) around 0 11.682 * [taylor]: Taking taylor expansion of (/ -1/6 (pow n 2)) in n 11.682 * [taylor]: Taking taylor expansion of -1/6 in n 11.682 * [backup-simplify]: Simplify -1/6 into -1/6 11.682 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.682 * [taylor]: Taking taylor expansion of n in n 11.682 * [backup-simplify]: Simplify 0 into 0 11.682 * [backup-simplify]: Simplify 1 into 1 11.683 * [backup-simplify]: Simplify (* 1 1) into 1 11.683 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 11.683 * [taylor]: Taking taylor expansion of (/ -1/6 (pow n 2)) in n 11.683 * [taylor]: Taking taylor expansion of -1/6 in n 11.683 * [backup-simplify]: Simplify -1/6 into -1/6 11.683 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.683 * [taylor]: Taking taylor expansion of n in n 11.683 * [backup-simplify]: Simplify 0 into 0 11.683 * [backup-simplify]: Simplify 1 into 1 11.684 * [backup-simplify]: Simplify (* 1 1) into 1 11.684 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 11.684 * [backup-simplify]: Simplify -1/6 into -1/6 11.685 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 11.685 * [backup-simplify]: Simplify 0 into 0 11.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.687 * [backup-simplify]: Simplify 0 into 0 11.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.688 * [backup-simplify]: Simplify 0 into 0 11.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.689 * [backup-simplify]: Simplify 0 into 0 11.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.691 * [backup-simplify]: Simplify 0 into 0 11.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.692 * [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.692 * [backup-simplify]: Simplify 0 into 0 11.693 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 n) 2)) into (/ -1/6 (pow n 2)) 11.693 * [backup-simplify]: Simplify (/ -1/6 (* (/ 1 n) (/ 1 n))) into (* -1/6 (pow n 2)) 11.693 * [approximate]: Taking taylor expansion of (* -1/6 (pow n 2)) in (n) around 0 11.693 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.693 * [taylor]: Taking taylor expansion of -1/6 in n 11.693 * [backup-simplify]: Simplify -1/6 into -1/6 11.693 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.693 * [taylor]: Taking taylor expansion of n in n 11.693 * [backup-simplify]: Simplify 0 into 0 11.693 * [backup-simplify]: Simplify 1 into 1 11.693 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.693 * [taylor]: Taking taylor expansion of -1/6 in n 11.693 * [backup-simplify]: Simplify -1/6 into -1/6 11.693 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.693 * [taylor]: Taking taylor expansion of n in n 11.693 * [backup-simplify]: Simplify 0 into 0 11.693 * [backup-simplify]: Simplify 1 into 1 11.693 * [backup-simplify]: Simplify (* 1 1) into 1 11.693 * [backup-simplify]: Simplify (* -1/6 1) into -1/6 11.694 * [backup-simplify]: Simplify -1/6 into -1/6 11.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.694 * [backup-simplify]: Simplify (+ (* -1/6 0) (* 0 1)) into 0 11.694 * [backup-simplify]: Simplify 0 into 0 11.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.696 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.696 * [backup-simplify]: Simplify 0 into 0 11.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.697 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.697 * [backup-simplify]: Simplify 0 into 0 11.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.698 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.699 * [backup-simplify]: Simplify 0 into 0 11.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.700 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.700 * [backup-simplify]: Simplify 0 into 0 11.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.703 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.703 * [backup-simplify]: Simplify 0 into 0 11.703 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 n) 2)) into (/ -1/6 (pow n 2)) 11.703 * [backup-simplify]: Simplify (/ -1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* -1/6 (pow n 2)) 11.703 * [approximate]: Taking taylor expansion of (* -1/6 (pow n 2)) in (n) around 0 11.703 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.703 * [taylor]: Taking taylor expansion of -1/6 in n 11.704 * [backup-simplify]: Simplify -1/6 into -1/6 11.704 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.704 * [taylor]: Taking taylor expansion of n in n 11.704 * [backup-simplify]: Simplify 0 into 0 11.704 * [backup-simplify]: Simplify 1 into 1 11.704 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.704 * [taylor]: Taking taylor expansion of -1/6 in n 11.704 * [backup-simplify]: Simplify -1/6 into -1/6 11.704 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.704 * [taylor]: Taking taylor expansion of n in n 11.704 * [backup-simplify]: Simplify 0 into 0 11.704 * [backup-simplify]: Simplify 1 into 1 11.704 * [backup-simplify]: Simplify (* 1 1) into 1 11.705 * [backup-simplify]: Simplify (* -1/6 1) into -1/6 11.705 * [backup-simplify]: Simplify -1/6 into -1/6 11.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.707 * [backup-simplify]: Simplify (+ (* -1/6 0) (* 0 1)) into 0 11.707 * [backup-simplify]: Simplify 0 into 0 11.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.709 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.709 * [backup-simplify]: Simplify 0 into 0 11.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.711 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.711 * [backup-simplify]: Simplify 0 into 0 11.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.714 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.714 * [backup-simplify]: Simplify 0 into 0 11.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.717 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.717 * [backup-simplify]: Simplify 0 into 0 11.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.721 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.721 * [backup-simplify]: Simplify 0 into 0 11.721 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (- n)) 2)) into (/ -1/6 (pow n 2)) 11.721 * * * [progress]: simplifying candidates 11.721 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 11.721 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 11.721 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 11.721 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 11.721 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 11.721 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 11.722 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 11.723 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 11.723 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #real (real->posit16 (/ -1/6 (* n n)))))))> 11.723 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 11.723 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 11.723 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 11.723 * [simplify]: Simplifying: (expm1 (/ -1/6 (* n n))) (log1p (/ -1/6 (* n n))) (- (log -1/6) (+ (log n) (log n))) (- (log -1/6) (log (* n n))) (log (/ -1/6 (* n n))) (exp (/ -1/6 (* n n))) (/ (* (* -1/6 -1/6) -1/6) (* (* (* n n) n) (* (* n n) n))) (/ (* (* -1/6 -1/6) -1/6) (* (* (* n n) (* n n)) (* n n))) (* (cbrt (/ -1/6 (* n n))) (cbrt (/ -1/6 (* n n)))) (cbrt (/ -1/6 (* n n))) (* (* (/ -1/6 (* n n)) (/ -1/6 (* n n))) (/ -1/6 (* n n))) (sqrt (/ -1/6 (* n n))) (sqrt (/ -1/6 (* n n))) (- -1/6) (- (* n n)) (/ (* (cbrt -1/6) (cbrt -1/6)) n) (/ (cbrt -1/6) n) (/ (sqrt -1/6) n) (/ (sqrt -1/6) n) (/ 1 n) (/ -1/6 n) (/ 1 (* n n)) (/ (* n n) -1/6) (/ -1/6 n) (/ (* n n) (cbrt -1/6)) (/ (* n n) (sqrt -1/6)) (/ (* n n) -1/6) (real->posit16 (/ -1/6 (* n n))) (/ -1/6 (pow n 2)) (/ -1/6 (pow n 2)) (/ -1/6 (pow n 2)) 11.724 * * [simplify]: iteration 1: (46 enodes) 11.742 * * [simplify]: iteration 2: (104 enodes) 11.769 * * [simplify]: iteration 3: (277 enodes) 11.947 * * [simplify]: iteration 4: (900 enodes) 14.511 * * [simplify]: Extracting #0: cost 21 inf + 0 14.513 * * [simplify]: Extracting #1: cost 317 inf + 1 14.519 * * [simplify]: Extracting #2: cost 582 inf + 7636 14.546 * * [simplify]: Extracting #3: cost 50 inf + 74524 14.581 * * [simplify]: Extracting #4: cost 2 inf + 81310 14.617 * * [simplify]: Extracting #5: cost 0 inf + 81754 14.663 * [simplify]: Simplified to: (expm1 (/ (/ -1/6 n) n)) (log1p (/ (/ -1/6 n) n)) (log (/ (/ -1/6 n) n)) (log (/ (/ -1/6 n) n)) (log (/ (/ -1/6 n) n)) (exp (/ (/ -1/6 n) n)) (/ -1/216 (* (* (* n n) n) (* (* n n) n))) (/ -1/216 (* (* (* n n) n) (* (* n n) n))) (* (cbrt (/ (/ -1/6 n) n)) (cbrt (/ (/ -1/6 n) n))) (cbrt (/ (/ -1/6 n) n)) (/ -1/216 (* (* (* n n) n) (* (* n n) n))) (sqrt (/ (/ -1/6 n) n)) (sqrt (/ (/ -1/6 n) n)) 1/6 (- (* n n)) (* (cbrt -1/6) (/ (cbrt -1/6) n)) (/ (cbrt -1/6) n) (/ (sqrt -1/6) n) (/ (sqrt -1/6) n) (/ 1 n) (/ -1/6 n) (/ 1 (* n n)) (/ (* n n) -1/6) (/ -1/6 n) (/ n (/ (cbrt -1/6) n)) (/ (* n n) (sqrt -1/6)) (/ (* n n) -1/6) (real->posit16 (/ (/ -1/6 n) n)) (/ (/ -1/6 n) n) (/ (/ -1/6 n) n) (/ (/ -1/6 n) n) 14.665 * * * [progress]: adding candidates to table 14.831 * [progress]: [Phase 3 of 3] Extracting. 14.834 * [simplify]: Simplifying: (+ (/ 1/2 n) (+ (log n) (/ -1/6 (* n n)))) 14.834 * * [simplify]: iteration 1: (9 enodes) 14.835 * * [simplify]: iteration 2: (11 enodes) 14.836 * * [simplify]: Extracting #0: cost 1 inf + 0 14.836 * * [simplify]: Extracting #1: cost 3 inf + 0 14.836 * * [simplify]: Extracting #2: cost 7 inf + 0 14.836 * * [simplify]: Extracting #3: cost 6 inf + 73 14.836 * * [simplify]: Extracting #4: cost 0 inf + 704 14.836 * [simplify]: Simplified to: (+ (+ (log n) (/ -1/6 (* n n))) (/ 1/2 n)) 20.888 * [regime-testing]: Baseline error score: 0 20.893 * [regime-testing]: Oracle error score: 0 20.893 * [regime-testing]: End program error score: 0 20.954 * [regime-testing]: Target error score: 0