1553942360.169 * [progress]: [Phase 1 of 3] Setting up. 1553942360.169 * * * [progress]: [1/2] Preparing points 1553942360.208 * * * [progress]: [2/2] Setting up program. 1553942360.211 * [progress]: [Phase 2 of 3] Improving. 1553942360.211 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553942360.211 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553942360.211 * * [simplify]: iters left: 5 (6 enodes) 1553942360.213 * * [simplify]: iters left: 4 (23 enodes) 1553942360.216 * * [simplify]: iters left: 3 (28 enodes) 1553942360.220 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.220 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942360.220 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942360.220 * * [simplify]: Extracting #3: cost 11 inf + 1 1553942360.220 * * [simplify]: Extracting #4: cost 6 inf + 298 1553942360.221 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553942360.221 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553942360.221 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553942360.221 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553942360.226 * * [progress]: iteration 1 / 4 1553942360.226 * * * [progress]: picking best candidate 1553942360.229 * * * * [pick]: Picked # 1553942360.230 * * * [progress]: localizing error 1553942360.250 * * * [progress]: generating rewritten candidates 1553942360.250 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553942360.259 * * * [progress]: generating series expansions 1553942360.259 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553942360.259 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1553942360.259 * [approximate]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1553942360.259 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1553942360.259 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1553942360.261 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1553942360.261 * [taylor]: Taking taylor expansion of (atan N) in N 1553942360.261 * [backup-simplify]: Simplify (atan N) into (atan N) 1553942360.261 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1553942360.261 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N 1553942360.261 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1553942360.261 * [taylor]: Taking taylor expansion of (atan N) in N 1553942360.261 * [backup-simplify]: Simplify (atan N) into (atan N) 1553942360.261 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 1553942360.262 * [backup-simplify]: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1553942360.262 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1553942360.262 * [backup-simplify]: Simplify (- 0) into 0 1553942360.263 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.263 * [backup-simplify]: Simplify 0 into 0 1553942360.263 * [backup-simplify]: Simplify (- 0) into 0 1553942360.264 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.264 * [backup-simplify]: Simplify 0 into 0 1553942360.264 * [backup-simplify]: Simplify (- 0) into 0 1553942360.264 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.264 * [backup-simplify]: Simplify 0 into 0 1553942360.265 * [backup-simplify]: Simplify (- 0) into 0 1553942360.265 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.265 * [backup-simplify]: Simplify 0 into 0 1553942360.266 * [backup-simplify]: Simplify (- 0) into 0 1553942360.266 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.266 * [backup-simplify]: Simplify 0 into 0 1553942360.266 * [backup-simplify]: Simplify (- 0) into 0 1553942360.267 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.267 * [backup-simplify]: Simplify 0 into 0 1553942360.267 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1553942360.267 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1553942360.267 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1553942360.267 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1553942360.267 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1553942360.267 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1553942360.267 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1553942360.268 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1553942360.268 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1553942360.268 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1553942360.268 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1553942360.268 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 1553942360.268 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1553942360.268 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1553942360.268 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1553942360.268 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1553942360.269 * [backup-simplify]: Simplify (- 0) into 0 1553942360.269 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.269 * [backup-simplify]: Simplify 0 into 0 1553942360.269 * [backup-simplify]: Simplify (- 0) into 0 1553942360.270 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.270 * [backup-simplify]: Simplify 0 into 0 1553942360.270 * [backup-simplify]: Simplify (- 0) into 0 1553942360.271 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.271 * [backup-simplify]: Simplify 0 into 0 1553942360.271 * [backup-simplify]: Simplify (- 0) into 0 1553942360.271 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.272 * [backup-simplify]: Simplify 0 into 0 1553942360.272 * [backup-simplify]: Simplify (- 0) into 0 1553942360.272 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.272 * [backup-simplify]: Simplify 0 into 0 1553942360.273 * [backup-simplify]: Simplify (- 0) into 0 1553942360.273 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.273 * [backup-simplify]: Simplify 0 into 0 1553942360.273 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1553942360.274 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1553942360.274 * [approximate]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1553942360.274 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1553942360.274 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1553942360.274 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1553942360.274 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1553942360.274 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1553942360.274 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1553942360.274 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1553942360.274 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1553942360.274 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 1553942360.274 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1553942360.275 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1553942360.275 * [backup-simplify]: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1553942360.275 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1553942360.275 * [backup-simplify]: Simplify (- 0) into 0 1553942360.276 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.276 * [backup-simplify]: Simplify 0 into 0 1553942360.276 * [backup-simplify]: Simplify (- 0) into 0 1553942360.277 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.277 * [backup-simplify]: Simplify 0 into 0 1553942360.277 * [backup-simplify]: Simplify (- 0) into 0 1553942360.278 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.278 * [backup-simplify]: Simplify 0 into 0 1553942360.278 * [backup-simplify]: Simplify (- 0) into 0 1553942360.278 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.278 * [backup-simplify]: Simplify 0 into 0 1553942360.279 * [backup-simplify]: Simplify (- 0) into 0 1553942360.279 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.279 * [backup-simplify]: Simplify 0 into 0 1553942360.280 * [backup-simplify]: Simplify (- 0) into 0 1553942360.280 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.280 * [backup-simplify]: Simplify 0 into 0 1553942360.280 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1553942360.280 * * * [progress]: simplifying candidates 1553942360.280 * * * * [progress]: [ 1 / 19 ] simplifiying candidate # 1553942360.281 * [simplify]: Simplifying (- (+ N 1) N) 1553942360.281 * * [simplify]: iters left: 4 (4 enodes) 1553942360.283 * * [simplify]: iters left: 3 (19 enodes) 1553942360.290 * * [simplify]: iters left: 2 (33 enodes) 1553942360.302 * * [simplify]: iters left: 1 (39 enodes) 1553942360.312 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.312 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942360.312 * [simplify]: Simplified to 1 1553942360.312 * [simplify]: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1553942360.312 * [simplify]: Simplifying (+ 1 (* (+ N 1) N)) 1553942360.312 * * [simplify]: iters left: 6 (5 enodes) 1553942360.315 * * [simplify]: iters left: 5 (20 enodes) 1553942360.321 * * [simplify]: iters left: 4 (29 enodes) 1553942360.329 * * [simplify]: iters left: 3 (31 enodes) 1553942360.345 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.345 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942360.345 * * [simplify]: Extracting #2: cost 7 inf + 1 1553942360.346 * * [simplify]: Extracting #3: cost 2 inf + 493 1553942360.346 * * [simplify]: Extracting #4: cost 0 inf + 574 1553942360.346 * [simplify]: Simplified to (+ (* (+ N 1) N) 1) 1553942360.346 * [simplify]: Simplified (2 2) to (λ (N) (atan2 1 (+ (* (+ N 1) N) 1))) 1553942360.346 * * * * [progress]: [ 2 / 19 ] simplifiying candidate # 1553942360.347 * [simplify]: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1553942360.347 * * [simplify]: iters left: 6 (8 enodes) 1553942360.351 * * [simplify]: iters left: 5 (29 enodes) 1553942360.359 * * [simplify]: iters left: 4 (35 enodes) 1553942360.369 * * [simplify]: iters left: 3 (40 enodes) 1553942360.379 * * [simplify]: iters left: 2 (44 enodes) 1553942360.391 * * [simplify]: iters left: 1 (48 enodes) 1553942360.405 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.405 * * [simplify]: Extracting #1: cost 9 inf + 0 1553942360.405 * * [simplify]: Extracting #2: cost 15 inf + 1 1553942360.405 * * [simplify]: Extracting #3: cost 20 inf + 1 1553942360.405 * * [simplify]: Extracting #4: cost 20 inf + 2 1553942360.405 * * [simplify]: Extracting #5: cost 16 inf + 339 1553942360.406 * * [simplify]: Extracting #6: cost 0 inf + 4059 1553942360.406 * [simplify]: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1553942360.406 * [simplify]: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1553942360.406 * * * * [progress]: [ 3 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 4 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 5 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 6 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 7 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 8 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 9 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 10 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 11 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 12 / 19 ] simplifiying candidate # 1553942360.406 * * * * [progress]: [ 13 / 19 ] simplifiying candidate # 1553942360.407 * [simplify]: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1553942360.407 * * [simplify]: iters left: 6 (8 enodes) 1553942360.409 * * [simplify]: iters left: 5 (28 enodes) 1553942360.412 * * [simplify]: iters left: 4 (30 enodes) 1553942360.417 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.417 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942360.417 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942360.417 * * [simplify]: Extracting #3: cost 12 inf + 0 1553942360.417 * * [simplify]: Extracting #4: cost 10 inf + 359 1553942360.417 * * [simplify]: Extracting #5: cost 8 inf + 506 1553942360.417 * * [simplify]: Extracting #6: cost 5 inf + 737 1553942360.417 * * [simplify]: Extracting #7: cost 1 inf + 1630 1553942360.417 * * [simplify]: Extracting #8: cost 0 inf + 2002 1553942360.418 * [simplify]: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1553942360.418 * [simplify]: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1553942360.418 * [simplify]: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1553942360.418 * * [simplify]: iters left: 6 (8 enodes) 1553942360.420 * * [simplify]: iters left: 5 (29 enodes) 1553942360.424 * * [simplify]: iters left: 4 (34 enodes) 1553942360.429 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.429 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942360.429 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942360.429 * * [simplify]: Extracting #3: cost 14 inf + 0 1553942360.429 * * [simplify]: Extracting #4: cost 15 inf + 1 1553942360.429 * * [simplify]: Extracting #5: cost 13 inf + 108 1553942360.429 * * [simplify]: Extracting #6: cost 5 inf + 1109 1553942360.429 * * [simplify]: Extracting #7: cost 0 inf + 2374 1553942360.430 * [simplify]: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1553942360.430 * [simplify]: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1553942360.430 * * * * [progress]: [ 14 / 19 ] simplifiying candidate # 1553942360.430 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553942360.430 * * [simplify]: iters left: 5 (6 enodes) 1553942360.431 * * [simplify]: iters left: 4 (23 enodes) 1553942360.435 * * [simplify]: iters left: 3 (28 enodes) 1553942360.439 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.439 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942360.439 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942360.439 * * [simplify]: Extracting #3: cost 11 inf + 1 1553942360.439 * * [simplify]: Extracting #4: cost 6 inf + 298 1553942360.439 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553942360.439 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553942360.440 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553942360.440 * [simplify]: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1553942360.440 * * * * [progress]: [ 15 / 19 ] simplifiying candidate # 1553942360.440 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #real (real->posit16 (- (atan (+ N 1)) (atan N)))))> 1553942360.440 * * * * [progress]: [ 17 / 19 ] simplifiying candidate # 1553942360.440 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553942360.440 * * [simplify]: iters left: 5 (6 enodes) 1553942360.442 * * [simplify]: iters left: 4 (23 enodes) 1553942360.445 * * [simplify]: iters left: 3 (28 enodes) 1553942360.449 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.449 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942360.449 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942360.449 * * [simplify]: Extracting #3: cost 11 inf + 1 1553942360.449 * * [simplify]: Extracting #4: cost 6 inf + 298 1553942360.449 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553942360.449 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553942360.450 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553942360.450 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553942360.450 * * * * [progress]: [ 18 / 19 ] simplifiying candidate # 1553942360.450 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553942360.450 * * [simplify]: iters left: 5 (6 enodes) 1553942360.451 * * [simplify]: iters left: 4 (23 enodes) 1553942360.459 * * [simplify]: iters left: 3 (28 enodes) 1553942360.466 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.466 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942360.466 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942360.466 * * [simplify]: Extracting #3: cost 11 inf + 1 1553942360.467 * * [simplify]: Extracting #4: cost 6 inf + 298 1553942360.467 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553942360.467 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553942360.468 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553942360.468 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553942360.468 * * * * [progress]: [ 19 / 19 ] simplifiying candidate # 1553942360.468 * [simplify]: Simplifying (- (atan (+ N 1)) (atan N)) 1553942360.468 * * [simplify]: iters left: 5 (6 enodes) 1553942360.471 * * [simplify]: iters left: 4 (23 enodes) 1553942360.477 * * [simplify]: iters left: 3 (28 enodes) 1553942360.485 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.485 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942360.485 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942360.485 * * [simplify]: Extracting #3: cost 11 inf + 1 1553942360.485 * * [simplify]: Extracting #4: cost 6 inf + 298 1553942360.485 * * [simplify]: Extracting #5: cost 1 inf + 1176 1553942360.485 * * [simplify]: Extracting #6: cost 0 inf + 1468 1553942360.485 * [simplify]: Simplified to (- (atan (+ 1 N)) (atan N)) 1553942360.485 * [simplify]: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1553942360.485 * * * [progress]: adding candidates to table 1553942360.629 * * [progress]: iteration 2 / 4 1553942360.629 * * * [progress]: picking best candidate 1553942360.632 * * * * [pick]: Picked # 1553942360.633 * * * [progress]: localizing error 1553942360.649 * * * [progress]: generating rewritten candidates 1553942360.649 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553942360.649 * * * [progress]: generating series expansions 1553942360.649 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553942360.650 * [backup-simplify]: Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.650 * [approximate]: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1553942360.650 * [taylor]: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1553942360.650 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.650 * [taylor]: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1553942360.650 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.651 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.651 * [backup-simplify]: Simplify 0 into 0 1553942360.651 * [backup-simplify]: Simplify 0 into 0 1553942360.651 * [backup-simplify]: Simplify 0 into 0 1553942360.651 * [backup-simplify]: Simplify 0 into 0 1553942360.651 * [backup-simplify]: Simplify 0 into 0 1553942360.651 * [backup-simplify]: Simplify 0 into 0 1553942360.651 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.651 * [backup-simplify]: Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.651 * [approximate]: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1553942360.651 * [taylor]: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1553942360.651 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.652 * [taylor]: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1553942360.652 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.652 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.652 * [backup-simplify]: Simplify 0 into 0 1553942360.652 * [backup-simplify]: Simplify 0 into 0 1553942360.652 * [backup-simplify]: Simplify 0 into 0 1553942360.652 * [backup-simplify]: Simplify 0 into 0 1553942360.652 * [backup-simplify]: Simplify 0 into 0 1553942360.652 * [backup-simplify]: Simplify 0 into 0 1553942360.652 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.653 * [backup-simplify]: Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.653 * [approximate]: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1553942360.653 * [taylor]: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1553942360.653 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.653 * [taylor]: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1553942360.653 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.653 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.653 * [backup-simplify]: Simplify 0 into 0 1553942360.653 * [backup-simplify]: Simplify 0 into 0 1553942360.654 * [backup-simplify]: Simplify 0 into 0 1553942360.654 * [backup-simplify]: Simplify 0 into 0 1553942360.654 * [backup-simplify]: Simplify 0 into 0 1553942360.654 * [backup-simplify]: Simplify 0 into 0 1553942360.654 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.654 * * * [progress]: simplifying candidates 1553942360.654 * * * * [progress]: [ 1 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 2 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 3 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 4 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 5 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 6 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 7 / 11 ] simplifiying candidate # 1553942360.654 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #real (real->posit16 (atan2 1 (+ 1 (* (+ N 1) N))))))> 1553942360.654 * * * * [progress]: [ 9 / 11 ] simplifiying candidate # 1553942360.655 * [simplify]: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.655 * * [simplify]: iters left: 6 (7 enodes) 1553942360.659 * * [simplify]: iters left: 5 (28 enodes) 1553942360.669 * * [simplify]: iters left: 4 (39 enodes) 1553942360.681 * * [simplify]: iters left: 3 (45 enodes) 1553942360.692 * * [simplify]: iters left: 2 (51 enodes) 1553942360.705 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.705 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942360.705 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942360.705 * * [simplify]: Extracting #3: cost 9 inf + 248 1553942360.706 * * [simplify]: Extracting #4: cost 3 inf + 617 1553942360.706 * * [simplify]: Extracting #5: cost 0 inf + 1263 1553942360.707 * [simplify]: Simplified to (atan2 1 (+ 1 (+ N (* N N)))) 1553942360.707 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942360.707 * * * * [progress]: [ 10 / 11 ] simplifiying candidate # 1553942360.707 * [simplify]: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.707 * * [simplify]: iters left: 6 (7 enodes) 1553942360.711 * * [simplify]: iters left: 5 (28 enodes) 1553942360.720 * * [simplify]: iters left: 4 (39 enodes) 1553942360.732 * * [simplify]: iters left: 3 (45 enodes) 1553942360.740 * * [simplify]: iters left: 2 (51 enodes) 1553942360.747 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.747 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942360.747 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942360.747 * * [simplify]: Extracting #3: cost 9 inf + 248 1553942360.747 * * [simplify]: Extracting #4: cost 3 inf + 617 1553942360.747 * * [simplify]: Extracting #5: cost 0 inf + 1263 1553942360.748 * [simplify]: Simplified to (atan2 1 (+ 1 (+ N (* N N)))) 1553942360.748 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942360.748 * * * * [progress]: [ 11 / 11 ] simplifiying candidate # 1553942360.748 * [simplify]: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.748 * * [simplify]: iters left: 6 (7 enodes) 1553942360.750 * * [simplify]: iters left: 5 (28 enodes) 1553942360.755 * * [simplify]: iters left: 4 (39 enodes) 1553942360.763 * * [simplify]: iters left: 3 (45 enodes) 1553942360.773 * * [simplify]: iters left: 2 (51 enodes) 1553942360.785 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.785 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942360.785 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942360.786 * * [simplify]: Extracting #3: cost 9 inf + 248 1553942360.786 * * [simplify]: Extracting #4: cost 3 inf + 617 1553942360.786 * * [simplify]: Extracting #5: cost 0 inf + 1263 1553942360.786 * [simplify]: Simplified to (atan2 1 (+ 1 (+ N (* N N)))) 1553942360.786 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942360.786 * * * [progress]: adding candidates to table 1553942360.869 * * [progress]: iteration 3 / 4 1553942360.869 * * * [progress]: picking best candidate 1553942360.880 * * * * [pick]: Picked # 1553942360.881 * * * [progress]: localizing error 1553942360.895 * * * [progress]: generating rewritten candidates 1553942360.895 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1553942360.895 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1553942360.896 * * * [progress]: generating series expansions 1553942360.896 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1553942360.896 * [backup-simplify]: Simplify (atan2 1 (+ 1 (+ N (* N N)))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.896 * [approximate]: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1553942360.897 * [taylor]: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1553942360.897 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.897 * [taylor]: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1553942360.897 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.897 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.897 * [backup-simplify]: Simplify 0 into 0 1553942360.897 * [backup-simplify]: Simplify 0 into 0 1553942360.897 * [backup-simplify]: Simplify 0 into 0 1553942360.897 * [backup-simplify]: Simplify 0 into 0 1553942360.897 * [backup-simplify]: Simplify 0 into 0 1553942360.897 * [backup-simplify]: Simplify 0 into 0 1553942360.897 * [backup-simplify]: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.897 * [backup-simplify]: Simplify (atan2 1 (+ 1 (+ (/ 1 N) (* (/ 1 N) (/ 1 N))))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.897 * [approximate]: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1553942360.897 * [taylor]: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1553942360.898 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.898 * [taylor]: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1553942360.898 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.898 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1553942360.898 * [backup-simplify]: Simplify 0 into 0 1553942360.898 * [backup-simplify]: Simplify 0 into 0 1553942360.898 * [backup-simplify]: Simplify 0 into 0 1553942360.898 * [backup-simplify]: Simplify 0 into 0 1553942360.898 * [backup-simplify]: Simplify 0 into 0 1553942360.898 * [backup-simplify]: Simplify 0 into 0 1553942360.898 * [backup-simplify]: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.898 * [backup-simplify]: Simplify (atan2 1 (+ 1 (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N)))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.898 * [approximate]: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1553942360.898 * [taylor]: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1553942360.899 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.899 * [taylor]: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1553942360.899 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.899 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.899 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1553942360.899 * [backup-simplify]: Simplify (+ N (* N N)) into (+ N (pow N 2)) 1553942360.899 * [approximate]: Taking taylor expansion of (+ N (pow N 2)) in (N) around 0 1553942360.899 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942360.899 * [taylor]: Taking taylor expansion of N in N 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 1 into 1 1553942360.899 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942360.899 * [taylor]: Taking taylor expansion of N in N 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 1 into 1 1553942360.899 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942360.899 * [taylor]: Taking taylor expansion of N in N 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.899 * [backup-simplify]: Simplify 1 into 1 1553942360.899 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942360.899 * [taylor]: Taking taylor expansion of N in N 1553942360.899 * [backup-simplify]: Simplify 0 into 0 1553942360.900 * [backup-simplify]: Simplify 1 into 1 1553942360.900 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.900 * [backup-simplify]: Simplify 0 into 0 1553942360.900 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942360.900 * [backup-simplify]: Simplify 1 into 1 1553942360.901 * [backup-simplify]: Simplify (* 1 1) into 1 1553942360.901 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942360.901 * [backup-simplify]: Simplify 1 into 1 1553942360.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942360.902 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.902 * [backup-simplify]: Simplify 0 into 0 1553942360.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942360.903 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.903 * [backup-simplify]: Simplify 0 into 0 1553942360.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942360.904 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.904 * [backup-simplify]: Simplify 0 into 0 1553942360.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942360.905 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.905 * [backup-simplify]: Simplify 0 into 0 1553942360.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942360.906 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.906 * [backup-simplify]: Simplify 0 into 0 1553942360.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942360.907 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.907 * [backup-simplify]: Simplify 0 into 0 1553942360.907 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1553942360.907 * [backup-simplify]: Simplify (+ (/ 1 N) (* (/ 1 N) (/ 1 N))) into (+ (/ 1 (pow N 2)) (/ 1 N)) 1553942360.907 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1553942360.907 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942360.907 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942360.907 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942360.907 * [taylor]: Taking taylor expansion of N in N 1553942360.907 * [backup-simplify]: Simplify 0 into 0 1553942360.907 * [backup-simplify]: Simplify 1 into 1 1553942360.907 * [backup-simplify]: Simplify (* 1 1) into 1 1553942360.908 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.908 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942360.908 * [taylor]: Taking taylor expansion of N in N 1553942360.908 * [backup-simplify]: Simplify 0 into 0 1553942360.908 * [backup-simplify]: Simplify 1 into 1 1553942360.908 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942360.908 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942360.908 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942360.908 * [taylor]: Taking taylor expansion of N in N 1553942360.908 * [backup-simplify]: Simplify 0 into 0 1553942360.908 * [backup-simplify]: Simplify 1 into 1 1553942360.908 * [backup-simplify]: Simplify (* 1 1) into 1 1553942360.909 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.909 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942360.909 * [taylor]: Taking taylor expansion of N in N 1553942360.909 * [backup-simplify]: Simplify 0 into 0 1553942360.909 * [backup-simplify]: Simplify 1 into 1 1553942360.909 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.909 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942360.909 * [backup-simplify]: Simplify 1 into 1 1553942360.910 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942360.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942360.910 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942360.910 * [backup-simplify]: Simplify 1 into 1 1553942360.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942360.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942360.912 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.912 * [backup-simplify]: Simplify 0 into 0 1553942360.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942360.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.914 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.914 * [backup-simplify]: Simplify 0 into 0 1553942360.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942360.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.916 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.916 * [backup-simplify]: Simplify 0 into 0 1553942360.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942360.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.920 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.920 * [backup-simplify]: Simplify 0 into 0 1553942360.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942360.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.924 * [backup-simplify]: Simplify 0 into 0 1553942360.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553942360.926 * [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 1553942360.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.927 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.927 * [backup-simplify]: Simplify 0 into 0 1553942360.927 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1553942360.927 * [backup-simplify]: Simplify (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N)))) into (- (/ 1 (pow N 2)) (/ 1 N)) 1553942360.927 * [approximate]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1553942360.927 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942360.927 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942360.927 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942360.927 * [taylor]: Taking taylor expansion of N in N 1553942360.927 * [backup-simplify]: Simplify 0 into 0 1553942360.927 * [backup-simplify]: Simplify 1 into 1 1553942360.927 * [backup-simplify]: Simplify (* 1 1) into 1 1553942360.928 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.928 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942360.928 * [taylor]: Taking taylor expansion of N in N 1553942360.928 * [backup-simplify]: Simplify 0 into 0 1553942360.928 * [backup-simplify]: Simplify 1 into 1 1553942360.928 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.928 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942360.928 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942360.928 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942360.928 * [taylor]: Taking taylor expansion of N in N 1553942360.928 * [backup-simplify]: Simplify 0 into 0 1553942360.928 * [backup-simplify]: Simplify 1 into 1 1553942360.928 * [backup-simplify]: Simplify (* 1 1) into 1 1553942360.928 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.929 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942360.929 * [taylor]: Taking taylor expansion of N in N 1553942360.929 * [backup-simplify]: Simplify 0 into 0 1553942360.929 * [backup-simplify]: Simplify 1 into 1 1553942360.929 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942360.929 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942360.929 * [backup-simplify]: Simplify 1 into 1 1553942360.930 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942360.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942360.930 * [backup-simplify]: Simplify (- 1) into -1 1553942360.931 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942360.931 * [backup-simplify]: Simplify -1 into -1 1553942360.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942360.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942360.932 * [backup-simplify]: Simplify (- 0) into 0 1553942360.933 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.933 * [backup-simplify]: Simplify 0 into 0 1553942360.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942360.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.934 * [backup-simplify]: Simplify (- 0) into 0 1553942360.935 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.935 * [backup-simplify]: Simplify 0 into 0 1553942360.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942360.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.937 * [backup-simplify]: Simplify (- 0) into 0 1553942360.937 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.937 * [backup-simplify]: Simplify 0 into 0 1553942360.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942360.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.939 * [backup-simplify]: Simplify (- 0) into 0 1553942360.939 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.939 * [backup-simplify]: Simplify 0 into 0 1553942360.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942360.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.942 * [backup-simplify]: Simplify (- 0) into 0 1553942360.942 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.942 * [backup-simplify]: Simplify 0 into 0 1553942360.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553942360.943 * [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 1553942360.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942360.944 * [backup-simplify]: Simplify (- 0) into 0 1553942360.944 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942360.945 * [backup-simplify]: Simplify 0 into 0 1553942360.945 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1553942360.945 * * * [progress]: simplifying candidates 1553942360.945 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 8 / 26 ] simplifiying candidate #real (real->posit16 (atan2 1 (+ 1 (+ N (* N N)))))))> 1553942360.945 * * * * [progress]: [ 9 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (+ N (* N N)))))))> 1553942360.945 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 1553942360.945 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 1553942360.946 * [simplify]: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.946 * * [simplify]: iters left: 6 (7 enodes) 1553942360.950 * * [simplify]: iters left: 5 (28 enodes) 1553942360.957 * * [simplify]: iters left: 4 (39 enodes) 1553942360.967 * * [simplify]: iters left: 3 (45 enodes) 1553942360.980 * * [simplify]: iters left: 2 (51 enodes) 1553942360.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942360.993 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942360.993 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942360.993 * * [simplify]: Extracting #3: cost 9 inf + 248 1553942360.993 * * [simplify]: Extracting #4: cost 3 inf + 617 1553942360.994 * * [simplify]: Extracting #5: cost 0 inf + 1263 1553942360.994 * [simplify]: Simplified to (atan2 1 (+ 1 (+ N (* N N)))) 1553942360.995 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942360.995 * * * * [progress]: [ 22 / 26 ] simplifiying candidate # 1553942360.995 * [simplify]: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1553942360.995 * * [simplify]: iters left: 6 (7 enodes) 1553942360.999 * * [simplify]: iters left: 5 (28 enodes) 1553942361.008 * * [simplify]: iters left: 4 (39 enodes) 1553942361.019 * * [simplify]: iters left: 3 (45 enodes) 1553942361.034 * * [simplify]: iters left: 2 (51 enodes) 1553942361.042 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.042 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942361.042 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942361.042 * * [simplify]: Extracting #3: cost 9 inf + 248 1553942361.042 * * [simplify]: Extracting #4: cost 3 inf + 617 1553942361.042 * * [simplify]: Extracting #5: cost 0 inf + 1263 1553942361.043 * [simplify]: Simplified to (atan2 1 (+ 1 (+ N (* N N)))) 1553942361.043 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942361.043 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 1553942361.043 * [simplify]: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1553942361.043 * * [simplify]: iters left: 6 (7 enodes) 1553942361.045 * * [simplify]: iters left: 5 (28 enodes) 1553942361.049 * * [simplify]: iters left: 4 (39 enodes) 1553942361.055 * * [simplify]: iters left: 3 (45 enodes) 1553942361.061 * * [simplify]: iters left: 2 (51 enodes) 1553942361.069 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.069 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942361.069 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942361.069 * * [simplify]: Extracting #3: cost 9 inf + 248 1553942361.069 * * [simplify]: Extracting #4: cost 3 inf + 617 1553942361.070 * * [simplify]: Extracting #5: cost 0 inf + 1263 1553942361.070 * [simplify]: Simplified to (atan2 1 (+ 1 (+ N (* N N)))) 1553942361.070 * [simplify]: Simplified (2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942361.070 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 1553942361.071 * [simplify]: Simplifying (+ N (pow N 2)) 1553942361.071 * * [simplify]: iters left: 3 (4 enodes) 1553942361.076 * * [simplify]: iters left: 2 (14 enodes) 1553942361.080 * * [simplify]: iters left: 1 (17 enodes) 1553942361.086 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.086 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942361.086 * * [simplify]: Extracting #2: cost 8 inf + 1 1553942361.086 * * [simplify]: Extracting #3: cost 1 inf + 289 1553942361.086 * * [simplify]: Extracting #4: cost 0 inf + 331 1553942361.086 * [simplify]: Simplified to (+ N (* N N)) 1553942361.086 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942361.087 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 1553942361.087 * [simplify]: Simplifying (+ N (pow N 2)) 1553942361.087 * * [simplify]: iters left: 3 (4 enodes) 1553942361.089 * * [simplify]: iters left: 2 (14 enodes) 1553942361.094 * * [simplify]: iters left: 1 (17 enodes) 1553942361.099 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.099 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942361.099 * * [simplify]: Extracting #2: cost 8 inf + 1 1553942361.099 * * [simplify]: Extracting #3: cost 1 inf + 289 1553942361.100 * * [simplify]: Extracting #4: cost 0 inf + 331 1553942361.100 * [simplify]: Simplified to (+ N (* N N)) 1553942361.100 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942361.100 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 1553942361.100 * [simplify]: Simplifying (+ N (pow N 2)) 1553942361.100 * * [simplify]: iters left: 3 (4 enodes) 1553942361.103 * * [simplify]: iters left: 2 (14 enodes) 1553942361.107 * * [simplify]: iters left: 1 (17 enodes) 1553942361.113 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.113 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942361.113 * * [simplify]: Extracting #2: cost 8 inf + 1 1553942361.113 * * [simplify]: Extracting #3: cost 1 inf + 289 1553942361.113 * * [simplify]: Extracting #4: cost 0 inf + 331 1553942361.113 * [simplify]: Simplified to (+ N (* N N)) 1553942361.113 * [simplify]: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1553942361.113 * * * [progress]: adding candidates to table 1553942361.316 * * [progress]: iteration 4 / 4 1553942361.316 * * * [progress]: picking best candidate 1553942361.323 * * * * [pick]: Picked # 1553942361.323 * * * [progress]: localizing error 1553942361.351 * * * [progress]: generating rewritten candidates 1553942361.351 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1553942361.352 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1553942361.353 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 1553942361.355 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 1553942361.371 * * * [progress]: generating series expansions 1553942361.371 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1553942361.372 * [backup-simplify]: Simplify (cbrt (+ N (* N N))) into (pow (+ N (pow N 2)) 1/3) 1553942361.372 * [approximate]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1553942361.372 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1553942361.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1553942361.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1553942361.372 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.372 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.372 * [taylor]: Taking taylor expansion of (log (+ N (pow N 2))) in N 1553942361.372 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.372 * [taylor]: Taking taylor expansion of N in N 1553942361.372 * [backup-simplify]: Simplify 0 into 0 1553942361.372 * [backup-simplify]: Simplify 1 into 1 1553942361.372 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.372 * [taylor]: Taking taylor expansion of N in N 1553942361.372 * [backup-simplify]: Simplify 0 into 0 1553942361.372 * [backup-simplify]: Simplify 1 into 1 1553942361.373 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.373 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.374 * [backup-simplify]: Simplify (log 1) into 0 1553942361.374 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.374 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1553942361.374 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1553942361.374 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1553942361.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1553942361.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1553942361.374 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.374 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.374 * [taylor]: Taking taylor expansion of (log (+ N (pow N 2))) in N 1553942361.374 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.374 * [taylor]: Taking taylor expansion of N in N 1553942361.375 * [backup-simplify]: Simplify 0 into 0 1553942361.375 * [backup-simplify]: Simplify 1 into 1 1553942361.375 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.375 * [taylor]: Taking taylor expansion of N in N 1553942361.375 * [backup-simplify]: Simplify 0 into 0 1553942361.375 * [backup-simplify]: Simplify 1 into 1 1553942361.375 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.375 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.376 * [backup-simplify]: Simplify (log 1) into 0 1553942361.376 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.376 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1553942361.376 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1553942361.377 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3) 1553942361.377 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.377 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.379 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942361.379 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.380 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1553942361.380 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1553942361.381 * [backup-simplify]: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1553942361.381 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.382 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.385 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.385 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.386 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1553942361.388 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow N 1/3)) 1553942361.388 * [backup-simplify]: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1553942361.388 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow N 1/3)) (pow N 2)) (+ (* (* 1/3 (pow N 1/3)) N) (pow N 1/3))) into (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1553942361.388 * [backup-simplify]: Simplify (cbrt (+ (/ 1 N) (* (/ 1 N) (/ 1 N)))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1553942361.388 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1553942361.388 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.389 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.389 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.389 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.389 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.389 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.389 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.389 * [taylor]: Taking taylor expansion of N in N 1553942361.389 * [backup-simplify]: Simplify 0 into 0 1553942361.389 * [backup-simplify]: Simplify 1 into 1 1553942361.389 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.390 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.390 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.390 * [taylor]: Taking taylor expansion of N in N 1553942361.390 * [backup-simplify]: Simplify 0 into 0 1553942361.390 * [backup-simplify]: Simplify 1 into 1 1553942361.390 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.390 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.391 * [backup-simplify]: Simplify (log 1) into 0 1553942361.391 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.391 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.391 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.392 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.392 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.392 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.392 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.392 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.392 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.392 * [taylor]: Taking taylor expansion of N in N 1553942361.392 * [backup-simplify]: Simplify 0 into 0 1553942361.392 * [backup-simplify]: Simplify 1 into 1 1553942361.392 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.393 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.393 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.393 * [taylor]: Taking taylor expansion of N in N 1553942361.393 * [backup-simplify]: Simplify 0 into 0 1553942361.393 * [backup-simplify]: Simplify 1 into 1 1553942361.393 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.394 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.394 * [backup-simplify]: Simplify (log 1) into 0 1553942361.394 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.394 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.395 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.395 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3) 1553942361.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.397 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.398 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942361.398 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.399 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1553942361.400 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.400 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.403 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.406 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.407 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.407 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1553942361.409 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.410 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.410 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 1/3 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942361.411 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N))))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1553942361.411 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1553942361.411 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.411 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.411 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.411 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.411 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.411 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.411 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.411 * [taylor]: Taking taylor expansion of N in N 1553942361.411 * [backup-simplify]: Simplify 0 into 0 1553942361.411 * [backup-simplify]: Simplify 1 into 1 1553942361.411 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.412 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.412 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.412 * [taylor]: Taking taylor expansion of N in N 1553942361.412 * [backup-simplify]: Simplify 0 into 0 1553942361.412 * [backup-simplify]: Simplify 1 into 1 1553942361.412 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.413 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.413 * [backup-simplify]: Simplify (log 1) into 0 1553942361.413 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.414 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.414 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.414 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.414 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.414 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.414 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.414 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.414 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.414 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.414 * [taylor]: Taking taylor expansion of N in N 1553942361.414 * [backup-simplify]: Simplify 0 into 0 1553942361.414 * [backup-simplify]: Simplify 1 into 1 1553942361.414 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.415 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.415 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.415 * [taylor]: Taking taylor expansion of N in N 1553942361.415 * [backup-simplify]: Simplify 0 into 0 1553942361.415 * [backup-simplify]: Simplify 1 into 1 1553942361.415 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.416 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.416 * [backup-simplify]: Simplify (log 1) into 0 1553942361.417 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.417 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.417 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.417 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3) 1553942361.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.419 * [backup-simplify]: Simplify (- 1) into -1 1553942361.419 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942361.421 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1553942361.421 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.422 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1553942361.423 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.423 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.426 * [backup-simplify]: Simplify (- 0) into 0 1553942361.426 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.429 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.429 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.430 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1553942361.432 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.432 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.433 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942361.433 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 1553942361.433 * [backup-simplify]: Simplify (cbrt (+ N (* N N))) into (pow (+ N (pow N 2)) 1/3) 1553942361.433 * [approximate]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1553942361.433 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1553942361.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1553942361.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1553942361.433 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.434 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.434 * [taylor]: Taking taylor expansion of (log (+ N (pow N 2))) in N 1553942361.434 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.434 * [taylor]: Taking taylor expansion of N in N 1553942361.434 * [backup-simplify]: Simplify 0 into 0 1553942361.434 * [backup-simplify]: Simplify 1 into 1 1553942361.434 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.434 * [taylor]: Taking taylor expansion of N in N 1553942361.434 * [backup-simplify]: Simplify 0 into 0 1553942361.434 * [backup-simplify]: Simplify 1 into 1 1553942361.434 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.435 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.435 * [backup-simplify]: Simplify (log 1) into 0 1553942361.435 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.436 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1553942361.436 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1553942361.436 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1553942361.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1553942361.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1553942361.436 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.436 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.436 * [taylor]: Taking taylor expansion of (log (+ N (pow N 2))) in N 1553942361.436 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.436 * [taylor]: Taking taylor expansion of N in N 1553942361.436 * [backup-simplify]: Simplify 0 into 0 1553942361.436 * [backup-simplify]: Simplify 1 into 1 1553942361.436 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.436 * [taylor]: Taking taylor expansion of N in N 1553942361.436 * [backup-simplify]: Simplify 0 into 0 1553942361.436 * [backup-simplify]: Simplify 1 into 1 1553942361.436 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.437 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.437 * [backup-simplify]: Simplify (log 1) into 0 1553942361.438 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.438 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1553942361.438 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1553942361.438 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3) 1553942361.438 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.439 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.440 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942361.441 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.441 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1553942361.442 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1553942361.442 * [backup-simplify]: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1553942361.443 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.443 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.446 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.446 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.447 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1553942361.449 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow N 1/3)) 1553942361.449 * [backup-simplify]: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1553942361.450 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow N 1/3)) (pow N 2)) (+ (* (* 1/3 (pow N 1/3)) N) (pow N 1/3))) into (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1553942361.450 * [backup-simplify]: Simplify (cbrt (+ (/ 1 N) (* (/ 1 N) (/ 1 N)))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1553942361.450 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1553942361.450 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.450 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.450 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.450 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.450 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.450 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.450 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.450 * [taylor]: Taking taylor expansion of N in N 1553942361.450 * [backup-simplify]: Simplify 0 into 0 1553942361.450 * [backup-simplify]: Simplify 1 into 1 1553942361.451 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.451 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.451 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.451 * [taylor]: Taking taylor expansion of N in N 1553942361.451 * [backup-simplify]: Simplify 0 into 0 1553942361.451 * [backup-simplify]: Simplify 1 into 1 1553942361.451 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.452 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.452 * [backup-simplify]: Simplify (log 1) into 0 1553942361.453 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.453 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.453 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.453 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.453 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.453 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.453 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.453 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.453 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.453 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.453 * [taylor]: Taking taylor expansion of N in N 1553942361.453 * [backup-simplify]: Simplify 0 into 0 1553942361.453 * [backup-simplify]: Simplify 1 into 1 1553942361.454 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.454 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.454 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.454 * [taylor]: Taking taylor expansion of N in N 1553942361.454 * [backup-simplify]: Simplify 0 into 0 1553942361.454 * [backup-simplify]: Simplify 1 into 1 1553942361.454 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.455 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.455 * [backup-simplify]: Simplify (log 1) into 0 1553942361.456 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.456 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.456 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.456 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3) 1553942361.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.458 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.459 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942361.460 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.460 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1553942361.461 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.461 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.464 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.467 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.468 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.469 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1553942361.471 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.471 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.471 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 1/3 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942361.472 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N))))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1553942361.472 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1553942361.472 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.472 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.472 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.472 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.472 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.472 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.472 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.472 * [taylor]: Taking taylor expansion of N in N 1553942361.472 * [backup-simplify]: Simplify 0 into 0 1553942361.472 * [backup-simplify]: Simplify 1 into 1 1553942361.472 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.473 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.473 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.473 * [taylor]: Taking taylor expansion of N in N 1553942361.473 * [backup-simplify]: Simplify 0 into 0 1553942361.473 * [backup-simplify]: Simplify 1 into 1 1553942361.473 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.474 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.474 * [backup-simplify]: Simplify (log 1) into 0 1553942361.474 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.475 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.475 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.475 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.475 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.475 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.475 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.475 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.475 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.475 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.475 * [taylor]: Taking taylor expansion of N in N 1553942361.475 * [backup-simplify]: Simplify 0 into 0 1553942361.475 * [backup-simplify]: Simplify 1 into 1 1553942361.475 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.476 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.476 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.476 * [taylor]: Taking taylor expansion of N in N 1553942361.476 * [backup-simplify]: Simplify 0 into 0 1553942361.476 * [backup-simplify]: Simplify 1 into 1 1553942361.476 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.477 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.477 * [backup-simplify]: Simplify (log 1) into 0 1553942361.478 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.478 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.478 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.478 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3) 1553942361.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.480 * [backup-simplify]: Simplify (- 1) into -1 1553942361.480 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942361.482 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1553942361.482 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.483 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1553942361.484 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.484 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.487 * [backup-simplify]: Simplify (- 0) into 0 1553942361.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.490 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.491 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.492 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1553942361.494 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.494 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.495 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942361.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 1553942361.495 * [backup-simplify]: Simplify (cbrt (+ N (* N N))) into (pow (+ N (pow N 2)) 1/3) 1553942361.495 * [approximate]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1553942361.495 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1553942361.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1553942361.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1553942361.495 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.495 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.495 * [taylor]: Taking taylor expansion of (log (+ N (pow N 2))) in N 1553942361.495 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.495 * [taylor]: Taking taylor expansion of N in N 1553942361.495 * [backup-simplify]: Simplify 0 into 0 1553942361.495 * [backup-simplify]: Simplify 1 into 1 1553942361.495 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.495 * [taylor]: Taking taylor expansion of N in N 1553942361.495 * [backup-simplify]: Simplify 0 into 0 1553942361.495 * [backup-simplify]: Simplify 1 into 1 1553942361.496 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.496 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.497 * [backup-simplify]: Simplify (log 1) into 0 1553942361.497 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.497 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1553942361.497 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1553942361.497 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1553942361.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1553942361.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1553942361.497 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.497 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.497 * [taylor]: Taking taylor expansion of (log (+ N (pow N 2))) in N 1553942361.497 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.497 * [taylor]: Taking taylor expansion of N in N 1553942361.497 * [backup-simplify]: Simplify 0 into 0 1553942361.497 * [backup-simplify]: Simplify 1 into 1 1553942361.498 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.498 * [taylor]: Taking taylor expansion of N in N 1553942361.498 * [backup-simplify]: Simplify 0 into 0 1553942361.498 * [backup-simplify]: Simplify 1 into 1 1553942361.498 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.498 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.499 * [backup-simplify]: Simplify (log 1) into 0 1553942361.499 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.499 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1553942361.499 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1553942361.499 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3) 1553942361.500 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.500 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.501 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942361.502 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.502 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1553942361.503 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1553942361.503 * [backup-simplify]: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1553942361.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.504 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.507 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.507 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1553942361.508 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1553942361.513 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow N 1/3)) 1553942361.513 * [backup-simplify]: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1553942361.513 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow N 1/3)) (pow N 2)) (+ (* (* 1/3 (pow N 1/3)) N) (pow N 1/3))) into (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1553942361.513 * [backup-simplify]: Simplify (cbrt (+ (/ 1 N) (* (/ 1 N) (/ 1 N)))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1553942361.514 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1553942361.514 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.514 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.514 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.514 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.514 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.514 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.514 * [taylor]: Taking taylor expansion of N in N 1553942361.514 * [backup-simplify]: Simplify 0 into 0 1553942361.514 * [backup-simplify]: Simplify 1 into 1 1553942361.515 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.515 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.515 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.515 * [taylor]: Taking taylor expansion of N in N 1553942361.515 * [backup-simplify]: Simplify 0 into 0 1553942361.515 * [backup-simplify]: Simplify 1 into 1 1553942361.516 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.516 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.516 * [backup-simplify]: Simplify (log 1) into 0 1553942361.517 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.517 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.517 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.517 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.517 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.517 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.517 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.517 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.517 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.517 * [taylor]: Taking taylor expansion of N in N 1553942361.517 * [backup-simplify]: Simplify 0 into 0 1553942361.517 * [backup-simplify]: Simplify 1 into 1 1553942361.518 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.518 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.518 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.518 * [taylor]: Taking taylor expansion of N in N 1553942361.518 * [backup-simplify]: Simplify 0 into 0 1553942361.518 * [backup-simplify]: Simplify 1 into 1 1553942361.518 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.519 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.519 * [backup-simplify]: Simplify (log 1) into 0 1553942361.520 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.520 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.520 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.520 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3) 1553942361.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.522 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942361.524 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.524 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1553942361.525 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.526 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.529 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.532 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.533 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.534 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1553942361.535 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.536 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.536 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 1/3 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942361.537 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N))))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1553942361.537 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1553942361.537 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.537 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.537 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.537 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.537 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.537 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.537 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.537 * [taylor]: Taking taylor expansion of N in N 1553942361.537 * [backup-simplify]: Simplify 0 into 0 1553942361.537 * [backup-simplify]: Simplify 1 into 1 1553942361.537 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.538 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.538 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.538 * [taylor]: Taking taylor expansion of N in N 1553942361.538 * [backup-simplify]: Simplify 0 into 0 1553942361.538 * [backup-simplify]: Simplify 1 into 1 1553942361.538 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.539 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.539 * [backup-simplify]: Simplify (log 1) into 0 1553942361.540 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.540 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.540 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.540 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1553942361.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1553942361.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1553942361.540 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.540 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.540 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1553942361.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.540 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.540 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.540 * [taylor]: Taking taylor expansion of N in N 1553942361.540 * [backup-simplify]: Simplify 0 into 0 1553942361.540 * [backup-simplify]: Simplify 1 into 1 1553942361.540 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.541 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.541 * [taylor]: Taking taylor expansion of N in N 1553942361.541 * [backup-simplify]: Simplify 0 into 0 1553942361.541 * [backup-simplify]: Simplify 1 into 1 1553942361.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.542 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.542 * [backup-simplify]: Simplify (log 1) into 0 1553942361.542 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.543 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1553942361.543 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1553942361.543 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3) 1553942361.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.545 * [backup-simplify]: Simplify (- 1) into -1 1553942361.545 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942361.546 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1553942361.547 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.547 * [backup-simplify]: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1553942361.548 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.549 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.552 * [backup-simplify]: Simplify (- 0) into 0 1553942361.552 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.555 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942361.556 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1553942361.557 * [backup-simplify]: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1553942361.558 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.559 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1553942361.559 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -1/3 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942361.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1553942361.560 * [backup-simplify]: Simplify (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) into (pow (pow (+ N (pow N 2)) 2) 1/3) 1553942361.560 * [approximate]: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in (N) around 0 1553942361.560 * [taylor]: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in N 1553942361.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N (pow N 2)) 2)))) in N 1553942361.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ N (pow N 2)) 2))) in N 1553942361.560 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.560 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.560 * [taylor]: Taking taylor expansion of (log (pow (+ N (pow N 2)) 2)) in N 1553942361.560 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 2) in N 1553942361.560 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.560 * [taylor]: Taking taylor expansion of N in N 1553942361.560 * [backup-simplify]: Simplify 0 into 0 1553942361.560 * [backup-simplify]: Simplify 1 into 1 1553942361.560 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.560 * [taylor]: Taking taylor expansion of N in N 1553942361.560 * [backup-simplify]: Simplify 0 into 0 1553942361.560 * [backup-simplify]: Simplify 1 into 1 1553942361.561 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.561 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.561 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.562 * [backup-simplify]: Simplify (log 1) into 0 1553942361.562 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1553942361.562 * [backup-simplify]: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N)) 1553942361.562 * [backup-simplify]: Simplify (exp (* 2/3 (log N))) into (pow N 2/3) 1553942361.562 * [taylor]: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in N 1553942361.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N (pow N 2)) 2)))) in N 1553942361.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ N (pow N 2)) 2))) in N 1553942361.563 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.563 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.563 * [taylor]: Taking taylor expansion of (log (pow (+ N (pow N 2)) 2)) in N 1553942361.563 * [taylor]: Taking taylor expansion of (pow (+ N (pow N 2)) 2) in N 1553942361.563 * [taylor]: Taking taylor expansion of (+ N (pow N 2)) in N 1553942361.563 * [taylor]: Taking taylor expansion of N in N 1553942361.563 * [backup-simplify]: Simplify 0 into 0 1553942361.563 * [backup-simplify]: Simplify 1 into 1 1553942361.563 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.563 * [taylor]: Taking taylor expansion of N in N 1553942361.563 * [backup-simplify]: Simplify 0 into 0 1553942361.563 * [backup-simplify]: Simplify 1 into 1 1553942361.563 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.564 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.564 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.564 * [backup-simplify]: Simplify (log 1) into 0 1553942361.565 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1553942361.565 * [backup-simplify]: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N)) 1553942361.565 * [backup-simplify]: Simplify (exp (* 2/3 (log N))) into (pow N 2/3) 1553942361.565 * [backup-simplify]: Simplify (pow N 2/3) into (pow N 2/3) 1553942361.566 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.566 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.566 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 1553942361.568 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1553942361.568 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1553942361.569 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 (* 2 (log N)))) into 2/3 1553942361.570 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (pow N 2) 1/3)) 1553942361.570 * [backup-simplify]: Simplify (* 2/3 (pow (pow N 2) 1/3)) into (* 2/3 (pow (pow N 2) 1/3)) 1553942361.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.571 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1553942361.575 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1553942361.575 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1553942361.576 * [backup-simplify]: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (* 2 (log N))))) into (- 1/3) 1553942361.578 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (pow N 2) 1/3)) 1553942361.578 * [backup-simplify]: Simplify (* -1/9 (pow (pow N 2) 1/3)) into (* -1/9 (pow (pow N 2) 1/3)) 1553942361.579 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (pow N 2) 1/3)) (pow N 2)) (+ (* (* 2/3 (pow (pow N 2) 1/3)) N) (pow N 2/3))) into (- (+ (* 2/3 (pow (pow N 5) 1/3)) (pow N 2/3)) (* 1/9 (pow (pow N 8) 1/3))) 1553942361.579 * [backup-simplify]: Simplify (* (cbrt (+ (/ 1 N) (* (/ 1 N) (/ 1 N)))) (cbrt (+ (/ 1 N) (* (/ 1 N) (/ 1 N))))) into (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) 1553942361.579 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in (N) around 0 1553942361.579 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1553942361.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1553942361.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1553942361.579 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.579 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.579 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1553942361.579 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1553942361.579 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.579 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.579 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.579 * [taylor]: Taking taylor expansion of N in N 1553942361.579 * [backup-simplify]: Simplify 0 into 0 1553942361.579 * [backup-simplify]: Simplify 1 into 1 1553942361.580 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.580 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.580 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.580 * [taylor]: Taking taylor expansion of N in N 1553942361.580 * [backup-simplify]: Simplify 0 into 0 1553942361.580 * [backup-simplify]: Simplify 1 into 1 1553942361.581 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.581 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.582 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.582 * [backup-simplify]: Simplify (log 1) into 0 1553942361.583 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.583 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1553942361.583 * [backup-simplify]: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1553942361.583 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1553942361.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1553942361.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1553942361.583 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.583 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.583 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1553942361.583 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1553942361.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.583 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.583 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.583 * [taylor]: Taking taylor expansion of N in N 1553942361.583 * [backup-simplify]: Simplify 0 into 0 1553942361.583 * [backup-simplify]: Simplify 1 into 1 1553942361.584 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.584 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.584 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.584 * [taylor]: Taking taylor expansion of N in N 1553942361.584 * [backup-simplify]: Simplify 0 into 0 1553942361.584 * [backup-simplify]: Simplify 1 into 1 1553942361.585 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.585 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.585 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.586 * [backup-simplify]: Simplify (log 1) into 0 1553942361.586 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.586 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1553942361.586 * [backup-simplify]: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1553942361.586 * [backup-simplify]: Simplify (pow N -4/3) into (pow N -4/3) 1553942361.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.587 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942361.588 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 1553942361.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1553942361.589 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.589 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 (- (* 4 (log N))))) into 2/3 1553942361.589 * [backup-simplify]: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.589 * [backup-simplify]: Simplify (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) into (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.592 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1553942361.594 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1553942361.594 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.594 * [backup-simplify]: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (- (* 4 (log N)))))) into (- 1/3) 1553942361.595 * [backup-simplify]: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.596 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.596 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 N) 4)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 2/3 (pow (/ 1 (pow (/ 1 N) 4)) 1/3)) (/ 1 N)) (pow (/ 1 N) -4/3))) into (- (+ (* 2/3 (pow N 1/3)) (pow (/ 1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1553942361.596 * [backup-simplify]: Simplify (* (cbrt (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N))))) (cbrt (+ (/ 1 (- N)) (* (/ 1 (- N)) (/ 1 (- N)))))) into (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) 1553942361.596 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in (N) around 0 1553942361.596 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1553942361.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1553942361.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1553942361.596 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.596 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.596 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1553942361.596 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1553942361.596 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.596 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.596 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.596 * [taylor]: Taking taylor expansion of N in N 1553942361.596 * [backup-simplify]: Simplify 0 into 0 1553942361.596 * [backup-simplify]: Simplify 1 into 1 1553942361.597 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.597 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.597 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.597 * [taylor]: Taking taylor expansion of N in N 1553942361.597 * [backup-simplify]: Simplify 0 into 0 1553942361.597 * [backup-simplify]: Simplify 1 into 1 1553942361.597 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.597 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.598 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.598 * [backup-simplify]: Simplify (log 1) into 0 1553942361.598 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.598 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1553942361.598 * [backup-simplify]: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1553942361.598 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1553942361.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1553942361.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1553942361.598 * [taylor]: Taking taylor expansion of 1/3 in N 1553942361.598 * [backup-simplify]: Simplify 1/3 into 1/3 1553942361.598 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1553942361.598 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1553942361.599 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1553942361.599 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 1553942361.599 * [taylor]: Taking taylor expansion of (pow N 2) in N 1553942361.599 * [taylor]: Taking taylor expansion of N in N 1553942361.599 * [backup-simplify]: Simplify 0 into 0 1553942361.599 * [backup-simplify]: Simplify 1 into 1 1553942361.599 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.599 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.599 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1553942361.599 * [taylor]: Taking taylor expansion of N in N 1553942361.599 * [backup-simplify]: Simplify 0 into 0 1553942361.599 * [backup-simplify]: Simplify 1 into 1 1553942361.599 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942361.600 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942361.600 * [backup-simplify]: Simplify (* 1 1) into 1 1553942361.600 * [backup-simplify]: Simplify (log 1) into 0 1553942361.600 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.601 * [backup-simplify]: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1553942361.601 * [backup-simplify]: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1553942361.601 * [backup-simplify]: Simplify (pow N -4/3) into (pow N -4/3) 1553942361.601 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942361.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.602 * [backup-simplify]: Simplify (- 1) into -1 1553942361.602 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942361.602 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2 1553942361.603 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow 1 1)))) 1) into -2 1553942361.604 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.604 * [backup-simplify]: Simplify (+ (* 1/3 -2) (* 0 (- (* 4 (log N))))) into (- 2/3) 1553942361.604 * [backup-simplify]: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow (- 2/3) 1) 1)))) into (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.605 * [backup-simplify]: Simplify (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) into (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942361.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942361.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942361.606 * [backup-simplify]: Simplify (- 0) into 0 1553942361.607 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942361.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -1 -1) (* 0 1))) into 1 1553942361.609 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1553942361.609 * [backup-simplify]: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1553942361.610 * [backup-simplify]: Simplify (+ (* 1/3 -1) (+ (* 0 -2) (* 0 (- (* 4 (log N)))))) into (- 1/3) 1553942361.611 * [backup-simplify]: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow (- 2/3) 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.611 * [backup-simplify]: Simplify (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1553942361.611 * [backup-simplify]: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 (- N)) 4)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -2/3 (pow (/ 1 (pow (/ 1 (- N)) 4)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -4/3))) into (- (+ (* 2/3 (pow N 1/3)) (pow (/ -1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1553942361.611 * * * [progress]: simplifying candidates 1553942361.611 * * * * [progress]: [ 1 / 96 ] simplifiying candidate # 1553942361.611 * * * * [progress]: [ 2 / 96 ] simplifiying candidate # 1553942361.611 * * * * [progress]: [ 3 / 96 ] simplifiying candidate # 1553942361.611 * * * * [progress]: [ 4 / 96 ] simplifiying candidate # 1553942361.612 * * * * [progress]: [ 5 / 96 ] simplifiying candidate # 1553942361.612 * [simplify]: Simplifying (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1553942361.612 * * [simplify]: iters left: 6 (6 enodes) 1553942361.613 * * [simplify]: iters left: 5 (22 enodes) 1553942361.620 * * [simplify]: iters left: 4 (30 enodes) 1553942361.629 * * [simplify]: iters left: 3 (38 enodes) 1553942361.639 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.640 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942361.640 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942361.640 * * [simplify]: Extracting #3: cost 7 inf + 0 1553942361.640 * * [simplify]: Extracting #4: cost 11 inf + 0 1553942361.640 * * [simplify]: Extracting #5: cost 13 inf + 1 1553942361.640 * * [simplify]: Extracting #6: cost 8 inf + 168 1553942361.640 * * [simplify]: Extracting #7: cost 4 inf + 652 1553942361.641 * * [simplify]: Extracting #8: cost 1 inf + 1335 1553942361.641 * * [simplify]: Extracting #9: cost 0 inf + 1616 1553942361.642 * [simplify]: Simplified to (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) 1553942361.642 * [simplify]: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (* (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) (cbrt (cbrt (+ N (* N N))))))))) 1553942361.642 * * * * [progress]: [ 6 / 96 ] simplifiying candidate # 1553942361.642 * [simplify]: Simplifying (cbrt (sqrt (+ N (* N N)))) 1553942361.642 * * [simplify]: iters left: 6 (5 enodes) 1553942361.644 * * [simplify]: iters left: 5 (19 enodes) 1553942361.652 * * [simplify]: iters left: 4 (27 enodes) 1553942361.660 * * [simplify]: iters left: 3 (35 enodes) 1553942361.667 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.667 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942361.667 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942361.667 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942361.667 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942361.668 * * [simplify]: Extracting #5: cost 0 inf + 974 1553942361.668 * [simplify]: Simplified to (cbrt (sqrt (+ (* N N) N))) 1553942361.668 * [simplify]: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (* (cbrt (sqrt (+ (* N N) N))) (cbrt (sqrt (+ N (* N N))))))))) 1553942361.668 * * * * [progress]: [ 7 / 96 ] simplifiying candidate # 1553942361.668 * [simplify]: Simplifying (cbrt 1) 1553942361.668 * * [simplify]: iters left: 1 (2 enodes) 1553942361.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.670 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942361.670 * [simplify]: Simplified to 1 1553942361.670 * [simplify]: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (* 1 (cbrt (+ N (* N N)))))))) 1553942361.670 * * * * [progress]: [ 8 / 96 ] simplifiying candidate # 1553942361.670 * [simplify]: Simplifying (cbrt (+ N 1)) 1553942361.670 * * [simplify]: iters left: 3 (4 enodes) 1553942361.671 * * [simplify]: iters left: 2 (15 enodes) 1553942361.674 * * [simplify]: iters left: 1 (17 enodes) 1553942361.676 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.676 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942361.676 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942361.676 * * [simplify]: Extracting #3: cost 2 inf + 86 1553942361.676 * * [simplify]: Extracting #4: cost 1 inf + 208 1553942361.676 * * [simplify]: Extracting #5: cost 0 inf + 330 1553942361.676 * [simplify]: Simplified to (cbrt (+ 1 N)) 1553942361.676 * [simplify]: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (* (cbrt (+ 1 N)) (cbrt N)))))) 1553942361.676 * * * * [progress]: [ 9 / 96 ] simplifiying candidate # 1553942361.677 * [simplify]: Simplifying (cbrt (+ (pow N 3) (pow (* N N) 3))) 1553942361.677 * * [simplify]: iters left: 6 (7 enodes) 1553942361.679 * * [simplify]: iters left: 5 (28 enodes) 1553942361.684 * * [simplify]: iters left: 4 (49 enodes) 1553942361.693 * * [simplify]: iters left: 3 (86 enodes) 1553942361.708 * * [simplify]: iters left: 2 (136 enodes) 1553942361.738 * * [simplify]: iters left: 1 (170 enodes) 1553942361.771 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942361.771 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942361.771 * * [simplify]: Extracting #2: cost 13 inf + 0 1553942361.771 * * [simplify]: Extracting #3: cost 20 inf + 43 1553942361.772 * * [simplify]: Extracting #4: cost 12 inf + 1098 1553942361.773 * * [simplify]: Extracting #5: cost 0 inf + 2673 1553942361.774 * * [simplify]: Extracting #6: cost 0 inf + 2670 1553942361.776 * [simplify]: Simplified to (cbrt (* (+ N (* (* N N) (* N N))) (* N N))) 1553942361.776 * [simplify]: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (/ (cbrt (* (+ N (* (* N N) (* N N))) (* N N))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N)))))))))) 1553942361.776 * * * * [progress]: [ 10 / 96 ] simplifiying candidate # 1553942361.776 * [simplify]: Simplifying (cbrt (- (* N N) (* (* N N) (* N N)))) 1553942361.776 * * [simplify]: iters left: 6 (5 enodes) 1553942361.779 * * [simplify]: iters left: 5 (24 enodes) 1553942361.786 * * [simplify]: iters left: 4 (55 enodes) 1553942361.796 * * [simplify]: iters left: 3 (112 enodes) 1553942361.814 * * [simplify]: iters left: 2 (186 enodes) 1553942361.868 * * [simplify]: iters left: 1 (314 enodes) 1553942362.015 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.015 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.015 * * [simplify]: Extracting #2: cost 39 inf + 0 1553942362.016 * * [simplify]: Extracting #3: cost 107 inf + 330 1553942362.020 * * [simplify]: Extracting #4: cost 41 inf + 9629 1553942362.029 * * [simplify]: Extracting #5: cost 0 inf + 16110 1553942362.038 * * [simplify]: Extracting #6: cost 0 inf + 16030 1553942362.044 * [simplify]: Simplified to (cbrt (- (* N N) (* (* N N) (* N N)))) 1553942362.044 * [simplify]: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (/ (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- N (* N N)))))))) 1553942362.045 * * * * [progress]: [ 11 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 12 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 13 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 14 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 15 / 96 ] simplifiying candidate #real (real->posit16 (cbrt (+ N (* N N)))))))))> 1553942362.045 * * * * [progress]: [ 16 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 17 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 18 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 19 / 96 ] simplifiying candidate # 1553942362.045 * * * * [progress]: [ 20 / 96 ] simplifiying candidate # 1553942362.045 * [simplify]: Simplifying (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1553942362.045 * * [simplify]: iters left: 6 (6 enodes) 1553942362.047 * * [simplify]: iters left: 5 (22 enodes) 1553942362.050 * * [simplify]: iters left: 4 (30 enodes) 1553942362.055 * * [simplify]: iters left: 3 (38 enodes) 1553942362.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.061 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.061 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942362.061 * * [simplify]: Extracting #3: cost 7 inf + 0 1553942362.061 * * [simplify]: Extracting #4: cost 11 inf + 0 1553942362.061 * * [simplify]: Extracting #5: cost 13 inf + 1 1553942362.061 * * [simplify]: Extracting #6: cost 8 inf + 168 1553942362.061 * * [simplify]: Extracting #7: cost 4 inf + 652 1553942362.061 * * [simplify]: Extracting #8: cost 1 inf + 1335 1553942362.061 * * [simplify]: Extracting #9: cost 0 inf + 1616 1553942362.062 * [simplify]: Simplified to (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) 1553942362.062 * [simplify]: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (* (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) (cbrt (cbrt (+ N (* N N)))))) (cbrt (+ N (* N N))))))) 1553942362.062 * * * * [progress]: [ 21 / 96 ] simplifiying candidate # 1553942362.062 * [simplify]: Simplifying (cbrt (sqrt (+ N (* N N)))) 1553942362.062 * * [simplify]: iters left: 6 (5 enodes) 1553942362.063 * * [simplify]: iters left: 5 (19 enodes) 1553942362.067 * * [simplify]: iters left: 4 (27 enodes) 1553942362.075 * * [simplify]: iters left: 3 (35 enodes) 1553942362.085 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.085 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.085 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942362.085 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942362.085 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942362.085 * * [simplify]: Extracting #5: cost 0 inf + 974 1553942362.085 * [simplify]: Simplified to (cbrt (sqrt (+ (* N N) N))) 1553942362.086 * [simplify]: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (* (cbrt (sqrt (+ (* N N) N))) (cbrt (sqrt (+ N (* N N)))))) (cbrt (+ N (* N N))))))) 1553942362.086 * * * * [progress]: [ 22 / 96 ] simplifiying candidate # 1553942362.086 * [simplify]: Simplifying (cbrt 1) 1553942362.086 * * [simplify]: iters left: 1 (2 enodes) 1553942362.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.089 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942362.089 * [simplify]: Simplified to 1 1553942362.089 * [simplify]: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (* 1 (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942362.089 * * * * [progress]: [ 23 / 96 ] simplifiying candidate # 1553942362.090 * [simplify]: Simplifying (cbrt (+ N 1)) 1553942362.090 * * [simplify]: iters left: 3 (4 enodes) 1553942362.092 * * [simplify]: iters left: 2 (15 enodes) 1553942362.095 * * [simplify]: iters left: 1 (17 enodes) 1553942362.097 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.097 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.097 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942362.097 * * [simplify]: Extracting #3: cost 2 inf + 86 1553942362.097 * * [simplify]: Extracting #4: cost 1 inf + 208 1553942362.098 * * [simplify]: Extracting #5: cost 0 inf + 330 1553942362.098 * [simplify]: Simplified to (cbrt (+ 1 N)) 1553942362.098 * [simplify]: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (* (cbrt (+ 1 N)) (cbrt N))) (cbrt (+ N (* N N))))))) 1553942362.098 * * * * [progress]: [ 24 / 96 ] simplifiying candidate # 1553942362.098 * [simplify]: Simplifying (cbrt (+ (pow N 3) (pow (* N N) 3))) 1553942362.098 * * [simplify]: iters left: 6 (7 enodes) 1553942362.100 * * [simplify]: iters left: 5 (28 enodes) 1553942362.107 * * [simplify]: iters left: 4 (49 enodes) 1553942362.116 * * [simplify]: iters left: 3 (86 enodes) 1553942362.131 * * [simplify]: iters left: 2 (136 enodes) 1553942362.174 * * [simplify]: iters left: 1 (170 enodes) 1553942362.193 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.193 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.193 * * [simplify]: Extracting #2: cost 13 inf + 0 1553942362.193 * * [simplify]: Extracting #3: cost 20 inf + 43 1553942362.194 * * [simplify]: Extracting #4: cost 12 inf + 1098 1553942362.194 * * [simplify]: Extracting #5: cost 0 inf + 2673 1553942362.195 * * [simplify]: Extracting #6: cost 0 inf + 2670 1553942362.196 * [simplify]: Simplified to (cbrt (* (+ N (* (* N N) (* N N))) (* N N))) 1553942362.196 * [simplify]: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (/ (cbrt (* (+ N (* (* N N) (* N N))) (* N N))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))))) (cbrt (+ N (* N N))))))) 1553942362.196 * * * * [progress]: [ 25 / 96 ] simplifiying candidate # 1553942362.196 * [simplify]: Simplifying (cbrt (- (* N N) (* (* N N) (* N N)))) 1553942362.196 * * [simplify]: iters left: 6 (5 enodes) 1553942362.198 * * [simplify]: iters left: 5 (24 enodes) 1553942362.202 * * [simplify]: iters left: 4 (55 enodes) 1553942362.215 * * [simplify]: iters left: 3 (112 enodes) 1553942362.242 * * [simplify]: iters left: 2 (186 enodes) 1553942362.294 * * [simplify]: iters left: 1 (314 enodes) 1553942362.475 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.476 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.476 * * [simplify]: Extracting #2: cost 39 inf + 0 1553942362.477 * * [simplify]: Extracting #3: cost 107 inf + 330 1553942362.481 * * [simplify]: Extracting #4: cost 41 inf + 9629 1553942362.493 * * [simplify]: Extracting #5: cost 0 inf + 16110 1553942362.502 * * [simplify]: Extracting #6: cost 0 inf + 16030 1553942362.511 * [simplify]: Simplified to (cbrt (- (* N N) (* (* N N) (* N N)))) 1553942362.511 * [simplify]: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (/ (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- N (* N N))))) (cbrt (+ N (* N N))))))) 1553942362.512 * * * * [progress]: [ 26 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 27 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 28 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 29 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 30 / 96 ] simplifiying candidate #real (real->posit16 (cbrt (+ N (* N N)))))) (cbrt (+ N (* N N)))))))> 1553942362.512 * * * * [progress]: [ 31 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 32 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 33 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 34 / 96 ] simplifiying candidate # 1553942362.512 * * * * [progress]: [ 35 / 96 ] simplifiying candidate # 1553942362.513 * [simplify]: Simplifying (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1553942362.513 * * [simplify]: iters left: 6 (6 enodes) 1553942362.515 * * [simplify]: iters left: 5 (22 enodes) 1553942362.522 * * [simplify]: iters left: 4 (30 enodes) 1553942362.531 * * [simplify]: iters left: 3 (38 enodes) 1553942362.542 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.542 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.542 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942362.542 * * [simplify]: Extracting #3: cost 7 inf + 0 1553942362.542 * * [simplify]: Extracting #4: cost 11 inf + 0 1553942362.542 * * [simplify]: Extracting #5: cost 13 inf + 1 1553942362.542 * * [simplify]: Extracting #6: cost 8 inf + 168 1553942362.543 * * [simplify]: Extracting #7: cost 4 inf + 652 1553942362.543 * * [simplify]: Extracting #8: cost 1 inf + 1335 1553942362.543 * * [simplify]: Extracting #9: cost 0 inf + 1616 1553942362.544 * [simplify]: Simplified to (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) 1553942362.544 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) (cbrt (cbrt (+ N (* N N))))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942362.544 * * * * [progress]: [ 36 / 96 ] simplifiying candidate # 1553942362.544 * [simplify]: Simplifying (cbrt (sqrt (+ N (* N N)))) 1553942362.545 * * [simplify]: iters left: 6 (5 enodes) 1553942362.547 * * [simplify]: iters left: 5 (19 enodes) 1553942362.553 * * [simplify]: iters left: 4 (27 enodes) 1553942362.561 * * [simplify]: iters left: 3 (35 enodes) 1553942362.568 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.568 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.568 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942362.568 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942362.568 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942362.568 * * [simplify]: Extracting #5: cost 0 inf + 974 1553942362.569 * [simplify]: Simplified to (cbrt (sqrt (+ (* N N) N))) 1553942362.569 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (sqrt (+ (* N N) N))) (cbrt (sqrt (+ N (* N N))))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942362.569 * * * * [progress]: [ 37 / 96 ] simplifiying candidate # 1553942362.569 * [simplify]: Simplifying (cbrt 1) 1553942362.569 * * [simplify]: iters left: 1 (2 enodes) 1553942362.571 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.571 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942362.571 * [simplify]: Simplified to 1 1553942362.571 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* 1 (cbrt (+ N (* N N)))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942362.571 * * * * [progress]: [ 38 / 96 ] simplifiying candidate # 1553942362.571 * [simplify]: Simplifying (cbrt (+ N 1)) 1553942362.571 * * [simplify]: iters left: 3 (4 enodes) 1553942362.572 * * [simplify]: iters left: 2 (15 enodes) 1553942362.575 * * [simplify]: iters left: 1 (17 enodes) 1553942362.577 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.577 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.577 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942362.577 * * [simplify]: Extracting #3: cost 2 inf + 86 1553942362.578 * * [simplify]: Extracting #4: cost 1 inf + 208 1553942362.578 * * [simplify]: Extracting #5: cost 0 inf + 330 1553942362.578 * [simplify]: Simplified to (cbrt (+ 1 N)) 1553942362.578 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (cbrt N)) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942362.578 * * * * [progress]: [ 39 / 96 ] simplifiying candidate # 1553942362.578 * [simplify]: Simplifying (cbrt (+ (pow N 3) (pow (* N N) 3))) 1553942362.578 * * [simplify]: iters left: 6 (7 enodes) 1553942362.580 * * [simplify]: iters left: 5 (28 enodes) 1553942362.585 * * [simplify]: iters left: 4 (49 enodes) 1553942362.594 * * [simplify]: iters left: 3 (86 enodes) 1553942362.623 * * [simplify]: iters left: 2 (136 enodes) 1553942362.653 * * [simplify]: iters left: 1 (170 enodes) 1553942362.679 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.679 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.679 * * [simplify]: Extracting #2: cost 13 inf + 0 1553942362.679 * * [simplify]: Extracting #3: cost 20 inf + 43 1553942362.680 * * [simplify]: Extracting #4: cost 12 inf + 1098 1553942362.681 * * [simplify]: Extracting #5: cost 0 inf + 2673 1553942362.682 * * [simplify]: Extracting #6: cost 0 inf + 2670 1553942362.684 * [simplify]: Simplified to (cbrt (* (+ N (* (* N N) (* N N))) (* N N))) 1553942362.684 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (/ (cbrt (* (+ N (* (* N N) (* N N))) (* N N))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N)))))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942362.684 * * * * [progress]: [ 40 / 96 ] simplifiying candidate # 1553942362.684 * [simplify]: Simplifying (cbrt (- (* N N) (* (* N N) (* N N)))) 1553942362.684 * * [simplify]: iters left: 6 (5 enodes) 1553942362.687 * * [simplify]: iters left: 5 (24 enodes) 1553942362.692 * * [simplify]: iters left: 4 (55 enodes) 1553942362.703 * * [simplify]: iters left: 3 (112 enodes) 1553942362.725 * * [simplify]: iters left: 2 (186 enodes) 1553942362.801 * * [simplify]: iters left: 1 (314 enodes) 1553942362.936 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.936 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.936 * * [simplify]: Extracting #2: cost 39 inf + 0 1553942362.937 * * [simplify]: Extracting #3: cost 107 inf + 330 1553942362.939 * * [simplify]: Extracting #4: cost 41 inf + 9629 1553942362.946 * * [simplify]: Extracting #5: cost 0 inf + 16110 1553942362.955 * * [simplify]: Extracting #6: cost 0 inf + 16030 1553942362.961 * [simplify]: Simplified to (cbrt (- (* N N) (* (* N N) (* N N)))) 1553942362.961 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (/ (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- N (* N N)))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942362.961 * * * * [progress]: [ 41 / 96 ] simplifiying candidate # 1553942362.961 * * * * [progress]: [ 42 / 96 ] simplifiying candidate # 1553942362.961 * * * * [progress]: [ 43 / 96 ] simplifiying candidate # 1553942362.961 * * * * [progress]: [ 44 / 96 ] simplifiying candidate # 1553942362.961 * * * * [progress]: [ 45 / 96 ] simplifiying candidate #real (real->posit16 (cbrt (+ N (* N N))))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N)))))))> 1553942362.961 * * * * [progress]: [ 46 / 96 ] simplifiying candidate # 1553942362.961 * [simplify]: Simplifying (+ N (* N N)) 1553942362.961 * * [simplify]: iters left: 4 (3 enodes) 1553942362.962 * * [simplify]: iters left: 3 (13 enodes) 1553942362.965 * * [simplify]: iters left: 2 (21 enodes) 1553942362.968 * * [simplify]: iters left: 1 (29 enodes) 1553942362.975 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.975 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942362.976 * * [simplify]: Extracting #2: cost 6 inf + 42 1553942362.976 * * [simplify]: Extracting #3: cost 2 inf + 246 1553942362.976 * * [simplify]: Extracting #4: cost 1 inf + 288 1553942362.976 * * [simplify]: Extracting #5: cost 0 inf + 330 1553942362.976 * [simplify]: Simplified to (+ (* N N) N) 1553942362.976 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (+ (* N N) N) (+ 1/3 1/3)) (cbrt (+ N (* N N))))))) 1553942362.976 * [simplify]: Simplifying (+ 1/3 1/3) 1553942362.976 * * [simplify]: iters left: 2 (2 enodes) 1553942362.978 * * [simplify]: iters left: 1 (7 enodes) 1553942362.979 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.979 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942362.979 * [simplify]: Simplified to 2/3 1553942362.979 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (pow (+ N (* N N)) 2/3) (cbrt (+ N (* N N))))))) 1553942362.979 * * * * [progress]: [ 47 / 96 ] simplifiying candidate # 1553942362.979 * [simplify]: Simplifying (cbrt (+ N (* N N))) 1553942362.979 * * [simplify]: iters left: 5 (4 enodes) 1553942362.980 * * [simplify]: iters left: 4 (16 enodes) 1553942362.983 * * [simplify]: iters left: 3 (24 enodes) 1553942362.987 * * [simplify]: iters left: 2 (32 enodes) 1553942362.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942362.994 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942362.994 * * [simplify]: Extracting #2: cost 7 inf + 0 1553942362.994 * * [simplify]: Extracting #3: cost 9 inf + 1 1553942362.994 * * [simplify]: Extracting #4: cost 2 inf + 568 1553942362.995 * * [simplify]: Extracting #5: cost 1 inf + 610 1553942362.995 * * [simplify]: Extracting #6: cost 0 inf + 652 1553942362.995 * [simplify]: Simplified to (cbrt (+ (* N N) N)) 1553942362.995 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ (* N N) N)) (+ 1 1)) (cbrt (+ N (* N N))))))) 1553942362.996 * [simplify]: Simplifying (+ 1 1) 1553942362.996 * * [simplify]: iters left: 2 (2 enodes) 1553942362.998 * * [simplify]: iters left: 1 (9 enodes) 1553942363.001 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.001 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942363.001 * [simplify]: Simplified to 2 1553942363.001 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ N (* N N))) 2) (cbrt (+ N (* N N))))))) 1553942363.001 * * * * [progress]: [ 48 / 96 ] simplifiying candidate # 1553942363.002 * [simplify]: Simplifying (* (+ N (* N N)) (+ N (* N N))) 1553942363.002 * * [simplify]: iters left: 6 (4 enodes) 1553942363.004 * * [simplify]: iters left: 5 (22 enodes) 1553942363.013 * * [simplify]: iters left: 4 (61 enodes) 1553942363.044 * * [simplify]: iters left: 3 (155 enodes) 1553942363.109 * * [simplify]: iters left: 2 (250 enodes) 1553942363.191 * * [simplify]: iters left: 1 (426 enodes) 1553942363.317 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.317 * * [simplify]: Extracting #1: cost 21 inf + 0 1553942363.318 * * [simplify]: Extracting #2: cost 52 inf + 2 1553942363.318 * * [simplify]: Extracting #3: cost 52 inf + 782 1553942363.320 * * [simplify]: Extracting #4: cost 7 inf + 5728 1553942363.322 * * [simplify]: Extracting #5: cost 0 inf + 6659 1553942363.325 * * [simplify]: Extracting #6: cost 0 inf + 6658 1553942363.328 * [simplify]: Simplified to (* (+ (* N N) N) (+ (* N N) N)) 1553942363.328 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (* (+ (* N N) N) (+ (* N N) N)) 1/3) (cbrt (+ N (* N N))))))) 1553942363.328 * * * * [progress]: [ 49 / 96 ] simplifiying candidate # 1553942363.328 * [simplify]: Simplifying (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) 1553942363.328 * * [simplify]: iters left: 6 (5 enodes) 1553942363.329 * * [simplify]: iters left: 5 (19 enodes) 1553942363.333 * * [simplify]: iters left: 4 (27 enodes) 1553942363.337 * * [simplify]: iters left: 3 (35 enodes) 1553942363.342 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.342 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942363.342 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942363.342 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942363.342 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942363.342 * * [simplify]: Extracting #5: cost 0 inf + 1054 1553942363.342 * [simplify]: Simplified to (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N))) 1553942363.342 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N))) 1) (cbrt (+ N (* N N))))))) 1553942363.342 * * * * [progress]: [ 50 / 96 ] simplifiying candidate # 1553942363.342 * * * * [progress]: [ 51 / 96 ] simplifiying candidate # 1553942363.343 * [simplify]: Simplifying (cbrt (+ N (* N N))) 1553942363.343 * * [simplify]: iters left: 5 (4 enodes) 1553942363.344 * * [simplify]: iters left: 4 (16 enodes) 1553942363.346 * * [simplify]: iters left: 3 (24 enodes) 1553942363.350 * * [simplify]: iters left: 2 (32 enodes) 1553942363.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.354 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942363.354 * * [simplify]: Extracting #2: cost 7 inf + 0 1553942363.354 * * [simplify]: Extracting #3: cost 9 inf + 1 1553942363.354 * * [simplify]: Extracting #4: cost 2 inf + 568 1553942363.354 * * [simplify]: Extracting #5: cost 1 inf + 610 1553942363.354 * * [simplify]: Extracting #6: cost 0 inf + 652 1553942363.355 * [simplify]: Simplified to (cbrt (+ (* N N) N)) 1553942363.355 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ (* N N) N)) (+ 1 1)) (cbrt (+ N (* N N))))))) 1553942363.355 * * * * [progress]: [ 52 / 96 ] simplifiying candidate # 1553942363.355 * * * * [progress]: [ 53 / 96 ] simplifiying candidate # 1553942363.355 * [simplify]: Simplifying (+ (log (cbrt (+ N (* N N)))) (log (cbrt (+ N (* N N))))) 1553942363.355 * * [simplify]: iters left: 6 (6 enodes) 1553942363.356 * * [simplify]: iters left: 5 (22 enodes) 1553942363.360 * * [simplify]: iters left: 4 (30 enodes) 1553942363.364 * * [simplify]: iters left: 3 (38 enodes) 1553942363.372 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.372 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942363.372 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942363.372 * * [simplify]: Extracting #3: cost 7 inf + 0 1553942363.372 * * [simplify]: Extracting #4: cost 11 inf + 0 1553942363.372 * * [simplify]: Extracting #5: cost 13 inf + 1 1553942363.372 * * [simplify]: Extracting #6: cost 8 inf + 168 1553942363.372 * * [simplify]: Extracting #7: cost 4 inf + 652 1553942363.373 * * [simplify]: Extracting #8: cost 1 inf + 1385 1553942363.373 * * [simplify]: Extracting #9: cost 0 inf + 1656 1553942363.373 * [simplify]: Simplified to (+ (log (cbrt (+ (* N N) N))) (log (cbrt (+ (* N N) N)))) 1553942363.373 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (exp (+ (log (cbrt (+ (* N N) N))) (log (cbrt (+ (* N N) N))))) (cbrt (+ N (* N N))))))) 1553942363.373 * * * * [progress]: [ 54 / 96 ] simplifiying candidate # 1553942363.373 * * * * [progress]: [ 55 / 96 ] simplifiying candidate # 1553942363.373 * * * * [progress]: [ 56 / 96 ] simplifiying candidate # 1553942363.374 * [simplify]: Simplifying (* (+ N (* N N)) (+ N (* N N))) 1553942363.374 * * [simplify]: iters left: 6 (4 enodes) 1553942363.375 * * [simplify]: iters left: 5 (22 enodes) 1553942363.379 * * [simplify]: iters left: 4 (61 enodes) 1553942363.395 * * [simplify]: iters left: 3 (155 enodes) 1553942363.426 * * [simplify]: iters left: 2 (250 enodes) 1553942363.518 * * [simplify]: iters left: 1 (426 enodes) 1553942363.653 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.653 * * [simplify]: Extracting #1: cost 21 inf + 0 1553942363.653 * * [simplify]: Extracting #2: cost 52 inf + 2 1553942363.654 * * [simplify]: Extracting #3: cost 52 inf + 782 1553942363.655 * * [simplify]: Extracting #4: cost 7 inf + 5728 1553942363.658 * * [simplify]: Extracting #5: cost 0 inf + 6659 1553942363.661 * * [simplify]: Extracting #6: cost 0 inf + 6658 1553942363.663 * [simplify]: Simplified to (* (+ (* N N) N) (+ (* N N) N)) 1553942363.664 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (cbrt (* (+ (* N N) N) (+ (* N N) N))) (cbrt (+ N (* N N))))))) 1553942363.664 * * * * [progress]: [ 57 / 96 ] simplifiying candidate # 1553942363.664 * * * * [progress]: [ 58 / 96 ] simplifiying candidate # 1553942363.664 * * * * [progress]: [ 59 / 96 ] simplifiying candidate # 1553942363.664 * * * * [progress]: [ 60 / 96 ] simplifiying candidate # 1553942363.664 * [simplify]: Simplifying (* (cbrt (+ (pow N 3) (pow (* N N) 3))) (cbrt (+ (pow N 3) (pow (* N N) 3)))) 1553942363.664 * * [simplify]: iters left: 6 (8 enodes) 1553942363.666 * * [simplify]: iters left: 5 (31 enodes) 1553942363.672 * * [simplify]: iters left: 4 (52 enodes) 1553942363.689 * * [simplify]: iters left: 3 (89 enodes) 1553942363.704 * * [simplify]: iters left: 2 (138 enodes) 1553942363.744 * * [simplify]: iters left: 1 (172 enodes) 1553942363.779 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.779 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942363.779 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942363.779 * * [simplify]: Extracting #3: cost 15 inf + 0 1553942363.779 * * [simplify]: Extracting #4: cost 23 inf + 2 1553942363.779 * * [simplify]: Extracting #5: cost 24 inf + 45 1553942363.780 * * [simplify]: Extracting #6: cost 9 inf + 1462 1553942363.781 * * [simplify]: Extracting #7: cost 0 inf + 3232 1553942363.783 * [simplify]: Simplified to (* (cbrt (* (* N N) (+ N (* (* N N) (* N N))))) (cbrt (* (* N N) (+ N (* (* N N) (* N N)))))) 1553942363.783 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (* (* N N) (+ N (* (* N N) (* N N))))) (cbrt (* (* N N) (+ N (* (* N N) (* N N)))))) (* (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))))) (cbrt (+ N (* N N))))))) 1553942363.784 * [simplify]: Simplifying (* (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N)))))) 1553942363.784 * * [simplify]: iters left: 6 (8 enodes) 1553942363.788 * * [simplify]: iters left: 5 (36 enodes) 1553942363.801 * * [simplify]: iters left: 4 (70 enodes) 1553942363.818 * * [simplify]: iters left: 3 (130 enodes) 1553942363.850 * * [simplify]: iters left: 2 (199 enodes) 1553942363.894 * * [simplify]: iters left: 1 (258 enodes) 1553942363.950 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942363.950 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942363.950 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942363.950 * * [simplify]: Extracting #3: cost 24 inf + 0 1553942363.950 * * [simplify]: Extracting #4: cost 50 inf + 124 1553942363.952 * * [simplify]: Extracting #5: cost 22 inf + 4129 1553942363.953 * * [simplify]: Extracting #6: cost 0 inf + 6876 1553942363.955 * * [simplify]: Extracting #7: cost 0 inf + 6836 1553942363.957 * [simplify]: Simplified to (* (cbrt (+ (* N N) (* (- (* N N) N) (* N N)))) (cbrt (+ (* N N) (* (- (* N N) N) (* N N))))) 1553942363.957 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (* (* N N) (+ N (* (* N N) (* N N))))) (cbrt (* (* N N) (+ N (* (* N N) (* N N)))))) (* (cbrt (+ (* N N) (* (- (* N N) N) (* N N)))) (cbrt (+ (* N N) (* (- (* N N) N) (* N N)))))) (cbrt (+ N (* N N))))))) 1553942363.957 * * * * [progress]: [ 61 / 96 ] simplifiying candidate # 1553942363.958 * [simplify]: Simplifying (* (cbrt (+ (pow N 3) (pow (* N N) 3))) (cbrt (- (* N N) (* (* N N) (* N N))))) 1553942363.958 * * [simplify]: iters left: 6 (11 enodes) 1553942363.961 * * [simplify]: iters left: 5 (47 enodes) 1553942363.969 * * [simplify]: iters left: 4 (90 enodes) 1553942363.991 * * [simplify]: iters left: 3 (171 enodes) 1553942364.048 * * [simplify]: iters left: 2 (283 enodes) 1553942364.129 * * [simplify]: iters left: 1 (421 enodes) 1553942364.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942364.289 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942364.289 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942364.289 * * [simplify]: Extracting #3: cost 50 inf + 0 1553942364.290 * * [simplify]: Extracting #4: cost 127 inf + 44 1553942364.291 * * [simplify]: Extracting #5: cost 91 inf + 6811 1553942364.295 * * [simplify]: Extracting #6: cost 12 inf + 19194 1553942364.301 * * [simplify]: Extracting #7: cost 0 inf + 18773 1553942364.307 * * [simplify]: Extracting #8: cost 0 inf + 18612 1553942364.316 * [simplify]: Simplified to (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (* (* N N) (+ N (* (* N N) (* N N)))))) 1553942364.316 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (* (* N N) (+ N (* (* N N) (* N N)))))) (* (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))) (cbrt (- N (* N N))))) (cbrt (+ N (* N N))))))) 1553942364.316 * [simplify]: Simplifying (* (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))) (cbrt (- N (* N N)))) 1553942364.317 * * [simplify]: iters left: 6 (10 enodes) 1553942364.321 * * [simplify]: iters left: 5 (45 enodes) 1553942364.336 * * [simplify]: iters left: 4 (83 enodes) 1553942364.366 * * [simplify]: iters left: 3 (139 enodes) 1553942364.391 * * [simplify]: iters left: 2 (202 enodes) 1553942364.437 * * [simplify]: iters left: 1 (258 enodes) 1553942364.482 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942364.482 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942364.482 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942364.482 * * [simplify]: Extracting #3: cost 29 inf + 0 1553942364.482 * * [simplify]: Extracting #4: cost 56 inf + 43 1553942364.483 * * [simplify]: Extracting #5: cost 20 inf + 5250 1553942364.485 * * [simplify]: Extracting #6: cost 1 inf + 7397 1553942364.487 * * [simplify]: Extracting #7: cost 0 inf + 7439 1553942364.489 * [simplify]: Simplified to (* (cbrt (- (* N N) (* (* N N) (- N (* N N))))) (cbrt (- N (* N N)))) 1553942364.489 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (* (* N N) (+ N (* (* N N) (* N N)))))) (* (cbrt (- (* N N) (* (* N N) (- N (* N N))))) (cbrt (- N (* N N))))) (cbrt (+ N (* N N))))))) 1553942364.490 * * * * [progress]: [ 62 / 96 ] simplifiying candidate # 1553942364.490 * [simplify]: Simplifying (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (+ (pow N 3) (pow (* N N) 3)))) 1553942364.490 * * [simplify]: iters left: 6 (11 enodes) 1553942364.493 * * [simplify]: iters left: 5 (47 enodes) 1553942364.502 * * [simplify]: iters left: 4 (90 enodes) 1553942364.519 * * [simplify]: iters left: 3 (171 enodes) 1553942364.554 * * [simplify]: iters left: 2 (273 enodes) 1553942364.640 * * [simplify]: iters left: 1 (408 enodes) 1553942364.765 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942364.765 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942364.765 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942364.765 * * [simplify]: Extracting #3: cost 50 inf + 0 1553942364.766 * * [simplify]: Extracting #4: cost 127 inf + 43 1553942364.767 * * [simplify]: Extracting #5: cost 92 inf + 4416 1553942364.771 * * [simplify]: Extracting #6: cost 10 inf + 16958 1553942364.776 * * [simplify]: Extracting #7: cost 0 inf + 18532 1553942364.782 * [simplify]: Simplified to (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (* (+ N (* (* N N) (* N N))) (* N N)))) 1553942364.782 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (* (+ N (* (* N N) (* N N))) (* N N)))) (* (cbrt (- N (* N N))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))))) (cbrt (+ N (* N N))))))) 1553942364.782 * [simplify]: Simplifying (* (cbrt (- N (* N N))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N)))))) 1553942364.782 * * [simplify]: iters left: 6 (10 enodes) 1553942364.785 * * [simplify]: iters left: 5 (45 enodes) 1553942364.792 * * [simplify]: iters left: 4 (83 enodes) 1553942364.810 * * [simplify]: iters left: 3 (138 enodes) 1553942364.856 * * [simplify]: iters left: 2 (201 enodes) 1553942364.929 * * [simplify]: iters left: 1 (257 enodes) 1553942365.005 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.005 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942365.005 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942365.005 * * [simplify]: Extracting #3: cost 29 inf + 0 1553942365.006 * * [simplify]: Extracting #4: cost 53 inf + 366 1553942365.007 * * [simplify]: Extracting #5: cost 18 inf + 5054 1553942365.009 * * [simplify]: Extracting #6: cost 0 inf + 7559 1553942365.011 * [simplify]: Simplified to (* (cbrt (+ (* N N) (* (* N N) (- (* N N) N)))) (cbrt (- N (* N N)))) 1553942365.011 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (* (+ N (* (* N N) (* N N))) (* N N)))) (* (cbrt (+ (* N N) (* (* N N) (- (* N N) N)))) (cbrt (- N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.011 * * * * [progress]: [ 63 / 96 ] simplifiying candidate # 1553942365.011 * [simplify]: Simplifying (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- (* N N) (* (* N N) (* N N))))) 1553942365.011 * * [simplify]: iters left: 6 (6 enodes) 1553942365.013 * * [simplify]: iters left: 5 (27 enodes) 1553942365.017 * * [simplify]: iters left: 4 (58 enodes) 1553942365.029 * * [simplify]: iters left: 3 (115 enodes) 1553942365.049 * * [simplify]: iters left: 2 (195 enodes) 1553942365.092 * * [simplify]: iters left: 1 (323 enodes) 1553942365.197 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.197 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.197 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.197 * * [simplify]: Extracting #3: cost 41 inf + 0 1553942365.198 * * [simplify]: Extracting #4: cost 113 inf + 43 1553942365.199 * * [simplify]: Extracting #5: cost 56 inf + 8120 1553942365.204 * * [simplify]: Extracting #6: cost 1 inf + 16154 1553942365.209 * * [simplify]: Extracting #7: cost 0 inf + 16195 1553942365.218 * * [simplify]: Extracting #8: cost 0 inf + 16194 1553942365.223 * [simplify]: Simplified to (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- (* N N) (* (* N N) (* N N))))) 1553942365.223 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- (* N N) (* (* N N) (* N N))))) (* (cbrt (- N (* N N))) (cbrt (- N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.223 * [simplify]: Simplifying (* (cbrt (- N (* N N))) (cbrt (- N (* N N)))) 1553942365.223 * * [simplify]: iters left: 6 (5 enodes) 1553942365.225 * * [simplify]: iters left: 5 (17 enodes) 1553942365.227 * * [simplify]: iters left: 4 (23 enodes) 1553942365.230 * * [simplify]: iters left: 3 (28 enodes) 1553942365.234 * * [simplify]: iters left: 2 (36 enodes) 1553942365.239 * * [simplify]: iters left: 1 (45 enodes) 1553942365.245 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.245 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.245 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.245 * * [simplify]: Extracting #3: cost 10 inf + 0 1553942365.245 * * [simplify]: Extracting #4: cost 14 inf + 1 1553942365.245 * * [simplify]: Extracting #5: cost 9 inf + 248 1553942365.245 * * [simplify]: Extracting #6: cost 2 inf + 896 1553942365.246 * * [simplify]: Extracting #7: cost 0 inf + 1298 1553942365.246 * [simplify]: Simplified to (* (cbrt (- N (* N N))) (cbrt (- N (* N N)))) 1553942365.246 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (- (* N N) (* (* N N) (* N N))))) (* (cbrt (- N (* N N))) (cbrt (- N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.246 * * * * [progress]: [ 64 / 96 ] simplifiying candidate # 1553942365.246 * * * * [progress]: [ 65 / 96 ] simplifiying candidate # 1553942365.246 * [simplify]: Simplifying (cbrt (cbrt (+ N (* N N)))) 1553942365.246 * * [simplify]: iters left: 6 (5 enodes) 1553942365.247 * * [simplify]: iters left: 5 (19 enodes) 1553942365.250 * * [simplify]: iters left: 4 (27 enodes) 1553942365.255 * * [simplify]: iters left: 3 (35 enodes) 1553942365.260 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.260 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.260 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.260 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942365.260 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942365.260 * * [simplify]: Extracting #5: cost 0 inf + 1134 1553942365.261 * [simplify]: Simplified to (cbrt (cbrt (+ (* N N) N))) 1553942365.261 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))))) (cbrt (cbrt (+ (* N N) N)))) (cbrt (+ N (* N N))))))) 1553942365.261 * * * * [progress]: [ 66 / 96 ] simplifiying candidate # 1553942365.261 * [simplify]: Simplifying (cbrt (sqrt (+ N (* N N)))) 1553942365.261 * * [simplify]: iters left: 6 (5 enodes) 1553942365.262 * * [simplify]: iters left: 5 (19 enodes) 1553942365.265 * * [simplify]: iters left: 4 (27 enodes) 1553942365.269 * * [simplify]: iters left: 3 (35 enodes) 1553942365.275 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.275 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.275 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.275 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942365.275 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942365.276 * * [simplify]: Extracting #5: cost 0 inf + 974 1553942365.276 * [simplify]: Simplified to (cbrt (sqrt (+ (* N N) N))) 1553942365.276 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) (cbrt (sqrt (+ N (* N N))))) (cbrt (sqrt (+ (* N N) N)))) (cbrt (+ N (* N N))))))) 1553942365.276 * * * * [progress]: [ 67 / 96 ] simplifiying candidate # 1553942365.277 * [simplify]: Simplifying (cbrt (+ N (* N N))) 1553942365.277 * * [simplify]: iters left: 5 (4 enodes) 1553942365.278 * * [simplify]: iters left: 4 (16 enodes) 1553942365.283 * * [simplify]: iters left: 3 (24 enodes) 1553942365.290 * * [simplify]: iters left: 2 (32 enodes) 1553942365.294 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.294 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.294 * * [simplify]: Extracting #2: cost 7 inf + 0 1553942365.294 * * [simplify]: Extracting #3: cost 9 inf + 1 1553942365.294 * * [simplify]: Extracting #4: cost 2 inf + 568 1553942365.294 * * [simplify]: Extracting #5: cost 1 inf + 610 1553942365.294 * * [simplify]: Extracting #6: cost 0 inf + 652 1553942365.295 * [simplify]: Simplified to (cbrt (+ (* N N) N)) 1553942365.295 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) (cbrt 1)) (cbrt (+ (* N N) N))) (cbrt (+ N (* N N))))))) 1553942365.295 * * * * [progress]: [ 68 / 96 ] simplifiying candidate # 1553942365.295 * [simplify]: Simplifying (cbrt N) 1553942365.295 * * [simplify]: iters left: 1 (2 enodes) 1553942365.295 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.295 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.295 * * [simplify]: Extracting #2: cost 2 inf + 1 1553942365.295 * * [simplify]: Extracting #3: cost 0 inf + 163 1553942365.295 * [simplify]: Simplified to (cbrt N) 1553942365.295 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) (cbrt (+ N 1))) (cbrt N)) (cbrt (+ N (* N N))))))) 1553942365.296 * * * * [progress]: [ 69 / 96 ] simplifiying candidate # 1553942365.296 * [simplify]: Simplifying (cbrt (cbrt (+ N (* N N)))) 1553942365.296 * * [simplify]: iters left: 6 (5 enodes) 1553942365.297 * * [simplify]: iters left: 5 (19 enodes) 1553942365.300 * * [simplify]: iters left: 4 (27 enodes) 1553942365.305 * * [simplify]: iters left: 3 (35 enodes) 1553942365.310 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.310 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.310 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.310 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942365.310 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942365.310 * * [simplify]: Extracting #5: cost 0 inf + 1134 1553942365.310 * [simplify]: Simplified to (cbrt (cbrt (+ (* N N) N))) 1553942365.310 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) (* (cbrt (cbrt (+ N (* N N)))) (cbrt (cbrt (+ N (* N N)))))) (cbrt (cbrt (+ (* N N) N)))) (cbrt (+ N (* N N))))))) 1553942365.310 * * * * [progress]: [ 70 / 96 ] simplifiying candidate # 1553942365.311 * [simplify]: Simplifying (sqrt (cbrt (+ N (* N N)))) 1553942365.311 * * [simplify]: iters left: 6 (5 enodes) 1553942365.312 * * [simplify]: iters left: 5 (19 enodes) 1553942365.315 * * [simplify]: iters left: 4 (27 enodes) 1553942365.319 * * [simplify]: iters left: 3 (35 enodes) 1553942365.324 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.324 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.324 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.324 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942365.324 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942365.324 * * [simplify]: Extracting #5: cost 0 inf + 1054 1553942365.324 * [simplify]: Simplified to (sqrt (cbrt (+ (* N N) N))) 1553942365.324 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) (sqrt (cbrt (+ N (* N N))))) (sqrt (cbrt (+ (* N N) N)))) (cbrt (+ N (* N N))))))) 1553942365.324 * * * * [progress]: [ 71 / 96 ] simplifiying candidate # 1553942365.325 * [simplify]: Simplifying (cbrt (+ N (* N N))) 1553942365.325 * * [simplify]: iters left: 5 (4 enodes) 1553942365.326 * * [simplify]: iters left: 4 (16 enodes) 1553942365.328 * * [simplify]: iters left: 3 (24 enodes) 1553942365.332 * * [simplify]: iters left: 2 (32 enodes) 1553942365.336 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.336 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.336 * * [simplify]: Extracting #2: cost 7 inf + 0 1553942365.336 * * [simplify]: Extracting #3: cost 9 inf + 1 1553942365.336 * * [simplify]: Extracting #4: cost 2 inf + 568 1553942365.336 * * [simplify]: Extracting #5: cost 1 inf + 610 1553942365.336 * * [simplify]: Extracting #6: cost 0 inf + 652 1553942365.336 * [simplify]: Simplified to (cbrt (+ (* N N) N)) 1553942365.336 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (* N N))) 1) (cbrt (+ (* N N) N))) (cbrt (+ N (* N N))))))) 1553942365.337 * * * * [progress]: [ 72 / 96 ] simplifiying candidate # 1553942365.337 * [simplify]: Simplifying (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1553942365.337 * * [simplify]: iters left: 6 (6 enodes) 1553942365.338 * * [simplify]: iters left: 5 (22 enodes) 1553942365.341 * * [simplify]: iters left: 4 (30 enodes) 1553942365.348 * * [simplify]: iters left: 3 (38 enodes) 1553942365.353 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.353 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.353 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.353 * * [simplify]: Extracting #3: cost 7 inf + 0 1553942365.353 * * [simplify]: Extracting #4: cost 11 inf + 0 1553942365.353 * * [simplify]: Extracting #5: cost 13 inf + 1 1553942365.353 * * [simplify]: Extracting #6: cost 8 inf + 168 1553942365.353 * * [simplify]: Extracting #7: cost 4 inf + 652 1553942365.354 * * [simplify]: Extracting #8: cost 1 inf + 1335 1553942365.354 * * [simplify]: Extracting #9: cost 0 inf + 1616 1553942365.354 * [simplify]: Simplified to (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) 1553942365.354 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N)))) (* (cbrt (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.354 * * * * [progress]: [ 73 / 96 ] simplifiying candidate # 1553942365.354 * [simplify]: Simplifying (cbrt (sqrt (+ N (* N N)))) 1553942365.354 * * [simplify]: iters left: 6 (5 enodes) 1553942365.356 * * [simplify]: iters left: 5 (19 enodes) 1553942365.359 * * [simplify]: iters left: 4 (27 enodes) 1553942365.363 * * [simplify]: iters left: 3 (35 enodes) 1553942365.368 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.368 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.368 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.368 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942365.368 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942365.368 * * [simplify]: Extracting #5: cost 0 inf + 974 1553942365.368 * [simplify]: Simplified to (cbrt (sqrt (+ (* N N) N))) 1553942365.368 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (sqrt (+ (* N N) N))) (* (cbrt (sqrt (+ N (* N N)))) (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.368 * * * * [progress]: [ 74 / 96 ] simplifiying candidate # 1553942365.369 * [simplify]: Simplifying (cbrt 1) 1553942365.369 * * [simplify]: iters left: 1 (2 enodes) 1553942365.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.370 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942365.370 * [simplify]: Simplified to 1 1553942365.370 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* 1 (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.371 * * * * [progress]: [ 75 / 96 ] simplifiying candidate # 1553942365.371 * [simplify]: Simplifying (cbrt (+ N 1)) 1553942365.371 * * [simplify]: iters left: 3 (4 enodes) 1553942365.372 * * [simplify]: iters left: 2 (15 enodes) 1553942365.374 * * [simplify]: iters left: 1 (17 enodes) 1553942365.376 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.376 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.377 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942365.377 * * [simplify]: Extracting #3: cost 2 inf + 86 1553942365.377 * * [simplify]: Extracting #4: cost 1 inf + 208 1553942365.377 * * [simplify]: Extracting #5: cost 0 inf + 330 1553942365.377 * [simplify]: Simplified to (cbrt (+ 1 N)) 1553942365.377 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (* (cbrt N) (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.377 * * * * [progress]: [ 76 / 96 ] simplifiying candidate # 1553942365.377 * [simplify]: Simplifying (* (cbrt (cbrt (+ N (* N N)))) (cbrt (cbrt (+ N (* N N))))) 1553942365.377 * * [simplify]: iters left: 6 (6 enodes) 1553942365.378 * * [simplify]: iters left: 5 (22 enodes) 1553942365.382 * * [simplify]: iters left: 4 (30 enodes) 1553942365.388 * * [simplify]: iters left: 3 (38 enodes) 1553942365.393 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.393 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.393 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.393 * * [simplify]: Extracting #3: cost 7 inf + 0 1553942365.393 * * [simplify]: Extracting #4: cost 11 inf + 0 1553942365.393 * * [simplify]: Extracting #5: cost 13 inf + 1 1553942365.393 * * [simplify]: Extracting #6: cost 8 inf + 168 1553942365.393 * * [simplify]: Extracting #7: cost 4 inf + 652 1553942365.394 * * [simplify]: Extracting #8: cost 1 inf + 1415 1553942365.394 * * [simplify]: Extracting #9: cost 0 inf + 1696 1553942365.394 * [simplify]: Simplified to (* (cbrt (cbrt (+ (* N N) N))) (cbrt (cbrt (+ (* N N) N)))) 1553942365.394 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (cbrt (+ (* N N) N))) (cbrt (cbrt (+ (* N N) N)))) (* (cbrt (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.394 * * * * [progress]: [ 77 / 96 ] simplifiying candidate # 1553942365.394 * [simplify]: Simplifying (sqrt (cbrt (+ N (* N N)))) 1553942365.395 * * [simplify]: iters left: 6 (5 enodes) 1553942365.396 * * [simplify]: iters left: 5 (19 enodes) 1553942365.400 * * [simplify]: iters left: 4 (27 enodes) 1553942365.408 * * [simplify]: iters left: 3 (35 enodes) 1553942365.417 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.417 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.417 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942365.418 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942365.418 * * [simplify]: Extracting #4: cost 11 inf + 1 1553942365.418 * * [simplify]: Extracting #5: cost 0 inf + 1054 1553942365.418 * [simplify]: Simplified to (sqrt (cbrt (+ (* N N) N))) 1553942365.418 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (sqrt (cbrt (+ (* N N) N))) (* (sqrt (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))) (cbrt (+ N (* N N))))))) 1553942365.418 * * * * [progress]: [ 78 / 96 ] simplifiying candidate # 1553942365.419 * * * * [progress]: [ 79 / 96 ] simplifiying candidate # 1553942365.419 * [simplify]: Simplifying (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N))))) 1553942365.419 * * [simplify]: iters left: 6 (7 enodes) 1553942365.422 * * [simplify]: iters left: 5 (33 enodes) 1553942365.434 * * [simplify]: iters left: 4 (67 enodes) 1553942365.447 * * [simplify]: iters left: 3 (126 enodes) 1553942365.471 * * [simplify]: iters left: 2 (197 enodes) 1553942365.515 * * [simplify]: iters left: 1 (256 enodes) 1553942365.576 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.576 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.576 * * [simplify]: Extracting #2: cost 22 inf + 0 1553942365.576 * * [simplify]: Extracting #3: cost 50 inf + 2 1553942365.576 * * [simplify]: Extracting #4: cost 46 inf + 697 1553942365.577 * * [simplify]: Extracting #5: cost 8 inf + 4986 1553942365.579 * * [simplify]: Extracting #6: cost 0 inf + 6234 1553942365.581 * [simplify]: Simplified to (cbrt (+ (* N N) (* (* N N) (- (* N N) N)))) 1553942365.581 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ N (* N N))) (cbrt (+ (pow N 3) (pow (* N N) 3)))) (cbrt (+ (* N N) (* (* N N) (- (* N N) N))))) (cbrt (+ N (* N N))))))) 1553942365.581 * * * * [progress]: [ 80 / 96 ] simplifiying candidate # 1553942365.581 * [simplify]: Simplifying (cbrt (- N (* N N))) 1553942365.581 * * [simplify]: iters left: 5 (4 enodes) 1553942365.582 * * [simplify]: iters left: 4 (14 enodes) 1553942365.584 * * [simplify]: iters left: 3 (20 enodes) 1553942365.589 * * [simplify]: iters left: 2 (25 enodes) 1553942365.595 * * [simplify]: iters left: 1 (33 enodes) 1553942365.599 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.600 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942365.600 * * [simplify]: Extracting #2: cost 10 inf + 0 1553942365.600 * * [simplify]: Extracting #3: cost 14 inf + 1 1553942365.600 * * [simplify]: Extracting #4: cost 12 inf + 84 1553942365.600 * * [simplify]: Extracting #5: cost 2 inf + 738 1553942365.600 * * [simplify]: Extracting #6: cost 0 inf + 980 1553942365.600 * [simplify]: Simplified to (cbrt (- N (* N N))) 1553942365.600 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ N (* N N))) (cbrt (- (* N N) (* (* N N) (* N N))))) (cbrt (- N (* N N)))) (cbrt (+ N (* N N))))))) 1553942365.601 * * * * [progress]: [ 81 / 96 ] simplifiying candidate # 1553942365.601 * [simplify]: Simplifying (* (cbrt (+ (pow N 3) (pow (* N N) 3))) (cbrt (+ N (* N N)))) 1553942365.601 * * [simplify]: iters left: 6 (10 enodes) 1553942365.603 * * [simplify]: iters left: 5 (42 enodes) 1553942365.610 * * [simplify]: iters left: 4 (68 enodes) 1553942365.622 * * [simplify]: iters left: 3 (109 enodes) 1553942365.655 * * [simplify]: iters left: 2 (155 enodes) 1553942365.691 * * [simplify]: iters left: 1 (180 enodes) 1553942365.720 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.720 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942365.720 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942365.721 * * [simplify]: Extracting #3: cost 18 inf + 0 1553942365.721 * * [simplify]: Extracting #4: cost 29 inf + 1 1553942365.721 * * [simplify]: Extracting #5: cost 23 inf + 833 1553942365.721 * * [simplify]: Extracting #6: cost 7 inf + 2151 1553942365.722 * * [simplify]: Extracting #7: cost 1 inf + 3477 1553942365.723 * * [simplify]: Extracting #8: cost 0 inf + 3878 1553942365.724 * [simplify]: Simplified to (* (cbrt (* (* N N) (+ N (* (* N N) (* N N))))) (cbrt (+ (* N N) N))) 1553942365.724 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (* (* N N) (+ N (* (* N N) (* N N))))) (cbrt (+ (* N N) N))) (cbrt (+ (* N N) (- (* (* N N) (* N N)) (* N (* N N)))))) (cbrt (+ N (* N N))))))) 1553942365.724 * * * * [progress]: [ 82 / 96 ] simplifiying candidate # 1553942365.724 * [simplify]: Simplifying (* (cbrt (- (* N N) (* (* N N) (* N N)))) (cbrt (+ N (* N N)))) 1553942365.724 * * [simplify]: iters left: 6 (8 enodes) 1553942365.726 * * [simplify]: iters left: 5 (37 enodes) 1553942365.734 * * [simplify]: iters left: 4 (72 enodes) 1553942365.746 * * [simplify]: iters left: 3 (133 enodes) 1553942365.769 * * [simplify]: iters left: 2 (210 enodes) 1553942365.836 * * [simplify]: iters left: 1 (354 enodes) 1553942365.951 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942365.951 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942365.951 * * [simplify]: Extracting #2: cost 8 inf + 0 1553942365.951 * * [simplify]: Extracting #3: cost 45 inf + 0 1553942365.952 * * [simplify]: Extracting #4: cost 117 inf + 450 1553942365.954 * * [simplify]: Extracting #5: cost 53 inf + 10031 1553942365.959 * * [simplify]: Extracting #6: cost 1 inf + 18369 1553942365.965 * * [simplify]: Extracting #7: cost 0 inf + 18488 1553942365.970 * * [simplify]: Extracting #8: cost 0 inf + 18408 1553942365.975 * [simplify]: Simplified to (* (cbrt (+ (* N N) N)) (cbrt (- (* N N) (* (* N N) (* N N))))) 1553942365.975 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ (* N N) N)) (cbrt (- (* N N) (* (* N N) (* N N))))) (cbrt (- N (* N N)))) (cbrt (+ N (* N N))))))) 1553942365.976 * * * * [progress]: [ 83 / 96 ] simplifiying candidate #real (real->posit16 (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))))) (cbrt (+ N (* N N)))))))> 1553942365.976 * * * * [progress]: [ 84 / 96 ] simplifiying candidate # 1553942365.976 * * * * [progress]: [ 85 / 96 ] simplifiying candidate # 1553942365.976 * [simplify]: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1553942365.976 * * [simplify]: iters left: 6 (14 enodes) 1553942365.980 * * [simplify]: iters left: 5 (52 enodes) 1553942365.988 * * [simplify]: iters left: 4 (71 enodes) 1553942366.002 * * [simplify]: iters left: 3 (84 enodes) 1553942366.019 * * [simplify]: iters left: 2 (88 enodes) 1553942366.030 * * [simplify]: iters left: 1 (92 enodes) 1553942366.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.047 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.047 * * [simplify]: Extracting #2: cost 32 inf + 0 1553942366.047 * * [simplify]: Extracting #3: cost 33 inf + 4 1553942366.047 * * [simplify]: Extracting #4: cost 34 inf + 287 1553942366.048 * * [simplify]: Extracting #5: cost 28 inf + 1075 1553942366.049 * * [simplify]: Extracting #6: cost 12 inf + 7261 1553942366.051 * * [simplify]: Extracting #7: cost 0 inf + 13211 1553942366.053 * [simplify]: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1553942366.053 * [simplify]: Simplified (2 2 2 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)))))) 1553942366.053 * * * * [progress]: [ 86 / 96 ] simplifiying candidate # 1553942366.054 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942366.054 * * [simplify]: iters left: 6 (16 enodes) 1553942366.063 * * [simplify]: iters left: 5 (59 enodes) 1553942366.076 * * [simplify]: iters left: 4 (80 enodes) 1553942366.088 * * [simplify]: iters left: 3 (93 enodes) 1553942366.103 * * [simplify]: iters left: 2 (97 enodes) 1553942366.116 * * [simplify]: iters left: 1 (108 enodes) 1553942366.131 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.131 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.132 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942366.132 * * [simplify]: Extracting #3: cost 38 inf + 5 1553942366.132 * * [simplify]: Extracting #4: cost 38 inf + 7 1553942366.133 * * [simplify]: Extracting #5: cost 32 inf + 1488 1553942366.134 * * [simplify]: Extracting #6: cost 12 inf + 7704 1553942366.138 * * [simplify]: Extracting #7: cost 0 inf + 14238 1553942366.141 * [simplify]: Simplified to (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1553942366.141 * [simplify]: Simplified (2 2 2 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))))))) 1553942366.141 * * * * [progress]: [ 87 / 96 ] simplifiying candidate # 1553942366.141 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942366.142 * * [simplify]: iters left: 6 (18 enodes) 1553942366.148 * * [simplify]: iters left: 5 (65 enodes) 1553942366.159 * * [simplify]: iters left: 4 (86 enodes) 1553942366.172 * * [simplify]: iters left: 3 (99 enodes) 1553942366.195 * * [simplify]: iters left: 2 (103 enodes) 1553942366.209 * * [simplify]: iters left: 1 (114 enodes) 1553942366.226 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.226 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.226 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942366.226 * * [simplify]: Extracting #3: cost 39 inf + 5 1553942366.226 * * [simplify]: Extracting #4: cost 39 inf + 302 1553942366.226 * * [simplify]: Extracting #5: cost 38 inf + 598 1553942366.227 * * [simplify]: Extracting #6: cost 22 inf + 3660 1553942366.228 * * [simplify]: Extracting #7: cost 5 inf + 11233 1553942366.230 * * [simplify]: Extracting #8: cost 0 inf + 14531 1553942366.231 * [simplify]: Simplified to (+ (- (* (cbrt (/ 1 N)) 1/3) (* 1/9 (cbrt (/ 1 (pow N 4))))) (pow (/ -1 N) -2/3)) 1553942366.231 * [simplify]: Simplified (2 2 2 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N)))) (+ (- (* (cbrt (/ 1 N)) 1/3) (* 1/9 (cbrt (/ 1 (pow N 4))))) (pow (/ -1 N) -2/3)))))) 1553942366.231 * * * * [progress]: [ 88 / 96 ] simplifiying candidate # 1553942366.232 * [simplify]: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1553942366.232 * * [simplify]: iters left: 6 (14 enodes) 1553942366.236 * * [simplify]: iters left: 5 (52 enodes) 1553942366.245 * * [simplify]: iters left: 4 (71 enodes) 1553942366.257 * * [simplify]: iters left: 3 (84 enodes) 1553942366.270 * * [simplify]: iters left: 2 (88 enodes) 1553942366.286 * * [simplify]: iters left: 1 (92 enodes) 1553942366.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.300 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.300 * * [simplify]: Extracting #2: cost 32 inf + 0 1553942366.300 * * [simplify]: Extracting #3: cost 33 inf + 4 1553942366.300 * * [simplify]: Extracting #4: cost 34 inf + 287 1553942366.300 * * [simplify]: Extracting #5: cost 28 inf + 1075 1553942366.301 * * [simplify]: Extracting #6: cost 12 inf + 7261 1553942366.302 * * [simplify]: Extracting #7: cost 0 inf + 13211 1553942366.303 * [simplify]: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1553942366.303 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9))) (cbrt (+ N (* N N))))))) 1553942366.303 * * * * [progress]: [ 89 / 96 ] simplifiying candidate # 1553942366.303 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942366.304 * * [simplify]: iters left: 6 (16 enodes) 1553942366.308 * * [simplify]: iters left: 5 (59 enodes) 1553942366.318 * * [simplify]: iters left: 4 (80 enodes) 1553942366.329 * * [simplify]: iters left: 3 (93 enodes) 1553942366.351 * * [simplify]: iters left: 2 (97 enodes) 1553942366.379 * * [simplify]: iters left: 1 (108 enodes) 1553942366.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.397 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.397 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942366.397 * * [simplify]: Extracting #3: cost 38 inf + 5 1553942366.397 * * [simplify]: Extracting #4: cost 38 inf + 7 1553942366.398 * * [simplify]: Extracting #5: cost 32 inf + 1488 1553942366.398 * * [simplify]: Extracting #6: cost 12 inf + 7704 1553942366.400 * * [simplify]: Extracting #7: cost 0 inf + 14238 1553942366.401 * [simplify]: Simplified to (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1553942366.401 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -1/3 (cbrt (/ 1 N)))))) (cbrt (+ N (* N N))))))) 1553942366.402 * * * * [progress]: [ 90 / 96 ] simplifiying candidate # 1553942366.402 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942366.402 * * [simplify]: iters left: 6 (18 enodes) 1553942366.407 * * [simplify]: iters left: 5 (65 enodes) 1553942366.421 * * [simplify]: iters left: 4 (86 enodes) 1553942366.438 * * [simplify]: iters left: 3 (99 enodes) 1553942366.452 * * [simplify]: iters left: 2 (103 enodes) 1553942366.473 * * [simplify]: iters left: 1 (114 enodes) 1553942366.498 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.498 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.498 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942366.498 * * [simplify]: Extracting #3: cost 39 inf + 5 1553942366.498 * * [simplify]: Extracting #4: cost 39 inf + 302 1553942366.498 * * [simplify]: Extracting #5: cost 38 inf + 598 1553942366.499 * * [simplify]: Extracting #6: cost 22 inf + 3660 1553942366.500 * * [simplify]: Extracting #7: cost 5 inf + 11233 1553942366.502 * * [simplify]: Extracting #8: cost 0 inf + 14531 1553942366.503 * [simplify]: Simplified to (+ (- (* (cbrt (/ 1 N)) 1/3) (* 1/9 (cbrt (/ 1 (pow N 4))))) (pow (/ -1 N) -2/3)) 1553942366.503 * [simplify]: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (* N N))) (+ (- (* (cbrt (/ 1 N)) 1/3) (* 1/9 (cbrt (/ 1 (pow N 4))))) (pow (/ -1 N) -2/3))) (cbrt (+ N (* N N))))))) 1553942366.503 * * * * [progress]: [ 91 / 96 ] simplifiying candidate # 1553942366.504 * [simplify]: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1553942366.504 * * [simplify]: iters left: 6 (14 enodes) 1553942366.508 * * [simplify]: iters left: 5 (52 enodes) 1553942366.516 * * [simplify]: iters left: 4 (71 enodes) 1553942366.526 * * [simplify]: iters left: 3 (84 enodes) 1553942366.537 * * [simplify]: iters left: 2 (88 enodes) 1553942366.551 * * [simplify]: iters left: 1 (92 enodes) 1553942366.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.567 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.567 * * [simplify]: Extracting #2: cost 32 inf + 0 1553942366.567 * * [simplify]: Extracting #3: cost 33 inf + 4 1553942366.567 * * [simplify]: Extracting #4: cost 34 inf + 287 1553942366.567 * * [simplify]: Extracting #5: cost 28 inf + 1075 1553942366.568 * * [simplify]: Extracting #6: cost 12 inf + 7261 1553942366.569 * * [simplify]: Extracting #7: cost 0 inf + 13211 1553942366.570 * [simplify]: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1553942366.570 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942366.570 * * * * [progress]: [ 92 / 96 ] simplifiying candidate # 1553942366.570 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942366.571 * * [simplify]: iters left: 6 (16 enodes) 1553942366.575 * * [simplify]: iters left: 5 (59 enodes) 1553942366.585 * * [simplify]: iters left: 4 (80 enodes) 1553942366.605 * * [simplify]: iters left: 3 (93 enodes) 1553942366.618 * * [simplify]: iters left: 2 (97 enodes) 1553942366.632 * * [simplify]: iters left: 1 (108 enodes) 1553942366.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.663 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.663 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942366.663 * * [simplify]: Extracting #3: cost 38 inf + 5 1553942366.663 * * [simplify]: Extracting #4: cost 38 inf + 7 1553942366.664 * * [simplify]: Extracting #5: cost 32 inf + 1488 1553942366.665 * * [simplify]: Extracting #6: cost 12 inf + 7704 1553942366.668 * * [simplify]: Extracting #7: cost 0 inf + 14238 1553942366.671 * [simplify]: Simplified to (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1553942366.671 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942366.672 * * * * [progress]: [ 93 / 96 ] simplifiying candidate # 1553942366.672 * [simplify]: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1553942366.672 * * [simplify]: iters left: 6 (18 enodes) 1553942366.682 * * [simplify]: iters left: 5 (65 enodes) 1553942366.703 * * [simplify]: iters left: 4 (86 enodes) 1553942366.729 * * [simplify]: iters left: 3 (99 enodes) 1553942366.757 * * [simplify]: iters left: 2 (103 enodes) 1553942366.787 * * [simplify]: iters left: 1 (114 enodes) 1553942366.811 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.811 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.811 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942366.812 * * [simplify]: Extracting #3: cost 39 inf + 5 1553942366.812 * * [simplify]: Extracting #4: cost 39 inf + 302 1553942366.812 * * [simplify]: Extracting #5: cost 38 inf + 598 1553942366.812 * * [simplify]: Extracting #6: cost 22 inf + 3660 1553942366.814 * * [simplify]: Extracting #7: cost 5 inf + 11233 1553942366.815 * * [simplify]: Extracting #8: cost 0 inf + 14531 1553942366.817 * [simplify]: Simplified to (+ (- (* (cbrt (/ 1 N)) 1/3) (* 1/9 (cbrt (/ 1 (pow N 4))))) (pow (/ -1 N) -2/3)) 1553942366.817 * [simplify]: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (+ (- (* (cbrt (/ 1 N)) 1/3) (* 1/9 (cbrt (/ 1 (pow N 4))))) (pow (/ -1 N) -2/3)) (cbrt (+ N (* N N)))) (cbrt (+ N (* N N))))))) 1553942366.817 * * * * [progress]: [ 94 / 96 ] simplifiying candidate # 1553942366.817 * [simplify]: Simplifying (- (+ (* 2/3 (pow (pow N 5) 1/3)) (pow N 2/3)) (* 1/9 (pow (pow N 8) 1/3))) 1553942366.817 * * [simplify]: iters left: 6 (15 enodes) 1553942366.822 * * [simplify]: iters left: 5 (54 enodes) 1553942366.831 * * [simplify]: iters left: 4 (73 enodes) 1553942366.842 * * [simplify]: iters left: 3 (86 enodes) 1553942366.863 * * [simplify]: iters left: 2 (90 enodes) 1553942366.887 * * [simplify]: iters left: 1 (101 enodes) 1553942366.908 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942366.908 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942366.908 * * [simplify]: Extracting #2: cost 34 inf + 0 1553942366.908 * * [simplify]: Extracting #3: cost 36 inf + 5 1553942366.908 * * [simplify]: Extracting #4: cost 38 inf + 218 1553942366.908 * * [simplify]: Extracting #5: cost 31 inf + 1440 1553942366.909 * * [simplify]: Extracting #6: cost 17 inf + 6316 1553942366.910 * * [simplify]: Extracting #7: cost 0 inf + 16495 1553942366.911 * [simplify]: Simplified to (+ (* (cbrt (pow N 8)) -1/9) (+ (pow N 2/3) (* (cbrt (pow N 5)) 2/3))) 1553942366.911 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (* (cbrt (pow N 8)) -1/9) (+ (pow N 2/3) (* (cbrt (pow N 5)) 2/3))) (cbrt (+ N (* N N))))))) 1553942366.911 * * * * [progress]: [ 95 / 96 ] simplifiying candidate # 1553942366.912 * [simplify]: Simplifying (- (+ (* 2/3 (pow N 1/3)) (pow (/ 1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1553942366.912 * * [simplify]: iters left: 6 (17 enodes) 1553942366.917 * * [simplify]: iters left: 5 (63 enodes) 1553942366.928 * * [simplify]: iters left: 4 (85 enodes) 1553942366.947 * * [simplify]: iters left: 3 (98 enodes) 1553942366.962 * * [simplify]: iters left: 2 (102 enodes) 1553942366.981 * * [simplify]: iters left: 1 (113 enodes) 1553942367.000 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942367.000 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942367.000 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942367.000 * * [simplify]: Extracting #3: cost 39 inf + 5 1553942367.000 * * [simplify]: Extracting #4: cost 38 inf + 8 1553942367.001 * * [simplify]: Extracting #5: cost 29 inf + 1491 1553942367.001 * * [simplify]: Extracting #6: cost 16 inf + 4243 1553942367.002 * * [simplify]: Extracting #7: cost 4 inf + 8071 1553942367.004 * * [simplify]: Extracting #8: cost 0 inf + 9697 1553942367.005 * [simplify]: Simplified to (- (+ (pow (/ 1 N) -4/3) (* (cbrt N) 2/3)) (* (cbrt (/ 1 (* N N))) 1/9)) 1553942367.005 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (- (+ (pow (/ 1 N) -4/3) (* (cbrt N) 2/3)) (* (cbrt (/ 1 (* N N))) 1/9)) (cbrt (+ N (* N N))))))) 1553942367.005 * * * * [progress]: [ 96 / 96 ] simplifiying candidate # 1553942367.006 * [simplify]: Simplifying (- (+ (* 2/3 (pow N 1/3)) (pow (/ -1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1553942367.006 * * [simplify]: iters left: 6 (18 enodes) 1553942367.011 * * [simplify]: iters left: 5 (66 enodes) 1553942367.022 * * [simplify]: iters left: 4 (89 enodes) 1553942367.040 * * [simplify]: iters left: 3 (104 enodes) 1553942367.068 * * [simplify]: iters left: 2 (108 enodes) 1553942367.084 * * [simplify]: iters left: 1 (119 enodes) 1553942367.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942367.102 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942367.102 * * [simplify]: Extracting #2: cost 35 inf + 0 1553942367.102 * * [simplify]: Extracting #3: cost 39 inf + 5 1553942367.102 * * [simplify]: Extracting #4: cost 40 inf + 8 1553942367.103 * * [simplify]: Extracting #5: cost 22 inf + 3405 1553942367.104 * * [simplify]: Extracting #6: cost 3 inf + 8525 1553942367.106 * * [simplify]: Extracting #7: cost 0 inf + 9787 1553942367.108 * [simplify]: Simplified to (+ (+ (* (cbrt N) 2/3) (* -1/9 (cbrt (/ 1 (* N N))))) (pow (/ -1 N) -4/3)) 1553942367.108 * [simplify]: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (+ (* (cbrt N) 2/3) (* -1/9 (cbrt (/ 1 (* N N))))) (pow (/ -1 N) -4/3)) (cbrt (+ N (* N N))))))) 1553942367.108 * * * [progress]: adding candidates to table 1553942367.883 * [progress]: [Phase 3 of 3] Extracting. 1553942367.883 * * [regime]: Finding splitpoints for: (# # # #) 1553942367.884 * * * [regime-changes]: Trying 1 branch expressions: (N) 1553942367.884 * * * * [regimes]: Trying to branch on N from (# # # #) 1553942367.906 * * * [regime]: Found split indices: #