27.506 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.178 * * * [progress]: [2/2] Setting up program. 0.181 * [progress]: [Phase 2 of 3] Improving. 0.181 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.181 * [simplify]: Simplifying: (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) 0.181 * * [simplify]: iteration 1: (9 enodes) 0.183 * * [simplify]: iteration 2: (20 enodes) 0.186 * * [simplify]: iteration 3: (49 enodes) 0.196 * * [simplify]: iteration 4: (81 enodes) 0.237 * * [simplify]: iteration 5: (144 enodes) 0.348 * * [simplify]: iteration 6: (280 enodes) 0.491 * * [simplify]: iteration 7: (424 enodes) 0.734 * * [simplify]: iteration 8: (654 enodes) 1.697 * * [simplify]: iteration 9: (1164 enodes) 3.847 * * [simplify]: iteration 10: (1863 enodes) 8.304 * * [simplify]: Extracting #0: cost 1 inf + 0 8.304 * * [simplify]: Extracting #1: cost 52 inf + 0 8.307 * * [simplify]: Extracting #2: cost 171 inf + 75 8.313 * * [simplify]: Extracting #3: cost 107 inf + 10616 8.333 * * [simplify]: Extracting #4: cost 19 inf + 31391 8.358 * * [simplify]: Extracting #5: cost 0 inf + 36189 8.381 * * [simplify]: Extracting #6: cost 0 inf + 36158 8.393 * [simplify]: Simplified to: (+ (fma n (- (log1p n) (log n)) (log1p n)) -1) 8.411 * * [progress]: iteration 1 / 4 8.411 * * * [progress]: picking best candidate 8.416 * * * * [pick]: Picked # 8.416 * * * [progress]: localizing error 8.448 * * * [progress]: generating rewritten candidates 8.448 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 8.461 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 8.461 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.471 * * * [progress]: generating series expansions 8.472 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 8.472 * [backup-simplify]: Simplify (- (log1p n) (log n)) into (- (log1p n) (log n)) 8.472 * [approximate]: Taking taylor expansion of (- (log1p n) (log n)) in (n) around 0 8.472 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.472 * [taylor]: Taking taylor expansion of (log1p n) in n 8.472 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.472 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.472 * [taylor]: Taking taylor expansion of 1 in n 8.472 * [backup-simplify]: Simplify 1 into 1 8.472 * [taylor]: Taking taylor expansion of n in n 8.472 * [backup-simplify]: Simplify 0 into 0 8.472 * [backup-simplify]: Simplify 1 into 1 8.473 * [backup-simplify]: Simplify (+ 1 0) into 1 8.473 * [backup-simplify]: Simplify (log 1) into 0 8.473 * [taylor]: Taking taylor expansion of (log n) in n 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.474 * [backup-simplify]: Simplify (log 1) into 0 8.474 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.474 * [taylor]: Taking taylor expansion of (log1p n) in n 8.474 * [taylor]: Rewrote expression to (log (+ 1 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.474 * [backup-simplify]: Simplify (+ 1 0) into 1 8.475 * [backup-simplify]: Simplify (log 1) into 0 8.475 * [taylor]: Taking taylor expansion of (log n) in n 8.475 * [taylor]: Taking taylor expansion of n in n 8.475 * [backup-simplify]: Simplify 0 into 0 8.475 * [backup-simplify]: Simplify 1 into 1 8.475 * [backup-simplify]: Simplify (log 1) into 0 8.476 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 8.476 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.476 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 8.476 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.476 * [backup-simplify]: Simplify (+ 0 1) into 1 8.478 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.479 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.480 * [backup-simplify]: Simplify (- 0) into 0 8.480 * [backup-simplify]: Simplify (+ 1 0) into 1 8.480 * [backup-simplify]: Simplify 1 into 1 8.481 * [backup-simplify]: Simplify (+ 0 0) into 0 8.484 * [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.487 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.488 * [backup-simplify]: Simplify (- 0) into 0 8.488 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.488 * [backup-simplify]: Simplify -1/2 into -1/2 8.488 * [backup-simplify]: Simplify (+ (* -1/2 (pow n 2)) (+ (* 1 n) (- (log n)))) into (- n (+ (log n) (* 1/2 (pow n 2)))) 8.489 * [backup-simplify]: Simplify (- (log1p (/ 1 n)) (log (/ 1 n))) into (- (log1p (/ 1 n)) (log (/ 1 n))) 8.489 * [approximate]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in (n) around 0 8.489 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.489 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.489 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.489 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.489 * [taylor]: Taking taylor expansion of 1 in n 8.489 * [backup-simplify]: Simplify 1 into 1 8.489 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.489 * [taylor]: Taking taylor expansion of n in n 8.489 * [backup-simplify]: Simplify 0 into 0 8.489 * [backup-simplify]: Simplify 1 into 1 8.489 * [backup-simplify]: Simplify (/ 1 1) into 1 8.490 * [backup-simplify]: Simplify (+ 0 1) into 1 8.490 * [backup-simplify]: Simplify (log 1) into 0 8.490 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.490 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.491 * [taylor]: Taking taylor expansion of n in n 8.491 * [backup-simplify]: Simplify 0 into 0 8.491 * [backup-simplify]: Simplify 1 into 1 8.491 * [backup-simplify]: Simplify (/ 1 1) into 1 8.491 * [backup-simplify]: Simplify (log 1) into 0 8.492 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.492 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.492 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.492 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.492 * [taylor]: Taking taylor expansion of 1 in n 8.492 * [backup-simplify]: Simplify 1 into 1 8.492 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.492 * [taylor]: Taking taylor expansion of n in n 8.492 * [backup-simplify]: Simplify 0 into 0 8.492 * [backup-simplify]: Simplify 1 into 1 8.492 * [backup-simplify]: Simplify (/ 1 1) into 1 8.493 * [backup-simplify]: Simplify (+ 0 1) into 1 8.493 * [backup-simplify]: Simplify (log 1) into 0 8.493 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.493 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.493 * [taylor]: Taking taylor expansion of n in n 8.493 * [backup-simplify]: Simplify 0 into 0 8.493 * [backup-simplify]: Simplify 1 into 1 8.494 * [backup-simplify]: Simplify (/ 1 1) into 1 8.494 * [backup-simplify]: Simplify (log 1) into 0 8.495 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.495 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.495 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 8.495 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 8.495 * [backup-simplify]: Simplify 0 into 0 8.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.497 * [backup-simplify]: Simplify (+ 1 0) into 1 8.498 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.501 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.501 * [backup-simplify]: Simplify (- 0) into 0 8.502 * [backup-simplify]: Simplify (+ 1 0) into 1 8.502 * [backup-simplify]: Simplify 1 into 1 8.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.503 * [backup-simplify]: Simplify (+ 0 0) into 0 8.506 * [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.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.510 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.510 * [backup-simplify]: Simplify (- 0) into 0 8.511 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.511 * [backup-simplify]: Simplify -1/2 into -1/2 8.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.512 * [backup-simplify]: Simplify (+ 0 0) into 0 8.518 * [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.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.525 * [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.525 * [backup-simplify]: Simplify (- 0) into 0 8.526 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.526 * [backup-simplify]: Simplify 1/3 into 1/3 8.526 * [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.527 * [backup-simplify]: Simplify (- (log1p (/ 1 (- n))) (log (/ 1 (- n)))) into (- (log1p (/ -1 n)) (log (/ -1 n))) 8.527 * [approximate]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in (n) around 0 8.527 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.527 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.527 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.527 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.527 * [taylor]: Taking taylor expansion of 1 in n 8.527 * [backup-simplify]: Simplify 1 into 1 8.527 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.527 * [taylor]: Taking taylor expansion of -1 in n 8.527 * [backup-simplify]: Simplify -1 into -1 8.527 * [taylor]: Taking taylor expansion of n in n 8.527 * [backup-simplify]: Simplify 0 into 0 8.527 * [backup-simplify]: Simplify 1 into 1 8.527 * [backup-simplify]: Simplify (/ -1 1) into -1 8.528 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.528 * [backup-simplify]: Simplify (log -1) into (log -1) 8.528 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.528 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.528 * [taylor]: Taking taylor expansion of -1 in n 8.528 * [backup-simplify]: Simplify -1 into -1 8.528 * [taylor]: Taking taylor expansion of n in n 8.528 * [backup-simplify]: Simplify 0 into 0 8.528 * [backup-simplify]: Simplify 1 into 1 8.529 * [backup-simplify]: Simplify (/ -1 1) into -1 8.529 * [backup-simplify]: Simplify (log -1) into (log -1) 8.529 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.529 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.529 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.529 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.530 * [taylor]: Taking taylor expansion of 1 in n 8.530 * [backup-simplify]: Simplify 1 into 1 8.530 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.530 * [taylor]: Taking taylor expansion of -1 in n 8.530 * [backup-simplify]: Simplify -1 into -1 8.530 * [taylor]: Taking taylor expansion of n in n 8.530 * [backup-simplify]: Simplify 0 into 0 8.530 * [backup-simplify]: Simplify 1 into 1 8.530 * [backup-simplify]: Simplify (/ -1 1) into -1 8.531 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.531 * [backup-simplify]: Simplify (log -1) into (log -1) 8.531 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.531 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.531 * [taylor]: Taking taylor expansion of -1 in n 8.531 * [backup-simplify]: Simplify -1 into -1 8.531 * [taylor]: Taking taylor expansion of n in n 8.531 * [backup-simplify]: Simplify 0 into 0 8.531 * [backup-simplify]: Simplify 1 into 1 8.532 * [backup-simplify]: Simplify (/ -1 1) into -1 8.532 * [backup-simplify]: Simplify (log -1) into (log -1) 8.533 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.534 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.534 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 8.535 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 8.535 * [backup-simplify]: Simplify 0 into 0 8.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.536 * [backup-simplify]: Simplify (+ 1 0) into 1 8.538 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.540 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 8.541 * [backup-simplify]: Simplify (- 0) into 0 8.541 * [backup-simplify]: Simplify (+ -1 0) into -1 8.541 * [backup-simplify]: Simplify -1 into -1 8.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.543 * [backup-simplify]: Simplify (+ 0 0) into 0 8.545 * [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.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.553 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 8.554 * [backup-simplify]: Simplify (- 0) into 0 8.555 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.555 * [backup-simplify]: Simplify -1/2 into -1/2 8.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.556 * [backup-simplify]: Simplify (+ 0 0) into 0 8.560 * [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.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.563 * [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.564 * [backup-simplify]: Simplify (- 0) into 0 8.564 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 8.564 * [backup-simplify]: Simplify -1/3 into -1/3 8.564 * [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.564 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 8.565 * [backup-simplify]: Simplify (fma n (- (log1p n) (log n)) (log1p n)) into (fma n (- (log1p n) (log n)) (log1p n)) 8.565 * [approximate]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in (n) around 0 8.565 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.565 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.565 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 8.565 * [taylor]: Taking taylor expansion of n in n 8.565 * [backup-simplify]: Simplify 0 into 0 8.565 * [backup-simplify]: Simplify 1 into 1 8.565 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.565 * [taylor]: Taking taylor expansion of (log1p n) in n 8.565 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.565 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.565 * [taylor]: Taking taylor expansion of 1 in n 8.565 * [backup-simplify]: Simplify 1 into 1 8.565 * [taylor]: Taking taylor expansion of n in n 8.565 * [backup-simplify]: Simplify 0 into 0 8.565 * [backup-simplify]: Simplify 1 into 1 8.565 * [backup-simplify]: Simplify (+ 1 0) into 1 8.565 * [backup-simplify]: Simplify (log 1) into 0 8.565 * [taylor]: Taking taylor expansion of (log n) in n 8.565 * [taylor]: Taking taylor expansion of n in n 8.565 * [backup-simplify]: Simplify 0 into 0 8.565 * [backup-simplify]: Simplify 1 into 1 8.566 * [backup-simplify]: Simplify (log 1) into 0 8.566 * [taylor]: Taking taylor expansion of (log1p n) in n 8.566 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.566 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.566 * [taylor]: Taking taylor expansion of 1 in n 8.566 * [backup-simplify]: Simplify 1 into 1 8.566 * [taylor]: Taking taylor expansion of n in n 8.566 * [backup-simplify]: Simplify 0 into 0 8.566 * [backup-simplify]: Simplify 1 into 1 8.566 * [backup-simplify]: Simplify (+ 1 0) into 1 8.566 * [backup-simplify]: Simplify (log 1) into 0 8.566 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.566 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.566 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log n))) in n 8.566 * [taylor]: Taking taylor expansion of n in n 8.566 * [backup-simplify]: Simplify 0 into 0 8.566 * [backup-simplify]: Simplify 1 into 1 8.566 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.566 * [taylor]: Taking taylor expansion of (log1p n) in n 8.567 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.567 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.567 * [taylor]: Taking taylor expansion of 1 in n 8.567 * [backup-simplify]: Simplify 1 into 1 8.567 * [taylor]: Taking taylor expansion of n in n 8.567 * [backup-simplify]: Simplify 0 into 0 8.567 * [backup-simplify]: Simplify 1 into 1 8.567 * [backup-simplify]: Simplify (+ 1 0) into 1 8.567 * [backup-simplify]: Simplify (log 1) into 0 8.567 * [taylor]: Taking taylor expansion of (log n) in n 8.567 * [taylor]: Taking taylor expansion of n in n 8.567 * [backup-simplify]: Simplify 0 into 0 8.567 * [backup-simplify]: Simplify 1 into 1 8.567 * [backup-simplify]: Simplify (log 1) into 0 8.567 * [taylor]: Taking taylor expansion of (log1p n) in n 8.567 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.567 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.567 * [taylor]: Taking taylor expansion of 1 in n 8.567 * [backup-simplify]: Simplify 1 into 1 8.568 * [taylor]: Taking taylor expansion of n in n 8.568 * [backup-simplify]: Simplify 0 into 0 8.568 * [backup-simplify]: Simplify 1 into 1 8.568 * [backup-simplify]: Simplify (+ 1 0) into 1 8.568 * [backup-simplify]: Simplify (log 1) into 0 8.568 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 8.568 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.568 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 8.568 * [backup-simplify]: Simplify (* 0 (- (log n))) into 0 8.569 * [backup-simplify]: Simplify (+ 0 0) into 0 8.569 * [backup-simplify]: Simplify 0 into 0 8.569 * [backup-simplify]: Simplify (+ 0 1) into 1 8.570 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.570 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.571 * [backup-simplify]: Simplify (- 0) into 0 8.571 * [backup-simplify]: Simplify (+ 1 0) into 1 8.571 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- (log n)))) into (- (log n)) 8.572 * [backup-simplify]: Simplify (+ 0 1) into 1 8.572 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.572 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 8.572 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 8.573 * [backup-simplify]: Simplify (+ 0 0) into 0 8.574 * [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.576 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.576 * [backup-simplify]: Simplify (- 0) into 0 8.576 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.577 * [backup-simplify]: Simplify (+ (* 0 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1 8.577 * [backup-simplify]: Simplify (+ 0 0) into 0 8.578 * [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.579 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2 8.579 * [backup-simplify]: Simplify 1/2 into 1/2 8.579 * [backup-simplify]: Simplify (+ 0 0) into 0 8.582 * [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.585 * [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.585 * [backup-simplify]: Simplify (- 0) into 0 8.585 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.586 * [backup-simplify]: Simplify (+ (* 0 1/3) (+ (* 1 -1/2) (+ (* 0 1) (* 0 (- (log n)))))) into (- 1/2) 8.586 * [backup-simplify]: Simplify (+ 0 0) into 0 8.589 * [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.589 * [backup-simplify]: Simplify (+ (- 1/2) 1/3) into -1/6 8.589 * [backup-simplify]: Simplify -1/6 into -1/6 8.590 * [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.590 * [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.590 * [approximate]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in (n) around 0 8.590 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.590 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.590 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.590 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.590 * [taylor]: Taking taylor expansion of n in n 8.590 * [backup-simplify]: Simplify 0 into 0 8.590 * [backup-simplify]: Simplify 1 into 1 8.590 * [backup-simplify]: Simplify (/ 1 1) into 1 8.590 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.590 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.590 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.590 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.590 * [taylor]: Taking taylor expansion of 1 in n 8.590 * [backup-simplify]: Simplify 1 into 1 8.590 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.590 * [taylor]: Taking taylor expansion of n in n 8.590 * [backup-simplify]: Simplify 0 into 0 8.590 * [backup-simplify]: Simplify 1 into 1 8.591 * [backup-simplify]: Simplify (/ 1 1) into 1 8.591 * [backup-simplify]: Simplify (+ 0 1) into 1 8.592 * [backup-simplify]: Simplify (log 1) into 0 8.592 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.592 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.592 * [taylor]: Taking taylor expansion of n in n 8.592 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify 1 into 1 8.592 * [backup-simplify]: Simplify (/ 1 1) into 1 8.592 * [backup-simplify]: Simplify (log 1) into 0 8.593 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.593 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.593 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.593 * [taylor]: Taking taylor expansion of 1 in n 8.593 * [backup-simplify]: Simplify 1 into 1 8.593 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.593 * [taylor]: Taking taylor expansion of n in n 8.593 * [backup-simplify]: Simplify 0 into 0 8.593 * [backup-simplify]: Simplify 1 into 1 8.593 * [backup-simplify]: Simplify (/ 1 1) into 1 8.594 * [backup-simplify]: Simplify (+ 0 1) into 1 8.594 * [backup-simplify]: Simplify (log 1) into 0 8.594 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.594 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.594 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.594 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.594 * [taylor]: Taking taylor expansion of n in n 8.594 * [backup-simplify]: Simplify 0 into 0 8.594 * [backup-simplify]: Simplify 1 into 1 8.595 * [backup-simplify]: Simplify (/ 1 1) into 1 8.595 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.595 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.595 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.595 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.595 * [taylor]: Taking taylor expansion of 1 in n 8.595 * [backup-simplify]: Simplify 1 into 1 8.595 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.595 * [taylor]: Taking taylor expansion of n in n 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify 1 into 1 8.595 * [backup-simplify]: Simplify (/ 1 1) into 1 8.596 * [backup-simplify]: Simplify (+ 0 1) into 1 8.596 * [backup-simplify]: Simplify (log 1) into 0 8.596 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.596 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.596 * [taylor]: Taking taylor expansion of n in n 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify 1 into 1 8.597 * [backup-simplify]: Simplify (/ 1 1) into 1 8.597 * [backup-simplify]: Simplify (log 1) into 0 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 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 0 8.599 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.600 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.600 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 8.600 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 8.600 * [backup-simplify]: Simplify (* 1 0) into 0 8.601 * [backup-simplify]: Simplify (+ 0 0) into 0 8.601 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.602 * [backup-simplify]: Simplify (+ 1 0) into 1 8.604 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.606 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.606 * [backup-simplify]: Simplify (- 0) into 0 8.606 * [backup-simplify]: Simplify (+ 1 0) into 1 8.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.608 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 8.608 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.608 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 8.608 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 8.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.610 * [backup-simplify]: Simplify (+ 0 0) into 0 8.613 * [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.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.616 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.617 * [backup-simplify]: Simplify (- 0) into 0 8.617 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.619 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 1) (* 0 0))) into -1/2 8.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.620 * [backup-simplify]: Simplify (+ 1 0) into 1 8.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.622 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 8.622 * [backup-simplify]: Simplify 1/2 into 1/2 8.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.623 * [backup-simplify]: Simplify (+ 0 0) into 0 8.628 * [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.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.635 * [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.635 * [backup-simplify]: Simplify (- 0) into 0 8.636 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.638 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/3 8.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.640 * [backup-simplify]: Simplify (+ 0 0) into 0 8.642 * [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.643 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.643 * [backup-simplify]: Simplify -1/6 into -1/6 8.644 * [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.644 * [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.644 * [approximate]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in (n) around 0 8.644 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.644 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.644 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.644 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.645 * [taylor]: Taking taylor expansion of -1 in n 8.645 * [backup-simplify]: Simplify -1 into -1 8.645 * [taylor]: Taking taylor expansion of n in n 8.645 * [backup-simplify]: Simplify 0 into 0 8.645 * [backup-simplify]: Simplify 1 into 1 8.645 * [backup-simplify]: Simplify (/ -1 1) into -1 8.645 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.645 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.645 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.645 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.645 * [taylor]: Taking taylor expansion of 1 in n 8.645 * [backup-simplify]: Simplify 1 into 1 8.646 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.646 * [taylor]: Taking taylor expansion of -1 in n 8.646 * [backup-simplify]: Simplify -1 into -1 8.646 * [taylor]: Taking taylor expansion of n in n 8.646 * [backup-simplify]: Simplify 0 into 0 8.646 * [backup-simplify]: Simplify 1 into 1 8.646 * [backup-simplify]: Simplify (/ -1 1) into -1 8.647 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.647 * [backup-simplify]: Simplify (log -1) into (log -1) 8.647 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.647 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.647 * [taylor]: Taking taylor expansion of -1 in n 8.647 * [backup-simplify]: Simplify -1 into -1 8.647 * [taylor]: Taking taylor expansion of n in n 8.647 * [backup-simplify]: Simplify 0 into 0 8.647 * [backup-simplify]: Simplify 1 into 1 8.648 * [backup-simplify]: Simplify (/ -1 1) into -1 8.648 * [backup-simplify]: Simplify (log -1) into (log -1) 8.648 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.649 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.649 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.649 * [taylor]: Taking taylor expansion of 1 in n 8.649 * [backup-simplify]: Simplify 1 into 1 8.649 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.649 * [taylor]: Taking taylor expansion of -1 in n 8.649 * [backup-simplify]: Simplify -1 into -1 8.649 * [taylor]: Taking taylor expansion of n in n 8.649 * [backup-simplify]: Simplify 0 into 0 8.649 * [backup-simplify]: Simplify 1 into 1 8.649 * [backup-simplify]: Simplify (/ -1 1) into -1 8.650 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.650 * [backup-simplify]: Simplify (log -1) into (log -1) 8.650 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.650 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.650 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.650 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.650 * [taylor]: Taking taylor expansion of -1 in n 8.650 * [backup-simplify]: Simplify -1 into -1 8.650 * [taylor]: Taking taylor expansion of n in n 8.650 * [backup-simplify]: Simplify 0 into 0 8.650 * [backup-simplify]: Simplify 1 into 1 8.651 * [backup-simplify]: Simplify (/ -1 1) into -1 8.651 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.651 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.651 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.651 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.651 * [taylor]: Taking taylor expansion of 1 in n 8.651 * [backup-simplify]: Simplify 1 into 1 8.651 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.651 * [taylor]: Taking taylor expansion of -1 in n 8.651 * [backup-simplify]: Simplify -1 into -1 8.651 * [taylor]: Taking taylor expansion of n in n 8.651 * [backup-simplify]: Simplify 0 into 0 8.651 * [backup-simplify]: Simplify 1 into 1 8.652 * [backup-simplify]: Simplify (/ -1 1) into -1 8.652 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.653 * [backup-simplify]: Simplify (log -1) into (log -1) 8.653 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.653 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.653 * [taylor]: Taking taylor expansion of -1 in n 8.653 * [backup-simplify]: Simplify -1 into -1 8.653 * [taylor]: Taking taylor expansion of n in n 8.653 * [backup-simplify]: Simplify 0 into 0 8.653 * [backup-simplify]: Simplify 1 into 1 8.653 * [backup-simplify]: Simplify (/ -1 1) into -1 8.654 * [backup-simplify]: Simplify (log -1) into (log -1) 8.654 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.654 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.654 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.654 * [taylor]: Taking taylor expansion of 1 in n 8.654 * [backup-simplify]: Simplify 1 into 1 8.654 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.654 * [taylor]: Taking taylor expansion of -1 in n 8.654 * [backup-simplify]: Simplify -1 into -1 8.654 * [taylor]: Taking taylor expansion of n in n 8.654 * [backup-simplify]: Simplify 0 into 0 8.654 * [backup-simplify]: Simplify 1 into 1 8.654 * [backup-simplify]: Simplify (/ -1 1) into -1 8.655 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.655 * [backup-simplify]: Simplify (log -1) into (log -1) 8.656 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.657 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.658 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 8.658 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 8.659 * [backup-simplify]: Simplify (* -1 0) into 0 8.659 * [backup-simplify]: Simplify (+ 0 0) into 0 8.659 * [backup-simplify]: Simplify 0 into 0 8.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.661 * [backup-simplify]: Simplify (+ 1 0) into 1 8.663 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.665 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 8.666 * [backup-simplify]: Simplify (- 0) into 0 8.666 * [backup-simplify]: Simplify (+ -1 0) into -1 8.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.668 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 8.668 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.669 * [backup-simplify]: Simplify (+ 1 (- (log -1) (log n))) into (- (+ (log -1) 1) (log n)) 8.669 * [backup-simplify]: Simplify (- (+ (log -1) 1) (log n)) into (- (+ (log -1) 1) (log n)) 8.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.671 * [backup-simplify]: Simplify (+ 0 0) into 0 8.674 * [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.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.680 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 8.680 * [backup-simplify]: Simplify (- 0) into 0 8.681 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.682 * [backup-simplify]: Simplify (+ (* -1 -1/2) (+ (* 0 -1) (* 0 0))) into 1/2 8.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.683 * [backup-simplify]: Simplify (+ 1 0) into 1 8.683 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.684 * [backup-simplify]: Simplify (+ 1/2 -1) into -1/2 8.684 * [backup-simplify]: Simplify -1/2 into -1/2 8.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.684 * [backup-simplify]: Simplify (+ 0 0) into 0 8.687 * [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.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.691 * [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.691 * [backup-simplify]: Simplify (- 0) into 0 8.691 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 8.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.693 * [backup-simplify]: Simplify (+ (* -1 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0)))) into 1/3 8.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.694 * [backup-simplify]: Simplify (+ 0 0) into 0 8.695 * [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.695 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.695 * [backup-simplify]: Simplify -1/6 into -1/6 8.696 * [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.696 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.696 * [backup-simplify]: Simplify (+ (fma n (- (log1p n) (log n)) (log1p n)) -1) into (- (fma n (- (log1p n) (log n)) (log1p n)) 1) 8.696 * [approximate]: Taking taylor expansion of (- (fma n (- (log1p n) (log n)) (log1p n)) 1) in (n) around 0 8.696 * [taylor]: Taking taylor expansion of (- (fma n (- (log1p n) (log n)) (log1p n)) 1) in n 8.696 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.696 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.696 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log 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 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.697 * [taylor]: Taking taylor expansion of (log1p n) in n 8.697 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.697 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.697 * [taylor]: Taking taylor expansion of 1 in n 8.697 * [backup-simplify]: Simplify 1 into 1 8.697 * [taylor]: Taking taylor expansion of n in n 8.697 * [backup-simplify]: Simplify 0 into 0 8.697 * [backup-simplify]: Simplify 1 into 1 8.697 * [backup-simplify]: Simplify (+ 1 0) into 1 8.697 * [backup-simplify]: Simplify (log 1) into 0 8.697 * [taylor]: Taking taylor expansion of (log n) in n 8.697 * [taylor]: Taking taylor expansion of n in n 8.697 * [backup-simplify]: Simplify 0 into 0 8.697 * [backup-simplify]: Simplify 1 into 1 8.697 * [backup-simplify]: Simplify (log 1) into 0 8.697 * [taylor]: Taking taylor expansion of (log1p n) in n 8.697 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.698 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.698 * [taylor]: Taking taylor expansion of 1 in n 8.698 * [backup-simplify]: Simplify 1 into 1 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 0) into 1 8.698 * [backup-simplify]: Simplify (log 1) into 0 8.698 * [taylor]: Taking taylor expansion of 1 in n 8.698 * [backup-simplify]: Simplify 1 into 1 8.698 * [taylor]: Taking taylor expansion of (- (fma n (- (log1p n) (log n)) (log1p n)) 1) in n 8.698 * [taylor]: Taking taylor expansion of (fma n (- (log1p n) (log n)) (log1p n)) in n 8.698 * [taylor]: Rewrote expression to (+ (* n (- (log1p n) (log n))) (log1p n)) 8.698 * [taylor]: Taking taylor expansion of (* n (- (log1p n) (log 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 * [taylor]: Taking taylor expansion of (- (log1p n) (log n)) in n 8.698 * [taylor]: Taking taylor expansion of (log1p n) in n 8.698 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.698 * [taylor]: Taking taylor expansion of (+ 1 n) in n 8.698 * [taylor]: Taking taylor expansion of 1 in n 8.698 * [backup-simplify]: Simplify 1 into 1 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.699 * [backup-simplify]: Simplify (+ 1 0) into 1 8.699 * [backup-simplify]: Simplify (log 1) into 0 8.699 * [taylor]: Taking taylor expansion of (log 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 (log 1) into 0 8.699 * [taylor]: Taking taylor expansion of (log1p n) in n 8.699 * [taylor]: Rewrote expression to (log (+ 1 n)) 8.699 * [taylor]: Taking taylor expansion of (+ 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 n in n 8.699 * [backup-simplify]: Simplify 0 into 0 8.699 * [backup-simplify]: Simplify 1 into 1 8.700 * [backup-simplify]: Simplify (+ 1 0) 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 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 8.700 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.700 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 8.700 * [backup-simplify]: Simplify (* 0 (- (log n))) into 0 8.701 * [backup-simplify]: Simplify (+ 0 0) into 0 8.701 * [backup-simplify]: Simplify (- 1) into -1 8.701 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.701 * [backup-simplify]: Simplify -1 into -1 8.701 * [backup-simplify]: Simplify (+ 0 1) into 1 8.702 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.703 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.703 * [backup-simplify]: Simplify (- 0) into 0 8.703 * [backup-simplify]: Simplify (+ 1 0) into 1 8.704 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- (log n)))) into (- (log n)) 8.704 * [backup-simplify]: Simplify (+ 0 1) into 1 8.705 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.705 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 8.705 * [backup-simplify]: Simplify (- 0) into 0 8.705 * [backup-simplify]: Simplify (+ (- 1 (log n)) 0) into (- 1 (log n)) 8.705 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 8.705 * [backup-simplify]: Simplify (+ 0 0) into 0 8.707 * [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.708 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.709 * [backup-simplify]: Simplify (- 0) into 0 8.709 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.709 * [backup-simplify]: Simplify (+ (* 0 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1 8.710 * [backup-simplify]: Simplify (+ 0 0) into 0 8.712 * [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.712 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2 8.713 * [backup-simplify]: Simplify (- 0) into 0 8.713 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 8.713 * [backup-simplify]: Simplify 1/2 into 1/2 8.714 * [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.714 * [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.714 * [approximate]: Taking taylor expansion of (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) in (n) around 0 8.714 * [taylor]: Taking taylor expansion of (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) in n 8.714 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.714 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.714 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.714 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.714 * [taylor]: Taking taylor expansion of n in n 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 1 into 1 8.715 * [backup-simplify]: Simplify (/ 1 1) into 1 8.715 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.715 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.715 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.715 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.715 * [taylor]: Taking taylor expansion of 1 in n 8.715 * [backup-simplify]: Simplify 1 into 1 8.715 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.715 * [taylor]: Taking taylor expansion of n in n 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 1 into 1 8.715 * [backup-simplify]: Simplify (/ 1 1) into 1 8.716 * [backup-simplify]: Simplify (+ 0 1) into 1 8.716 * [backup-simplify]: Simplify (log 1) into 0 8.716 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.716 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.716 * [taylor]: Taking taylor expansion of n in n 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify 1 into 1 8.717 * [backup-simplify]: Simplify (/ 1 1) into 1 8.717 * [backup-simplify]: Simplify (log 1) into 0 8.717 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.717 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.717 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.717 * [taylor]: Taking taylor expansion of 1 in n 8.717 * [backup-simplify]: Simplify 1 into 1 8.717 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.717 * [taylor]: Taking taylor expansion of n in n 8.717 * [backup-simplify]: Simplify 0 into 0 8.717 * [backup-simplify]: Simplify 1 into 1 8.718 * [backup-simplify]: Simplify (/ 1 1) into 1 8.718 * [backup-simplify]: Simplify (+ 0 1) into 1 8.719 * [backup-simplify]: Simplify (log 1) into 0 8.719 * [taylor]: Taking taylor expansion of 1 in n 8.719 * [backup-simplify]: Simplify 1 into 1 8.719 * [taylor]: Taking taylor expansion of (- (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) 1) in n 8.719 * [taylor]: Taking taylor expansion of (fma (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n))) (log1p (/ 1 n))) in n 8.719 * [taylor]: Rewrote expression to (+ (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) (log1p (/ 1 n))) 8.719 * [taylor]: Taking taylor expansion of (* (/ 1 n) (- (log1p (/ 1 n)) (log (/ 1 n)))) in n 8.719 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.719 * [taylor]: Taking taylor expansion of n in n 8.719 * [backup-simplify]: Simplify 0 into 0 8.719 * [backup-simplify]: Simplify 1 into 1 8.719 * [backup-simplify]: Simplify (/ 1 1) into 1 8.719 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 n)) (log (/ 1 n))) in n 8.719 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.719 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.719 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.719 * [taylor]: Taking taylor expansion of 1 in n 8.720 * [backup-simplify]: Simplify 1 into 1 8.720 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.720 * [taylor]: Taking taylor expansion of n in n 8.720 * [backup-simplify]: Simplify 0 into 0 8.720 * [backup-simplify]: Simplify 1 into 1 8.720 * [backup-simplify]: Simplify (/ 1 1) into 1 8.721 * [backup-simplify]: Simplify (+ 0 1) into 1 8.721 * [backup-simplify]: Simplify (log 1) into 0 8.721 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 8.721 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.721 * [taylor]: Taking taylor expansion of n in n 8.721 * [backup-simplify]: Simplify 0 into 0 8.721 * [backup-simplify]: Simplify 1 into 1 8.721 * [backup-simplify]: Simplify (/ 1 1) into 1 8.722 * [backup-simplify]: Simplify (log 1) into 0 8.722 * [taylor]: Taking taylor expansion of (log1p (/ 1 n)) in n 8.722 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 n))) 8.722 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 8.722 * [taylor]: Taking taylor expansion of 1 in n 8.722 * [backup-simplify]: Simplify 1 into 1 8.722 * [taylor]: Taking taylor expansion of (/ 1 n) in n 8.722 * [taylor]: Taking taylor expansion of n in n 8.722 * [backup-simplify]: Simplify 0 into 0 8.722 * [backup-simplify]: Simplify 1 into 1 8.723 * [backup-simplify]: Simplify (/ 1 1) into 1 8.723 * [backup-simplify]: Simplify (+ 0 1) into 1 8.724 * [backup-simplify]: Simplify (log 1) into 0 8.724 * [taylor]: Taking taylor expansion of 1 in n 8.724 * [backup-simplify]: Simplify 1 into 1 8.724 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.725 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.725 * [backup-simplify]: Simplify (- (- (log n))) into (log n) 8.725 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 8.725 * [backup-simplify]: Simplify (* 1 0) into 0 8.726 * [backup-simplify]: Simplify (+ 0 0) into 0 8.726 * [backup-simplify]: Simplify (+ 0 0) into 0 8.726 * [backup-simplify]: Simplify 0 into 0 8.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.727 * [backup-simplify]: Simplify (+ 1 0) into 1 8.729 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.731 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 8.731 * [backup-simplify]: Simplify (- 0) into 0 8.732 * [backup-simplify]: Simplify (+ 1 0) into 1 8.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.733 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 8.734 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 8.734 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 8.734 * [backup-simplify]: Simplify (- 1) into -1 8.734 * [backup-simplify]: Simplify (+ (- 1 (log n)) -1) into (- (log n)) 8.734 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 8.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.736 * [backup-simplify]: Simplify (+ 0 0) into 0 8.739 * [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.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.743 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 8.743 * [backup-simplify]: Simplify (- 0) into 0 8.744 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.746 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 1) (* 0 0))) into -1/2 8.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.747 * [backup-simplify]: Simplify (+ 1 0) into 1 8.749 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.749 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 8.749 * [backup-simplify]: Simplify (- 0) into 0 8.750 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 8.750 * [backup-simplify]: Simplify 1/2 into 1/2 8.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.751 * [backup-simplify]: Simplify (+ 0 0) into 0 8.756 * [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.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.763 * [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.764 * [backup-simplify]: Simplify (- 0) into 0 8.764 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.767 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 -1/2) (+ (* 0 1) (* 0 0)))) into 1/3 8.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.768 * [backup-simplify]: Simplify (+ 0 0) into 0 8.771 * [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.772 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.772 * [backup-simplify]: Simplify (- 0) into 0 8.773 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 8.773 * [backup-simplify]: Simplify -1/6 into -1/6 8.773 * [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.773 * [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.774 * [approximate]: Taking taylor expansion of (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) in (n) around 0 8.774 * [taylor]: Taking taylor expansion of (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) in n 8.774 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.774 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.774 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.774 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.774 * [taylor]: Taking taylor expansion of -1 in n 8.774 * [backup-simplify]: Simplify -1 into -1 8.774 * [taylor]: Taking taylor expansion of n in n 8.774 * [backup-simplify]: Simplify 0 into 0 8.774 * [backup-simplify]: Simplify 1 into 1 8.774 * [backup-simplify]: Simplify (/ -1 1) into -1 8.775 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.775 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.775 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.775 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.775 * [taylor]: Taking taylor expansion of 1 in n 8.775 * [backup-simplify]: Simplify 1 into 1 8.775 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.775 * [taylor]: Taking taylor expansion of -1 in n 8.775 * [backup-simplify]: Simplify -1 into -1 8.775 * [taylor]: Taking taylor expansion of n in n 8.775 * [backup-simplify]: Simplify 0 into 0 8.775 * [backup-simplify]: Simplify 1 into 1 8.775 * [backup-simplify]: Simplify (/ -1 1) into -1 8.776 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.776 * [backup-simplify]: Simplify (log -1) into (log -1) 8.776 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.776 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.776 * [taylor]: Taking taylor expansion of -1 in n 8.776 * [backup-simplify]: Simplify -1 into -1 8.776 * [taylor]: Taking taylor expansion of n in n 8.776 * [backup-simplify]: Simplify 0 into 0 8.776 * [backup-simplify]: Simplify 1 into 1 8.777 * [backup-simplify]: Simplify (/ -1 1) into -1 8.777 * [backup-simplify]: Simplify (log -1) into (log -1) 8.777 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.777 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.777 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.778 * [taylor]: Taking taylor expansion of 1 in n 8.778 * [backup-simplify]: Simplify 1 into 1 8.778 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.778 * [taylor]: Taking taylor expansion of -1 in n 8.778 * [backup-simplify]: Simplify -1 into -1 8.778 * [taylor]: Taking taylor expansion of n in n 8.778 * [backup-simplify]: Simplify 0 into 0 8.778 * [backup-simplify]: Simplify 1 into 1 8.778 * [backup-simplify]: Simplify (/ -1 1) into -1 8.779 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.779 * [backup-simplify]: Simplify (log -1) into (log -1) 8.779 * [taylor]: Taking taylor expansion of 1 in n 8.779 * [backup-simplify]: Simplify 1 into 1 8.779 * [taylor]: Taking taylor expansion of (- (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) 1) in n 8.779 * [taylor]: Taking taylor expansion of (fma (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n))) (log1p (/ -1 n))) in n 8.779 * [taylor]: Rewrote expression to (+ (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) (log1p (/ -1 n))) 8.779 * [taylor]: Taking taylor expansion of (* (/ -1 n) (- (log1p (/ -1 n)) (log (/ -1 n)))) in n 8.779 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.779 * [taylor]: Taking taylor expansion of -1 in n 8.779 * [backup-simplify]: Simplify -1 into -1 8.779 * [taylor]: Taking taylor expansion of n in n 8.779 * [backup-simplify]: Simplify 0 into 0 8.780 * [backup-simplify]: Simplify 1 into 1 8.780 * [backup-simplify]: Simplify (/ -1 1) into -1 8.780 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 n)) (log (/ -1 n))) in n 8.780 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.780 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.780 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.780 * [taylor]: Taking taylor expansion of 1 in n 8.780 * [backup-simplify]: Simplify 1 into 1 8.780 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.780 * [taylor]: Taking taylor expansion of -1 in n 8.780 * [backup-simplify]: Simplify -1 into -1 8.780 * [taylor]: Taking taylor expansion of n in n 8.780 * [backup-simplify]: Simplify 0 into 0 8.780 * [backup-simplify]: Simplify 1 into 1 8.781 * [backup-simplify]: Simplify (/ -1 1) into -1 8.781 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.782 * [backup-simplify]: Simplify (log -1) into (log -1) 8.782 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 8.782 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.782 * [taylor]: Taking taylor expansion of -1 in n 8.782 * [backup-simplify]: Simplify -1 into -1 8.782 * [taylor]: Taking taylor expansion of n in n 8.782 * [backup-simplify]: Simplify 0 into 0 8.782 * [backup-simplify]: Simplify 1 into 1 8.783 * [backup-simplify]: Simplify (/ -1 1) into -1 8.783 * [backup-simplify]: Simplify (log -1) into (log -1) 8.783 * [taylor]: Taking taylor expansion of (log1p (/ -1 n)) in n 8.783 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 n))) 8.783 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 n)) in n 8.783 * [taylor]: Taking taylor expansion of 1 in n 8.783 * [backup-simplify]: Simplify 1 into 1 8.783 * [taylor]: Taking taylor expansion of (/ -1 n) in n 8.784 * [taylor]: Taking taylor expansion of -1 in n 8.784 * [backup-simplify]: Simplify -1 into -1 8.784 * [taylor]: Taking taylor expansion of n in n 8.784 * [backup-simplify]: Simplify 0 into 0 8.784 * [backup-simplify]: Simplify 1 into 1 8.784 * [backup-simplify]: Simplify (/ -1 1) into -1 8.785 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.785 * [backup-simplify]: Simplify (log -1) into (log -1) 8.786 * [taylor]: Taking taylor expansion of 1 in n 8.786 * [backup-simplify]: Simplify 1 into 1 8.787 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.788 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.788 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 8.789 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 8.790 * [backup-simplify]: Simplify (* -1 0) into 0 8.790 * [backup-simplify]: Simplify (+ 0 0) into 0 8.790 * [backup-simplify]: Simplify (+ 0 0) into 0 8.790 * [backup-simplify]: Simplify 0 into 0 8.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.792 * [backup-simplify]: Simplify (+ 1 0) into 1 8.793 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.796 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 8.796 * [backup-simplify]: Simplify (- 0) into 0 8.796 * [backup-simplify]: Simplify (+ -1 0) into -1 8.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.798 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 8.799 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 8.799 * [backup-simplify]: Simplify (+ 1 (- (log -1) (log n))) into (- (+ (log -1) 1) (log n)) 8.800 * [backup-simplify]: Simplify (- 1) into -1 8.801 * [backup-simplify]: Simplify (+ (- (+ (log -1) 1) (log n)) -1) into (- (log -1) (log n)) 8.801 * [backup-simplify]: Simplify (- (log -1) (log n)) into (- (log -1) (log n)) 8.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.803 * [backup-simplify]: Simplify (+ 0 0) into 0 8.805 * [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.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.811 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 8.812 * [backup-simplify]: Simplify (- 0) into 0 8.812 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.814 * [backup-simplify]: Simplify (+ (* -1 -1/2) (+ (* 0 -1) (* 0 0))) into 1/2 8.815 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.816 * [backup-simplify]: Simplify (+ 1 0) into 1 8.817 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 8.818 * [backup-simplify]: Simplify (+ 1/2 -1) into -1/2 8.818 * [backup-simplify]: Simplify (- 0) into 0 8.818 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 8.818 * [backup-simplify]: Simplify -1/2 into -1/2 8.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.820 * [backup-simplify]: Simplify (+ 0 0) into 0 8.825 * [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.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.832 * [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.832 * [backup-simplify]: Simplify (- 0) into 0 8.833 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 8.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.835 * [backup-simplify]: Simplify (+ (* -1 -1/3) (+ (* 0 -1/2) (+ (* 0 -1) (* 0 0)))) into 1/3 8.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.837 * [backup-simplify]: Simplify (+ 0 0) into 0 8.840 * [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.840 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 8.841 * [backup-simplify]: Simplify (- 0) into 0 8.841 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 8.841 * [backup-simplify]: Simplify -1/6 into -1/6 8.842 * [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.842 * * * [progress]: simplifying candidates 8.842 * * * * [progress]: [ 1 / 77 ] simplifiying candidate # 8.842 * * * * [progress]: [ 2 / 77 ] simplifiying candidate # 8.842 * * * * [progress]: [ 3 / 77 ] simplifiying candidate # 8.842 * * * * [progress]: [ 4 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 5 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 6 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 7 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 8 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 9 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 10 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 11 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 12 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 13 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 14 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 15 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 16 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 17 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 18 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 19 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 20 / 77 ] simplifiying candidate # 8.843 * * * * [progress]: [ 21 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 22 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 23 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 24 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 25 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 26 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 27 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 28 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 29 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 30 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 31 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 32 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 33 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 34 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 35 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 36 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 37 / 77 ] simplifiying candidate #real (real->posit16 (- (log1p n) (log n)))) (log1p n)) -1))> 8.844 * * * * [progress]: [ 38 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 39 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 40 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 41 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 42 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 43 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 44 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 45 / 77 ] simplifiying candidate # 8.844 * * * * [progress]: [ 46 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 47 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 48 / 77 ] simplifiying candidate #real (real->posit16 (fma n (- (log1p n) (log n)) (log1p n)))) -1))> 8.845 * * * * [progress]: [ 49 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 50 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 51 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 52 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 53 / 77 ] simplifiying candidate # 8.845 * * * * [progress]: [ 54 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 55 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 56 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 57 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 58 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 59 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 60 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 61 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 62 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 63 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 64 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 65 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 66 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 67 / 77 ] simplifiying candidate #real (real->posit16 (+ (fma n (- (log1p n) (log n)) (log1p n)) -1))))> 8.846 * * * * [progress]: [ 68 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 69 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 70 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 71 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 72 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 73 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 74 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 75 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 76 / 77 ] simplifiying candidate # 8.846 * * * * [progress]: [ 77 / 77 ] simplifiying candidate # 8.847 * [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.849 * * [simplify]: iteration 1: (144 enodes) 8.908 * * [simplify]: iteration 2: (342 enodes) 9.083 * * [simplify]: iteration 3: (857 enodes) 10.754 * * [simplify]: Extracting #0: cost 58 inf + 0 10.755 * * [simplify]: Extracting #1: cost 340 inf + 0 10.758 * * [simplify]: Extracting #2: cost 747 inf + 3887 10.767 * * [simplify]: Extracting #3: cost 633 inf + 33149 10.810 * * [simplify]: Extracting #4: cost 200 inf + 161952 10.880 * * [simplify]: Extracting #5: cost 6 inf + 235014 10.920 * * [simplify]: Extracting #6: cost 0 inf + 237947 10.982 * [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.992 * * * [progress]: adding candidates to table 11.571 * * [progress]: iteration 2 / 4 11.571 * * * [progress]: picking best candidate 11.575 * * * * [pick]: Picked # 11.575 * * * [progress]: localizing error 11.608 * * * [progress]: generating rewritten candidates 11.608 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 11.614 * * * [progress]: generating series expansions 11.614 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 11.615 * [backup-simplify]: Simplify (/ -1/6 (* n n)) into (/ -1/6 (pow n 2)) 11.615 * [approximate]: Taking taylor expansion of (/ -1/6 (pow n 2)) in (n) around 0 11.615 * [taylor]: Taking taylor expansion of (/ -1/6 (pow n 2)) in n 11.615 * [taylor]: Taking taylor expansion of -1/6 in n 11.615 * [backup-simplify]: Simplify -1/6 into -1/6 11.615 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.615 * [taylor]: Taking taylor expansion of n in n 11.615 * [backup-simplify]: Simplify 0 into 0 11.615 * [backup-simplify]: Simplify 1 into 1 11.615 * [backup-simplify]: Simplify (* 1 1) into 1 11.615 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 11.615 * [taylor]: Taking taylor expansion of (/ -1/6 (pow n 2)) in n 11.615 * [taylor]: Taking taylor expansion of -1/6 in n 11.615 * [backup-simplify]: Simplify -1/6 into -1/6 11.616 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.616 * [taylor]: Taking taylor expansion of n in n 11.616 * [backup-simplify]: Simplify 0 into 0 11.616 * [backup-simplify]: Simplify 1 into 1 11.616 * [backup-simplify]: Simplify (* 1 1) into 1 11.616 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 11.616 * [backup-simplify]: Simplify -1/6 into -1/6 11.617 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 11.617 * [backup-simplify]: Simplify 0 into 0 11.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.618 * [backup-simplify]: Simplify 0 into 0 11.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.619 * [backup-simplify]: Simplify 0 into 0 11.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.621 * [backup-simplify]: Simplify 0 into 0 11.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.622 * [backup-simplify]: Simplify 0 into 0 11.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.624 * [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.624 * [backup-simplify]: Simplify 0 into 0 11.624 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 n) 2)) into (/ -1/6 (pow n 2)) 11.624 * [backup-simplify]: Simplify (/ -1/6 (* (/ 1 n) (/ 1 n))) into (* -1/6 (pow n 2)) 11.624 * [approximate]: Taking taylor expansion of (* -1/6 (pow n 2)) in (n) around 0 11.624 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.624 * [taylor]: Taking taylor expansion of -1/6 in n 11.624 * [backup-simplify]: Simplify -1/6 into -1/6 11.624 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.624 * [taylor]: Taking taylor expansion of n in n 11.624 * [backup-simplify]: Simplify 0 into 0 11.624 * [backup-simplify]: Simplify 1 into 1 11.624 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.624 * [taylor]: Taking taylor expansion of -1/6 in n 11.624 * [backup-simplify]: Simplify -1/6 into -1/6 11.624 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.624 * [taylor]: Taking taylor expansion of n in n 11.624 * [backup-simplify]: Simplify 0 into 0 11.624 * [backup-simplify]: Simplify 1 into 1 11.624 * [backup-simplify]: Simplify (* 1 1) into 1 11.625 * [backup-simplify]: Simplify (* -1/6 1) into -1/6 11.625 * [backup-simplify]: Simplify -1/6 into -1/6 11.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.625 * [backup-simplify]: Simplify (+ (* -1/6 0) (* 0 1)) into 0 11.625 * [backup-simplify]: Simplify 0 into 0 11.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.627 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.627 * [backup-simplify]: Simplify 0 into 0 11.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.628 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.628 * [backup-simplify]: Simplify 0 into 0 11.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.629 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.629 * [backup-simplify]: Simplify 0 into 0 11.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.631 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.631 * [backup-simplify]: Simplify 0 into 0 11.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.633 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.633 * [backup-simplify]: Simplify 0 into 0 11.633 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 n) 2)) into (/ -1/6 (pow n 2)) 11.633 * [backup-simplify]: Simplify (/ -1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* -1/6 (pow n 2)) 11.633 * [approximate]: Taking taylor expansion of (* -1/6 (pow n 2)) in (n) around 0 11.633 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.633 * [taylor]: Taking taylor expansion of -1/6 in n 11.633 * [backup-simplify]: Simplify -1/6 into -1/6 11.633 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.633 * [taylor]: Taking taylor expansion of n in n 11.633 * [backup-simplify]: Simplify 0 into 0 11.633 * [backup-simplify]: Simplify 1 into 1 11.633 * [taylor]: Taking taylor expansion of (* -1/6 (pow n 2)) in n 11.633 * [taylor]: Taking taylor expansion of -1/6 in n 11.633 * [backup-simplify]: Simplify -1/6 into -1/6 11.633 * [taylor]: Taking taylor expansion of (pow n 2) in n 11.633 * [taylor]: Taking taylor expansion of n in n 11.633 * [backup-simplify]: Simplify 0 into 0 11.633 * [backup-simplify]: Simplify 1 into 1 11.633 * [backup-simplify]: Simplify (* 1 1) into 1 11.634 * [backup-simplify]: Simplify (* -1/6 1) into -1/6 11.634 * [backup-simplify]: Simplify -1/6 into -1/6 11.634 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.635 * [backup-simplify]: Simplify (+ (* -1/6 0) (* 0 1)) into 0 11.635 * [backup-simplify]: Simplify 0 into 0 11.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.637 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (* 0 1))) into 0 11.637 * [backup-simplify]: Simplify 0 into 0 11.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.639 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.639 * [backup-simplify]: Simplify 0 into 0 11.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.642 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.642 * [backup-simplify]: Simplify 0 into 0 11.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.645 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.645 * [backup-simplify]: Simplify 0 into 0 11.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.649 * [backup-simplify]: Simplify (+ (* -1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.649 * [backup-simplify]: Simplify 0 into 0 11.649 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (- n)) 2)) into (/ -1/6 (pow n 2)) 11.649 * * * [progress]: simplifying candidates 11.649 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 11.649 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 11.650 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #real (real->posit16 (/ -1/6 (* n n)))))))> 11.651 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 11.651 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 11.651 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 11.651 * [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.652 * * [simplify]: iteration 1: (46 enodes) 11.671 * * [simplify]: iteration 2: (104 enodes) 11.696 * * [simplify]: iteration 3: (277 enodes) 11.886 * * [simplify]: iteration 4: (900 enodes) 13.823 * * [simplify]: Extracting #0: cost 21 inf + 0 13.823 * * [simplify]: Extracting #1: cost 317 inf + 1 13.827 * * [simplify]: Extracting #2: cost 582 inf + 7636 13.844 * * [simplify]: Extracting #3: cost 50 inf + 74524 13.872 * * [simplify]: Extracting #4: cost 2 inf + 81310 13.895 * * [simplify]: Extracting #5: cost 0 inf + 81754 13.922 * [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) 13.924 * * * [progress]: adding candidates to table 14.104 * [progress]: [Phase 3 of 3] Extracting. 14.107 * [simplify]: Simplifying: (+ (/ 1/2 n) (+ (log n) (/ -1/6 (* n n)))) 14.107 * * [simplify]: iteration 1: (9 enodes) 14.107 * * [simplify]: iteration 2: (11 enodes) 14.107 * * [simplify]: Extracting #0: cost 1 inf + 0 14.108 * * [simplify]: Extracting #1: cost 3 inf + 0 14.108 * * [simplify]: Extracting #2: cost 7 inf + 0 14.108 * * [simplify]: Extracting #3: cost 6 inf + 73 14.108 * * [simplify]: Extracting #4: cost 0 inf + 704 14.108 * [simplify]: Simplified to: (+ (+ (log n) (/ -1/6 (* n n))) (/ 1/2 n)) 19.979 * [regime-testing]: Baseline error score: 0 19.981 * [regime-testing]: Oracle error score: 0 19.981 * [regime-testing]: End program error score: 0 20.383 * [regime-testing]: Target error score: 0