1536752181.827 * [misc]progress: [Phase 1 of 3] Setting up. 1536752181.827 * * * [misc]progress: [1/2] Preparing points 1536752181.827 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536752181.829 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536752181.831 * * * * [misc]points: Setting MPFR precision to 64 1536752181.831 * * * * [misc]points: Setting MPFR precision to 320 1536752181.832 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536752181.834 * * * * [misc]points: Setting MPFR precision to 64 1536752181.835 * * * * [misc]points: Setting MPFR precision to 320 1536752181.837 * * * * [misc]points: Setting MPFR precision to 576 1536752181.839 * * * * [misc]points: Setting MPFR precision to 832 1536752181.848 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.853 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536752181.856 * * * * [misc]points: Setting MPFR precision to 832 1536752181.859 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.863 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.868 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536752181.870 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.877 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.884 * * * * [misc]points: Computing exacts for 256 points 1536752181.887 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.912 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.937 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752181.937 * * * * [misc]points: Sampling 136 additional inputs, on iter 1 have 120 / 256 1536752181.938 * * * * [misc]points: Computing exacts on every 8 of 136 points to ramp up precision 1536752181.940 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.941 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.942 * * * * [misc]points: Computing exacts on every 4 of 136 points to ramp up precision 1536752181.944 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.946 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.948 * * * * [misc]points: Computing exacts on every 2 of 136 points to ramp up precision 1536752181.951 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.954 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.957 * * * * [misc]points: Computing exacts for 136 points 1536752181.959 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.969 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752181.980 * * * * [misc]points: Sampling 66 additional inputs, on iter 2 have 190 / 256 1536752181.980 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1536752181.982 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.984 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.987 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1536752181.990 * * * * [misc]points: Setting MPFR precision to 1088 1536752181.993 * * * * [misc]points: Setting MPFR precision to 1344 1536752181.996 * * * * [misc]points: Computing exacts for 66 points 1536752181.999 * * * * [misc]points: Setting MPFR precision to 1088 1536752182.007 * * * * [misc]points: Setting MPFR precision to 1344 1536752182.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752182.016 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1536752182.016 * * * * [misc]points: Computing exacts for 31 points 1536752182.019 * * * * [misc]points: Setting MPFR precision to 1088 1536752182.023 * * * * [misc]points: Setting MPFR precision to 1344 1536752182.026 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752182.026 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1536752182.026 * * * * [misc]points: Computing exacts for 15 points 1536752182.029 * * * * [misc]points: Setting MPFR precision to 1088 1536752182.031 * * * * [misc]points: Setting MPFR precision to 1344 1536752182.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752182.033 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1536752182.033 * * * * [misc]points: Computing exacts for 8 points 1536752182.036 * * * * [misc]points: Setting MPFR precision to 1088 1536752182.037 * * * * [misc]points: Setting MPFR precision to 1344 1536752182.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752182.038 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1536752182.038 * * * * [misc]points: Computing exacts for 5 points 1536752182.041 * * * * [misc]points: Setting MPFR precision to 1088 1536752182.041 * * * * [misc]points: Setting MPFR precision to 1344 1536752182.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752182.058 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1536752182.058 * * * * [misc]points: Computing exacts for 4 points 1536752182.064 * * * * [misc]points: Setting MPFR precision to 1088 1536752182.064 * * * * [misc]points: Setting MPFR precision to 1344 1536752182.065 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752182.065 * * * * [exit]points: Sampled 256 points with exact outputs 1536752182.065 * * * [misc]progress: [2/2] Setting up program. 1536752182.072 * [misc]progress: [Phase 2 of 3] Improving. 1536752182.072 * [enter]simplify: Simplifying (- (log (+ N 1)) (log N)) 1536752182.073 * * [misc]simplify: iters left: 5 (6 enodes) 1536752182.076 * * [misc]simplify: iters left: 4 (11 enodes) 1536752182.080 * * [misc]simplify: iters left: 3 (13 enodes) 1536752182.083 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.097 * * [misc]progress: iteration 1 / 4 1536752182.097 * * * [misc]progress: picking best candidate 1536752182.103 * * * * [misc]pick: Picked # 1536752182.103 * * * [misc]progress: localizing error 1536752182.158 * * * [misc]progress: generating rewritten candidates 1536752182.158 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536752182.200 * * * [misc]progress: generating series expansions 1536752182.201 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536752182.201 * [misc]backup-simplify: Simplify (- (log1p N) (log N)) into (- (log1p N) (log N)) 1536752182.201 * [misc]approximate: Taking taylor expansion of (- (log1p N) (log N)) in (N) around 0 1536752182.201 * [misc]taylor: Taking taylor expansion of (- (log1p N) (log N)) in N 1536752182.201 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752182.201 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752182.201 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752182.201 * [misc]taylor: Taking taylor expansion of 1 in N 1536752182.201 * [misc]backup-simplify: Simplify 1 into 1 1536752182.201 * [misc]taylor: Taking taylor expansion of N in N 1536752182.201 * [misc]backup-simplify: Simplify 0 into 0 1536752182.201 * [misc]backup-simplify: Simplify 1 into 1 1536752182.202 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752182.202 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.202 * [misc]taylor: Taking taylor expansion of (log N) in N 1536752182.202 * [misc]taylor: Taking taylor expansion of N in N 1536752182.202 * [misc]backup-simplify: Simplify 0 into 0 1536752182.202 * [misc]backup-simplify: Simplify 1 into 1 1536752182.202 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.202 * [misc]taylor: Taking taylor expansion of (- (log1p N) (log N)) in N 1536752182.202 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752182.202 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752182.202 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752182.202 * [misc]taylor: Taking taylor expansion of 1 in N 1536752182.202 * [misc]backup-simplify: Simplify 1 into 1 1536752182.202 * [misc]taylor: Taking taylor expansion of N in N 1536752182.202 * [misc]backup-simplify: Simplify 0 into 0 1536752182.202 * [misc]backup-simplify: Simplify 1 into 1 1536752182.203 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752182.203 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.203 * [misc]taylor: Taking taylor expansion of (log N) in N 1536752182.203 * [misc]taylor: Taking taylor expansion of N in N 1536752182.203 * [misc]backup-simplify: Simplify 0 into 0 1536752182.203 * [misc]backup-simplify: Simplify 1 into 1 1536752182.203 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.204 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1536752182.204 * [misc]backup-simplify: Simplify (- (log N)) into (- (log N)) 1536752182.204 * [misc]backup-simplify: Simplify (+ 0 (- (log N))) into (- (log N)) 1536752182.204 * [misc]backup-simplify: Simplify (- (log N)) into (- (log N)) 1536752182.204 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752182.207 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752182.218 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1536752182.218 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.218 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752182.218 * [misc]backup-simplify: Simplify 1 into 1 1536752182.219 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752182.224 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752182.229 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1536752182.229 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.229 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536752182.229 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752182.229 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 1536752182.229 * [misc]backup-simplify: Simplify (- (log1p (/ 1 N)) (log (/ 1 N))) into (- (log1p (/ 1 N)) (log (/ 1 N))) 1536752182.229 * [misc]approximate: Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in (N) around 0 1536752182.229 * [misc]taylor: Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N 1536752182.230 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752182.230 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752182.230 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752182.230 * [misc]taylor: Taking taylor expansion of 1 in N 1536752182.230 * [misc]backup-simplify: Simplify 1 into 1 1536752182.230 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752182.230 * [misc]taylor: Taking taylor expansion of N in N 1536752182.230 * [misc]backup-simplify: Simplify 0 into 0 1536752182.230 * [misc]backup-simplify: Simplify 1 into 1 1536752182.230 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752182.230 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752182.230 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.230 * [misc]taylor: Taking taylor expansion of (log (/ 1 N)) in N 1536752182.230 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752182.230 * [misc]taylor: Taking taylor expansion of N in N 1536752182.230 * [misc]backup-simplify: Simplify 0 into 0 1536752182.230 * [misc]backup-simplify: Simplify 1 into 1 1536752182.230 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752182.231 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.231 * [misc]taylor: Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N 1536752182.231 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752182.231 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752182.231 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752182.231 * [misc]taylor: Taking taylor expansion of 1 in N 1536752182.231 * [misc]backup-simplify: Simplify 1 into 1 1536752182.231 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752182.231 * [misc]taylor: Taking taylor expansion of N in N 1536752182.231 * [misc]backup-simplify: Simplify 0 into 0 1536752182.231 * [misc]backup-simplify: Simplify 1 into 1 1536752182.231 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752182.231 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752182.231 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.231 * [misc]taylor: Taking taylor expansion of (log (/ 1 N)) in N 1536752182.232 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752182.232 * [misc]taylor: Taking taylor expansion of N in N 1536752182.232 * [misc]backup-simplify: Simplify 0 into 0 1536752182.232 * [misc]backup-simplify: Simplify 1 into 1 1536752182.232 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752182.232 * [misc]backup-simplify: Simplify (log 1) into 0 1536752182.232 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752182.232 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752182.233 * [misc]backup-simplify: Simplify (- (- (log N))) into (log N) 1536752182.233 * [misc]backup-simplify: Simplify (+ (- (log N)) (log N)) into 0 1536752182.233 * [misc]backup-simplify: Simplify 0 into 0 1536752182.233 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752182.233 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752182.236 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752182.236 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752182.238 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1536752182.238 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.239 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752182.239 * [misc]backup-simplify: Simplify 1 into 1 1536752182.239 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.239 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752182.243 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752182.244 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.248 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1536752182.248 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.248 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536752182.248 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752182.249 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.249 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752182.256 * [misc]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 1536752182.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.263 * [misc]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 1536752182.264 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.264 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752182.264 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752182.265 * [misc]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)))) 1536752182.265 * [misc]backup-simplify: Simplify (- (log1p (/ 1 (- N))) (log (/ 1 (- N)))) into (- (log1p (/ -1 N)) (log (/ -1 N))) 1536752182.265 * [misc]approximate: Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in (N) around 0 1536752182.265 * [misc]taylor: Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N 1536752182.265 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752182.265 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752182.265 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752182.265 * [misc]taylor: Taking taylor expansion of 1 in N 1536752182.265 * [misc]backup-simplify: Simplify 1 into 1 1536752182.265 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752182.265 * [misc]taylor: Taking taylor expansion of -1 in N 1536752182.265 * [misc]backup-simplify: Simplify -1 into -1 1536752182.265 * [misc]taylor: Taking taylor expansion of N in N 1536752182.265 * [misc]backup-simplify: Simplify 0 into 0 1536752182.265 * [misc]backup-simplify: Simplify 1 into 1 1536752182.265 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752182.266 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752182.266 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752182.266 * [misc]taylor: Taking taylor expansion of (log (/ -1 N)) in N 1536752182.266 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752182.266 * [misc]taylor: Taking taylor expansion of -1 in N 1536752182.266 * [misc]backup-simplify: Simplify -1 into -1 1536752182.266 * [misc]taylor: Taking taylor expansion of N in N 1536752182.266 * [misc]backup-simplify: Simplify 0 into 0 1536752182.266 * [misc]backup-simplify: Simplify 1 into 1 1536752182.266 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752182.266 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752182.266 * [misc]taylor: Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N 1536752182.266 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752182.266 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752182.266 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752182.266 * [misc]taylor: Taking taylor expansion of 1 in N 1536752182.266 * [misc]backup-simplify: Simplify 1 into 1 1536752182.266 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752182.267 * [misc]taylor: Taking taylor expansion of -1 in N 1536752182.267 * [misc]backup-simplify: Simplify -1 into -1 1536752182.267 * [misc]taylor: Taking taylor expansion of N in N 1536752182.267 * [misc]backup-simplify: Simplify 0 into 0 1536752182.267 * [misc]backup-simplify: Simplify 1 into 1 1536752182.267 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752182.267 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752182.267 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752182.267 * [misc]taylor: Taking taylor expansion of (log (/ -1 N)) in N 1536752182.267 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752182.267 * [misc]taylor: Taking taylor expansion of -1 in N 1536752182.267 * [misc]backup-simplify: Simplify -1 into -1 1536752182.267 * [misc]taylor: Taking taylor expansion of N in N 1536752182.267 * [misc]backup-simplify: Simplify 0 into 0 1536752182.267 * [misc]backup-simplify: Simplify 1 into 1 1536752182.267 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752182.268 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752182.268 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752182.268 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752182.269 * [misc]backup-simplify: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 1536752182.269 * [misc]backup-simplify: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 1536752182.269 * [misc]backup-simplify: Simplify 0 into 0 1536752182.269 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752182.270 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752182.273 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752182.273 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752182.276 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1536752182.276 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.276 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1536752182.276 * [misc]backup-simplify: Simplify -1 into -1 1536752182.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.276 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752182.281 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1536752182.281 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.286 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1536752182.286 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.286 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536752182.286 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752182.287 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.287 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752182.294 * [misc]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 1536752182.294 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752182.301 * [misc]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 1536752182.301 * [misc]backup-simplify: Simplify (- 0) into 0 1536752182.301 * [misc]backup-simplify: Simplify (+ -1/3 0) into -1/3 1536752182.301 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752182.302 * [misc]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)))) 1536752182.302 * * * [misc]progress: simplifying candidates 1536752182.302 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1536752182.302 * [enter]simplify: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) 1536752182.304 * * [misc]simplify: iters left: 6 (10 enodes) 1536752182.308 * * [misc]simplify: iters left: 5 (19 enodes) 1536752182.316 * * [misc]simplify: iters left: 4 (26 enodes) 1536752182.327 * * [misc]simplify: iters left: 3 (32 enodes) 1536752182.335 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.335 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))) 1536752182.335 * [enter]simplify: Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))) 1536752182.336 * * [misc]simplify: iters left: 6 (7 enodes) 1536752182.339 * * [misc]simplify: iters left: 5 (12 enodes) 1536752182.344 * * [misc]simplify: iters left: 4 (19 enodes) 1536752182.354 * * [misc]simplify: iters left: 3 (38 enodes) 1536752182.367 * * [misc]simplify: iters left: 2 (46 enodes) 1536752182.377 * [exit]simplify: Simplified to 0 1536752182.377 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1536752182.377 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1536752182.377 * [enter]simplify: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N))))) 1536752182.378 * * [misc]simplify: iters left: 6 (9 enodes) 1536752182.382 * * [misc]simplify: iters left: 5 (14 enodes) 1536752182.386 * * [misc]simplify: iters left: 4 (18 enodes) 1536752182.389 * * [misc]simplify: iters left: 3 (23 enodes) 1536752182.392 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.392 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))))) 1536752182.392 * [enter]simplify: Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))) 1536752182.393 * * [misc]simplify: iters left: 5 (6 enodes) 1536752182.394 * * [misc]simplify: iters left: 4 (8 enodes) 1536752182.395 * * [misc]simplify: iters left: 3 (14 enodes) 1536752182.398 * * [misc]simplify: iters left: 2 (20 enodes) 1536752182.400 * * [misc]simplify: iters left: 1 (22 enodes) 1536752182.402 * [exit]simplify: Simplified to 0 1536752182.402 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1536752182.402 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1536752182.402 * [enter]simplify: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (log N) 1))) 1536752182.403 * * [misc]simplify: iters left: 6 (9 enodes) 1536752182.405 * * [misc]simplify: iters left: 5 (19 enodes) 1536752182.409 * * [misc]simplify: iters left: 4 (26 enodes) 1536752182.415 * * [misc]simplify: iters left: 3 (37 enodes) 1536752182.423 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.423 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 1536752182.424 * [enter]simplify: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 1536752182.424 * * [misc]simplify: iters left: 4 (6 enodes) 1536752182.427 * * [misc]simplify: iters left: 3 (11 enodes) 1536752182.433 * * [misc]simplify: iters left: 2 (21 enodes) 1536752182.441 * * [misc]simplify: iters left: 1 (30 enodes) 1536752182.448 * [exit]simplify: Simplified to (fma -1 (log N) (log N)) 1536752182.448 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N)))) 1536752182.448 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1536752182.449 * [enter]simplify: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) 1536752182.450 * * [misc]simplify: iters left: 6 (9 enodes) 1536752182.454 * * [misc]simplify: iters left: 5 (18 enodes) 1536752182.461 * * [misc]simplify: iters left: 4 (24 enodes) 1536752182.469 * * [misc]simplify: iters left: 3 (29 enodes) 1536752182.476 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.476 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))) 1536752182.476 * [enter]simplify: Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))) 1536752182.476 * * [misc]simplify: iters left: 6 (7 enodes) 1536752182.478 * * [misc]simplify: iters left: 5 (12 enodes) 1536752182.480 * * [misc]simplify: iters left: 4 (19 enodes) 1536752182.488 * * [misc]simplify: iters left: 3 (38 enodes) 1536752182.494 * * [misc]simplify: iters left: 2 (46 enodes) 1536752182.498 * [exit]simplify: Simplified to 0 1536752182.498 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1536752182.498 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1536752182.498 * [enter]simplify: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N))))) 1536752182.499 * * [misc]simplify: iters left: 6 (8 enodes) 1536752182.501 * * [misc]simplify: iters left: 5 (13 enodes) 1536752182.503 * * [misc]simplify: iters left: 4 (16 enodes) 1536752182.506 * * [misc]simplify: iters left: 3 (22 enodes) 1536752182.509 * * [misc]simplify: iters left: 2 (25 enodes) 1536752182.513 * * [misc]simplify: iters left: 1 (40 enodes) 1536752182.524 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.525 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))))) 1536752182.525 * [enter]simplify: Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))) 1536752182.525 * * [misc]simplify: iters left: 5 (6 enodes) 1536752182.526 * * [misc]simplify: iters left: 4 (8 enodes) 1536752182.528 * * [misc]simplify: iters left: 3 (14 enodes) 1536752182.531 * * [misc]simplify: iters left: 2 (20 enodes) 1536752182.533 * * [misc]simplify: iters left: 1 (22 enodes) 1536752182.535 * [exit]simplify: Simplified to 0 1536752182.535 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1536752182.535 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1536752182.535 * [enter]simplify: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (log N) 1))) 1536752182.535 * * [misc]simplify: iters left: 6 (8 enodes) 1536752182.538 * * [misc]simplify: iters left: 5 (18 enodes) 1536752182.541 * * [misc]simplify: iters left: 4 (24 enodes) 1536752182.547 * * [misc]simplify: iters left: 3 (33 enodes) 1536752182.550 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.550 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 1536752182.550 * [enter]simplify: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 1536752182.550 * * [misc]simplify: iters left: 4 (6 enodes) 1536752182.552 * * [misc]simplify: iters left: 3 (11 enodes) 1536752182.558 * * [misc]simplify: iters left: 2 (21 enodes) 1536752182.562 * * [misc]simplify: iters left: 1 (30 enodes) 1536752182.567 * [exit]simplify: Simplified to (fma -1 (log N) (log N)) 1536752182.567 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N)))) 1536752182.567 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1536752182.568 * [enter]simplify: Simplifying (fma 1 (log1p N) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) 1536752182.568 * * [misc]simplify: iters left: 6 (9 enodes) 1536752182.570 * * [misc]simplify: iters left: 5 (20 enodes) 1536752182.574 * * [misc]simplify: iters left: 4 (27 enodes) 1536752182.580 * * [misc]simplify: iters left: 3 (36 enodes) 1536752182.584 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.584 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))) 1536752182.584 * [enter]simplify: Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))) 1536752182.584 * * [misc]simplify: iters left: 6 (7 enodes) 1536752182.586 * * [misc]simplify: iters left: 5 (12 enodes) 1536752182.589 * * [misc]simplify: iters left: 4 (19 enodes) 1536752182.595 * * [misc]simplify: iters left: 3 (38 enodes) 1536752182.602 * * [misc]simplify: iters left: 2 (46 enodes) 1536752182.606 * [exit]simplify: Simplified to 0 1536752182.606 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1536752182.606 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1536752182.606 * [enter]simplify: Simplifying (fma 1 (log1p N) (- (* (sqrt (log N)) (sqrt (log N))))) 1536752182.607 * * [misc]simplify: iters left: 6 (8 enodes) 1536752182.610 * * [misc]simplify: iters left: 5 (15 enodes) 1536752182.614 * * [misc]simplify: iters left: 4 (19 enodes) 1536752182.621 * * [misc]simplify: iters left: 3 (26 enodes) 1536752182.627 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.627 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))))) 1536752182.627 * [enter]simplify: Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))) 1536752182.628 * * [misc]simplify: iters left: 5 (6 enodes) 1536752182.629 * * [misc]simplify: iters left: 4 (8 enodes) 1536752182.631 * * [misc]simplify: iters left: 3 (14 enodes) 1536752182.633 * * [misc]simplify: iters left: 2 (20 enodes) 1536752182.636 * * [misc]simplify: iters left: 1 (22 enodes) 1536752182.638 * [exit]simplify: Simplified to 0 1536752182.638 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1536752182.638 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1536752182.638 * [enter]simplify: Simplifying (fma 1 (log1p N) (- (* (log N) 1))) 1536752182.638 * * [misc]simplify: iters left: 6 (7 enodes) 1536752182.641 * * [misc]simplify: iters left: 5 (17 enodes) 1536752182.644 * * [misc]simplify: iters left: 4 (24 enodes) 1536752182.650 * * [misc]simplify: iters left: 3 (36 enodes) 1536752182.656 * * [misc]simplify: iters left: 2 (39 enodes) 1536752182.660 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.660 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 1536752182.660 * [enter]simplify: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 1536752182.661 * * [misc]simplify: iters left: 4 (6 enodes) 1536752182.662 * * [misc]simplify: iters left: 3 (11 enodes) 1536752182.665 * * [misc]simplify: iters left: 2 (21 enodes) 1536752182.669 * * [misc]simplify: iters left: 1 (30 enodes) 1536752182.674 * [exit]simplify: Simplified to (fma -1 (log N) (log N)) 1536752182.674 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N)))) 1536752182.674 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1536752182.674 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1536752182.674 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1536752182.674 * [enter]simplify: Simplifying (* (cbrt (log1p N)) (cbrt (log1p N))) 1536752182.675 * * [misc]simplify: iters left: 4 (4 enodes) 1536752182.676 * [exit]simplify: Simplified to (* (cbrt (log1p N)) (cbrt (log1p N))) 1536752182.676 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (log N)))) 1536752182.677 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1536752182.677 * [enter]simplify: Simplifying (sqrt (log1p N)) 1536752182.677 * * [misc]simplify: iters left: 2 (3 enodes) 1536752182.678 * [exit]simplify: Simplified to (sqrt (log1p N)) 1536752182.678 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N)))) 1536752182.678 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1536752182.678 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1536752182.678 * [enter]simplify: Simplifying (/ (+ 1 N) N) 1536752182.679 * * [misc]simplify: iters left: 4 (4 enodes) 1536752182.680 * * [misc]simplify: iters left: 3 (7 enodes) 1536752182.681 * [exit]simplify: Simplified to (/ (+ N 1) N) 1536752182.681 * [misc]simplify: Simplified (2 1) to (λ (N) (log (/ (+ N 1) N))) 1536752182.681 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1536752182.681 * [enter]simplify: Simplifying (/ (exp (log1p N)) N) 1536752182.681 * * [misc]simplify: iters left: 4 (4 enodes) 1536752182.682 * [exit]simplify: Simplified to (/ (exp (log1p N)) N) 1536752182.682 * [misc]simplify: Simplified (2 1) to (λ (N) (log (/ (exp (log1p N)) N))) 1536752182.682 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1536752182.682 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1536752182.683 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1536752182.683 * [enter]simplify: Simplifying (+ (sqrt (log1p N)) (sqrt (log N))) 1536752182.683 * * [misc]simplify: iters left: 4 (6 enodes) 1536752182.684 * * [misc]simplify: iters left: 3 (7 enodes) 1536752182.685 * [exit]simplify: Simplified to (+ (sqrt (log1p N)) (sqrt (log N))) 1536752182.685 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N))))) 1536752182.686 * [enter]simplify: Simplifying (- (sqrt (log1p N)) (sqrt (log N))) 1536752182.686 * * [misc]simplify: iters left: 4 (6 enodes) 1536752182.687 * * [misc]simplify: iters left: 3 (8 enodes) 1536752182.688 * * [misc]simplify: iters left: 2 (9 enodes) 1536752182.690 * [exit]simplify: Simplified to (- (sqrt (log1p N)) (sqrt (log N))) 1536752182.690 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N))))) 1536752182.690 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1536752182.690 * [enter]simplify: Simplifying (- (log1p N) (log N)) 1536752182.690 * * [misc]simplify: iters left: 3 (4 enodes) 1536752182.691 * * [misc]simplify: iters left: 2 (6 enodes) 1536752182.692 * * [misc]simplify: iters left: 1 (7 enodes) 1536752182.693 * [exit]simplify: Simplified to (- (log1p N) (log N)) 1536752182.693 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (log1p N) (log N)))) 1536752182.693 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1536752182.693 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1536752182.694 * [enter]simplify: Simplifying (- N (+ (log N) (* 1/2 (pow N 2)))) 1536752182.694 * * [misc]simplify: iters left: 6 (8 enodes) 1536752182.696 * * [misc]simplify: iters left: 5 (15 enodes) 1536752182.700 * * [misc]simplify: iters left: 4 (29 enodes) 1536752182.708 * * [misc]simplify: iters left: 3 (55 enodes) 1536752182.724 * * [misc]simplify: iters left: 2 (104 enodes) 1536752182.750 * * [misc]simplify: iters left: 1 (143 enodes) 1536752182.788 * [exit]simplify: Simplified to (fma (* N -1/2) N (- N (log N))) 1536752182.788 * [misc]simplify: Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N)))) 1536752182.788 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1536752182.788 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 1536752182.789 * * [misc]simplify: iters left: 6 (15 enodes) 1536752182.795 * * [misc]simplify: iters left: 5 (32 enodes) 1536752182.804 * * [misc]simplify: iters left: 4 (61 enodes) 1536752182.835 * * [misc]simplify: iters left: 3 (103 enodes) 1536752182.865 * * [misc]simplify: iters left: 2 (168 enodes) 1536752182.905 * * [misc]simplify: iters left: 1 (248 enodes) 1536752183.002 * [exit]simplify: Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1536752183.002 * [misc]simplify: Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752183.002 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1536752183.003 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 1536752183.004 * * [misc]simplify: iters left: 6 (15 enodes) 1536752183.008 * * [misc]simplify: iters left: 5 (32 enodes) 1536752183.018 * * [misc]simplify: iters left: 4 (61 enodes) 1536752183.033 * * [misc]simplify: iters left: 3 (103 enodes) 1536752183.061 * * [misc]simplify: iters left: 2 (168 enodes) 1536752183.111 * * [misc]simplify: iters left: 1 (248 enodes) 1536752183.242 * [exit]simplify: Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1536752183.242 * [misc]simplify: Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752183.242 * * * [misc]progress: adding candidates to table 1536752183.607 * * [misc]progress: iteration 2 / 4 1536752183.607 * * * [misc]progress: picking best candidate 1536752183.617 * * * * [misc]pick: Picked # 1536752183.617 * * * [misc]progress: localizing error 1536752183.628 * * * [misc]progress: generating rewritten candidates 1536752183.629 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1536752183.630 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2) 1536752183.634 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1536752183.639 * * * [misc]progress: generating series expansions 1536752183.639 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1536752183.639 * [misc]backup-simplify: Simplify (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))) into (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))) 1536752183.639 * [misc]approximate: Taking taylor expansion of (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))) in (N) around 0 1536752183.639 * [misc]taylor: Taking taylor expansion of (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))) in N 1536752183.639 * [misc]taylor: Rewrote expression to (+ (* (sqrt (log1p N)) (sqrt (log1p N))) (- (log N))) 1536752183.639 * [misc]taylor: Taking taylor expansion of (* (sqrt (log1p N)) (sqrt (log1p N))) in N 1536752183.639 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.639 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.639 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.639 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.639 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.639 * [misc]backup-simplify: Simplify 1 into 1 1536752183.639 * [misc]taylor: Taking taylor expansion of N in N 1536752183.639 * [misc]backup-simplify: Simplify 0 into 0 1536752183.639 * [misc]backup-simplify: Simplify 1 into 1 1536752183.639 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.639 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.640 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.641 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.641 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.642 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.642 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.642 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.642 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.642 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.642 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.642 * [misc]backup-simplify: Simplify 1 into 1 1536752183.642 * [misc]taylor: Taking taylor expansion of N in N 1536752183.642 * [misc]backup-simplify: Simplify 0 into 0 1536752183.642 * [misc]backup-simplify: Simplify 1 into 1 1536752183.642 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.642 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.642 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.644 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.644 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.644 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.644 * [misc]taylor: Taking taylor expansion of (- (log N)) in N 1536752183.644 * [misc]taylor: Taking taylor expansion of (log N) in N 1536752183.644 * [misc]taylor: Taking taylor expansion of N in N 1536752183.644 * [misc]backup-simplify: Simplify 0 into 0 1536752183.644 * [misc]backup-simplify: Simplify 1 into 1 1536752183.644 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.644 * [misc]taylor: Taking taylor expansion of (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))) in N 1536752183.644 * [misc]taylor: Rewrote expression to (+ (* (sqrt (log1p N)) (sqrt (log1p N))) (- (log N))) 1536752183.644 * [misc]taylor: Taking taylor expansion of (* (sqrt (log1p N)) (sqrt (log1p N))) in N 1536752183.644 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.644 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.644 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.644 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.645 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.645 * [misc]backup-simplify: Simplify 1 into 1 1536752183.645 * [misc]taylor: Taking taylor expansion of N in N 1536752183.645 * [misc]backup-simplify: Simplify 0 into 0 1536752183.645 * [misc]backup-simplify: Simplify 1 into 1 1536752183.645 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.645 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.645 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.646 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.646 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.647 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.647 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.647 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.647 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.647 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.647 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.647 * [misc]backup-simplify: Simplify 1 into 1 1536752183.647 * [misc]taylor: Taking taylor expansion of N in N 1536752183.647 * [misc]backup-simplify: Simplify 0 into 0 1536752183.647 * [misc]backup-simplify: Simplify 1 into 1 1536752183.647 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.647 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.647 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.649 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.649 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.649 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.649 * [misc]taylor: Taking taylor expansion of (- (log N)) in N 1536752183.649 * [misc]taylor: Taking taylor expansion of (log N) in N 1536752183.649 * [misc]taylor: Taking taylor expansion of N in N 1536752183.649 * [misc]backup-simplify: Simplify 0 into 0 1536752183.649 * [misc]backup-simplify: Simplify 1 into 1 1536752183.649 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.649 * [misc]backup-simplify: Simplify (* 0 0) into 0 1536752183.649 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1536752183.650 * [misc]backup-simplify: Simplify (- (log N)) into (- (log N)) 1536752183.650 * [misc]backup-simplify: Simplify (+ 0 (- (log N))) into (- (log N)) 1536752183.650 * [misc]backup-simplify: Simplify (- (log N)) into (- (log N)) 1536752183.650 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 1536752183.651 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1536752183.651 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.651 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.652 * [misc]backup-simplify: Simplify 0 into 0 1536752183.652 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.656 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.658 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536752183.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.662 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.663 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536752183.664 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 1536752183.668 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1536752183.669 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.669 * [misc]backup-simplify: Simplify (+ (- +nan.0) 0) into (- +nan.0) 1536752183.669 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536752183.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.677 * [misc]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 1536752183.678 * [misc]backup-simplify: Simplify (/ (- 1/3 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536752183.678 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.685 * [misc]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 1536752183.686 * [misc]backup-simplify: Simplify (/ (- 1/3 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536752183.688 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 1536752183.695 * [misc]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 1536752183.696 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.696 * [misc]backup-simplify: Simplify (+ (- +nan.0) 0) into (- +nan.0) 1536752183.696 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1536752183.697 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (pow N 3)) (+ (* (- +nan.0) (pow N 2)) (- (log N)))) into (- (+ (* +nan.0 (pow N 2)) (- (log N) (* +nan.0 (pow N 3))))) 1536752183.697 * [misc]backup-simplify: Simplify (fma (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N))) (- (log (/ 1 N)))) into (fma (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N))) (- (log (/ 1 N)))) 1536752183.697 * [misc]approximate: Taking taylor expansion of (fma (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N))) (- (log (/ 1 N)))) in (N) around 0 1536752183.697 * [misc]taylor: Taking taylor expansion of (fma (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N))) (- (log (/ 1 N)))) in N 1536752183.697 * [misc]taylor: Rewrote expression to (+ (* (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N)))) (- (log (/ 1 N)))) 1536752183.697 * [misc]taylor: Taking taylor expansion of (* (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N)))) in N 1536752183.697 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.697 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.697 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.697 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.697 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.697 * [misc]backup-simplify: Simplify 1 into 1 1536752183.697 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.697 * [misc]taylor: Taking taylor expansion of N in N 1536752183.697 * [misc]backup-simplify: Simplify 0 into 0 1536752183.697 * [misc]backup-simplify: Simplify 1 into 1 1536752183.698 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.698 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.698 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.698 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.698 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.698 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.699 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.699 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.707 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.708 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.708 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.708 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.708 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.708 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.708 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.708 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.708 * [misc]backup-simplify: Simplify 1 into 1 1536752183.708 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.708 * [misc]taylor: Taking taylor expansion of N in N 1536752183.708 * [misc]backup-simplify: Simplify 0 into 0 1536752183.708 * [misc]backup-simplify: Simplify 1 into 1 1536752183.709 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.709 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.709 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.709 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.709 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.709 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.710 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.710 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.712 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.712 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.713 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.713 * [misc]taylor: Taking taylor expansion of (- (log (/ 1 N))) in N 1536752183.713 * [misc]taylor: Taking taylor expansion of (log (/ 1 N)) in N 1536752183.713 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.713 * [misc]taylor: Taking taylor expansion of N in N 1536752183.713 * [misc]backup-simplify: Simplify 0 into 0 1536752183.713 * [misc]backup-simplify: Simplify 1 into 1 1536752183.713 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.713 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.713 * [misc]taylor: Taking taylor expansion of (fma (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N))) (- (log (/ 1 N)))) in N 1536752183.713 * [misc]taylor: Rewrote expression to (+ (* (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N)))) (- (log (/ 1 N)))) 1536752183.713 * [misc]taylor: Taking taylor expansion of (* (sqrt (log1p (/ 1 N))) (sqrt (log1p (/ 1 N)))) in N 1536752183.713 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.713 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.713 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.713 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.714 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.714 * [misc]backup-simplify: Simplify 1 into 1 1536752183.714 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.714 * [misc]taylor: Taking taylor expansion of N in N 1536752183.714 * [misc]backup-simplify: Simplify 0 into 0 1536752183.714 * [misc]backup-simplify: Simplify 1 into 1 1536752183.714 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.714 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.714 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.714 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.715 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.715 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.715 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.715 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.717 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.718 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.718 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.718 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.718 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.718 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.718 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.718 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.718 * [misc]backup-simplify: Simplify 1 into 1 1536752183.718 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.718 * [misc]taylor: Taking taylor expansion of N in N 1536752183.718 * [misc]backup-simplify: Simplify 0 into 0 1536752183.718 * [misc]backup-simplify: Simplify 1 into 1 1536752183.718 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.718 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.719 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.719 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.719 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.719 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.719 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.719 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.722 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.722 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.722 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.722 * [misc]taylor: Taking taylor expansion of (- (log (/ 1 N))) in N 1536752183.722 * [misc]taylor: Taking taylor expansion of (log (/ 1 N)) in N 1536752183.722 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.722 * [misc]taylor: Taking taylor expansion of N in N 1536752183.722 * [misc]backup-simplify: Simplify 0 into 0 1536752183.722 * [misc]backup-simplify: Simplify 1 into 1 1536752183.722 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.722 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.723 * [misc]backup-simplify: Simplify (* (sqrt (- (log N))) (sqrt (- (log N)))) into (pow (sqrt (- (log N))) 2) 1536752183.723 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.723 * [misc]backup-simplify: Simplify (- (- (log N))) into (log N) 1536752183.724 * [misc]backup-simplify: Simplify (+ (pow (sqrt (- (log N))) 2) (log N)) into (+ (pow (sqrt (- (log N))) 2) (log N)) 1536752183.724 * [misc]backup-simplify: Simplify (+ (pow (sqrt (- (log N))) 2) (log N)) into (+ (pow (sqrt (- (log N))) 2) (log N)) 1536752183.725 * [misc]backup-simplify: Simplify (+ (* (sqrt (- (log N))) (/ 1/2 (sqrt (- (log N))))) (* (/ 1/2 (sqrt (- (log N)))) (sqrt (- (log N))))) into 1 1536752183.725 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.728 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1536752183.728 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.728 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.728 * [misc]backup-simplify: Simplify 1 into 1 1536752183.728 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.734 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.735 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (/ 1/2 (sqrt (- (log N)))) 2) (+)) (* 2 (sqrt (- (log N))))) into (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) 1536752183.735 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.741 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.742 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (/ 1/2 (sqrt (- (log N)))) 2) (+)) (* 2 (sqrt (- (log N))))) into (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) 1536752183.746 * [misc]backup-simplify: Simplify (+ (* (sqrt (- (log N))) (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N)))))) (+ (* (/ 1/2 (sqrt (- (log N)))) (/ 1/2 (sqrt (- (log N))))) (* (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) (sqrt (- (log N)))))) into (- 1/2) 1536752183.747 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.751 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1536752183.751 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.752 * [misc]backup-simplify: Simplify (+ (- 1/2) 0) into -1/2 1536752183.752 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752183.753 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (+ (pow (sqrt (- (log (/ 1 N)))) 2) (log (/ 1 N))))) into (- (+ (log (/ 1 N)) (+ (/ 1 N) (pow (sqrt (- (log (/ 1 N)))) 2))) (* 1/2 (/ 1 (pow N 2)))) 1536752183.753 * [misc]backup-simplify: Simplify (fma (sqrt (log1p (/ 1 (- N)))) (sqrt (log1p (/ 1 (- N)))) (- (log (/ 1 (- N))))) into (fma (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N))) (- (log (/ -1 N)))) 1536752183.753 * [misc]approximate: Taking taylor expansion of (fma (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N))) (- (log (/ -1 N)))) in (N) around 0 1536752183.753 * [misc]taylor: Taking taylor expansion of (fma (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N))) (- (log (/ -1 N)))) in N 1536752183.753 * [misc]taylor: Rewrote expression to (+ (* (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N)))) (- (log (/ -1 N)))) 1536752183.753 * [misc]taylor: Taking taylor expansion of (* (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N)))) in N 1536752183.753 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.753 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.754 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.754 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.754 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.754 * [misc]backup-simplify: Simplify 1 into 1 1536752183.754 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.754 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.754 * [misc]backup-simplify: Simplify -1 into -1 1536752183.754 * [misc]taylor: Taking taylor expansion of N in N 1536752183.754 * [misc]backup-simplify: Simplify 0 into 0 1536752183.754 * [misc]backup-simplify: Simplify 1 into 1 1536752183.754 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.754 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.754 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.755 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.755 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.755 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.756 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.756 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.758 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.759 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.759 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.759 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.759 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.759 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.759 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.759 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.759 * [misc]backup-simplify: Simplify 1 into 1 1536752183.759 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.759 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.759 * [misc]backup-simplify: Simplify -1 into -1 1536752183.759 * [misc]taylor: Taking taylor expansion of N in N 1536752183.759 * [misc]backup-simplify: Simplify 0 into 0 1536752183.759 * [misc]backup-simplify: Simplify 1 into 1 1536752183.759 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.759 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.760 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.760 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.760 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.760 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.761 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.761 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.763 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.764 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.764 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.764 * [misc]taylor: Taking taylor expansion of (- (log (/ -1 N))) in N 1536752183.764 * [misc]taylor: Taking taylor expansion of (log (/ -1 N)) in N 1536752183.764 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.764 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.764 * [misc]backup-simplify: Simplify -1 into -1 1536752183.764 * [misc]taylor: Taking taylor expansion of N in N 1536752183.764 * [misc]backup-simplify: Simplify 0 into 0 1536752183.764 * [misc]backup-simplify: Simplify 1 into 1 1536752183.764 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.765 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.765 * [misc]taylor: Taking taylor expansion of (fma (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N))) (- (log (/ -1 N)))) in N 1536752183.765 * [misc]taylor: Rewrote expression to (+ (* (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N)))) (- (log (/ -1 N)))) 1536752183.765 * [misc]taylor: Taking taylor expansion of (* (sqrt (log1p (/ -1 N))) (sqrt (log1p (/ -1 N)))) in N 1536752183.765 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.765 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.765 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.765 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.765 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.765 * [misc]backup-simplify: Simplify 1 into 1 1536752183.765 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.765 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.765 * [misc]backup-simplify: Simplify -1 into -1 1536752183.765 * [misc]taylor: Taking taylor expansion of N in N 1536752183.765 * [misc]backup-simplify: Simplify 0 into 0 1536752183.765 * [misc]backup-simplify: Simplify 1 into 1 1536752183.765 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.765 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.766 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.766 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.766 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.767 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.767 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.767 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.770 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.770 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.770 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.770 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.770 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.771 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.771 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.771 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.771 * [misc]backup-simplify: Simplify 1 into 1 1536752183.771 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.771 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.771 * [misc]backup-simplify: Simplify -1 into -1 1536752183.771 * [misc]taylor: Taking taylor expansion of N in N 1536752183.771 * [misc]backup-simplify: Simplify 0 into 0 1536752183.771 * [misc]backup-simplify: Simplify 1 into 1 1536752183.771 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.771 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.771 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.772 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.772 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.772 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.773 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.773 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.775 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.776 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.776 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.776 * [misc]taylor: Taking taylor expansion of (- (log (/ -1 N))) in N 1536752183.776 * [misc]taylor: Taking taylor expansion of (log (/ -1 N)) in N 1536752183.776 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.776 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.776 * [misc]backup-simplify: Simplify -1 into -1 1536752183.776 * [misc]taylor: Taking taylor expansion of N in N 1536752183.776 * [misc]backup-simplify: Simplify 0 into 0 1536752183.777 * [misc]backup-simplify: Simplify 1 into 1 1536752183.777 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.777 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.777 * [misc]backup-simplify: Simplify (* (sqrt (- (log -1) (log N))) (sqrt (- (log -1) (log N)))) into (- (log -1) (log N)) 1536752183.778 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.778 * [misc]backup-simplify: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 1536752183.778 * [misc]backup-simplify: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 1536752183.779 * [misc]backup-simplify: Simplify 0 into 0 1536752183.779 * [misc]backup-simplify: Simplify (+ (* (sqrt (- (log -1) (log N))) (* -1/2 (sqrt (/ 1 (- (log -1) (log N)))))) (* (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) (sqrt (- (log -1) (log N))))) into (- 1) 1536752183.780 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.781 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1536752183.781 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.781 * [misc]backup-simplify: Simplify (+ (- 1) 0) into -1 1536752183.781 * [misc]backup-simplify: Simplify -1 into -1 1536752183.782 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.782 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.784 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1536752183.785 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 2) (+)) (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.785 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.785 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.788 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1536752183.788 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 2) (+)) (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.790 * [misc]backup-simplify: Simplify (+ (* (sqrt (- (log -1) (log N))) (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N))))))) (+ (* (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) (* -1/2 (sqrt (/ 1 (- (log -1) (log N)))))) (* (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) (sqrt (- (log -1) (log N)))))) into (- 1/2) 1536752183.790 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.793 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1536752183.793 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.793 * [misc]backup-simplify: Simplify (+ (- 1/2) 0) into -1/2 1536752183.793 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752183.794 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.794 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.798 * [misc]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 1536752183.799 * [misc]backup-simplify: Simplify (/ (- -1/3 (+ (* 2 (* (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))))))) (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (* (+ (* 1/8 (/ 1 (pow (- (log -1) (log N)) 2))) (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/3)) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.799 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.804 * [misc]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 1536752183.805 * [misc]backup-simplify: Simplify (/ (- -1/3 (+ (* 2 (* (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))))))) (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (* (+ (* 1/8 (/ 1 (pow (- (log -1) (log N)) 2))) (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/3)) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.809 * [misc]backup-simplify: Simplify (+ (* (sqrt (- (log -1) (log N))) (* -1/2 (* (+ (* 1/8 (/ 1 (pow (- (log -1) (log N)) 2))) (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/3)) (sqrt (/ 1 (- (log -1) (log N))))))) (+ (* (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N))))))) (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) (* -1/2 (sqrt (/ 1 (- (log -1) (log N)))))) (* (* -1/2 (* (+ (* 1/8 (/ 1 (pow (- (log -1) (log N)) 2))) (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/3)) (sqrt (/ 1 (- (log -1) (log N)))))) (sqrt (- (log -1) (log N))))))) into (- 1/3) 1536752183.809 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.813 * [misc]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 1536752183.814 * [misc]backup-simplify: Simplify (- 0) into 0 1536752183.814 * [misc]backup-simplify: Simplify (+ (- 1/3) 0) into -1/3 1536752183.814 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752183.814 * [misc]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)))) 1536752183.814 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2) 1536752183.814 * [misc]backup-simplify: Simplify (sqrt (log1p N)) into (sqrt (log1p N)) 1536752183.814 * [misc]approximate: Taking taylor expansion of (sqrt (log1p N)) in (N) around 0 1536752183.814 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.814 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.814 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.814 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.814 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.814 * [misc]backup-simplify: Simplify 1 into 1 1536752183.814 * [misc]taylor: Taking taylor expansion of N in N 1536752183.815 * [misc]backup-simplify: Simplify 0 into 0 1536752183.815 * [misc]backup-simplify: Simplify 1 into 1 1536752183.815 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.815 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.815 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.816 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.816 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.817 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.817 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.817 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.817 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.817 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.817 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.817 * [misc]backup-simplify: Simplify 1 into 1 1536752183.817 * [misc]taylor: Taking taylor expansion of N in N 1536752183.817 * [misc]backup-simplify: Simplify 0 into 0 1536752183.817 * [misc]backup-simplify: Simplify 1 into 1 1536752183.817 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.817 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.817 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.818 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.819 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.819 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.819 * [misc]backup-simplify: Simplify 0 into 0 1536752183.819 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536752183.819 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.822 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.822 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536752183.822 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536752183.823 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.829 * [misc]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 1536752183.831 * [misc]backup-simplify: Simplify (/ (- 1/3 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536752183.831 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536752183.831 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow N 3)) (+ (* +nan.0 (pow N 2)) (* +nan.0 N))) into (- (+ (* +nan.0 (pow N 2)) (- (+ (* +nan.0 N) (- (* +nan.0 (pow N 3))))))) 1536752183.831 * [misc]backup-simplify: Simplify (sqrt (log1p (/ 1 N))) into (sqrt (log1p (/ 1 N))) 1536752183.831 * [misc]approximate: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in (N) around 0 1536752183.831 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.831 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.831 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.832 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.832 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.832 * [misc]backup-simplify: Simplify 1 into 1 1536752183.832 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.832 * [misc]taylor: Taking taylor expansion of N in N 1536752183.832 * [misc]backup-simplify: Simplify 0 into 0 1536752183.832 * [misc]backup-simplify: Simplify 1 into 1 1536752183.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.832 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.832 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.832 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.833 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.833 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.833 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.833 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.836 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.836 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.836 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.837 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.837 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.837 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.837 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.837 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.837 * [misc]backup-simplify: Simplify 1 into 1 1536752183.837 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.837 * [misc]taylor: Taking taylor expansion of N in N 1536752183.837 * [misc]backup-simplify: Simplify 0 into 0 1536752183.837 * [misc]backup-simplify: Simplify 1 into 1 1536752183.837 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.837 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.837 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.838 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.838 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.838 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.838 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.838 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.841 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.841 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.841 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.841 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.842 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt (- (log N)))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.842 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.842 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.850 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.850 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (/ 1/2 (sqrt (- (log N)))) 2) (+)) (* 2 (sqrt (- (log N))))) into (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) 1536752183.851 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) into (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) 1536752183.853 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log (/ 1 N)))) 2)))) (sqrt (- (log (/ 1 N)))))) (pow (/ 1 N) 2)) (+ (* (/ 1/2 (sqrt (- (log (/ 1 N))))) (/ 1 N)) (sqrt (- (log (/ 1 N)))))) into (- (+ (* 1/2 (/ 1 (* N (sqrt (- (log (/ 1 N))))))) (sqrt (- (log (/ 1 N))))) (+ (* 1/8 (/ 1 (* (pow N 2) (pow (sqrt (- (log (/ 1 N)))) 3)))) (* 1/4 (/ 1 (* (pow N 2) (sqrt (- (log (/ 1 N))))))))) 1536752183.854 * [misc]backup-simplify: Simplify (sqrt (log1p (/ 1 (- N)))) into (sqrt (log1p (/ -1 N))) 1536752183.854 * [misc]approximate: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in (N) around 0 1536752183.854 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.854 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.854 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.854 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.854 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.854 * [misc]backup-simplify: Simplify 1 into 1 1536752183.854 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.854 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.854 * [misc]backup-simplify: Simplify -1 into -1 1536752183.854 * [misc]taylor: Taking taylor expansion of N in N 1536752183.854 * [misc]backup-simplify: Simplify 0 into 0 1536752183.854 * [misc]backup-simplify: Simplify 1 into 1 1536752183.854 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.854 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.855 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.855 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.855 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.856 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.856 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.856 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.858 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.859 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.859 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.859 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.859 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.859 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.859 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.859 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.859 * [misc]backup-simplify: Simplify 1 into 1 1536752183.859 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.859 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.859 * [misc]backup-simplify: Simplify -1 into -1 1536752183.859 * [misc]taylor: Taking taylor expansion of N in N 1536752183.859 * [misc]backup-simplify: Simplify 0 into 0 1536752183.859 * [misc]backup-simplify: Simplify 1 into 1 1536752183.860 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.860 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.860 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.860 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.861 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.861 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.861 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.861 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.864 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.864 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.865 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.865 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.865 * [misc]backup-simplify: Simplify (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.866 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.866 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.870 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1536752183.871 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 2) (+)) (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.872 * [misc]backup-simplify: Simplify (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.874 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log (/ 1 (- N)))))) 1/2) (sqrt (/ 1 (- (log -1) (log (/ 1 (- N)))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -1/2 (sqrt (/ 1 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (sqrt (- (log -1) (log (/ 1 (- N))))))) into (- (+ (sqrt (- (log -1) (log (/ -1 N)))) (* 1/2 (* (sqrt (/ 1 (- (log -1) (log (/ -1 N))))) (/ 1 N)))) (+ (* 1/8 (* (sqrt (/ 1 (pow (- (log -1) (log (/ -1 N))) 3))) (/ 1 (pow N 2)))) (* 1/4 (* (/ 1 (pow N 2)) (sqrt (/ 1 (- (log -1) (log (/ -1 N))))))))) 1536752183.874 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1536752183.874 * [misc]backup-simplify: Simplify (sqrt (log1p N)) into (sqrt (log1p N)) 1536752183.874 * [misc]approximate: Taking taylor expansion of (sqrt (log1p N)) in (N) around 0 1536752183.874 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.874 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.874 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.874 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.875 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.875 * [misc]backup-simplify: Simplify 1 into 1 1536752183.875 * [misc]taylor: Taking taylor expansion of N in N 1536752183.875 * [misc]backup-simplify: Simplify 0 into 0 1536752183.875 * [misc]backup-simplify: Simplify 1 into 1 1536752183.875 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.875 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.875 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.878 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.878 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.878 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.878 * [misc]taylor: Taking taylor expansion of (sqrt (log1p N)) in N 1536752183.878 * [misc]taylor: Taking taylor expansion of (log1p N) in N 1536752183.878 * [misc]taylor: Rewrote expression to (log (+ 1 N)) 1536752183.878 * [misc]taylor: Taking taylor expansion of (+ 1 N) in N 1536752183.878 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.878 * [misc]backup-simplify: Simplify 1 into 1 1536752183.878 * [misc]taylor: Taking taylor expansion of N in N 1536752183.878 * [misc]backup-simplify: Simplify 0 into 0 1536752183.879 * [misc]backup-simplify: Simplify 1 into 1 1536752183.879 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.879 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.879 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.881 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.882 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1536752183.882 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1536752183.882 * [misc]backup-simplify: Simplify 0 into 0 1536752183.882 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536752183.882 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.887 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.888 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1536752183.888 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536752183.888 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.896 * [misc]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 1536752183.897 * [misc]backup-simplify: Simplify (/ (- 1/3 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1536752183.897 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1536752183.897 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow N 3)) (+ (* +nan.0 (pow N 2)) (* +nan.0 N))) into (- (+ (* +nan.0 (pow N 2)) (- (+ (* +nan.0 N) (- (* +nan.0 (pow N 3))))))) 1536752183.898 * [misc]backup-simplify: Simplify (sqrt (log1p (/ 1 N))) into (sqrt (log1p (/ 1 N))) 1536752183.898 * [misc]approximate: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in (N) around 0 1536752183.898 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.898 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.898 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.898 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.898 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.898 * [misc]backup-simplify: Simplify 1 into 1 1536752183.898 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.898 * [misc]taylor: Taking taylor expansion of N in N 1536752183.898 * [misc]backup-simplify: Simplify 0 into 0 1536752183.898 * [misc]backup-simplify: Simplify 1 into 1 1536752183.898 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.898 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.899 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.899 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.899 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.899 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.899 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.900 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.902 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.902 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.903 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.903 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ 1 N))) in N 1536752183.903 * [misc]taylor: Taking taylor expansion of (log1p (/ 1 N)) in N 1536752183.903 * [misc]taylor: Rewrote expression to (log (+ 1 (/ 1 N))) 1536752183.903 * [misc]taylor: Taking taylor expansion of (+ 1 (/ 1 N)) in N 1536752183.903 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.903 * [misc]backup-simplify: Simplify 1 into 1 1536752183.903 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752183.903 * [misc]taylor: Taking taylor expansion of N in N 1536752183.903 * [misc]backup-simplify: Simplify 0 into 0 1536752183.903 * [misc]backup-simplify: Simplify 1 into 1 1536752183.903 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752183.903 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752183.903 * [misc]backup-simplify: Simplify (log 1) into 0 1536752183.904 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.904 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.904 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.905 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752183.905 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.907 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1536752183.908 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1536752183.908 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (- (log N))))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.908 * [misc]backup-simplify: Simplify (sqrt (- (log N))) into (sqrt (- (log N))) 1536752183.908 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt (- (log N)))) into (/ 1/2 (sqrt (- (log N)))) 1536752183.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.909 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.913 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1536752183.914 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (/ 1/2 (sqrt (- (log N)))) 2) (+)) (* 2 (sqrt (- (log N))))) into (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) 1536752183.915 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) into (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log N))) 2)))) (sqrt (- (log N))))) 1536752183.918 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ 1/2 (* 1/4 (/ 1 (pow (sqrt (- (log (/ 1 N)))) 2)))) (sqrt (- (log (/ 1 N)))))) (pow (/ 1 N) 2)) (+ (* (/ 1/2 (sqrt (- (log (/ 1 N))))) (/ 1 N)) (sqrt (- (log (/ 1 N)))))) into (- (+ (* 1/2 (/ 1 (* N (sqrt (- (log (/ 1 N))))))) (sqrt (- (log (/ 1 N))))) (+ (* 1/8 (/ 1 (* (pow N 2) (pow (sqrt (- (log (/ 1 N)))) 3)))) (* 1/4 (/ 1 (* (pow N 2) (sqrt (- (log (/ 1 N))))))))) 1536752183.918 * [misc]backup-simplify: Simplify (sqrt (log1p (/ 1 (- N)))) into (sqrt (log1p (/ -1 N))) 1536752183.918 * [misc]approximate: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in (N) around 0 1536752183.918 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.918 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.918 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.918 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.918 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.918 * [misc]backup-simplify: Simplify 1 into 1 1536752183.918 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.918 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.918 * [misc]backup-simplify: Simplify -1 into -1 1536752183.918 * [misc]taylor: Taking taylor expansion of N in N 1536752183.918 * [misc]backup-simplify: Simplify 0 into 0 1536752183.918 * [misc]backup-simplify: Simplify 1 into 1 1536752183.919 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.919 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.919 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.919 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.920 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.920 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.920 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.921 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.923 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.923 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.924 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.924 * [misc]taylor: Taking taylor expansion of (sqrt (log1p (/ -1 N))) in N 1536752183.924 * [misc]taylor: Taking taylor expansion of (log1p (/ -1 N)) in N 1536752183.924 * [misc]taylor: Rewrote expression to (log (+ 1 (/ -1 N))) 1536752183.924 * [misc]taylor: Taking taylor expansion of (+ 1 (/ -1 N)) in N 1536752183.924 * [misc]taylor: Taking taylor expansion of 1 in N 1536752183.924 * [misc]backup-simplify: Simplify 1 into 1 1536752183.924 * [misc]taylor: Taking taylor expansion of (/ -1 N) in N 1536752183.924 * [misc]taylor: Taking taylor expansion of -1 in N 1536752183.924 * [misc]backup-simplify: Simplify -1 into -1 1536752183.924 * [misc]taylor: Taking taylor expansion of N in N 1536752183.924 * [misc]backup-simplify: Simplify 0 into 0 1536752183.924 * [misc]backup-simplify: Simplify 1 into 1 1536752183.924 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536752183.925 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752183.925 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1536752183.925 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.925 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.926 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.926 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536752183.926 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536752183.929 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1536752183.929 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1536752183.929 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.930 * [misc]backup-simplify: Simplify (sqrt (- (log -1) (log N))) into (sqrt (- (log -1) (log N))) 1536752183.930 * [misc]backup-simplify: Simplify (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) into (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 1536752183.930 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752183.931 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752183.935 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1536752183.936 * [misc]backup-simplify: Simplify (/ (- -1/2 (pow (* -1/2 (sqrt (/ 1 (- (log -1) (log N))))) 2) (+)) (* 2 (sqrt (- (log -1) (log N))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.937 * [misc]backup-simplify: Simplify (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) into (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log N)))) 1/2) (sqrt (/ 1 (- (log -1) (log N)))))) 1536752183.939 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (* (+ (* 1/4 (/ 1 (- (log -1) (log (/ 1 (- N)))))) 1/2) (sqrt (/ 1 (- (log -1) (log (/ 1 (- N)))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -1/2 (sqrt (/ 1 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (sqrt (- (log -1) (log (/ 1 (- N))))))) into (- (+ (sqrt (- (log -1) (log (/ -1 N)))) (* 1/2 (* (sqrt (/ 1 (- (log -1) (log (/ -1 N))))) (/ 1 N)))) (+ (* 1/8 (* (sqrt (/ 1 (pow (- (log -1) (log (/ -1 N))) 3))) (/ 1 (pow N 2)))) (* 1/4 (* (/ 1 (pow N 2)) (sqrt (/ 1 (- (log -1) (log (/ -1 N))))))))) 1536752183.939 * * * [misc]progress: simplifying candidates 1536752183.939 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1536752183.939 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1536752183.939 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1536752183.939 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1536752183.939 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1536752183.939 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1536752183.940 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1536752183.941 * [enter]simplify: Simplifying (sqrt (* (cbrt (log1p N)) (cbrt (log1p N)))) 1536752183.941 * * [misc]simplify: iters left: 5 (5 enodes) 1536752183.943 * * [misc]simplify: iters left: 4 (6 enodes) 1536752183.945 * [exit]simplify: Simplified to (fabs (cbrt (log1p N))) 1536752183.945 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (sqrt (log1p N)) (* (fabs (cbrt (log1p N))) (sqrt (cbrt (log1p N)))) (- (log N)))) 1536752183.945 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1536752183.945 * [enter]simplify: Simplifying (sqrt (sqrt (log1p N))) 1536752183.946 * * [misc]simplify: iters left: 3 (4 enodes) 1536752183.947 * [exit]simplify: Simplified to (sqrt (sqrt (log1p N))) 1536752183.947 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (sqrt (log1p N)) (* (sqrt (sqrt (log1p N))) (sqrt (sqrt (log1p N)))) (- (log N)))) 1536752183.947 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1536752183.948 * [enter]simplify: Simplifying (sqrt 1) 1536752183.948 * * [misc]simplify: iters left: 1 (2 enodes) 1536752183.949 * [exit]simplify: Simplified to 1 1536752183.950 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (sqrt (log1p N)) (* 1 (sqrt (log1p N))) (- (log N)))) 1536752183.950 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1536752183.950 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1536752183.950 * [enter]simplify: Simplifying (sqrt (log1p N)) 1536752183.950 * * [misc]simplify: iters left: 2 (3 enodes) 1536752183.951 * [exit]simplify: Simplified to (sqrt (log1p N)) 1536752183.951 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (sqrt (log1p N)) (fabs (sqrt (log1p N))) (- (log N)))) 1536752183.951 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1536752183.951 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1536752183.952 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1536752183.952 * [enter]simplify: Simplifying (sqrt (* (cbrt (log1p N)) (cbrt (log1p N)))) 1536752183.953 * * [misc]simplify: iters left: 5 (5 enodes) 1536752183.955 * * [misc]simplify: iters left: 4 (6 enodes) 1536752183.957 * [exit]simplify: Simplified to (fabs (cbrt (log1p N))) 1536752183.957 * [misc]simplify: Simplified (2 1 1) to (λ (N) (fma (* (fabs (cbrt (log1p N))) (sqrt (cbrt (log1p N)))) (sqrt (log1p N)) (- (log N)))) 1536752183.957 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1536752183.957 * [enter]simplify: Simplifying (sqrt (sqrt (log1p N))) 1536752183.958 * * [misc]simplify: iters left: 3 (4 enodes) 1536752183.959 * [exit]simplify: Simplified to (sqrt (sqrt (log1p N))) 1536752183.960 * [misc]simplify: Simplified (2 1 1) to (λ (N) (fma (* (sqrt (sqrt (log1p N))) (sqrt (sqrt (log1p N)))) (sqrt (log1p N)) (- (log N)))) 1536752183.960 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1536752183.960 * [enter]simplify: Simplifying (sqrt 1) 1536752183.960 * * [misc]simplify: iters left: 1 (2 enodes) 1536752183.961 * [exit]simplify: Simplified to 1 1536752183.961 * [misc]simplify: Simplified (2 1 1) to (λ (N) (fma (* 1 (sqrt (log1p N))) (sqrt (log1p N)) (- (log N)))) 1536752183.962 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1536752183.962 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1536752183.962 * [enter]simplify: Simplifying (sqrt (log1p N)) 1536752183.962 * * [misc]simplify: iters left: 2 (3 enodes) 1536752183.963 * [exit]simplify: Simplified to (sqrt (log1p N)) 1536752183.963 * [misc]simplify: Simplified (2 1 1) to (λ (N) (fma (fabs (sqrt (log1p N))) (sqrt (log1p N)) (- (log N)))) 1536752183.963 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1536752183.963 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1536752183.964 * [enter]simplify: Simplifying (- (+ (* +nan.0 (pow N 2)) (- (log N) (* +nan.0 (pow N 3))))) 1536752183.964 * [misc]simplify: Simplified (2) to (λ (N) +nan.0) 1536752183.964 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1536752183.964 * [enter]simplify: Simplifying (- (+ (log (/ 1 N)) (+ (/ 1 N) (pow (sqrt (- (log (/ 1 N)))) 2))) (* 1/2 (/ 1 (pow N 2)))) 1536752183.965 * * [misc]simplify: iters left: 6 (15 enodes) 1536752183.974 * * [misc]simplify: iters left: 5 (34 enodes) 1536752183.990 * * [misc]simplify: iters left: 4 (69 enodes) 1536752184.019 * * [misc]simplify: iters left: 3 (152 enodes) 1536752184.138 * * [misc]simplify: iters left: 2 (324 enodes) 1536752184.455 * [exit]simplify: Simplified to (fma -1/2 (/ (/ 1 N) N) (/ 1 N)) 1536752184.455 * [misc]simplify: Simplified (2) to (λ (N) (fma -1/2 (/ (/ 1 N) N) (/ 1 N))) 1536752184.455 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1536752184.455 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 1536752184.457 * * [misc]simplify: iters left: 6 (15 enodes) 1536752184.466 * * [misc]simplify: iters left: 5 (32 enodes) 1536752184.486 * * [misc]simplify: iters left: 4 (61 enodes) 1536752184.516 * * [misc]simplify: iters left: 3 (103 enodes) 1536752184.575 * * [misc]simplify: iters left: 2 (168 enodes) 1536752184.646 * * [misc]simplify: iters left: 1 (248 enodes) 1536752184.805 * [exit]simplify: Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1536752184.805 * [misc]simplify: Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752184.805 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1536752184.805 * [enter]simplify: Simplifying (- (+ (* +nan.0 (pow N 2)) (- (+ (* +nan.0 N) (- (* +nan.0 (pow N 3))))))) 1536752184.805 * [misc]simplify: Simplified (2 2) to (λ (N) (fma (sqrt (log1p N)) +nan.0 (- (log N)))) 1536752184.805 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1536752184.806 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* N (sqrt (- (log (/ 1 N))))))) (sqrt (- (log (/ 1 N))))) (+ (* 1/8 (/ 1 (* (pow N 2) (pow (sqrt (- (log (/ 1 N)))) 3)))) (* 1/4 (/ 1 (* (pow N 2) (sqrt (- (log (/ 1 N))))))))) 1536752184.807 * * [misc]simplify: iters left: 6 (25 enodes) 1536752184.816 * * [misc]simplify: iters left: 5 (61 enodes) 1536752184.843 * * [misc]simplify: iters left: 4 (120 enodes) 1536752184.924 * * [misc]simplify: iters left: 3 (271 enodes) 1536752185.133 * [exit]simplify: Simplified to (- (+ (sqrt (log N)) (/ (/ 1/2 N) (sqrt (log N)))) (* (/ (/ 1 (* N N)) (sqrt (log N))) (+ 1/4 (/ 1/8 (log N))))) 1536752185.133 * [misc]simplify: Simplified (2 2) to (λ (N) (fma (sqrt (log1p N)) (- (+ (sqrt (log N)) (/ (/ 1/2 N) (sqrt (log N)))) (* (/ (/ 1 (* N N)) (sqrt (log N))) (+ 1/4 (/ 1/8 (log N))))) (- (log N)))) 1536752185.133 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1536752185.133 * [enter]simplify: Simplifying (- (+ (sqrt (- (log -1) (log (/ -1 N)))) (* 1/2 (* (sqrt (/ 1 (- (log -1) (log (/ -1 N))))) (/ 1 N)))) (+ (* 1/8 (* (sqrt (/ 1 (pow (- (log -1) (log (/ -1 N))) 3))) (/ 1 (pow N 2)))) (* 1/4 (* (/ 1 (pow N 2)) (sqrt (/ 1 (- (log -1) (log (/ -1 N))))))))) 1536752185.135 * * [misc]simplify: iters left: 6 (30 enodes) 1536752185.151 * * [misc]simplify: iters left: 5 (67 enodes) 1536752185.199 * * [misc]simplify: iters left: 4 (193 enodes) 1536752185.402 * [exit]simplify: Simplified to (- (+ (sqrt (+ 0 (log N))) (* (sqrt (/ 1 (+ 0 (log N)))) (- (/ 1/2 N) (/ 1/4 (* N N))))) (* (sqrt (/ (/ 1 (+ 0 (log N))) (* (+ 0 (log N)) (+ 0 (log N))))) (/ 1/8 (* N N)))) 1536752185.402 * [misc]simplify: Simplified (2 2) to (λ (N) (fma (sqrt (log1p N)) (- (+ (sqrt (+ 0 (log N))) (* (sqrt (/ 1 (+ 0 (log N)))) (- (/ 1/2 N) (/ 1/4 (* N N))))) (* (sqrt (/ (/ 1 (+ 0 (log N))) (* (+ 0 (log N)) (+ 0 (log N))))) (/ 1/8 (* N N)))) (- (log N)))) 1536752185.403 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1536752185.403 * [enter]simplify: Simplifying (- (+ (* +nan.0 (pow N 2)) (- (+ (* +nan.0 N) (- (* +nan.0 (pow N 3))))))) 1536752185.403 * [misc]simplify: Simplified (2 1) to (λ (N) (fma +nan.0 (sqrt (log1p N)) (- (log N)))) 1536752185.403 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1536752185.403 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* N (sqrt (- (log (/ 1 N))))))) (sqrt (- (log (/ 1 N))))) (+ (* 1/8 (/ 1 (* (pow N 2) (pow (sqrt (- (log (/ 1 N)))) 3)))) (* 1/4 (/ 1 (* (pow N 2) (sqrt (- (log (/ 1 N))))))))) 1536752185.406 * * [misc]simplify: iters left: 6 (25 enodes) 1536752185.423 * * [misc]simplify: iters left: 5 (61 enodes) 1536752185.456 * * [misc]simplify: iters left: 4 (120 enodes) 1536752185.513 * * [misc]simplify: iters left: 3 (271 enodes) 1536752185.686 * [exit]simplify: Simplified to (- (+ (sqrt (log N)) (/ (/ 1/2 N) (sqrt (log N)))) (* (/ (/ 1 (* N N)) (sqrt (log N))) (+ 1/4 (/ 1/8 (log N))))) 1536752185.686 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (- (+ (sqrt (log N)) (/ (/ 1/2 N) (sqrt (log N)))) (* (/ (/ 1 (* N N)) (sqrt (log N))) (+ 1/4 (/ 1/8 (log N))))) (sqrt (log1p N)) (- (log N)))) 1536752185.686 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1536752185.686 * [enter]simplify: Simplifying (- (+ (sqrt (- (log -1) (log (/ -1 N)))) (* 1/2 (* (sqrt (/ 1 (- (log -1) (log (/ -1 N))))) (/ 1 N)))) (+ (* 1/8 (* (sqrt (/ 1 (pow (- (log -1) (log (/ -1 N))) 3))) (/ 1 (pow N 2)))) (* 1/4 (* (/ 1 (pow N 2)) (sqrt (/ 1 (- (log -1) (log (/ -1 N))))))))) 1536752185.688 * * [misc]simplify: iters left: 6 (30 enodes) 1536752185.696 * * [misc]simplify: iters left: 5 (67 enodes) 1536752185.734 * * [misc]simplify: iters left: 4 (193 enodes) 1536752185.915 * [exit]simplify: Simplified to (- (+ (sqrt (+ 0 (log N))) (* (sqrt (/ 1 (+ 0 (log N)))) (- (/ 1/2 N) (/ 1/4 (* N N))))) (* (sqrt (/ (/ 1 (+ 0 (log N))) (* (+ 0 (log N)) (+ 0 (log N))))) (/ 1/8 (* N N)))) 1536752185.915 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (- (+ (sqrt (+ 0 (log N))) (* (sqrt (/ 1 (+ 0 (log N)))) (- (/ 1/2 N) (/ 1/4 (* N N))))) (* (sqrt (/ (/ 1 (+ 0 (log N))) (* (+ 0 (log N)) (+ 0 (log N))))) (/ 1/8 (* N N)))) (sqrt (log1p N)) (- (log N)))) 1536752185.915 * * * [misc]progress: adding candidates to table 1536752186.637 * * [misc]progress: iteration 3 / 4 1536752186.637 * * * [misc]progress: picking best candidate 1536752186.641 * * * * [misc]pick: Picked # 1536752186.641 * * * [misc]progress: localizing error 1536752186.667 * * * [misc]progress: generating rewritten candidates 1536752186.667 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1536752186.697 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1) 1536752186.698 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1536752186.700 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1536752186.733 * * * [misc]progress: generating series expansions 1536752186.733 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1536752186.733 * [misc]backup-simplify: Simplify (/ 1 (* N N)) into (/ 1 (pow N 2)) 1536752186.733 * [misc]approximate: Taking taylor expansion of (/ 1 (pow N 2)) in (N) around 0 1536752186.733 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1536752186.733 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.733 * [misc]taylor: Taking taylor expansion of N in N 1536752186.733 * [misc]backup-simplify: Simplify 0 into 0 1536752186.733 * [misc]backup-simplify: Simplify 1 into 1 1536752186.734 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.734 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.734 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1536752186.734 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.734 * [misc]taylor: Taking taylor expansion of N in N 1536752186.734 * [misc]backup-simplify: Simplify 0 into 0 1536752186.734 * [misc]backup-simplify: Simplify 1 into 1 1536752186.734 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.734 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.735 * [misc]backup-simplify: Simplify 1 into 1 1536752186.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536752186.735 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752186.735 * [misc]backup-simplify: Simplify 0 into 0 1536752186.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536752186.736 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.736 * [misc]backup-simplify: Simplify 0 into 0 1536752186.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536752186.736 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.736 * [misc]backup-simplify: Simplify 0 into 0 1536752186.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536752186.737 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.737 * [misc]backup-simplify: Simplify 0 into 0 1536752186.738 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536752186.738 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.738 * [misc]backup-simplify: Simplify 0 into 0 1536752186.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536752186.739 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.739 * [misc]backup-simplify: Simplify 0 into 0 1536752186.740 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 N) 2)) into (/ 1 (pow N 2)) 1536752186.740 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 N) (/ 1 N))) into (pow N 2) 1536752186.740 * [misc]approximate: Taking taylor expansion of (pow N 2) in (N) around 0 1536752186.740 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.740 * [misc]taylor: Taking taylor expansion of N in N 1536752186.740 * [misc]backup-simplify: Simplify 0 into 0 1536752186.740 * [misc]backup-simplify: Simplify 1 into 1 1536752186.740 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.740 * [misc]taylor: Taking taylor expansion of N in N 1536752186.740 * [misc]backup-simplify: Simplify 0 into 0 1536752186.740 * [misc]backup-simplify: Simplify 1 into 1 1536752186.740 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.740 * [misc]backup-simplify: Simplify 1 into 1 1536752186.741 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536752186.741 * [misc]backup-simplify: Simplify 0 into 0 1536752186.741 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536752186.741 * [misc]backup-simplify: Simplify 0 into 0 1536752186.741 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536752186.742 * [misc]backup-simplify: Simplify 0 into 0 1536752186.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536752186.742 * [misc]backup-simplify: Simplify 0 into 0 1536752186.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536752186.742 * [misc]backup-simplify: Simplify 0 into 0 1536752186.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536752186.743 * [misc]backup-simplify: Simplify 0 into 0 1536752186.743 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 N) 2)) into (/ 1 (pow N 2)) 1536752186.744 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 (- N)) (/ 1 (- N)))) into (pow N 2) 1536752186.744 * [misc]approximate: Taking taylor expansion of (pow N 2) in (N) around 0 1536752186.744 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.744 * [misc]taylor: Taking taylor expansion of N in N 1536752186.744 * [misc]backup-simplify: Simplify 0 into 0 1536752186.744 * [misc]backup-simplify: Simplify 1 into 1 1536752186.744 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.744 * [misc]taylor: Taking taylor expansion of N in N 1536752186.744 * [misc]backup-simplify: Simplify 0 into 0 1536752186.744 * [misc]backup-simplify: Simplify 1 into 1 1536752186.744 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.744 * [misc]backup-simplify: Simplify 1 into 1 1536752186.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536752186.744 * [misc]backup-simplify: Simplify 0 into 0 1536752186.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536752186.745 * [misc]backup-simplify: Simplify 0 into 0 1536752186.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536752186.745 * [misc]backup-simplify: Simplify 0 into 0 1536752186.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536752186.746 * [misc]backup-simplify: Simplify 0 into 0 1536752186.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536752186.746 * [misc]backup-simplify: Simplify 0 into 0 1536752186.747 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536752186.747 * [misc]backup-simplify: Simplify 0 into 0 1536752186.747 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (- N)) 2)) into (/ 1 (pow N 2)) 1536752186.747 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1) 1536752186.747 * [misc]backup-simplify: Simplify (/ 1/3 N) into (/ 1/3 N) 1536752186.747 * [misc]approximate: Taking taylor expansion of (/ 1/3 N) in (N) around 0 1536752186.747 * [misc]taylor: Taking taylor expansion of (/ 1/3 N) in N 1536752186.748 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.748 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.748 * [misc]taylor: Taking taylor expansion of N in N 1536752186.748 * [misc]backup-simplify: Simplify 0 into 0 1536752186.748 * [misc]backup-simplify: Simplify 1 into 1 1536752186.748 * [misc]backup-simplify: Simplify (/ 1/3 1) into 1/3 1536752186.748 * [misc]taylor: Taking taylor expansion of (/ 1/3 N) in N 1536752186.748 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.748 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.748 * [misc]taylor: Taking taylor expansion of N in N 1536752186.748 * [misc]backup-simplify: Simplify 0 into 0 1536752186.748 * [misc]backup-simplify: Simplify 1 into 1 1536752186.748 * [misc]backup-simplify: Simplify (/ 1/3 1) into 1/3 1536752186.748 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.749 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 1536752186.749 * [misc]backup-simplify: Simplify 0 into 0 1536752186.749 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.749 * [misc]backup-simplify: Simplify 0 into 0 1536752186.749 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.749 * [misc]backup-simplify: Simplify 0 into 0 1536752186.750 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.750 * [misc]backup-simplify: Simplify 0 into 0 1536752186.750 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.751 * [misc]backup-simplify: Simplify 0 into 0 1536752186.751 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.751 * [misc]backup-simplify: Simplify 0 into 0 1536752186.751 * [misc]backup-simplify: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N) 1536752186.751 * [misc]backup-simplify: Simplify (/ 1/3 (/ 1 N)) into (* 1/3 N) 1536752186.751 * [misc]approximate: Taking taylor expansion of (* 1/3 N) in (N) around 0 1536752186.751 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.751 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.751 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.752 * [misc]taylor: Taking taylor expansion of N in N 1536752186.752 * [misc]backup-simplify: Simplify 0 into 0 1536752186.752 * [misc]backup-simplify: Simplify 1 into 1 1536752186.752 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.752 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.752 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.752 * [misc]taylor: Taking taylor expansion of N in N 1536752186.752 * [misc]backup-simplify: Simplify 0 into 0 1536752186.752 * [misc]backup-simplify: Simplify 1 into 1 1536752186.752 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1536752186.752 * [misc]backup-simplify: Simplify 0 into 0 1536752186.752 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1536752186.752 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.753 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1536752186.753 * [misc]backup-simplify: Simplify 0 into 0 1536752186.753 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536752186.753 * [misc]backup-simplify: Simplify 0 into 0 1536752186.753 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536752186.753 * [misc]backup-simplify: Simplify 0 into 0 1536752186.754 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536752186.754 * [misc]backup-simplify: Simplify 0 into 0 1536752186.754 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536752186.755 * [misc]backup-simplify: Simplify 0 into 0 1536752186.755 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536752186.755 * [misc]backup-simplify: Simplify 0 into 0 1536752186.755 * [misc]backup-simplify: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N) 1536752186.755 * [misc]backup-simplify: Simplify (/ 1/3 (/ 1 (- N))) into (* -1/3 N) 1536752186.755 * [misc]approximate: Taking taylor expansion of (* -1/3 N) in (N) around 0 1536752186.755 * [misc]taylor: Taking taylor expansion of (* -1/3 N) in N 1536752186.755 * [misc]taylor: Taking taylor expansion of -1/3 in N 1536752186.756 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752186.756 * [misc]taylor: Taking taylor expansion of N in N 1536752186.756 * [misc]backup-simplify: Simplify 0 into 0 1536752186.756 * [misc]backup-simplify: Simplify 1 into 1 1536752186.756 * [misc]taylor: Taking taylor expansion of (* -1/3 N) in N 1536752186.756 * [misc]taylor: Taking taylor expansion of -1/3 in N 1536752186.756 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752186.756 * [misc]taylor: Taking taylor expansion of N in N 1536752186.756 * [misc]backup-simplify: Simplify 0 into 0 1536752186.756 * [misc]backup-simplify: Simplify 1 into 1 1536752186.756 * [misc]backup-simplify: Simplify (* -1/3 0) into 0 1536752186.756 * [misc]backup-simplify: Simplify 0 into 0 1536752186.756 * [misc]backup-simplify: Simplify (+ (* -1/3 1) (* 0 0)) into -1/3 1536752186.756 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752186.757 * [misc]backup-simplify: Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0 1536752186.757 * [misc]backup-simplify: Simplify 0 into 0 1536752186.757 * [misc]backup-simplify: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536752186.757 * [misc]backup-simplify: Simplify 0 into 0 1536752186.757 * [misc]backup-simplify: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536752186.757 * [misc]backup-simplify: Simplify 0 into 0 1536752186.758 * [misc]backup-simplify: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536752186.758 * [misc]backup-simplify: Simplify 0 into 0 1536752186.758 * [misc]backup-simplify: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536752186.759 * [misc]backup-simplify: Simplify 0 into 0 1536752186.759 * [misc]backup-simplify: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536752186.759 * [misc]backup-simplify: Simplify 0 into 0 1536752186.759 * [misc]backup-simplify: Simplify (* -1/3 (/ 1 (- N))) into (/ 1/3 N) 1536752186.759 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1536752186.760 * [misc]backup-simplify: Simplify (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) into (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) 1536752186.760 * [misc]approximate: Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in (N) around 0 1536752186.760 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in N 1536752186.760 * [misc]taylor: Rewrote expression to (+ (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) (/ 1 N)) 1536752186.760 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) in N 1536752186.760 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1536752186.760 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.760 * [misc]taylor: Taking taylor expansion of N in N 1536752186.760 * [misc]backup-simplify: Simplify 0 into 0 1536752186.760 * [misc]backup-simplify: Simplify 1 into 1 1536752186.760 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.761 * [misc]taylor: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N 1536752186.761 * [misc]taylor: Taking taylor expansion of (* 1/3 (/ 1 N)) in N 1536752186.761 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.761 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.761 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752186.761 * [misc]taylor: Taking taylor expansion of N in N 1536752186.761 * [misc]backup-simplify: Simplify 0 into 0 1536752186.761 * [misc]backup-simplify: Simplify 1 into 1 1536752186.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.761 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.761 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.761 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752186.761 * [misc]taylor: Taking taylor expansion of N in N 1536752186.761 * [misc]backup-simplify: Simplify 0 into 0 1536752186.761 * [misc]backup-simplify: Simplify 1 into 1 1536752186.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.761 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in N 1536752186.762 * [misc]taylor: Rewrote expression to (+ (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) (/ 1 N)) 1536752186.762 * [misc]taylor: Taking taylor expansion of (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) in N 1536752186.762 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1536752186.762 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.762 * [misc]taylor: Taking taylor expansion of N in N 1536752186.762 * [misc]backup-simplify: Simplify 0 into 0 1536752186.762 * [misc]backup-simplify: Simplify 1 into 1 1536752186.762 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.762 * [misc]taylor: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N 1536752186.762 * [misc]taylor: Taking taylor expansion of (* 1/3 (/ 1 N)) in N 1536752186.762 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.762 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.762 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752186.762 * [misc]taylor: Taking taylor expansion of N in N 1536752186.762 * [misc]backup-simplify: Simplify 0 into 0 1536752186.762 * [misc]backup-simplify: Simplify 1 into 1 1536752186.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.762 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.762 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.763 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752186.763 * [misc]taylor: Taking taylor expansion of N in N 1536752186.763 * [misc]backup-simplify: Simplify 0 into 0 1536752186.763 * [misc]backup-simplify: Simplify 1 into 1 1536752186.763 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.763 * [misc]backup-simplify: Simplify (* 1/3 1) into 1/3 1536752186.763 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.763 * [misc]backup-simplify: Simplify (* 1 1/3) into 1/3 1536752186.764 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.764 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.764 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752186.764 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1536752186.764 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.764 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1536752186.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536752186.765 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752186.765 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (* 0 1/3)) into -1/2 1536752186.765 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536752186.765 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752186.766 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.766 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1536752186.766 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.766 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536752186.767 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (* 0 1/3))) into 0 1536752186.768 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752186.768 * [misc]backup-simplify: Simplify 1 into 1 1536752186.768 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 N)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1/3 (pow (/ 1 N) 3)))) into (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) 1536752186.769 * [misc]backup-simplify: Simplify (fma (/ 1 (* (/ 1 N) (/ 1 N))) (- (/ 1/3 (/ 1 N)) 1/2) (/ 1 (/ 1 N))) into (fma (pow N 2) (- (* 1/3 N) 1/2) N) 1536752186.769 * [misc]approximate: Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in (N) around 0 1536752186.769 * [misc]taylor: Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in N 1536752186.769 * [misc]taylor: Rewrote expression to (+ (* (pow N 2) (- (* 1/3 N) 1/2)) N) 1536752186.769 * [misc]taylor: Taking taylor expansion of (* (pow N 2) (- (* 1/3 N) 1/2)) in N 1536752186.769 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.769 * [misc]taylor: Taking taylor expansion of N in N 1536752186.769 * [misc]backup-simplify: Simplify 0 into 0 1536752186.769 * [misc]backup-simplify: Simplify 1 into 1 1536752186.769 * [misc]taylor: Taking taylor expansion of (- (* 1/3 N) 1/2) in N 1536752186.769 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.769 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.769 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.769 * [misc]taylor: Taking taylor expansion of N in N 1536752186.769 * [misc]backup-simplify: Simplify 0 into 0 1536752186.769 * [misc]backup-simplify: Simplify 1 into 1 1536752186.769 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.769 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.770 * [misc]taylor: Taking taylor expansion of N in N 1536752186.770 * [misc]backup-simplify: Simplify 0 into 0 1536752186.770 * [misc]backup-simplify: Simplify 1 into 1 1536752186.770 * [misc]taylor: Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in N 1536752186.770 * [misc]taylor: Rewrote expression to (+ (* (pow N 2) (- (* 1/3 N) 1/2)) N) 1536752186.770 * [misc]taylor: Taking taylor expansion of (* (pow N 2) (- (* 1/3 N) 1/2)) in N 1536752186.770 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.770 * [misc]taylor: Taking taylor expansion of N in N 1536752186.770 * [misc]backup-simplify: Simplify 0 into 0 1536752186.770 * [misc]backup-simplify: Simplify 1 into 1 1536752186.770 * [misc]taylor: Taking taylor expansion of (- (* 1/3 N) 1/2) in N 1536752186.770 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.770 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.770 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.770 * [misc]taylor: Taking taylor expansion of N in N 1536752186.770 * [misc]backup-simplify: Simplify 0 into 0 1536752186.770 * [misc]backup-simplify: Simplify 1 into 1 1536752186.770 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.770 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.770 * [misc]taylor: Taking taylor expansion of N in N 1536752186.770 * [misc]backup-simplify: Simplify 0 into 0 1536752186.770 * [misc]backup-simplify: Simplify 1 into 1 1536752186.770 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.771 * [misc]backup-simplify: Simplify 0 into 0 1536752186.771 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536752186.771 * [misc]backup-simplify: Simplify 1 into 1 1536752186.771 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.771 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1536752186.771 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.772 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1536752186.772 * [misc]backup-simplify: Simplify (* 1 -1/2) into -1/2 1536752186.772 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536752186.772 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752186.772 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1536752186.772 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.773 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536752186.773 * [misc]backup-simplify: Simplify (+ (* 1 1/3) (* 0 -1/2)) into 1/3 1536752186.773 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.773 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.774 * [misc]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)))) 1536752186.774 * [misc]backup-simplify: Simplify (fma (/ 1 (* (/ 1 (- N)) (/ 1 (- N)))) (- (/ 1/3 (/ 1 (- N))) 1/2) (/ 1 (/ 1 (- N)))) into (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) 1536752186.774 * [misc]approximate: Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in (N) around 0 1536752186.774 * [misc]taylor: Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in N 1536752186.774 * [misc]taylor: Rewrote expression to (+ (* (pow N 2) (- (+ (* 1/3 N) 1/2))) (* -1 N)) 1536752186.774 * [misc]taylor: Taking taylor expansion of (* (pow N 2) (- (+ (* 1/3 N) 1/2))) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of N in N 1536752186.775 * [misc]backup-simplify: Simplify 0 into 0 1536752186.775 * [misc]backup-simplify: Simplify 1 into 1 1536752186.775 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.775 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.775 * [misc]taylor: Taking taylor expansion of N in N 1536752186.775 * [misc]backup-simplify: Simplify 0 into 0 1536752186.775 * [misc]backup-simplify: Simplify 1 into 1 1536752186.775 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.775 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.775 * [misc]taylor: Taking taylor expansion of (* -1 N) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of -1 in N 1536752186.775 * [misc]backup-simplify: Simplify -1 into -1 1536752186.775 * [misc]taylor: Taking taylor expansion of N in N 1536752186.775 * [misc]backup-simplify: Simplify 0 into 0 1536752186.775 * [misc]backup-simplify: Simplify 1 into 1 1536752186.775 * [misc]taylor: Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in N 1536752186.775 * [misc]taylor: Rewrote expression to (+ (* (pow N 2) (- (+ (* 1/3 N) 1/2))) (* -1 N)) 1536752186.775 * [misc]taylor: Taking taylor expansion of (* (pow N 2) (- (+ (* 1/3 N) 1/2))) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of N in N 1536752186.775 * [misc]backup-simplify: Simplify 0 into 0 1536752186.775 * [misc]backup-simplify: Simplify 1 into 1 1536752186.775 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.775 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.775 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.775 * [misc]taylor: Taking taylor expansion of N in N 1536752186.775 * [misc]backup-simplify: Simplify 0 into 0 1536752186.776 * [misc]backup-simplify: Simplify 1 into 1 1536752186.776 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.776 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.776 * [misc]taylor: Taking taylor expansion of (* -1 N) in N 1536752186.776 * [misc]taylor: Taking taylor expansion of -1 in N 1536752186.776 * [misc]backup-simplify: Simplify -1 into -1 1536752186.776 * [misc]taylor: Taking taylor expansion of N in N 1536752186.776 * [misc]backup-simplify: Simplify 0 into 0 1536752186.776 * [misc]backup-simplify: Simplify 1 into 1 1536752186.776 * [misc]backup-simplify: Simplify (* -1 0) into 0 1536752186.776 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.776 * [misc]backup-simplify: Simplify 0 into 0 1536752186.776 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1536752186.777 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1536752186.777 * [misc]backup-simplify: Simplify -1 into -1 1536752186.777 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536752186.777 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1536752186.777 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536752186.777 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.777 * [misc]backup-simplify: Simplify (* 1 -1/2) into -1/2 1536752186.778 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1536752186.778 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536752186.778 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752186.778 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1536752186.778 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.778 * [misc]backup-simplify: Simplify (- 1/3) into -1/3 1536752186.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536752186.779 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.779 * [misc]backup-simplify: Simplify (+ (* 1 -1/3) (* 0 -1/2)) into -1/3 1536752186.779 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536752186.780 * [misc]backup-simplify: Simplify (+ -1/3 0) into -1/3 1536752186.780 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752186.780 * [misc]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)))) 1536752186.780 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1536752186.781 * [misc]backup-simplify: Simplify (- (/ 1/3 N) 1/2) into (- (* 1/3 (/ 1 N)) 1/2) 1536752186.781 * [misc]approximate: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in (N) around 0 1536752186.781 * [misc]taylor: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N 1536752186.781 * [misc]taylor: Taking taylor expansion of (* 1/3 (/ 1 N)) in N 1536752186.781 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.781 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.781 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752186.781 * [misc]taylor: Taking taylor expansion of N in N 1536752186.781 * [misc]backup-simplify: Simplify 0 into 0 1536752186.781 * [misc]backup-simplify: Simplify 1 into 1 1536752186.781 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.781 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.781 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.781 * [misc]taylor: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N 1536752186.781 * [misc]taylor: Taking taylor expansion of (* 1/3 (/ 1 N)) in N 1536752186.781 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.781 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.781 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1536752186.781 * [misc]taylor: Taking taylor expansion of N in N 1536752186.781 * [misc]backup-simplify: Simplify 0 into 0 1536752186.781 * [misc]backup-simplify: Simplify 1 into 1 1536752186.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536752186.782 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.782 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.782 * [misc]backup-simplify: Simplify (* 1/3 1) into 1/3 1536752186.782 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.782 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.782 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536752186.782 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1536752186.783 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.783 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1536752186.783 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752186.783 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.784 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1536752186.784 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.784 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.784 * [misc]backup-simplify: Simplify 0 into 0 1536752186.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.785 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536752186.785 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.785 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.785 * [misc]backup-simplify: Simplify 0 into 0 1536752186.786 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.786 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536752186.786 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.786 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.786 * [misc]backup-simplify: Simplify 0 into 0 1536752186.787 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.787 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536752186.787 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.788 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.788 * [misc]backup-simplify: Simplify 0 into 0 1536752186.788 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.789 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536752186.789 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.789 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.789 * [misc]backup-simplify: Simplify 0 into 0 1536752186.790 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536752186.790 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1536752186.790 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.791 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.791 * [misc]backup-simplify: Simplify 0 into 0 1536752186.791 * [misc]backup-simplify: Simplify (+ -1/2 (* 1/3 (/ 1 N))) into (- (* 1/3 (/ 1 N)) 1/2) 1536752186.791 * [misc]backup-simplify: Simplify (- (/ 1/3 (/ 1 N)) 1/2) into (- (* 1/3 N) 1/2) 1536752186.791 * [misc]approximate: Taking taylor expansion of (- (* 1/3 N) 1/2) in (N) around 0 1536752186.791 * [misc]taylor: Taking taylor expansion of (- (* 1/3 N) 1/2) in N 1536752186.791 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.791 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.791 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.791 * [misc]taylor: Taking taylor expansion of N in N 1536752186.791 * [misc]backup-simplify: Simplify 0 into 0 1536752186.791 * [misc]backup-simplify: Simplify 1 into 1 1536752186.791 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.791 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.791 * [misc]taylor: Taking taylor expansion of (- (* 1/3 N) 1/2) in N 1536752186.791 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.791 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.791 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.791 * [misc]taylor: Taking taylor expansion of N in N 1536752186.791 * [misc]backup-simplify: Simplify 0 into 0 1536752186.791 * [misc]backup-simplify: Simplify 1 into 1 1536752186.791 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.791 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.792 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1536752186.792 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.792 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1536752186.792 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752186.792 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1536752186.792 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.793 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.793 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.793 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1536752186.793 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.793 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.793 * [misc]backup-simplify: Simplify 0 into 0 1536752186.794 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536752186.794 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.794 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.794 * [misc]backup-simplify: Simplify 0 into 0 1536752186.794 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536752186.795 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.795 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.795 * [misc]backup-simplify: Simplify 0 into 0 1536752186.795 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536752186.795 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.795 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.795 * [misc]backup-simplify: Simplify 0 into 0 1536752186.796 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536752186.796 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.796 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.796 * [misc]backup-simplify: Simplify 0 into 0 1536752186.797 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536752186.797 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.797 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.797 * [misc]backup-simplify: Simplify 0 into 0 1536752186.797 * [misc]backup-simplify: Simplify (+ (* 1/3 (/ 1 N)) -1/2) into (- (* 1/3 (/ 1 N)) 1/2) 1536752186.798 * [misc]backup-simplify: Simplify (- (/ 1/3 (/ 1 (- N))) 1/2) into (- (+ (* 1/3 N) 1/2)) 1536752186.798 * [misc]approximate: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in (N) around 0 1536752186.798 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N 1536752186.798 * [misc]taylor: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N 1536752186.798 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.798 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.798 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.798 * [misc]taylor: Taking taylor expansion of N in N 1536752186.798 * [misc]backup-simplify: Simplify 0 into 0 1536752186.798 * [misc]backup-simplify: Simplify 1 into 1 1536752186.798 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.798 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.798 * [misc]taylor: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N 1536752186.798 * [misc]taylor: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N 1536752186.798 * [misc]taylor: Taking taylor expansion of (* 1/3 N) in N 1536752186.798 * [misc]taylor: Taking taylor expansion of 1/3 in N 1536752186.798 * [misc]backup-simplify: Simplify 1/3 into 1/3 1536752186.798 * [misc]taylor: Taking taylor expansion of N in N 1536752186.798 * [misc]backup-simplify: Simplify 0 into 0 1536752186.798 * [misc]backup-simplify: Simplify 1 into 1 1536752186.798 * [misc]taylor: Taking taylor expansion of 1/2 in N 1536752186.798 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536752186.798 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1536752186.799 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536752186.799 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1536752186.799 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536752186.799 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1536752186.799 * [misc]backup-simplify: Simplify (+ 1/3 0) into 1/3 1536752186.799 * [misc]backup-simplify: Simplify (- 1/3) into -1/3 1536752186.799 * [misc]backup-simplify: Simplify -1/3 into -1/3 1536752186.799 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 1536752186.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.800 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.800 * [misc]backup-simplify: Simplify 0 into 0 1536752186.800 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536752186.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.800 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.800 * [misc]backup-simplify: Simplify 0 into 0 1536752186.800 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536752186.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.800 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.801 * [misc]backup-simplify: Simplify 0 into 0 1536752186.801 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536752186.801 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.801 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.801 * [misc]backup-simplify: Simplify 0 into 0 1536752186.801 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536752186.801 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.801 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.801 * [misc]backup-simplify: Simplify 0 into 0 1536752186.802 * [misc]backup-simplify: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536752186.802 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536752186.802 * [misc]backup-simplify: Simplify (- 0) into 0 1536752186.802 * [misc]backup-simplify: Simplify 0 into 0 1536752186.802 * [misc]backup-simplify: Simplify (+ (* -1/3 (/ 1 (- N))) -1/2) into (- (* 1/3 (/ 1 N)) 1/2) 1536752186.802 * * * [misc]progress: simplifying candidates 1536752186.802 * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # 1536752186.802 * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # 1536752186.802 * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # 1536752186.802 * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # 1536752186.802 * [enter]simplify: Simplifying (- 2) 1536752186.803 * * [misc]simplify: iters left: 2 (2 enodes) 1536752186.803 * * [misc]simplify: iters left: 1 (3 enodes) 1536752186.804 * [exit]simplify: Simplified to -2 1536752186.804 * [misc]simplify: Simplified (2 1 2) to (λ (N) (fma (pow N -2) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.804 * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # 1536752186.804 * [enter]simplify: Simplifying (- 1) 1536752186.804 * * [misc]simplify: iters left: 2 (2 enodes) 1536752186.805 * * [misc]simplify: iters left: 1 (5 enodes) 1536752186.805 * [exit]simplify: Simplified to -1 1536752186.805 * [misc]simplify: Simplified (2 1 2) to (λ (N) (fma (pow (* N N) -1) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.805 * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # 1536752186.805 * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # 1536752186.806 * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # 1536752186.807 * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # 1536752186.807 * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # 1536752186.807 * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # 1536752186.807 * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # 1536752186.807 * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # 1536752186.807 * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # 1536752186.807 * [enter]simplify: Simplifying (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) 1536752186.807 * * [misc]simplify: iters left: 5 (5 enodes) 1536752186.808 * [exit]simplify: Simplified to (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) 1536752186.808 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (fma (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) (cbrt (/ 1/3 N)) (- 1/2)) (/ 1 N))) 1536752186.808 * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # 1536752186.808 * [enter]simplify: Simplifying (sqrt (/ 1/3 N)) 1536752186.809 * * [misc]simplify: iters left: 3 (4 enodes) 1536752186.809 * [exit]simplify: Simplified to (sqrt (/ 1/3 N)) 1536752186.809 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (fma (sqrt (/ 1/3 N)) (sqrt (/ 1/3 N)) (- 1/2)) (/ 1 N))) 1536752186.809 * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # 1536752186.809 * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # 1536752186.809 * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # 1536752186.809 * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # 1536752186.809 * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # 1536752186.809 * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # 1536752186.809 * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # 1536752186.810 * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # 1536752186.810 * [enter]simplify: Simplifying (/ 1 (pow N 2)) 1536752186.810 * * [misc]simplify: iters left: 3 (5 enodes) 1536752186.811 * * [misc]simplify: iters left: 2 (8 enodes) 1536752186.812 * * [misc]simplify: iters left: 1 (10 enodes) 1536752186.814 * [exit]simplify: Simplified to (/ 1 (* N N)) 1536752186.814 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.814 * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # 1536752186.814 * [enter]simplify: Simplifying (/ 1 (pow N 2)) 1536752186.814 * * [misc]simplify: iters left: 3 (5 enodes) 1536752186.815 * * [misc]simplify: iters left: 2 (8 enodes) 1536752186.817 * * [misc]simplify: iters left: 1 (10 enodes) 1536752186.818 * [exit]simplify: Simplified to (/ 1 (* N N)) 1536752186.818 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.818 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # 1536752186.818 * [enter]simplify: Simplifying (/ 1 (pow N 2)) 1536752186.821 * * [misc]simplify: iters left: 3 (5 enodes) 1536752186.822 * * [misc]simplify: iters left: 2 (8 enodes) 1536752186.824 * * [misc]simplify: iters left: 1 (10 enodes) 1536752186.825 * [exit]simplify: Simplified to (/ 1 (* N N)) 1536752186.825 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.825 * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # 1536752186.825 * [enter]simplify: Simplifying (/ 1/3 N) 1536752186.825 * * [misc]simplify: iters left: 2 (3 enodes) 1536752186.826 * [exit]simplify: Simplified to (/ 1/3 N) 1536752186.826 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.826 * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # 1536752186.826 * [enter]simplify: Simplifying (/ 1/3 N) 1536752186.826 * * [misc]simplify: iters left: 2 (3 enodes) 1536752186.827 * [exit]simplify: Simplified to (/ 1/3 N) 1536752186.827 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.827 * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # 1536752186.827 * [enter]simplify: Simplifying (/ 1/3 N) 1536752186.827 * * [misc]simplify: iters left: 2 (3 enodes) 1536752186.828 * [exit]simplify: Simplified to (/ 1/3 N) 1536752186.828 * [misc]simplify: Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752186.828 * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # 1536752186.828 * [enter]simplify: Simplifying (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) 1536752186.829 * * [misc]simplify: iters left: 6 (15 enodes) 1536752186.839 * * [misc]simplify: iters left: 5 (31 enodes) 1536752186.858 * * [misc]simplify: iters left: 4 (61 enodes) 1536752186.877 * * [misc]simplify: iters left: 3 (105 enodes) 1536752186.914 * * [misc]simplify: iters left: 2 (172 enodes) 1536752186.951 * * [misc]simplify: iters left: 1 (230 enodes) 1536752187.028 * [exit]simplify: Simplified to (fma (/ (/ 1 N) N) (+ (/ 1/3 N) -1/2) (/ 1 N)) 1536752187.028 * [misc]simplify: Simplified (2) to (λ (N) (fma (/ (/ 1 N) N) (+ (/ 1/3 N) -1/2) (/ 1 N))) 1536752187.028 * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # 1536752187.028 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 1536752187.030 * * [misc]simplify: iters left: 6 (15 enodes) 1536752187.039 * * [misc]simplify: iters left: 5 (32 enodes) 1536752187.058 * * [misc]simplify: iters left: 4 (61 enodes) 1536752187.084 * * [misc]simplify: iters left: 3 (103 enodes) 1536752187.120 * * [misc]simplify: iters left: 2 (168 enodes) 1536752187.178 * * [misc]simplify: iters left: 1 (248 enodes) 1536752187.308 * [exit]simplify: Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1536752187.308 * [misc]simplify: Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752187.308 * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # 1536752187.309 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 1536752187.310 * * [misc]simplify: iters left: 6 (15 enodes) 1536752187.318 * * [misc]simplify: iters left: 5 (32 enodes) 1536752187.335 * * [misc]simplify: iters left: 4 (61 enodes) 1536752187.350 * * [misc]simplify: iters left: 3 (103 enodes) 1536752187.380 * * [misc]simplify: iters left: 2 (168 enodes) 1536752187.425 * * [misc]simplify: iters left: 1 (248 enodes) 1536752187.543 * [exit]simplify: Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1536752187.543 * [misc]simplify: Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) 1536752187.543 * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # 1536752187.543 * [enter]simplify: Simplifying (- (* 1/3 (/ 1 N)) 1/2) 1536752187.544 * * [misc]simplify: iters left: 6 (7 enodes) 1536752187.551 * * [misc]simplify: iters left: 5 (16 enodes) 1536752187.554 * * [misc]simplify: iters left: 4 (20 enodes) 1536752187.557 * * [misc]simplify: iters left: 3 (24 enodes) 1536752187.560 * * [misc]simplify: iters left: 2 (28 enodes) 1536752187.563 * * [misc]simplify: iters left: 1 (32 enodes) 1536752187.567 * [exit]simplify: Simplified to (+ (/ 1/3 N) -1/2) 1536752187.567 * [misc]simplify: Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N))) 1536752187.567 * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # 1536752187.567 * [enter]simplify: Simplifying (- (* 1/3 (/ 1 N)) 1/2) 1536752187.567 * * [misc]simplify: iters left: 6 (7 enodes) 1536752187.570 * * [misc]simplify: iters left: 5 (16 enodes) 1536752187.573 * * [misc]simplify: iters left: 4 (20 enodes) 1536752187.578 * * [misc]simplify: iters left: 3 (24 enodes) 1536752187.585 * * [misc]simplify: iters left: 2 (28 enodes) 1536752187.590 * * [misc]simplify: iters left: 1 (32 enodes) 1536752187.596 * [exit]simplify: Simplified to (+ (/ 1/3 N) -1/2) 1536752187.597 * [misc]simplify: Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N))) 1536752187.597 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # 1536752187.597 * [enter]simplify: Simplifying (- (* 1/3 (/ 1 N)) 1/2) 1536752187.597 * * [misc]simplify: iters left: 6 (7 enodes) 1536752187.602 * * [misc]simplify: iters left: 5 (16 enodes) 1536752187.607 * * [misc]simplify: iters left: 4 (20 enodes) 1536752187.612 * * [misc]simplify: iters left: 3 (24 enodes) 1536752187.618 * * [misc]simplify: iters left: 2 (28 enodes) 1536752187.624 * * [misc]simplify: iters left: 1 (32 enodes) 1536752187.632 * [exit]simplify: Simplified to (+ (/ 1/3 N) -1/2) 1536752187.632 * [misc]simplify: Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N))) 1536752187.632 * * * [misc]progress: adding candidates to table 1536752188.590 * [misc]progress: [Phase 3 of 3] Extracting. 1536752188.590 * * [misc]regime: Finding splitpoints for: (# #) 1536752188.591 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1536752188.591 * * * * [misc]regimes: Trying to branch on N from (# #) 1536752188.643 * * * [misc]regime: Found split indices: #