1540323343.460 * [misc]progress: [Phase 1 of 3] Setting up. 1540323343.460 * * * [misc]progress: [1/2] Preparing points 1540323343.460 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540323343.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1540323343.504 * * * * [exit]points: Sampled 256 points with exact outputs 1540323343.504 * * * [misc]progress: [2/2] Setting up program. 1540323343.511 * [misc]progress: [Phase 2 of 3] Improving. 1540323343.512 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540323343.512 * * [misc]simplify: iters left: 5 (6 enodes) 1540323343.515 * * [misc]simplify: iters left: 4 (11 enodes) 1540323343.518 * * [misc]simplify: iters left: 3 (12 enodes) 1540323343.522 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540323343.536 * * [misc]progress: iteration 1 / 4 1540323343.536 * * * [misc]progress: picking best candidate 1540323343.543 * * * * [misc]pick: Picked # 1540323343.543 * * * [misc]progress: localizing error 1540323343.568 * * * [misc]progress: generating rewritten candidates 1540323343.568 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1540323343.614 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1540323343.617 * * * [misc]progress: generating series expansions 1540323343.617 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1540323343.617 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540323343.617 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1540323343.617 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1540323343.617 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540323343.618 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.618 * [misc]taylor: Taking taylor expansion of (atan N) in N 1540323343.618 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1540323343.618 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1540323343.618 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540323343.618 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.618 * [misc]taylor: Taking taylor expansion of (atan N) in N 1540323343.618 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1540323343.618 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1540323343.618 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1540323343.618 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540323343.619 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.619 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.619 * [misc]backup-simplify: Simplify 0 into 0 1540323343.619 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.619 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.619 * [misc]backup-simplify: Simplify 0 into 0 1540323343.619 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.620 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.620 * [misc]backup-simplify: Simplify 0 into 0 1540323343.620 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.620 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.620 * [misc]backup-simplify: Simplify 0 into 0 1540323343.620 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.620 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.620 * [misc]backup-simplify: Simplify 0 into 0 1540323343.621 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.621 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.621 * [misc]backup-simplify: Simplify 0 into 0 1540323343.621 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540323343.621 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540323343.621 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1540323343.621 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1540323343.621 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540323343.621 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540323343.621 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1540323343.621 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1540323343.622 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1540323343.622 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540323343.622 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540323343.622 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1540323343.622 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1540323343.622 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1540323343.622 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540323343.622 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540323343.623 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.623 * [misc]backup-simplify: Simplify 0 into 0 1540323343.623 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.623 * [misc]backup-simplify: Simplify 0 into 0 1540323343.623 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.624 * [misc]backup-simplify: Simplify 0 into 0 1540323343.624 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.624 * [misc]backup-simplify: Simplify 0 into 0 1540323343.624 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.624 * [misc]backup-simplify: Simplify 0 into 0 1540323343.624 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.625 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.625 * [misc]backup-simplify: Simplify 0 into 0 1540323343.625 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1540323343.625 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540323343.625 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1540323343.625 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1540323343.625 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540323343.626 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540323343.626 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1540323343.626 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1540323343.626 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1540323343.626 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540323343.626 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540323343.626 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1540323343.626 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1540323343.626 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1540323343.626 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540323343.626 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540323343.627 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.627 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.627 * [misc]backup-simplify: Simplify 0 into 0 1540323343.627 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.627 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.627 * [misc]backup-simplify: Simplify 0 into 0 1540323343.628 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.628 * [misc]backup-simplify: Simplify 0 into 0 1540323343.628 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.628 * [misc]backup-simplify: Simplify 0 into 0 1540323343.628 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.629 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.629 * [misc]backup-simplify: Simplify 0 into 0 1540323343.629 * [misc]backup-simplify: Simplify (- 0) into 0 1540323343.629 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323343.629 * [misc]backup-simplify: Simplify 0 into 0 1540323343.629 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1540323343.629 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1540323343.630 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.630 * [misc]approximate: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1540323343.630 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540323343.630 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.630 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540323343.630 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.630 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.630 * [misc]backup-simplify: Simplify 0 into 0 1540323343.630 * [misc]backup-simplify: Simplify 0 into 0 1540323343.630 * [misc]backup-simplify: Simplify 0 into 0 1540323343.630 * [misc]backup-simplify: Simplify 0 into 0 1540323343.630 * [misc]backup-simplify: Simplify 0 into 0 1540323343.630 * [misc]backup-simplify: Simplify 0 into 0 1540323343.630 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540323343.631 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540323343.631 * [misc]approximate: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1540323343.631 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540323343.631 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540323343.631 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540323343.631 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540323343.631 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540323343.631 * [misc]backup-simplify: Simplify 0 into 0 1540323343.631 * [misc]backup-simplify: Simplify 0 into 0 1540323343.631 * [misc]backup-simplify: Simplify 0 into 0 1540323343.631 * [misc]backup-simplify: Simplify 0 into 0 1540323343.631 * [misc]backup-simplify: Simplify 0 into 0 1540323343.631 * [misc]backup-simplify: Simplify 0 into 0 1540323343.631 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1540323343.632 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N))) 1540323343.632 * [misc]approximate: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1540323343.632 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540323343.632 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540323343.632 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540323343.632 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540323343.632 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540323343.632 * [misc]backup-simplify: Simplify 0 into 0 1540323343.632 * [misc]backup-simplify: Simplify 0 into 0 1540323343.632 * [misc]backup-simplify: Simplify 0 into 0 1540323343.632 * [misc]backup-simplify: Simplify 0 into 0 1540323343.632 * [misc]backup-simplify: Simplify 0 into 0 1540323343.632 * [misc]backup-simplify: Simplify 0 into 0 1540323343.632 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1540323343.633 * * * [misc]progress: simplifying candidates 1540323343.633 * * * * [misc]progress: [ 1 / 28 ] simplifiying candidate # 1540323343.633 * [enter]simplify: Simplifying (- (+ N 1) N) 1540323343.633 * * [misc]simplify: iters left: 4 (4 enodes) 1540323343.636 * * [misc]simplify: iters left: 3 (11 enodes) 1540323343.640 * * [misc]simplify: iters left: 2 (19 enodes) 1540323343.649 * * [misc]simplify: iters left: 1 (25 enodes) 1540323343.653 * [exit]simplify: Simplified to 1 1540323343.653 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1540323343.653 * [enter]simplify: Simplifying (+ 1 (* (+ N 1) N)) 1540323343.654 * * [misc]simplify: iters left: 6 (5 enodes) 1540323343.656 * * [misc]simplify: iters left: 5 (10 enodes) 1540323343.660 * * [misc]simplify: iters left: 4 (17 enodes) 1540323343.668 * * [misc]simplify: iters left: 3 (27 enodes) 1540323343.677 * * [misc]simplify: iters left: 2 (42 enodes) 1540323343.694 * * [misc]simplify: iters left: 1 (43 enodes) 1540323343.700 * [exit]simplify: Simplified to (+ (+ N 1) (* N N)) 1540323343.700 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N)))) 1540323343.701 * * * * [misc]progress: [ 2 / 28 ] simplifiying candidate # 1540323343.701 * [enter]simplify: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1540323343.706 * * [misc]simplify: iters left: 6 (8 enodes) 1540323343.709 * * [misc]simplify: iters left: 5 (13 enodes) 1540323343.713 * * [misc]simplify: iters left: 4 (15 enodes) 1540323343.717 * * [misc]simplify: iters left: 3 (18 enodes) 1540323343.722 * * [misc]simplify: iters left: 2 (20 enodes) 1540323343.728 * * [misc]simplify: iters left: 1 (24 enodes) 1540323343.738 * [exit]simplify: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1540323343.738 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1540323343.738 * * * * [misc]progress: [ 3 / 28 ] simplifiying candidate # 1540323343.738 * * * * [misc]progress: [ 4 / 28 ] simplifiying candidate # 1540323343.738 * * * * [misc]progress: [ 5 / 28 ] simplifiying candidate # 1540323343.738 * * * * [misc]progress: [ 6 / 28 ] simplifiying candidate # 1540323343.738 * * * * [misc]progress: [ 7 / 28 ] simplifiying candidate # 1540323343.738 * * * * [misc]progress: [ 8 / 28 ] simplifiying candidate # 1540323343.738 * * * * [misc]progress: [ 9 / 28 ] simplifiying candidate # 1540323343.739 * * * * [misc]progress: [ 10 / 28 ] simplifiying candidate # 1540323343.739 * * * * [misc]progress: [ 11 / 28 ] simplifiying candidate # 1540323343.739 * * * * [misc]progress: [ 12 / 28 ] simplifiying candidate # 1540323343.739 * * * * [misc]progress: [ 13 / 28 ] simplifiying candidate # 1540323343.739 * [enter]simplify: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1540323343.740 * * [misc]simplify: iters left: 6 (8 enodes) 1540323343.743 * * [misc]simplify: iters left: 5 (12 enodes) 1540323343.747 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1540323343.747 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1540323343.747 * [enter]simplify: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1540323343.748 * * [misc]simplify: iters left: 6 (8 enodes) 1540323343.749 * * [misc]simplify: iters left: 5 (13 enodes) 1540323343.751 * * [misc]simplify: iters left: 4 (14 enodes) 1540323343.753 * [exit]simplify: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1540323343.753 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1540323343.753 * * * * [misc]progress: [ 14 / 28 ] simplifiying candidate # 1540323343.754 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540323343.754 * * [misc]simplify: iters left: 5 (6 enodes) 1540323343.755 * * [misc]simplify: iters left: 4 (11 enodes) 1540323343.757 * * [misc]simplify: iters left: 3 (12 enodes) 1540323343.758 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540323343.758 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1540323343.758 * * * * [misc]progress: [ 15 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 16 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 17 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 18 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 19 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 20 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 21 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 22 / 28 ] simplifiying candidate # 1540323343.759 * * * * [misc]progress: [ 23 / 28 ] simplifiying candidate # 1540323343.759 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540323343.759 * * [misc]simplify: iters left: 5 (6 enodes) 1540323343.761 * * [misc]simplify: iters left: 4 (11 enodes) 1540323343.762 * * [misc]simplify: iters left: 3 (12 enodes) 1540323343.764 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540323343.764 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540323343.764 * * * * [misc]progress: [ 24 / 28 ] simplifiying candidate # 1540323343.764 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540323343.764 * * [misc]simplify: iters left: 5 (6 enodes) 1540323343.766 * * [misc]simplify: iters left: 4 (11 enodes) 1540323343.767 * * [misc]simplify: iters left: 3 (12 enodes) 1540323343.769 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540323343.769 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540323343.769 * * * * [misc]progress: [ 25 / 28 ] simplifiying candidate # 1540323343.770 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540323343.770 * * [misc]simplify: iters left: 5 (6 enodes) 1540323343.771 * * [misc]simplify: iters left: 4 (11 enodes) 1540323343.773 * * [misc]simplify: iters left: 3 (12 enodes) 1540323343.775 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540323343.775 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540323343.775 * * * * [misc]progress: [ 26 / 28 ] simplifiying candidate # 1540323343.775 * [enter]simplify: Simplifying (atan (+ N 1)) 1540323343.775 * * [misc]simplify: iters left: 3 (4 enodes) 1540323343.776 * * [misc]simplify: iters left: 2 (7 enodes) 1540323343.778 * [exit]simplify: Simplified to (atan (+ 1 N)) 1540323343.778 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540323343.778 * * * * [misc]progress: [ 27 / 28 ] simplifiying candidate # 1540323343.779 * [enter]simplify: Simplifying (atan (+ N 1)) 1540323343.779 * * [misc]simplify: iters left: 3 (4 enodes) 1540323343.781 * * [misc]simplify: iters left: 2 (7 enodes) 1540323343.783 * [exit]simplify: Simplified to (atan (+ 1 N)) 1540323343.783 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540323343.783 * * * * [misc]progress: [ 28 / 28 ] simplifiying candidate # 1540323343.783 * [enter]simplify: Simplifying (atan (+ N 1)) 1540323343.783 * * [misc]simplify: iters left: 3 (4 enodes) 1540323343.784 * * [misc]simplify: iters left: 2 (7 enodes) 1540323343.785 * [exit]simplify: Simplified to (atan (+ 1 N)) 1540323343.785 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540323343.785 * * * [misc]progress: adding candidates to table 1540323344.194 * * [misc]progress: iteration 2 / 4 1540323344.194 * * * [misc]progress: picking best candidate 1540323344.197 * * * * [misc]pick: Picked # 1540323344.197 * * * [misc]progress: localizing error 1540323344.216 * * * [misc]progress: generating rewritten candidates 1540323344.216 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1540323344.218 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1540323344.233 * * * [misc]progress: generating series expansions 1540323344.233 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1540323344.234 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.234 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540323344.234 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540323344.234 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.234 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540323344.234 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.234 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.234 * [misc]backup-simplify: Simplify 0 into 0 1540323344.234 * [misc]backup-simplify: Simplify 0 into 0 1540323344.234 * [misc]backup-simplify: Simplify 0 into 0 1540323344.234 * [misc]backup-simplify: Simplify 0 into 0 1540323344.234 * [misc]backup-simplify: Simplify 0 into 0 1540323344.234 * [misc]backup-simplify: Simplify 0 into 0 1540323344.234 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.234 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.235 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540323344.235 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540323344.235 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.235 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540323344.235 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.235 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.235 * [misc]backup-simplify: Simplify 0 into 0 1540323344.235 * [misc]backup-simplify: Simplify 0 into 0 1540323344.235 * [misc]backup-simplify: Simplify 0 into 0 1540323344.235 * [misc]backup-simplify: Simplify 0 into 0 1540323344.235 * [misc]backup-simplify: Simplify 0 into 0 1540323344.235 * [misc]backup-simplify: Simplify 0 into 0 1540323344.235 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.236 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.236 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540323344.236 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540323344.236 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.236 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540323344.236 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.236 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.236 * [misc]backup-simplify: Simplify 0 into 0 1540323344.236 * [misc]backup-simplify: Simplify 0 into 0 1540323344.236 * [misc]backup-simplify: Simplify 0 into 0 1540323344.236 * [misc]backup-simplify: Simplify 0 into 0 1540323344.236 * [misc]backup-simplify: Simplify 0 into 0 1540323344.236 * [misc]backup-simplify: Simplify 0 into 0 1540323344.236 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.236 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1540323344.237 * [misc]backup-simplify: Simplify (* (+ N 1) N) into (* (+ N 1) N) 1540323344.237 * [misc]approximate: Taking taylor expansion of (* (+ N 1) N) in (N) around 0 1540323344.237 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1540323344.237 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540323344.237 * [misc]taylor: Taking taylor expansion of N in N 1540323344.237 * [misc]backup-simplify: Simplify 0 into 0 1540323344.237 * [misc]backup-simplify: Simplify 1 into 1 1540323344.237 * [misc]taylor: Taking taylor expansion of 1 in N 1540323344.237 * [misc]backup-simplify: Simplify 1 into 1 1540323344.237 * [misc]taylor: Taking taylor expansion of N in N 1540323344.237 * [misc]backup-simplify: Simplify 0 into 0 1540323344.237 * [misc]backup-simplify: Simplify 1 into 1 1540323344.237 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1540323344.237 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540323344.237 * [misc]taylor: Taking taylor expansion of N in N 1540323344.237 * [misc]backup-simplify: Simplify 0 into 0 1540323344.237 * [misc]backup-simplify: Simplify 1 into 1 1540323344.237 * [misc]taylor: Taking taylor expansion of 1 in N 1540323344.237 * [misc]backup-simplify: Simplify 1 into 1 1540323344.237 * [misc]taylor: Taking taylor expansion of N in N 1540323344.237 * [misc]backup-simplify: Simplify 0 into 0 1540323344.237 * [misc]backup-simplify: Simplify 1 into 1 1540323344.237 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323344.237 * [misc]backup-simplify: Simplify (* 1 0) into 0 1540323344.237 * [misc]backup-simplify: Simplify 0 into 0 1540323344.237 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323344.238 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 0)) into 1 1540323344.238 * [misc]backup-simplify: Simplify 1 into 1 1540323344.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1 1540323344.238 * [misc]backup-simplify: Simplify 1 into 1 1540323344.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1540323344.238 * [misc]backup-simplify: Simplify 0 into 0 1540323344.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1540323344.239 * [misc]backup-simplify: Simplify 0 into 0 1540323344.239 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1540323344.239 * [misc]backup-simplify: Simplify 0 into 0 1540323344.239 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1540323344.239 * [misc]backup-simplify: Simplify 0 into 0 1540323344.239 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1540323344.240 * [misc]backup-simplify: Simplify 0 into 0 1540323344.240 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1540323344.240 * [misc]backup-simplify: Simplify 0 into 0 1540323344.240 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1540323344.241 * [misc]backup-simplify: Simplify (* (+ (/ 1 N) 1) (/ 1 N)) into (/ (+ (/ 1 N) 1) N) 1540323344.241 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in (N) around 0 1540323344.241 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1540323344.241 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540323344.241 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323344.241 * [misc]taylor: Taking taylor expansion of N in N 1540323344.241 * [misc]backup-simplify: Simplify 0 into 0 1540323344.241 * [misc]backup-simplify: Simplify 1 into 1 1540323344.241 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323344.241 * [misc]taylor: Taking taylor expansion of 1 in N 1540323344.241 * [misc]backup-simplify: Simplify 1 into 1 1540323344.241 * [misc]taylor: Taking taylor expansion of N in N 1540323344.241 * [misc]backup-simplify: Simplify 0 into 0 1540323344.241 * [misc]backup-simplify: Simplify 1 into 1 1540323344.241 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323344.241 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323344.241 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1540323344.241 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540323344.241 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323344.241 * [misc]taylor: Taking taylor expansion of N in N 1540323344.241 * [misc]backup-simplify: Simplify 0 into 0 1540323344.241 * [misc]backup-simplify: Simplify 1 into 1 1540323344.241 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323344.241 * [misc]taylor: Taking taylor expansion of 1 in N 1540323344.241 * [misc]backup-simplify: Simplify 1 into 1 1540323344.241 * [misc]taylor: Taking taylor expansion of N in N 1540323344.241 * [misc]backup-simplify: Simplify 0 into 0 1540323344.241 * [misc]backup-simplify: Simplify 1 into 1 1540323344.241 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323344.242 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323344.242 * [misc]backup-simplify: Simplify 1 into 1 1540323344.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323344.242 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323344.242 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1540323344.242 * [misc]backup-simplify: Simplify 1 into 1 1540323344.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.243 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1540323344.243 * [misc]backup-simplify: Simplify 0 into 0 1540323344.243 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.243 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.243 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.243 * [misc]backup-simplify: Simplify 0 into 0 1540323344.243 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.244 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.244 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.244 * [misc]backup-simplify: Simplify 0 into 0 1540323344.244 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.244 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.244 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.245 * [misc]backup-simplify: Simplify 0 into 0 1540323344.245 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.245 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.245 * [misc]backup-simplify: Simplify 0 into 0 1540323344.246 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.246 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.246 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.246 * [misc]backup-simplify: Simplify 0 into 0 1540323344.246 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1540323344.247 * [misc]backup-simplify: Simplify (* (+ (/ 1 (- N)) 1) (/ 1 (- N))) into (* -1 (/ (- 1 (/ 1 N)) N)) 1540323344.247 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in (N) around 0 1540323344.247 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of -1 in N 1540323344.247 * [misc]backup-simplify: Simplify -1 into -1 1540323344.247 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of 1 in N 1540323344.247 * [misc]backup-simplify: Simplify 1 into 1 1540323344.247 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of N in N 1540323344.247 * [misc]backup-simplify: Simplify 0 into 0 1540323344.247 * [misc]backup-simplify: Simplify 1 into 1 1540323344.247 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323344.247 * [misc]taylor: Taking taylor expansion of N in N 1540323344.247 * [misc]backup-simplify: Simplify 0 into 0 1540323344.247 * [misc]backup-simplify: Simplify 1 into 1 1540323344.247 * [misc]backup-simplify: Simplify (- 1) into -1 1540323344.247 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323344.247 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540323344.247 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of -1 in N 1540323344.247 * [misc]backup-simplify: Simplify -1 into -1 1540323344.247 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of 1 in N 1540323344.247 * [misc]backup-simplify: Simplify 1 into 1 1540323344.247 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323344.247 * [misc]taylor: Taking taylor expansion of N in N 1540323344.247 * [misc]backup-simplify: Simplify 0 into 0 1540323344.247 * [misc]backup-simplify: Simplify 1 into 1 1540323344.248 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323344.248 * [misc]taylor: Taking taylor expansion of N in N 1540323344.248 * [misc]backup-simplify: Simplify 0 into 0 1540323344.248 * [misc]backup-simplify: Simplify 1 into 1 1540323344.248 * [misc]backup-simplify: Simplify (- 1) into -1 1540323344.248 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323344.248 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540323344.248 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1540323344.248 * [misc]backup-simplify: Simplify 1 into 1 1540323344.248 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323344.248 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.248 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323344.249 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1540323344.249 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1540323344.249 * [misc]backup-simplify: Simplify -1 into -1 1540323344.249 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.249 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.249 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.249 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1540323344.249 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1540323344.250 * [misc]backup-simplify: Simplify 0 into 0 1540323344.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.250 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.250 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.250 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.250 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1540323344.250 * [misc]backup-simplify: Simplify 0 into 0 1540323344.251 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.251 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.251 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.251 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.251 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1540323344.251 * [misc]backup-simplify: Simplify 0 into 0 1540323344.252 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.252 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.252 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.252 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.252 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1540323344.252 * [misc]backup-simplify: Simplify 0 into 0 1540323344.253 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.253 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.253 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.253 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.254 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1540323344.254 * [misc]backup-simplify: Simplify 0 into 0 1540323344.254 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.254 * [misc]backup-simplify: Simplify (- 0) into 0 1540323344.254 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.254 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323344.255 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1540323344.255 * [misc]backup-simplify: Simplify 0 into 0 1540323344.255 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1540323344.255 * * * [misc]progress: simplifying candidates 1540323344.255 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1540323344.255 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1540323344.255 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1540323344.255 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1540323344.256 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1540323344.256 * [enter]simplify: Simplifying (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1540323344.257 * * [misc]simplify: iters left: 5 (5 enodes) 1540323344.259 * * [misc]simplify: iters left: 4 (8 enodes) 1540323344.261 * [exit]simplify: Simplified to (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1540323344.262 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt (+ N 1)) N))))) 1540323344.262 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1540323344.262 * [enter]simplify: Simplifying (sqrt (+ N 1)) 1540323344.266 * * [misc]simplify: iters left: 3 (4 enodes) 1540323344.268 * * [misc]simplify: iters left: 2 (7 enodes) 1540323344.270 * [exit]simplify: Simplified to (sqrt (+ 1 N)) 1540323344.270 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (sqrt (+ 1 N)) (* (sqrt (+ N 1)) N))))) 1540323344.270 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1540323344.270 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1540323344.270 * [enter]simplify: Simplifying (* (+ (pow N 3) (pow 1 3)) N) 1540323344.271 * * [misc]simplify: iters left: 5 (7 enodes) 1540323344.277 * * [misc]simplify: iters left: 4 (16 enodes) 1540323344.281 * * [misc]simplify: iters left: 3 (26 enodes) 1540323344.288 * * [misc]simplify: iters left: 2 (32 enodes) 1540323344.292 * [exit]simplify: Simplified to (+ N (pow N 4)) 1540323344.292 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (+ N (pow N 4)) (+ (* N N) (- (* 1 1) (* N 1))))))) 1540323344.292 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1540323344.292 * [enter]simplify: Simplifying (* (- (* N N) (* 1 1)) N) 1540323344.293 * * [misc]simplify: iters left: 6 (6 enodes) 1540323344.295 * * [misc]simplify: iters left: 5 (12 enodes) 1540323344.297 * * [misc]simplify: iters left: 4 (15 enodes) 1540323344.300 * * [misc]simplify: iters left: 3 (22 enodes) 1540323344.306 * * [misc]simplify: iters left: 2 (56 enodes) 1540323344.343 * * [misc]simplify: iters left: 1 (136 enodes) 1540323344.418 * [exit]simplify: Simplified to (- (pow N 3) N) 1540323344.418 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (- (pow N 3) N) (- N 1))))) 1540323344.418 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1540323344.418 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1540323344.419 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.419 * * [misc]simplify: iters left: 6 (7 enodes) 1540323344.422 * * [misc]simplify: iters left: 5 (14 enodes) 1540323344.427 * * [misc]simplify: iters left: 4 (21 enodes) 1540323344.433 * * [misc]simplify: iters left: 3 (23 enodes) 1540323344.440 * * [misc]simplify: iters left: 2 (29 enodes) 1540323344.450 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540323344.450 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540323344.450 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1540323344.450 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.454 * * [misc]simplify: iters left: 6 (7 enodes) 1540323344.457 * * [misc]simplify: iters left: 5 (14 enodes) 1540323344.463 * * [misc]simplify: iters left: 4 (21 enodes) 1540323344.469 * * [misc]simplify: iters left: 3 (23 enodes) 1540323344.475 * * [misc]simplify: iters left: 2 (29 enodes) 1540323344.485 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540323344.485 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540323344.485 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1540323344.485 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.486 * * [misc]simplify: iters left: 6 (7 enodes) 1540323344.489 * * [misc]simplify: iters left: 5 (14 enodes) 1540323344.494 * * [misc]simplify: iters left: 4 (21 enodes) 1540323344.500 * * [misc]simplify: iters left: 3 (23 enodes) 1540323344.507 * * [misc]simplify: iters left: 2 (29 enodes) 1540323344.516 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540323344.516 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540323344.516 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1540323344.517 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323344.517 * * [misc]simplify: iters left: 3 (4 enodes) 1540323344.519 * * [misc]simplify: iters left: 2 (6 enodes) 1540323344.521 * * [misc]simplify: iters left: 1 (9 enodes) 1540323344.524 * [exit]simplify: Simplified to (+ N (* N N)) 1540323344.524 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540323344.524 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1540323344.525 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323344.525 * * [misc]simplify: iters left: 3 (4 enodes) 1540323344.527 * * [misc]simplify: iters left: 2 (6 enodes) 1540323344.529 * * [misc]simplify: iters left: 1 (9 enodes) 1540323344.532 * [exit]simplify: Simplified to (+ N (* N N)) 1540323344.532 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540323344.532 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1540323344.532 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323344.533 * * [misc]simplify: iters left: 3 (4 enodes) 1540323344.534 * * [misc]simplify: iters left: 2 (6 enodes) 1540323344.537 * * [misc]simplify: iters left: 1 (9 enodes) 1540323344.540 * [exit]simplify: Simplified to (+ N (* N N)) 1540323344.540 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540323344.540 * * * [misc]progress: adding candidates to table 1540323344.922 * * [misc]progress: iteration 3 / 4 1540323344.922 * * * [misc]progress: picking best candidate 1540323344.963 * * * * [misc]pick: Picked # 1540323344.963 * * * [misc]progress: localizing error 1540323344.977 * * * [misc]progress: generating rewritten candidates 1540323344.977 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1540323344.978 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1540323344.990 * * * [misc]progress: generating series expansions 1540323344.990 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1540323344.990 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ N (pow N 2)))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.990 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540323344.990 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540323344.991 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.991 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540323344.991 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.991 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.991 * [misc]backup-simplify: Simplify 0 into 0 1540323344.991 * [misc]backup-simplify: Simplify 0 into 0 1540323344.991 * [misc]backup-simplify: Simplify 0 into 0 1540323344.991 * [misc]backup-simplify: Simplify 0 into 0 1540323344.991 * [misc]backup-simplify: Simplify 0 into 0 1540323344.991 * [misc]backup-simplify: Simplify 0 into 0 1540323344.992 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.992 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ (/ 1 N) (pow (/ 1 N) 2)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.992 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540323344.992 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540323344.992 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.992 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540323344.993 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.993 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540323344.993 * [misc]backup-simplify: Simplify 0 into 0 1540323344.993 * [misc]backup-simplify: Simplify 0 into 0 1540323344.993 * [misc]backup-simplify: Simplify 0 into 0 1540323344.993 * [misc]backup-simplify: Simplify 0 into 0 1540323344.993 * [misc]backup-simplify: Simplify 0 into 0 1540323344.993 * [misc]backup-simplify: Simplify 0 into 0 1540323344.993 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.994 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.994 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540323344.994 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540323344.994 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.994 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540323344.994 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.995 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540323344.995 * [misc]backup-simplify: Simplify 0 into 0 1540323344.995 * [misc]backup-simplify: Simplify 0 into 0 1540323344.995 * [misc]backup-simplify: Simplify 0 into 0 1540323344.995 * [misc]backup-simplify: Simplify 0 into 0 1540323344.995 * [misc]backup-simplify: Simplify 0 into 0 1540323344.995 * [misc]backup-simplify: Simplify 0 into 0 1540323344.995 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540323344.996 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1540323344.996 * [misc]backup-simplify: Simplify (+ N (pow N 2)) into (+ N (pow N 2)) 1540323344.996 * [misc]approximate: Taking taylor expansion of (+ N (pow N 2)) in (N) around 0 1540323344.996 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323344.996 * [misc]taylor: Taking taylor expansion of N in N 1540323344.996 * [misc]backup-simplify: Simplify 0 into 0 1540323344.996 * [misc]backup-simplify: Simplify 1 into 1 1540323344.996 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323344.996 * [misc]taylor: Taking taylor expansion of N in N 1540323344.996 * [misc]backup-simplify: Simplify 0 into 0 1540323344.996 * [misc]backup-simplify: Simplify 1 into 1 1540323344.996 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323344.996 * [misc]taylor: Taking taylor expansion of N in N 1540323344.996 * [misc]backup-simplify: Simplify 0 into 0 1540323344.996 * [misc]backup-simplify: Simplify 1 into 1 1540323344.996 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323344.996 * [misc]taylor: Taking taylor expansion of N in N 1540323344.996 * [misc]backup-simplify: Simplify 0 into 0 1540323344.996 * [misc]backup-simplify: Simplify 1 into 1 1540323344.997 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.997 * [misc]backup-simplify: Simplify 0 into 0 1540323344.997 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323344.997 * [misc]backup-simplify: Simplify 1 into 1 1540323344.997 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323344.997 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323344.997 * [misc]backup-simplify: Simplify 1 into 1 1540323344.998 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323344.998 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.998 * [misc]backup-simplify: Simplify 0 into 0 1540323344.998 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323344.998 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.998 * [misc]backup-simplify: Simplify 0 into 0 1540323344.999 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540323344.999 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.999 * [misc]backup-simplify: Simplify 0 into 0 1540323344.999 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540323344.999 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323344.999 * [misc]backup-simplify: Simplify 0 into 0 1540323345.000 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540323345.000 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.000 * [misc]backup-simplify: Simplify 0 into 0 1540323345.001 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540323345.001 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.001 * [misc]backup-simplify: Simplify 0 into 0 1540323345.001 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1540323345.001 * [misc]backup-simplify: Simplify (+ (/ 1 N) (pow (/ 1 N) 2)) into (+ (/ 1 (pow N 2)) (/ 1 N)) 1540323345.001 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1540323345.002 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of N in N 1540323345.002 * [misc]backup-simplify: Simplify 0 into 0 1540323345.002 * [misc]backup-simplify: Simplify 1 into 1 1540323345.002 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.002 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.002 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of N in N 1540323345.002 * [misc]backup-simplify: Simplify 0 into 0 1540323345.002 * [misc]backup-simplify: Simplify 1 into 1 1540323345.002 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.002 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.002 * [misc]taylor: Taking taylor expansion of N in N 1540323345.002 * [misc]backup-simplify: Simplify 0 into 0 1540323345.003 * [misc]backup-simplify: Simplify 1 into 1 1540323345.003 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.003 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.003 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.003 * [misc]taylor: Taking taylor expansion of N in N 1540323345.003 * [misc]backup-simplify: Simplify 0 into 0 1540323345.003 * [misc]backup-simplify: Simplify 1 into 1 1540323345.003 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.003 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.003 * [misc]backup-simplify: Simplify 1 into 1 1540323345.004 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.004 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.004 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323345.004 * [misc]backup-simplify: Simplify 1 into 1 1540323345.004 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323345.005 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.005 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.005 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.005 * [misc]backup-simplify: Simplify 0 into 0 1540323345.006 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540323345.006 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.006 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.006 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.006 * [misc]backup-simplify: Simplify 0 into 0 1540323345.007 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540323345.007 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.007 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.008 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.008 * [misc]backup-simplify: Simplify 0 into 0 1540323345.008 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540323345.008 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.008 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.008 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.008 * [misc]backup-simplify: Simplify 0 into 0 1540323345.009 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540323345.009 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.009 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.009 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.009 * [misc]backup-simplify: Simplify 0 into 0 1540323345.010 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1540323345.010 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.010 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.011 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.011 * [misc]backup-simplify: Simplify 0 into 0 1540323345.011 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1540323345.011 * [misc]backup-simplify: Simplify (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)) into (- (/ 1 (pow N 2)) (/ 1 N)) 1540323345.011 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1540323345.011 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.011 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.011 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.011 * [misc]taylor: Taking taylor expansion of N in N 1540323345.011 * [misc]backup-simplify: Simplify 0 into 0 1540323345.011 * [misc]backup-simplify: Simplify 1 into 1 1540323345.011 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.011 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.011 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.012 * [misc]taylor: Taking taylor expansion of N in N 1540323345.012 * [misc]backup-simplify: Simplify 0 into 0 1540323345.012 * [misc]backup-simplify: Simplify 1 into 1 1540323345.012 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.012 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.012 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.012 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.012 * [misc]taylor: Taking taylor expansion of N in N 1540323345.012 * [misc]backup-simplify: Simplify 0 into 0 1540323345.012 * [misc]backup-simplify: Simplify 1 into 1 1540323345.012 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.012 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.012 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.012 * [misc]taylor: Taking taylor expansion of N in N 1540323345.012 * [misc]backup-simplify: Simplify 0 into 0 1540323345.012 * [misc]backup-simplify: Simplify 1 into 1 1540323345.012 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.012 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.012 * [misc]backup-simplify: Simplify 1 into 1 1540323345.012 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.013 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.013 * [misc]backup-simplify: Simplify (- 1) into -1 1540323345.013 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323345.013 * [misc]backup-simplify: Simplify -1 into -1 1540323345.013 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323345.013 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.013 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.013 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.013 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.014 * [misc]backup-simplify: Simplify 0 into 0 1540323345.014 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540323345.014 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.014 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.014 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.014 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.014 * [misc]backup-simplify: Simplify 0 into 0 1540323345.015 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540323345.015 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.015 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.015 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.015 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.015 * [misc]backup-simplify: Simplify 0 into 0 1540323345.015 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540323345.016 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.016 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.016 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.016 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.016 * [misc]backup-simplify: Simplify 0 into 0 1540323345.017 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540323345.017 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.017 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.017 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.017 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.017 * [misc]backup-simplify: Simplify 0 into 0 1540323345.018 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1540323345.018 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.018 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.018 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.019 * [misc]backup-simplify: Simplify 0 into 0 1540323345.019 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1540323345.019 * * * [misc]progress: simplifying candidates 1540323345.019 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1540323345.019 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1540323345.020 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1540323345.020 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1540323345.020 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1540323345.020 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540323345.020 * * [misc]simplify: iters left: 6 (7 enodes) 1540323345.022 * * [misc]simplify: iters left: 5 (14 enodes) 1540323345.027 * * [misc]simplify: iters left: 4 (21 enodes) 1540323345.030 * * [misc]simplify: iters left: 3 (23 enodes) 1540323345.034 * * [misc]simplify: iters left: 2 (29 enodes) 1540323345.038 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540323345.038 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540323345.038 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1540323345.038 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540323345.039 * * [misc]simplify: iters left: 6 (7 enodes) 1540323345.040 * * [misc]simplify: iters left: 5 (14 enodes) 1540323345.043 * * [misc]simplify: iters left: 4 (21 enodes) 1540323345.046 * * [misc]simplify: iters left: 3 (23 enodes) 1540323345.049 * * [misc]simplify: iters left: 2 (29 enodes) 1540323345.054 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540323345.054 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540323345.054 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1540323345.054 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540323345.054 * * [misc]simplify: iters left: 6 (7 enodes) 1540323345.056 * * [misc]simplify: iters left: 5 (14 enodes) 1540323345.058 * * [misc]simplify: iters left: 4 (21 enodes) 1540323345.061 * * [misc]simplify: iters left: 3 (23 enodes) 1540323345.065 * * [misc]simplify: iters left: 2 (29 enodes) 1540323345.072 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540323345.072 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540323345.072 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1540323345.072 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323345.072 * * [misc]simplify: iters left: 3 (4 enodes) 1540323345.075 * * [misc]simplify: iters left: 2 (6 enodes) 1540323345.077 * * [misc]simplify: iters left: 1 (9 enodes) 1540323345.081 * [exit]simplify: Simplified to (+ N (* N N)) 1540323345.081 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540323345.081 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1540323345.081 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323345.082 * * [misc]simplify: iters left: 3 (4 enodes) 1540323345.083 * * [misc]simplify: iters left: 2 (6 enodes) 1540323345.084 * * [misc]simplify: iters left: 1 (9 enodes) 1540323345.086 * [exit]simplify: Simplified to (+ N (* N N)) 1540323345.086 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540323345.086 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1540323345.086 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323345.086 * * [misc]simplify: iters left: 3 (4 enodes) 1540323345.087 * * [misc]simplify: iters left: 2 (6 enodes) 1540323345.088 * * [misc]simplify: iters left: 1 (9 enodes) 1540323345.090 * [exit]simplify: Simplified to (+ N (* N N)) 1540323345.090 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540323345.090 * * * [misc]progress: adding candidates to table 1540323345.438 * * [misc]progress: iteration 4 / 4 1540323345.438 * * * [misc]progress: picking best candidate 1540323345.462 * * * * [misc]pick: Picked # 1540323345.462 * * * [misc]progress: localizing error 1540323345.478 * * * [misc]progress: generating rewritten candidates 1540323345.478 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1540323345.495 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1540323345.508 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1 1) 1540323345.522 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1) 1540323345.609 * * * [misc]progress: generating series expansions 1540323345.609 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1540323345.610 * [misc]backup-simplify: Simplify (cbrt (+ N (pow N 2))) into (pow (+ N (pow N 2)) 1/3) 1540323345.610 * [misc]approximate: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1540323345.610 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540323345.610 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540323345.610 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540323345.610 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.610 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.610 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540323345.610 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323345.610 * [misc]taylor: Taking taylor expansion of N in N 1540323345.610 * [misc]backup-simplify: Simplify 0 into 0 1540323345.610 * [misc]backup-simplify: Simplify 1 into 1 1540323345.610 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.610 * [misc]taylor: Taking taylor expansion of N in N 1540323345.610 * [misc]backup-simplify: Simplify 0 into 0 1540323345.610 * [misc]backup-simplify: Simplify 1 into 1 1540323345.611 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.611 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.611 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.611 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.611 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540323345.612 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540323345.612 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540323345.612 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540323345.612 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540323345.612 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.612 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.612 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540323345.612 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323345.612 * [misc]taylor: Taking taylor expansion of N in N 1540323345.612 * [misc]backup-simplify: Simplify 0 into 0 1540323345.612 * [misc]backup-simplify: Simplify 1 into 1 1540323345.612 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.612 * [misc]taylor: Taking taylor expansion of N in N 1540323345.612 * [misc]backup-simplify: Simplify 0 into 0 1540323345.612 * [misc]backup-simplify: Simplify 1 into 1 1540323345.612 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.612 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.612 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.613 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.613 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540323345.613 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540323345.613 * [misc]backup-simplify: Simplify (pow N 1/3) into (pow N 1/3) 1540323345.613 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.613 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323345.616 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540323345.616 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.616 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1540323345.618 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1540323345.618 * [misc]backup-simplify: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1540323345.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.618 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.623 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.623 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.623 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1540323345.626 * [misc]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)) 1540323345.626 * [misc]backup-simplify: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1540323345.627 * [misc]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))) 1540323345.627 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540323345.627 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540323345.628 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.628 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.628 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of N in N 1540323345.628 * [misc]backup-simplify: Simplify 0 into 0 1540323345.628 * [misc]backup-simplify: Simplify 1 into 1 1540323345.628 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.628 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.628 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.628 * [misc]taylor: Taking taylor expansion of N in N 1540323345.628 * [misc]backup-simplify: Simplify 0 into 0 1540323345.628 * [misc]backup-simplify: Simplify 1 into 1 1540323345.629 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.629 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.629 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.629 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.629 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.629 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.629 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.630 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.630 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of N in N 1540323345.630 * [misc]backup-simplify: Simplify 0 into 0 1540323345.630 * [misc]backup-simplify: Simplify 1 into 1 1540323345.630 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.630 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.630 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.630 * [misc]taylor: Taking taylor expansion of N in N 1540323345.630 * [misc]backup-simplify: Simplify 0 into 0 1540323345.630 * [misc]backup-simplify: Simplify 1 into 1 1540323345.631 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.631 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.631 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.631 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.631 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.631 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.631 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540323345.632 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.632 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323345.635 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540323345.635 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.635 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1540323345.637 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.638 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323345.638 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.639 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.639 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.643 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.644 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.644 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540323345.646 * [misc]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)) 1540323345.647 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.649 * [misc]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))) 1540323345.650 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540323345.650 * [misc]approximate: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540323345.650 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.650 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.650 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.650 * [misc]taylor: Taking taylor expansion of N in N 1540323345.650 * [misc]backup-simplify: Simplify 0 into 0 1540323345.650 * [misc]backup-simplify: Simplify 1 into 1 1540323345.651 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.651 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.651 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.651 * [misc]taylor: Taking taylor expansion of N in N 1540323345.651 * [misc]backup-simplify: Simplify 0 into 0 1540323345.651 * [misc]backup-simplify: Simplify 1 into 1 1540323345.651 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.651 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.651 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.652 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.652 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.652 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.652 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.652 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.652 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.652 * [misc]taylor: Taking taylor expansion of N in N 1540323345.652 * [misc]backup-simplify: Simplify 0 into 0 1540323345.652 * [misc]backup-simplify: Simplify 1 into 1 1540323345.652 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.653 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.653 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.653 * [misc]taylor: Taking taylor expansion of N in N 1540323345.653 * [misc]backup-simplify: Simplify 0 into 0 1540323345.653 * [misc]backup-simplify: Simplify 1 into 1 1540323345.653 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.653 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.653 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.653 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.654 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.654 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.654 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540323345.654 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.654 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.654 * [misc]backup-simplify: Simplify (- 1) into -1 1540323345.655 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323345.657 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540323345.657 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.658 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1540323345.659 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.660 * [misc]backup-simplify: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.660 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323345.660 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.661 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.661 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.666 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.666 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.666 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540323345.669 * [misc]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)) 1540323345.670 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.672 * [misc]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))) 1540323345.672 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1 2) 1540323345.673 * [misc]backup-simplify: Simplify (cbrt (+ N (pow N 2))) into (pow (+ N (pow N 2)) 1/3) 1540323345.673 * [misc]approximate: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1540323345.673 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540323345.673 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540323345.673 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540323345.673 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.673 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.673 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540323345.673 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323345.673 * [misc]taylor: Taking taylor expansion of N in N 1540323345.673 * [misc]backup-simplify: Simplify 0 into 0 1540323345.673 * [misc]backup-simplify: Simplify 1 into 1 1540323345.673 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.673 * [misc]taylor: Taking taylor expansion of N in N 1540323345.673 * [misc]backup-simplify: Simplify 0 into 0 1540323345.673 * [misc]backup-simplify: Simplify 1 into 1 1540323345.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.674 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.674 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.674 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.674 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540323345.674 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540323345.674 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540323345.674 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540323345.674 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540323345.675 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.675 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.675 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540323345.675 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323345.675 * [misc]taylor: Taking taylor expansion of N in N 1540323345.675 * [misc]backup-simplify: Simplify 0 into 0 1540323345.675 * [misc]backup-simplify: Simplify 1 into 1 1540323345.675 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.675 * [misc]taylor: Taking taylor expansion of N in N 1540323345.675 * [misc]backup-simplify: Simplify 0 into 0 1540323345.675 * [misc]backup-simplify: Simplify 1 into 1 1540323345.675 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.675 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.675 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.676 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.676 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540323345.676 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540323345.676 * [misc]backup-simplify: Simplify (pow N 1/3) into (pow N 1/3) 1540323345.676 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.676 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323345.679 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540323345.679 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.679 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1540323345.680 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1540323345.681 * [misc]backup-simplify: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1540323345.681 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.681 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.685 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.686 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.686 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1540323345.688 * [misc]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)) 1540323345.688 * [misc]backup-simplify: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1540323345.690 * [misc]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))) 1540323345.690 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540323345.690 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540323345.690 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.690 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.690 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.690 * [misc]taylor: Taking taylor expansion of N in N 1540323345.690 * [misc]backup-simplify: Simplify 0 into 0 1540323345.691 * [misc]backup-simplify: Simplify 1 into 1 1540323345.691 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.691 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.691 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.691 * [misc]taylor: Taking taylor expansion of N in N 1540323345.691 * [misc]backup-simplify: Simplify 0 into 0 1540323345.691 * [misc]backup-simplify: Simplify 1 into 1 1540323345.691 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.691 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.692 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.692 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.692 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.692 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.692 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.692 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.692 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.692 * [misc]taylor: Taking taylor expansion of N in N 1540323345.692 * [misc]backup-simplify: Simplify 0 into 0 1540323345.692 * [misc]backup-simplify: Simplify 1 into 1 1540323345.693 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.693 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.693 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.693 * [misc]taylor: Taking taylor expansion of N in N 1540323345.693 * [misc]backup-simplify: Simplify 0 into 0 1540323345.693 * [misc]backup-simplify: Simplify 1 into 1 1540323345.693 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.693 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.693 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.694 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.694 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.694 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.694 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540323345.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.694 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.695 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323345.697 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540323345.697 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.698 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1540323345.699 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.700 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323345.700 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.701 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.705 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.706 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.706 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540323345.708 * [misc]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)) 1540323345.709 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.711 * [misc]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))) 1540323345.711 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540323345.711 * [misc]approximate: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540323345.711 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.711 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.712 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.712 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of N in N 1540323345.712 * [misc]backup-simplify: Simplify 0 into 0 1540323345.712 * [misc]backup-simplify: Simplify 1 into 1 1540323345.712 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.712 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.712 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.712 * [misc]taylor: Taking taylor expansion of N in N 1540323345.712 * [misc]backup-simplify: Simplify 0 into 0 1540323345.712 * [misc]backup-simplify: Simplify 1 into 1 1540323345.712 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.713 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.713 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.713 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.713 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.713 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.713 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.713 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.713 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.713 * [misc]taylor: Taking taylor expansion of N in N 1540323345.713 * [misc]backup-simplify: Simplify 0 into 0 1540323345.713 * [misc]backup-simplify: Simplify 1 into 1 1540323345.714 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.714 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.714 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.714 * [misc]taylor: Taking taylor expansion of N in N 1540323345.714 * [misc]backup-simplify: Simplify 0 into 0 1540323345.714 * [misc]backup-simplify: Simplify 1 into 1 1540323345.714 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.714 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.714 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.715 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.715 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.715 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.715 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540323345.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.716 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.716 * [misc]backup-simplify: Simplify (- 1) into -1 1540323345.716 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323345.718 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540323345.719 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.719 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1540323345.721 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.721 * [misc]backup-simplify: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323345.722 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323345.722 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.722 * [misc]backup-simplify: Simplify (- 0) into 0 1540323345.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.727 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.727 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.728 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540323345.730 * [misc]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)) 1540323345.731 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540323345.733 * [misc]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))) 1540323345.733 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1 1) 1540323345.733 * [misc]backup-simplify: Simplify (cbrt (+ N (pow N 2))) into (pow (+ N (pow N 2)) 1/3) 1540323345.733 * [misc]approximate: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1540323345.733 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540323345.733 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540323345.734 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540323345.734 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.734 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.734 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540323345.734 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323345.734 * [misc]taylor: Taking taylor expansion of N in N 1540323345.734 * [misc]backup-simplify: Simplify 0 into 0 1540323345.734 * [misc]backup-simplify: Simplify 1 into 1 1540323345.734 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.734 * [misc]taylor: Taking taylor expansion of N in N 1540323345.734 * [misc]backup-simplify: Simplify 0 into 0 1540323345.734 * [misc]backup-simplify: Simplify 1 into 1 1540323345.734 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.734 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.734 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.735 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.735 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540323345.735 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540323345.735 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540323345.735 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540323345.735 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540323345.735 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.735 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.735 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540323345.735 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323345.735 * [misc]taylor: Taking taylor expansion of N in N 1540323345.735 * [misc]backup-simplify: Simplify 0 into 0 1540323345.735 * [misc]backup-simplify: Simplify 1 into 1 1540323345.735 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.735 * [misc]taylor: Taking taylor expansion of N in N 1540323345.735 * [misc]backup-simplify: Simplify 0 into 0 1540323345.735 * [misc]backup-simplify: Simplify 1 into 1 1540323345.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.735 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.736 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.736 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.736 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540323345.736 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540323345.736 * [misc]backup-simplify: Simplify (pow N 1/3) into (pow N 1/3) 1540323345.736 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.737 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323345.739 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540323345.739 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.739 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1540323345.740 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1540323345.741 * [misc]backup-simplify: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1540323345.741 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.741 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323345.745 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323345.745 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540323345.746 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1540323345.748 * [misc]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)) 1540323345.748 * [misc]backup-simplify: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1540323345.749 * [misc]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))) 1540323345.750 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540323345.750 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540323345.750 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.750 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.750 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.750 * [misc]taylor: Taking taylor expansion of N in N 1540323345.750 * [misc]backup-simplify: Simplify 0 into 0 1540323345.750 * [misc]backup-simplify: Simplify 1 into 1 1540323345.750 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.751 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.751 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.751 * [misc]taylor: Taking taylor expansion of N in N 1540323345.751 * [misc]backup-simplify: Simplify 0 into 0 1540323345.751 * [misc]backup-simplify: Simplify 1 into 1 1540323345.751 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.751 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.751 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.751 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.752 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.752 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.752 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323345.752 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323345.752 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of N in N 1540323345.752 * [misc]backup-simplify: Simplify 0 into 0 1540323345.752 * [misc]backup-simplify: Simplify 1 into 1 1540323345.752 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323345.752 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.752 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323345.752 * [misc]taylor: Taking taylor expansion of N in N 1540323345.752 * [misc]backup-simplify: Simplify 0 into 0 1540323345.752 * [misc]backup-simplify: Simplify 1 into 1 1540323345.752 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323345.753 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323345.753 * [misc]backup-simplify: Simplify (log 1) into 0 1540323345.753 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323345.753 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323345.753 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323345.753 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540323345.754 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323345.754 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323345.754 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323346.159 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540323346.159 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323346.159 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1540323346.160 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323346.160 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323346.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323346.161 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323346.161 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.161 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.164 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323346.164 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323346.164 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540323346.166 * [misc]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)) 1540323346.166 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540323346.170 * [misc]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))) 1540323346.170 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540323346.170 * [misc]approximate: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540323346.171 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.171 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.171 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of N in N 1540323346.171 * [misc]backup-simplify: Simplify 0 into 0 1540323346.171 * [misc]backup-simplify: Simplify 1 into 1 1540323346.171 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.171 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.171 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323346.171 * [misc]taylor: Taking taylor expansion of N in N 1540323346.171 * [misc]backup-simplify: Simplify 0 into 0 1540323346.171 * [misc]backup-simplify: Simplify 1 into 1 1540323346.171 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.171 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.171 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.172 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323346.172 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323346.172 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323346.172 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.172 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.172 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of N in N 1540323346.172 * [misc]backup-simplify: Simplify 0 into 0 1540323346.172 * [misc]backup-simplify: Simplify 1 into 1 1540323346.172 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.172 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.172 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323346.172 * [misc]taylor: Taking taylor expansion of N in N 1540323346.172 * [misc]backup-simplify: Simplify 0 into 0 1540323346.172 * [misc]backup-simplify: Simplify 1 into 1 1540323346.172 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.173 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.173 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.173 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323346.173 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540323346.173 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540323346.173 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540323346.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323346.173 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.173 * [misc]backup-simplify: Simplify (- 1) into -1 1540323346.174 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323346.175 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540323346.175 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323346.175 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1540323346.176 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323346.177 * [misc]backup-simplify: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540323346.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323346.177 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323346.177 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.177 * [misc]backup-simplify: Simplify (- 0) into 0 1540323346.177 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.181 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540323346.181 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540323346.181 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540323346.184 * [misc]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)) 1540323346.185 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540323346.187 * [misc]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))) 1540323346.187 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1) 1540323346.188 * [misc]backup-simplify: Simplify (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) into (pow (pow (+ N (pow N 2)) 2) 1/3) 1540323346.188 * [misc]approximate: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in (N) around 0 1540323346.188 * [misc]taylor: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N (pow N 2)) 2)))) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ N (pow N 2)) 2))) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.188 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.188 * [misc]taylor: Taking taylor expansion of (log (pow (+ N (pow N 2)) 2)) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 2) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of N in N 1540323346.188 * [misc]backup-simplify: Simplify 0 into 0 1540323346.188 * [misc]backup-simplify: Simplify 1 into 1 1540323346.188 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.188 * [misc]taylor: Taking taylor expansion of N in N 1540323346.188 * [misc]backup-simplify: Simplify 0 into 0 1540323346.188 * [misc]backup-simplify: Simplify 1 into 1 1540323346.189 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.189 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.189 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.189 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.189 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540323346.189 * [misc]backup-simplify: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N)) 1540323346.189 * [misc]backup-simplify: Simplify (exp (* 2/3 (log N))) into (pow N 2/3) 1540323346.190 * [misc]taylor: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N (pow N 2)) 2)))) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ N (pow N 2)) 2))) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.190 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.190 * [misc]taylor: Taking taylor expansion of (log (pow (+ N (pow N 2)) 2)) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 2) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of N in N 1540323346.190 * [misc]backup-simplify: Simplify 0 into 0 1540323346.190 * [misc]backup-simplify: Simplify 1 into 1 1540323346.190 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.190 * [misc]taylor: Taking taylor expansion of N in N 1540323346.190 * [misc]backup-simplify: Simplify 0 into 0 1540323346.190 * [misc]backup-simplify: Simplify 1 into 1 1540323346.190 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.190 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.190 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.191 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.191 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540323346.191 * [misc]backup-simplify: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N)) 1540323346.191 * [misc]backup-simplify: Simplify (exp (* 2/3 (log N))) into (pow N 2/3) 1540323346.191 * [misc]backup-simplify: Simplify (pow N 2/3) into (pow N 2/3) 1540323346.191 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.191 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323346.192 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540323346.194 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540323346.194 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540323346.195 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 (* 2 (log N)))) into 2/3 1540323346.196 * [misc]backup-simplify: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (pow N 2) 1/3)) 1540323346.196 * [misc]backup-simplify: Simplify (* 2/3 (pow (pow N 2) 1/3)) into (* 2/3 (pow (pow N 2) 1/3)) 1540323346.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323346.197 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1540323346.202 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540323346.202 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540323346.202 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (* 2 (log N))))) into (- 1/3) 1540323346.205 * [misc]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)) 1540323346.205 * [misc]backup-simplify: Simplify (* -1/9 (pow (pow N 2) 1/3)) into (* -1/9 (pow (pow N 2) 1/3)) 1540323346.207 * [misc]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))) 1540323346.208 * [misc]backup-simplify: Simplify (* (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) (cbrt (+ (/ 1 N) (pow (/ 1 N) 2)))) into (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) 1540323346.208 * [misc]approximate: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in (N) around 0 1540323346.208 * [misc]taylor: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.208 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.208 * [misc]taylor: Taking taylor expansion of (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.208 * [misc]taylor: Taking taylor expansion of N in N 1540323346.208 * [misc]backup-simplify: Simplify 0 into 0 1540323346.209 * [misc]backup-simplify: Simplify 1 into 1 1540323346.209 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.209 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.209 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323346.209 * [misc]taylor: Taking taylor expansion of N in N 1540323346.209 * [misc]backup-simplify: Simplify 0 into 0 1540323346.209 * [misc]backup-simplify: Simplify 1 into 1 1540323346.209 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.209 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.210 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.210 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.210 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.210 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540323346.210 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540323346.210 * [misc]taylor: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.210 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.210 * [misc]taylor: Taking taylor expansion of (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.210 * [misc]taylor: Taking taylor expansion of N in N 1540323346.211 * [misc]backup-simplify: Simplify 0 into 0 1540323346.211 * [misc]backup-simplify: Simplify 1 into 1 1540323346.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.211 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.211 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323346.211 * [misc]taylor: Taking taylor expansion of N in N 1540323346.211 * [misc]backup-simplify: Simplify 0 into 0 1540323346.211 * [misc]backup-simplify: Simplify 1 into 1 1540323346.211 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.211 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.212 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.212 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.212 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540323346.212 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540323346.212 * [misc]backup-simplify: Simplify (pow N -4/3) into (pow N -4/3) 1540323346.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323346.212 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.212 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540323346.213 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540323346.214 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540323346.215 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.215 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 (- (* 4 (log N))))) into 2/3 1540323346.216 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540323346.216 * [misc]backup-simplify: Simplify (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) into (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540323346.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323346.216 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323346.216 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.216 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.217 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1540323346.219 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540323346.219 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.220 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (- (* 4 (log N)))))) into (- 1/3) 1540323346.221 * [misc]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)) 1540323346.222 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1540323346.223 * [misc]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))) 1540323346.223 * [misc]backup-simplify: Simplify (* (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)))) into (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) 1540323346.223 * [misc]approximate: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in (N) around 0 1540323346.223 * [misc]taylor: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540323346.223 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540323346.223 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540323346.223 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.223 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.223 * [misc]taylor: Taking taylor expansion of (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540323346.223 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540323346.223 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323346.223 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323346.224 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.224 * [misc]taylor: Taking taylor expansion of N in N 1540323346.224 * [misc]backup-simplify: Simplify 0 into 0 1540323346.224 * [misc]backup-simplify: Simplify 1 into 1 1540323346.224 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.224 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.224 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323346.224 * [misc]taylor: Taking taylor expansion of N in N 1540323346.224 * [misc]backup-simplify: Simplify 0 into 0 1540323346.224 * [misc]backup-simplify: Simplify 1 into 1 1540323346.224 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.224 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.224 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.224 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.225 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.225 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540323346.225 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540323346.225 * [misc]taylor: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540323346.225 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540323346.225 * [misc]taylor: Taking taylor expansion of (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of N in N 1540323346.225 * [misc]backup-simplify: Simplify 0 into 0 1540323346.225 * [misc]backup-simplify: Simplify 1 into 1 1540323346.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.225 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.225 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540323346.225 * [misc]taylor: Taking taylor expansion of N in N 1540323346.225 * [misc]backup-simplify: Simplify 0 into 0 1540323346.225 * [misc]backup-simplify: Simplify 1 into 1 1540323346.225 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540323346.225 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540323346.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540323346.226 * [misc]backup-simplify: Simplify (log 1) into 0 1540323346.226 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.226 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540323346.226 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540323346.226 * [misc]backup-simplify: Simplify (pow N -4/3) into (pow N -4/3) 1540323346.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540323346.226 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.226 * [misc]backup-simplify: Simplify (- 1) into -1 1540323346.226 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540323346.227 * [misc]backup-simplify: Simplify (+ (* 1 -1) (* -1 1)) into -2 1540323346.228 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow 1 1)))) 1) into -2 1540323346.228 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.228 * [misc]backup-simplify: Simplify (+ (* 1/3 -2) (* 0 (- (* 4 (log N))))) into (- 2/3) 1540323346.230 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow (- 2/3) 1) 1)))) into (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540323346.230 * [misc]backup-simplify: Simplify (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) into (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540323346.230 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540323346.230 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540323346.230 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540323346.230 * [misc]backup-simplify: Simplify (- 0) into 0 1540323346.231 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540323346.231 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* -1 -1) (* 0 1))) into 1 1540323346.234 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540323346.234 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540323346.234 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 -2) (* 0 (- (* 4 (log N)))))) into (- 1/3) 1540323346.236 * [misc]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)) 1540323346.236 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1540323346.238 * [misc]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))) 1540323346.238 * * * [misc]progress: simplifying candidates 1540323346.238 * * * * [misc]progress: [ 1 / 92 ] simplifiying candidate # 1540323346.238 * * * * [misc]progress: [ 2 / 92 ] simplifiying candidate # 1540323346.238 * * * * [misc]progress: [ 3 / 92 ] simplifiying candidate # 1540323346.238 * * * * [misc]progress: [ 4 / 92 ] simplifiying candidate # 1540323346.238 * * * * [misc]progress: [ 5 / 92 ] simplifiying candidate # 1540323346.238 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540323346.239 * * [misc]simplify: iters left: 6 (7 enodes) 1540323346.241 * * [misc]simplify: iters left: 5 (9 enodes) 1540323346.244 * * [misc]simplify: iters left: 4 (12 enodes) 1540323346.248 * * [misc]simplify: iters left: 3 (16 enodes) 1540323346.254 * * [misc]simplify: iters left: 2 (22 enodes) 1540323346.262 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540323346.262 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (* (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) (cbrt (cbrt (+ N (pow N 2))))))))) 1540323346.262 * * * * [misc]progress: [ 6 / 92 ] simplifiying candidate # 1540323346.262 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540323346.263 * * [misc]simplify: iters left: 5 (6 enodes) 1540323346.265 * * [misc]simplify: iters left: 4 (8 enodes) 1540323346.268 * * [misc]simplify: iters left: 3 (11 enodes) 1540323346.272 * * [misc]simplify: iters left: 2 (15 enodes) 1540323346.277 * * [misc]simplify: iters left: 1 (21 enodes) 1540323346.284 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540323346.284 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (* (cbrt (sqrt (+ (* N N) N))) (cbrt (sqrt (+ N (pow N 2))))))))) 1540323346.284 * * * * [misc]progress: [ 7 / 92 ] simplifiying candidate # 1540323346.285 * [enter]simplify: Simplifying (cbrt 1) 1540323346.288 * * [misc]simplify: iters left: 1 (2 enodes) 1540323346.290 * [exit]simplify: Simplified to 1 1540323346.290 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (* 1 (cbrt (+ N (pow N 2)))))))) 1540323346.290 * * * * [misc]progress: [ 8 / 92 ] simplifiying candidate # 1540323346.290 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540323346.290 * * [misc]simplify: iters left: 3 (4 enodes) 1540323346.291 * * [misc]simplify: iters left: 2 (7 enodes) 1540323346.292 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540323346.292 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (* (cbrt (+ 1 N)) (cbrt N)))))) 1540323346.292 * * * * [misc]progress: [ 9 / 92 ] simplifiying candidate # 1540323346.292 * [enter]simplify: Simplifying (cbrt (+ (pow N 3) (pow (pow N 2) 3))) 1540323346.293 * * [misc]simplify: iters left: 5 (8 enodes) 1540323346.295 * * [misc]simplify: iters left: 4 (15 enodes) 1540323346.299 * * [misc]simplify: iters left: 3 (29 enodes) 1540323346.305 * * [misc]simplify: iters left: 2 (42 enodes) 1540323346.312 * * [misc]simplify: iters left: 1 (56 enodes) 1540323346.331 * [exit]simplify: Simplified to (cbrt (+ (pow N 6) (pow N 3))) 1540323346.331 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (/ (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2)))))))))) 1540323346.331 * * * * [misc]progress: [ 10 / 92 ] simplifiying candidate # 1540323346.331 * [enter]simplify: Simplifying (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) 1540323346.332 * * [misc]simplify: iters left: 6 (7 enodes) 1540323346.335 * * [misc]simplify: iters left: 5 (12 enodes) 1540323346.341 * * [misc]simplify: iters left: 4 (26 enodes) 1540323346.358 * * [misc]simplify: iters left: 3 (69 enodes) 1540323346.391 * * [misc]simplify: iters left: 2 (136 enodes) 1540323346.494 * * [misc]simplify: iters left: 1 (325 enodes) 1540323346.857 * [exit]simplify: Simplified to (cbrt (- (* N N) (pow N 4))) 1540323346.858 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (/ (cbrt (- (* N N) (pow N 4))) (cbrt (- N (pow N 2)))))))) 1540323346.858 * * * * [misc]progress: [ 11 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 12 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 13 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 14 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 15 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 16 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 17 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 18 / 92 ] simplifiying candidate # 1540323346.858 * * * * [misc]progress: [ 19 / 92 ] simplifiying candidate # 1540323346.859 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540323346.859 * * [misc]simplify: iters left: 6 (7 enodes) 1540323346.862 * * [misc]simplify: iters left: 5 (9 enodes) 1540323346.865 * * [misc]simplify: iters left: 4 (12 enodes) 1540323346.868 * * [misc]simplify: iters left: 3 (16 enodes) 1540323346.871 * * [misc]simplify: iters left: 2 (22 enodes) 1540323346.875 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540323346.875 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (* (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) (cbrt (cbrt (+ N (pow N 2)))))) (cbrt (+ N (pow N 2))))))) 1540323346.875 * * * * [misc]progress: [ 20 / 92 ] simplifiying candidate # 1540323346.876 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540323346.876 * * [misc]simplify: iters left: 5 (6 enodes) 1540323346.877 * * [misc]simplify: iters left: 4 (8 enodes) 1540323346.879 * * [misc]simplify: iters left: 3 (11 enodes) 1540323346.880 * * [misc]simplify: iters left: 2 (15 enodes) 1540323346.883 * * [misc]simplify: iters left: 1 (21 enodes) 1540323346.887 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540323346.887 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (* (cbrt (sqrt (+ (* N N) N))) (cbrt (sqrt (+ N (pow N 2)))))) (cbrt (+ N (pow N 2))))))) 1540323346.887 * * * * [misc]progress: [ 21 / 92 ] simplifiying candidate # 1540323346.887 * [enter]simplify: Simplifying (cbrt 1) 1540323346.887 * * [misc]simplify: iters left: 1 (2 enodes) 1540323346.888 * [exit]simplify: Simplified to 1 1540323346.888 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (* 1 (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323346.888 * * * * [misc]progress: [ 22 / 92 ] simplifiying candidate # 1540323346.888 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540323346.888 * * [misc]simplify: iters left: 3 (4 enodes) 1540323346.889 * * [misc]simplify: iters left: 2 (7 enodes) 1540323346.891 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540323346.891 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (* (cbrt (+ 1 N)) (cbrt N))) (cbrt (+ N (pow N 2))))))) 1540323346.891 * * * * [misc]progress: [ 23 / 92 ] simplifiying candidate # 1540323346.891 * [enter]simplify: Simplifying (cbrt (+ (pow N 3) (pow (pow N 2) 3))) 1540323346.891 * * [misc]simplify: iters left: 5 (8 enodes) 1540323346.893 * * [misc]simplify: iters left: 4 (15 enodes) 1540323346.898 * * [misc]simplify: iters left: 3 (29 enodes) 1540323346.904 * * [misc]simplify: iters left: 2 (42 enodes) 1540323346.912 * * [misc]simplify: iters left: 1 (56 enodes) 1540323346.925 * [exit]simplify: Simplified to (cbrt (+ (pow N 6) (pow N 3))) 1540323346.925 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (/ (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))))) (cbrt (+ N (pow N 2))))))) 1540323346.925 * * * * [misc]progress: [ 24 / 92 ] simplifiying candidate # 1540323346.926 * [enter]simplify: Simplifying (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) 1540323346.926 * * [misc]simplify: iters left: 6 (7 enodes) 1540323346.929 * * [misc]simplify: iters left: 5 (12 enodes) 1540323346.932 * * [misc]simplify: iters left: 4 (26 enodes) 1540323346.941 * * [misc]simplify: iters left: 3 (69 enodes) 1540323346.964 * * [misc]simplify: iters left: 2 (136 enodes) 1540323347.058 * * [misc]simplify: iters left: 1 (325 enodes) 1540323347.435 * [exit]simplify: Simplified to (cbrt (- (* N N) (pow N 4))) 1540323347.436 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (/ (cbrt (- (* N N) (pow N 4))) (cbrt (- N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323347.436 * * * * [misc]progress: [ 25 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 26 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 27 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 28 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 29 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 30 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 31 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 32 / 92 ] simplifiying candidate # 1540323347.436 * * * * [misc]progress: [ 33 / 92 ] simplifiying candidate # 1540323347.436 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540323347.437 * * [misc]simplify: iters left: 6 (7 enodes) 1540323347.440 * * [misc]simplify: iters left: 5 (9 enodes) 1540323347.447 * * [misc]simplify: iters left: 4 (12 enodes) 1540323347.451 * * [misc]simplify: iters left: 3 (16 enodes) 1540323347.457 * * [misc]simplify: iters left: 2 (22 enodes) 1540323347.465 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540323347.465 * [misc]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 (pow N 2))))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323347.465 * * * * [misc]progress: [ 34 / 92 ] simplifiying candidate # 1540323347.465 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540323347.466 * * [misc]simplify: iters left: 5 (6 enodes) 1540323347.468 * * [misc]simplify: iters left: 4 (8 enodes) 1540323347.471 * * [misc]simplify: iters left: 3 (11 enodes) 1540323347.475 * * [misc]simplify: iters left: 2 (15 enodes) 1540323347.480 * * [misc]simplify: iters left: 1 (21 enodes) 1540323347.487 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540323347.487 * [misc]simplify: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (sqrt (+ (* N N) N))) (cbrt (sqrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323347.487 * * * * [misc]progress: [ 35 / 92 ] simplifiying candidate # 1540323347.488 * [enter]simplify: Simplifying (cbrt 1) 1540323347.488 * * [misc]simplify: iters left: 1 (2 enodes) 1540323347.490 * [exit]simplify: Simplified to 1 1540323347.490 * [misc]simplify: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* 1 (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323347.490 * * * * [misc]progress: [ 36 / 92 ] simplifiying candidate # 1540323347.490 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540323347.491 * * [misc]simplify: iters left: 3 (4 enodes) 1540323347.493 * * [misc]simplify: iters left: 2 (7 enodes) 1540323347.495 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540323347.495 * [misc]simplify: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (cbrt N)) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323347.495 * * * * [misc]progress: [ 37 / 92 ] simplifiying candidate # 1540323347.495 * [enter]simplify: Simplifying (cbrt (+ (pow N 3) (pow (pow N 2) 3))) 1540323347.496 * * [misc]simplify: iters left: 5 (8 enodes) 1540323347.500 * * [misc]simplify: iters left: 4 (15 enodes) 1540323347.509 * * [misc]simplify: iters left: 3 (29 enodes) 1540323347.521 * * [misc]simplify: iters left: 2 (42 enodes) 1540323347.532 * * [misc]simplify: iters left: 1 (56 enodes) 1540323347.543 * [exit]simplify: Simplified to (cbrt (+ (pow N 6) (pow N 3))) 1540323347.543 * [misc]simplify: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (/ (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2)))))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323347.543 * * * * [misc]progress: [ 38 / 92 ] simplifiying candidate # 1540323347.543 * [enter]simplify: Simplifying (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) 1540323347.544 * * [misc]simplify: iters left: 6 (7 enodes) 1540323347.545 * * [misc]simplify: iters left: 5 (12 enodes) 1540323347.548 * * [misc]simplify: iters left: 4 (26 enodes) 1540323347.559 * * [misc]simplify: iters left: 3 (69 enodes) 1540323347.591 * * [misc]simplify: iters left: 2 (136 enodes) 1540323347.700 * * [misc]simplify: iters left: 1 (325 enodes) 1540323348.053 * [exit]simplify: Simplified to (cbrt (- (* N N) (pow N 4))) 1540323348.053 * [misc]simplify: Simplified (2 2 2 1 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (/ (cbrt (- (* N N) (pow N 4))) (cbrt (- N (pow N 2)))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323348.053 * * * * [misc]progress: [ 39 / 92 ] simplifiying candidate # 1540323348.053 * * * * [misc]progress: [ 40 / 92 ] simplifiying candidate # 1540323348.053 * * * * [misc]progress: [ 41 / 92 ] simplifiying candidate # 1540323348.053 * * * * [misc]progress: [ 42 / 92 ] simplifiying candidate # 1540323348.053 * * * * [misc]progress: [ 43 / 92 ] simplifiying candidate # 1540323348.054 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540323348.054 * * [misc]simplify: iters left: 3 (4 enodes) 1540323348.056 * * [misc]simplify: iters left: 2 (6 enodes) 1540323348.058 * * [misc]simplify: iters left: 1 (9 enodes) 1540323348.062 * [exit]simplify: Simplified to (+ N (* N N)) 1540323348.062 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (+ N (* N N)) (+ 1/3 1/3)) (cbrt (+ N (pow N 2))))))) 1540323348.063 * [enter]simplify: Simplifying (+ 1/3 1/3) 1540323348.063 * * [misc]simplify: iters left: 2 (2 enodes) 1540323348.065 * * [misc]simplify: iters left: 1 (3 enodes) 1540323348.065 * [exit]simplify: Simplified to 2/3 1540323348.065 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (pow (+ N (pow N 2)) 2/3) (cbrt (+ N (pow N 2))))))) 1540323348.065 * * * * [misc]progress: [ 44 / 92 ] simplifiying candidate # 1540323348.066 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540323348.066 * * [misc]simplify: iters left: 4 (5 enodes) 1540323348.068 * * [misc]simplify: iters left: 3 (7 enodes) 1540323348.071 * * [misc]simplify: iters left: 2 (10 enodes) 1540323348.074 * * [misc]simplify: iters left: 1 (14 enodes) 1540323348.080 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540323348.080 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ N (* N N))) (+ 1 1)) (cbrt (+ N (pow N 2))))))) 1540323348.081 * [enter]simplify: Simplifying (+ 1 1) 1540323348.081 * * [misc]simplify: iters left: 2 (2 enodes) 1540323348.083 * * [misc]simplify: iters left: 1 (5 enodes) 1540323348.084 * [exit]simplify: Simplified to 2 1540323348.084 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ N (pow N 2))) 2) (cbrt (+ N (pow N 2))))))) 1540323348.084 * * * * [misc]progress: [ 45 / 92 ] simplifiying candidate # 1540323348.084 * [enter]simplify: Simplifying (* (+ N (pow N 2)) (+ N (pow N 2))) 1540323348.084 * * [misc]simplify: iters left: 5 (5 enodes) 1540323348.088 * * [misc]simplify: iters left: 4 (13 enodes) 1540323348.094 * * [misc]simplify: iters left: 3 (31 enodes) 1540323348.111 * * [misc]simplify: iters left: 2 (91 enodes) 1540323348.139 * * [misc]simplify: iters left: 1 (186 enodes) 1540323348.249 * [exit]simplify: Simplified to (* (+ N (* N N)) (+ N (* N N))) 1540323348.249 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (* (+ N (* N N)) (+ N (* N N))) 1/3) (cbrt (+ N (pow N 2))))))) 1540323348.249 * * * * [misc]progress: [ 46 / 92 ] simplifiying candidate # 1540323348.249 * [enter]simplify: Simplifying (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) 1540323348.250 * * [misc]simplify: iters left: 6 (6 enodes) 1540323348.252 * * [misc]simplify: iters left: 5 (8 enodes) 1540323348.255 * * [misc]simplify: iters left: 4 (11 enodes) 1540323348.262 * * [misc]simplify: iters left: 3 (15 enodes) 1540323348.267 * * [misc]simplify: iters left: 2 (21 enodes) 1540323348.271 * [exit]simplify: Simplified to (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N))) 1540323348.271 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N))) 1) (cbrt (+ N (pow N 2))))))) 1540323348.271 * * * * [misc]progress: [ 47 / 92 ] simplifiying candidate # 1540323348.271 * * * * [misc]progress: [ 48 / 92 ] simplifiying candidate # 1540323348.271 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540323348.272 * * [misc]simplify: iters left: 4 (5 enodes) 1540323348.273 * * [misc]simplify: iters left: 3 (7 enodes) 1540323348.274 * * [misc]simplify: iters left: 2 (10 enodes) 1540323348.276 * * [misc]simplify: iters left: 1 (14 enodes) 1540323348.279 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540323348.279 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ N (* N N))) (+ 1 1)) (cbrt (+ N (pow N 2))))))) 1540323348.279 * * * * [misc]progress: [ 49 / 92 ] simplifiying candidate # 1540323348.279 * * * * [misc]progress: [ 50 / 92 ] simplifiying candidate # 1540323348.279 * [enter]simplify: Simplifying (+ (log (cbrt (+ N (pow N 2)))) (log (cbrt (+ N (pow N 2))))) 1540323348.280 * * [misc]simplify: iters left: 6 (7 enodes) 1540323348.281 * * [misc]simplify: iters left: 5 (9 enodes) 1540323348.283 * * [misc]simplify: iters left: 4 (12 enodes) 1540323348.285 * * [misc]simplify: iters left: 3 (16 enodes) 1540323348.288 * * [misc]simplify: iters left: 2 (22 enodes) 1540323348.292 * [exit]simplify: Simplified to (+ (log (cbrt (+ N (* N N)))) (log (cbrt (+ N (* N N))))) 1540323348.292 * [misc]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 (pow N 2))))))) 1540323348.292 * * * * [misc]progress: [ 51 / 92 ] simplifiying candidate # 1540323348.292 * * * * [misc]progress: [ 52 / 92 ] simplifiying candidate # 1540323348.292 * * * * [misc]progress: [ 53 / 92 ] simplifiying candidate # 1540323348.292 * [enter]simplify: Simplifying (* (+ N (pow N 2)) (+ N (pow N 2))) 1540323348.292 * * [misc]simplify: iters left: 5 (5 enodes) 1540323348.294 * * [misc]simplify: iters left: 4 (13 enodes) 1540323348.298 * * [misc]simplify: iters left: 3 (31 enodes) 1540323348.321 * * [misc]simplify: iters left: 2 (91 enodes) 1540323348.377 * * [misc]simplify: iters left: 1 (186 enodes) 1540323348.522 * [exit]simplify: Simplified to (* (+ N (* N N)) (+ N (* N N))) 1540323348.522 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (cbrt (* (+ N (* N N)) (+ N (* N N)))) (cbrt (+ N (pow N 2))))))) 1540323348.523 * * * * [misc]progress: [ 54 / 92 ] simplifiying candidate # 1540323348.523 * * * * [misc]progress: [ 55 / 92 ] simplifiying candidate # 1540323348.523 * * * * [misc]progress: [ 56 / 92 ] simplifiying candidate # 1540323348.523 * * * * [misc]progress: [ 57 / 92 ] simplifiying candidate # 1540323348.523 * [enter]simplify: Simplifying (* (cbrt (+ (pow N 3) (pow (pow N 2) 3))) (cbrt (+ (pow N 3) (pow (pow N 2) 3)))) 1540323348.523 * * [misc]simplify: iters left: 6 (9 enodes) 1540323348.526 * * [misc]simplify: iters left: 5 (16 enodes) 1540323348.533 * * [misc]simplify: iters left: 4 (30 enodes) 1540323348.545 * * [misc]simplify: iters left: 3 (43 enodes) 1540323348.556 * * [misc]simplify: iters left: 2 (57 enodes) 1540323348.566 * * [misc]simplify: iters left: 1 (73 enodes) 1540323348.604 * [exit]simplify: Simplified to (* (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (pow N 6) (pow N 3)))) 1540323348.604 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (pow N 6) (pow N 3)))) (* (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))))) (cbrt (+ N (pow N 2))))))) 1540323348.604 * [enter]simplify: Simplifying (* (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2)))))) 1540323348.606 * * [misc]simplify: iters left: 6 (10 enodes) 1540323348.611 * * [misc]simplify: iters left: 5 (18 enodes) 1540323348.620 * * [misc]simplify: iters left: 4 (48 enodes) 1540323348.634 * * [misc]simplify: iters left: 3 (91 enodes) 1540323348.669 * * [misc]simplify: iters left: 2 (150 enodes) 1540323348.711 * * [misc]simplify: iters left: 1 (213 enodes) 1540323348.829 * [exit]simplify: Simplified to (* (cbrt (* (- (* N N) (- N 1)) (* N N))) (cbrt (* (- (* N N) (- N 1)) (* N N)))) 1540323348.829 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (pow N 6) (pow N 3)))) (* (cbrt (* (- (* N N) (- N 1)) (* N N))) (cbrt (* (- (* N N) (- N 1)) (* N N))))) (cbrt (+ N (pow N 2))))))) 1540323348.830 * * * * [misc]progress: [ 58 / 92 ] simplifiying candidate # 1540323348.830 * [enter]simplify: Simplifying (* (cbrt (+ (pow N 3) (pow (pow N 2) 3))) (cbrt (- (* N N) (* (pow N 2) (pow N 2))))) 1540323348.831 * * [misc]simplify: iters left: 6 (13 enodes) 1540323348.834 * * [misc]simplify: iters left: 5 (24 enodes) 1540323348.840 * * [misc]simplify: iters left: 4 (47 enodes) 1540323348.855 * * [misc]simplify: iters left: 3 (94 enodes) 1540323348.901 * * [misc]simplify: iters left: 2 (169 enodes) 1540323349.031 * * [misc]simplify: iters left: 1 (377 enodes) 1540323349.448 * [exit]simplify: Simplified to (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (pow N 6) (pow N 3)))) 1540323349.448 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (pow N 6) (pow N 3)))) (* (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) (cbrt (- N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323349.448 * [enter]simplify: Simplifying (* (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) (cbrt (- N (pow N 2)))) 1540323349.449 * * [misc]simplify: iters left: 6 (12 enodes) 1540323349.452 * * [misc]simplify: iters left: 5 (23 enodes) 1540323349.459 * * [misc]simplify: iters left: 4 (55 enodes) 1540323349.475 * * [misc]simplify: iters left: 3 (96 enodes) 1540323349.500 * * [misc]simplify: iters left: 2 (152 enodes) 1540323349.537 * * [misc]simplify: iters left: 1 (204 enodes) 1540323349.641 * [exit]simplify: Simplified to (* (cbrt (* (* N N) (- (* N N) (+ -1 N)))) (cbrt (- N (* N N)))) 1540323349.641 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (pow N 6) (pow N 3)))) (* (cbrt (* (* N N) (- (* N N) (+ -1 N)))) (cbrt (- N (* N N))))) (cbrt (+ N (pow N 2))))))) 1540323349.641 * * * * [misc]progress: [ 59 / 92 ] simplifiying candidate # 1540323349.641 * [enter]simplify: Simplifying (* (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) (cbrt (+ (pow N 3) (pow (pow N 2) 3)))) 1540323349.642 * * [misc]simplify: iters left: 6 (13 enodes) 1540323349.646 * * [misc]simplify: iters left: 5 (24 enodes) 1540323349.653 * * [misc]simplify: iters left: 4 (47 enodes) 1540323349.666 * * [misc]simplify: iters left: 3 (94 enodes) 1540323349.693 * * [misc]simplify: iters left: 2 (168 enodes) 1540323349.855 * * [misc]simplify: iters left: 1 (378 enodes) 1540323350.217 * [exit]simplify: Simplified to (* (cbrt (+ (pow N 3) (pow N 6))) (cbrt (- (* N N) (pow N 4)))) 1540323350.217 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ (pow N 3) (pow N 6))) (cbrt (- (* N N) (pow N 4)))) (* (cbrt (- N (pow N 2))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))))) (cbrt (+ N (pow N 2))))))) 1540323350.217 * [enter]simplify: Simplifying (* (cbrt (- N (pow N 2))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2)))))) 1540323350.218 * * [misc]simplify: iters left: 6 (12 enodes) 1540323350.222 * * [misc]simplify: iters left: 5 (23 enodes) 1540323350.229 * * [misc]simplify: iters left: 4 (55 enodes) 1540323350.249 * * [misc]simplify: iters left: 3 (96 enodes) 1540323350.290 * * [misc]simplify: iters left: 2 (152 enodes) 1540323350.328 * * [misc]simplify: iters left: 1 (204 enodes) 1540323350.438 * [exit]simplify: Simplified to (* (cbrt (- N (* N N))) (cbrt (* (* N N) (+ (- 1 N) (* N N))))) 1540323350.438 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ (pow N 3) (pow N 6))) (cbrt (- (* N N) (pow N 4)))) (* (cbrt (- N (* N N))) (cbrt (* (* N N) (+ (- 1 N) (* N N)))))) (cbrt (+ N (pow N 2))))))) 1540323350.438 * * * * [misc]progress: [ 60 / 92 ] simplifiying candidate # 1540323350.438 * [enter]simplify: Simplifying (* (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) (cbrt (- (* N N) (* (pow N 2) (pow N 2))))) 1540323350.438 * * [misc]simplify: iters left: 6 (8 enodes) 1540323350.440 * * [misc]simplify: iters left: 5 (13 enodes) 1540323350.443 * * [misc]simplify: iters left: 4 (27 enodes) 1540323350.453 * * [misc]simplify: iters left: 3 (70 enodes) 1540323350.483 * * [misc]simplify: iters left: 2 (137 enodes) 1540323350.582 * * [misc]simplify: iters left: 1 (328 enodes) 1540323351.025 * [exit]simplify: Simplified to (* (cbrt (- (* N N) (pow N 4))) (cbrt (- (* N N) (pow N 4)))) 1540323351.025 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (pow N 4))) (cbrt (- (* N N) (pow N 4)))) (* (cbrt (- N (pow N 2))) (cbrt (- N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.026 * [enter]simplify: Simplifying (* (cbrt (- N (pow N 2))) (cbrt (- N (pow N 2)))) 1540323351.026 * * [misc]simplify: iters left: 6 (6 enodes) 1540323351.029 * * [misc]simplify: iters left: 5 (9 enodes) 1540323351.032 * * [misc]simplify: iters left: 4 (13 enodes) 1540323351.034 * * [misc]simplify: iters left: 3 (16 enodes) 1540323351.036 * * [misc]simplify: iters left: 2 (20 enodes) 1540323351.040 * * [misc]simplify: iters left: 1 (27 enodes) 1540323351.045 * [exit]simplify: Simplified to (* (cbrt (- N (* N N))) (cbrt (- N (* N N)))) 1540323351.045 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (pow N 4))) (cbrt (- (* N N) (pow N 4)))) (* (cbrt (- N (* N N))) (cbrt (- N (* N N))))) (cbrt (+ N (pow N 2))))))) 1540323351.045 * * * * [misc]progress: [ 61 / 92 ] simplifiying candidate # 1540323351.045 * * * * [misc]progress: [ 62 / 92 ] simplifiying candidate # 1540323351.045 * [enter]simplify: Simplifying (cbrt (cbrt (+ N (pow N 2)))) 1540323351.045 * * [misc]simplify: iters left: 5 (6 enodes) 1540323351.047 * * [misc]simplify: iters left: 4 (8 enodes) 1540323351.048 * * [misc]simplify: iters left: 3 (11 enodes) 1540323351.050 * * [misc]simplify: iters left: 2 (15 enodes) 1540323351.052 * * [misc]simplify: iters left: 1 (21 enodes) 1540323351.056 * [exit]simplify: Simplified to (cbrt (cbrt (+ (* N N) N))) 1540323351.056 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))))) (cbrt (cbrt (+ (* N N) N)))) (cbrt (+ N (pow N 2))))))) 1540323351.056 * * * * [misc]progress: [ 63 / 92 ] simplifiying candidate # 1540323351.056 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540323351.057 * * [misc]simplify: iters left: 5 (6 enodes) 1540323351.058 * * [misc]simplify: iters left: 4 (8 enodes) 1540323351.059 * * [misc]simplify: iters left: 3 (11 enodes) 1540323351.061 * * [misc]simplify: iters left: 2 (15 enodes) 1540323351.064 * * [misc]simplify: iters left: 1 (21 enodes) 1540323351.067 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540323351.067 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) (cbrt (sqrt (+ N (pow N 2))))) (cbrt (sqrt (+ (* N N) N)))) (cbrt (+ N (pow N 2))))))) 1540323351.067 * * * * [misc]progress: [ 64 / 92 ] simplifiying candidate # 1540323351.067 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540323351.068 * * [misc]simplify: iters left: 4 (5 enodes) 1540323351.069 * * [misc]simplify: iters left: 3 (7 enodes) 1540323351.070 * * [misc]simplify: iters left: 2 (10 enodes) 1540323351.072 * * [misc]simplify: iters left: 1 (14 enodes) 1540323351.075 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540323351.075 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) (cbrt 1)) (cbrt (+ N (* N N)))) (cbrt (+ N (pow N 2))))))) 1540323351.075 * * * * [misc]progress: [ 65 / 92 ] simplifiying candidate # 1540323351.075 * [enter]simplify: Simplifying (cbrt N) 1540323351.075 * * [misc]simplify: iters left: 1 (2 enodes) 1540323351.075 * [exit]simplify: Simplified to (cbrt N) 1540323351.075 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N 1))) (cbrt N)) (cbrt (+ N (pow N 2))))))) 1540323351.075 * * * * [misc]progress: [ 66 / 92 ] simplifiying candidate # 1540323351.076 * [enter]simplify: Simplifying (cbrt (cbrt (+ N (pow N 2)))) 1540323351.076 * * [misc]simplify: iters left: 5 (6 enodes) 1540323351.077 * * [misc]simplify: iters left: 4 (8 enodes) 1540323351.079 * * [misc]simplify: iters left: 3 (11 enodes) 1540323351.081 * * [misc]simplify: iters left: 2 (15 enodes) 1540323351.084 * * [misc]simplify: iters left: 1 (21 enodes) 1540323351.088 * [exit]simplify: Simplified to (cbrt (cbrt (+ (* N N) N))) 1540323351.088 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) (* (cbrt (cbrt (+ N (pow N 2)))) (cbrt (cbrt (+ N (pow N 2)))))) (cbrt (cbrt (+ (* N N) N)))) (cbrt (+ N (pow N 2))))))) 1540323351.088 * * * * [misc]progress: [ 67 / 92 ] simplifiying candidate # 1540323351.089 * [enter]simplify: Simplifying (sqrt (cbrt (+ N (pow N 2)))) 1540323351.089 * * [misc]simplify: iters left: 5 (6 enodes) 1540323351.090 * * [misc]simplify: iters left: 4 (8 enodes) 1540323351.091 * * [misc]simplify: iters left: 3 (11 enodes) 1540323351.093 * * [misc]simplify: iters left: 2 (15 enodes) 1540323351.096 * * [misc]simplify: iters left: 1 (21 enodes) 1540323351.103 * [exit]simplify: Simplified to (sqrt (cbrt (+ (* N N) N))) 1540323351.103 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) (sqrt (cbrt (+ N (pow N 2))))) (sqrt (cbrt (+ (* N N) N)))) (cbrt (+ N (pow N 2))))))) 1540323351.103 * * * * [misc]progress: [ 68 / 92 ] simplifiying candidate # 1540323351.103 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540323351.104 * * [misc]simplify: iters left: 4 (5 enodes) 1540323351.106 * * [misc]simplify: iters left: 3 (7 enodes) 1540323351.108 * * [misc]simplify: iters left: 2 (10 enodes) 1540323351.111 * * [misc]simplify: iters left: 1 (14 enodes) 1540323351.117 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540323351.117 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ N (pow N 2))) 1) (cbrt (+ N (* N N)))) (cbrt (+ N (pow N 2))))))) 1540323351.118 * * * * [misc]progress: [ 69 / 92 ] simplifiying candidate # 1540323351.118 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540323351.119 * * [misc]simplify: iters left: 6 (7 enodes) 1540323351.122 * * [misc]simplify: iters left: 5 (9 enodes) 1540323351.125 * * [misc]simplify: iters left: 4 (12 enodes) 1540323351.130 * * [misc]simplify: iters left: 3 (16 enodes) 1540323351.135 * * [misc]simplify: iters left: 2 (22 enodes) 1540323351.140 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540323351.140 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) (* (cbrt (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.140 * * * * [misc]progress: [ 70 / 92 ] simplifiying candidate # 1540323351.140 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540323351.140 * * [misc]simplify: iters left: 5 (6 enodes) 1540323351.142 * * [misc]simplify: iters left: 4 (8 enodes) 1540323351.143 * * [misc]simplify: iters left: 3 (11 enodes) 1540323351.145 * * [misc]simplify: iters left: 2 (15 enodes) 1540323351.147 * * [misc]simplify: iters left: 1 (21 enodes) 1540323351.151 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540323351.151 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (sqrt (+ (* N N) N))) (* (cbrt (sqrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.151 * * * * [misc]progress: [ 71 / 92 ] simplifiying candidate # 1540323351.151 * [enter]simplify: Simplifying (cbrt 1) 1540323351.151 * * [misc]simplify: iters left: 1 (2 enodes) 1540323351.152 * [exit]simplify: Simplified to 1 1540323351.152 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* 1 (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.152 * * * * [misc]progress: [ 72 / 92 ] simplifiying candidate # 1540323351.152 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540323351.153 * * [misc]simplify: iters left: 3 (4 enodes) 1540323351.153 * * [misc]simplify: iters left: 2 (7 enodes) 1540323351.154 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540323351.154 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (* (cbrt N) (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.154 * * * * [misc]progress: [ 73 / 92 ] simplifiying candidate # 1540323351.155 * [enter]simplify: Simplifying (* (cbrt (cbrt (+ N (pow N 2)))) (cbrt (cbrt (+ N (pow N 2))))) 1540323351.155 * * [misc]simplify: iters left: 6 (7 enodes) 1540323351.156 * * [misc]simplify: iters left: 5 (9 enodes) 1540323351.158 * * [misc]simplify: iters left: 4 (12 enodes) 1540323351.160 * * [misc]simplify: iters left: 3 (16 enodes) 1540323351.162 * * [misc]simplify: iters left: 2 (22 enodes) 1540323351.166 * [exit]simplify: Simplified to (* (cbrt (cbrt (+ N (* N N)))) (cbrt (cbrt (+ N (* N N))))) 1540323351.166 * [misc]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 (pow N 2)))) (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.166 * * * * [misc]progress: [ 74 / 92 ] simplifiying candidate # 1540323351.167 * [enter]simplify: Simplifying (sqrt (cbrt (+ N (pow N 2)))) 1540323351.167 * * [misc]simplify: iters left: 5 (6 enodes) 1540323351.168 * * [misc]simplify: iters left: 4 (8 enodes) 1540323351.169 * * [misc]simplify: iters left: 3 (11 enodes) 1540323351.171 * * [misc]simplify: iters left: 2 (15 enodes) 1540323351.174 * * [misc]simplify: iters left: 1 (21 enodes) 1540323351.177 * [exit]simplify: Simplified to (sqrt (cbrt (+ (* N N) N))) 1540323351.177 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (sqrt (cbrt (+ (* N N) N))) (* (sqrt (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))) (cbrt (+ N (pow N 2))))))) 1540323351.178 * * * * [misc]progress: [ 75 / 92 ] simplifiying candidate # 1540323351.178 * * * * [misc]progress: [ 76 / 92 ] simplifiying candidate # 1540323351.178 * [enter]simplify: Simplifying (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) 1540323351.180 * * [misc]simplify: iters left: 6 (9 enodes) 1540323351.185 * * [misc]simplify: iters left: 5 (17 enodes) 1540323351.197 * * [misc]simplify: iters left: 4 (47 enodes) 1540323351.223 * * [misc]simplify: iters left: 3 (90 enodes) 1540323351.270 * * [misc]simplify: iters left: 2 (149 enodes) 1540323351.330 * * [misc]simplify: iters left: 1 (212 enodes) 1540323351.418 * [exit]simplify: Simplified to (cbrt (* (- (* N N) (+ -1 N)) (* N N))) 1540323351.418 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ N (pow N 2))) (cbrt (+ (pow N 3) (pow (pow N 2) 3)))) (cbrt (* (- (* N N) (+ -1 N)) (* N N)))) (cbrt (+ N (pow N 2))))))) 1540323351.418 * * * * [misc]progress: [ 77 / 92 ] simplifiying candidate # 1540323351.418 * [enter]simplify: Simplifying (cbrt (- N (pow N 2))) 1540323351.419 * * [misc]simplify: iters left: 4 (5 enodes) 1540323351.420 * * [misc]simplify: iters left: 3 (8 enodes) 1540323351.424 * * [misc]simplify: iters left: 2 (12 enodes) 1540323351.429 * * [misc]simplify: iters left: 1 (15 enodes) 1540323351.434 * [exit]simplify: Simplified to (cbrt (- N (* N N))) 1540323351.434 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ N (pow N 2))) (cbrt (- (* N N) (* (pow N 2) (pow N 2))))) (cbrt (- N (* N N)))) (cbrt (+ N (pow N 2))))))) 1540323351.434 * * * * [misc]progress: [ 78 / 92 ] simplifiying candidate # 1540323351.435 * [enter]simplify: Simplifying (* (cbrt (+ (pow N 3) (pow (pow N 2) 3))) (cbrt (+ N (pow N 2)))) 1540323351.436 * * [misc]simplify: iters left: 6 (11 enodes) 1540323351.442 * * [misc]simplify: iters left: 5 (20 enodes) 1540323351.452 * * [misc]simplify: iters left: 4 (36 enodes) 1540323351.463 * * [misc]simplify: iters left: 3 (51 enodes) 1540323351.473 * * [misc]simplify: iters left: 2 (71 enodes) 1540323351.491 * * [misc]simplify: iters left: 1 (81 enodes) 1540323351.508 * [exit]simplify: Simplified to (* (cbrt (+ N (* N N))) (cbrt (+ (pow N 6) (pow N 3)))) 1540323351.508 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ N (* N N))) (cbrt (+ (pow N 6) (pow N 3)))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2)))))) (cbrt (+ N (pow N 2))))))) 1540323351.508 * * * * [misc]progress: [ 79 / 92 ] simplifiying candidate # 1540323351.509 * [enter]simplify: Simplifying (* (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) (cbrt (+ N (pow N 2)))) 1540323351.510 * * [misc]simplify: iters left: 6 (10 enodes) 1540323351.514 * * [misc]simplify: iters left: 5 (16 enodes) 1540323351.518 * * [misc]simplify: iters left: 4 (29 enodes) 1540323351.528 * * [misc]simplify: iters left: 3 (72 enodes) 1540323351.547 * * [misc]simplify: iters left: 2 (140 enodes) 1540323351.646 * * [misc]simplify: iters left: 1 (332 enodes) 1540323352.016 * [exit]simplify: Simplified to (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (* N N) N))) 1540323352.016 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (* N N) N))) (cbrt (- N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323352.016 * * * * [misc]progress: [ 80 / 92 ] simplifiying candidate # 1540323352.017 * * * * [misc]progress: [ 81 / 92 ] simplifiying candidate # 1540323352.017 * [enter]simplify: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1540323352.018 * * [misc]simplify: iters left: 6 (14 enodes) 1540323352.021 * * [misc]simplify: iters left: 5 (24 enodes) 1540323352.031 * * [misc]simplify: iters left: 4 (39 enodes) 1540323352.040 * * [misc]simplify: iters left: 3 (46 enodes) 1540323352.046 * * [misc]simplify: iters left: 2 (48 enodes) 1540323352.051 * * [misc]simplify: iters left: 1 (50 enodes) 1540323352.063 * [exit]simplify: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1540323352.063 * [misc]simplify: Simplified (2 2 2 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)))))) 1540323352.064 * * * * [misc]progress: [ 82 / 92 ] simplifiying candidate # 1540323352.064 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540323352.065 * * [misc]simplify: iters left: 6 (16 enodes) 1540323352.069 * * [misc]simplify: iters left: 5 (27 enodes) 1540323352.078 * * [misc]simplify: iters left: 4 (42 enodes) 1540323352.089 * * [misc]simplify: iters left: 3 (49 enodes) 1540323352.101 * * [misc]simplify: iters left: 2 (51 enodes) 1540323352.113 * * [misc]simplify: iters left: 1 (60 enodes) 1540323352.136 * [exit]simplify: Simplified to (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) 1540323352.136 * [misc]simplify: Simplified (2 2 2 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))))))) 1540323352.136 * * * * [misc]progress: [ 83 / 92 ] simplifiying candidate # 1540323352.136 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540323352.138 * * [misc]simplify: iters left: 6 (18 enodes) 1540323352.145 * * [misc]simplify: iters left: 5 (29 enodes) 1540323352.158 * * [misc]simplify: iters left: 4 (44 enodes) 1540323352.172 * * [misc]simplify: iters left: 3 (51 enodes) 1540323352.186 * * [misc]simplify: iters left: 2 (53 enodes) 1540323352.202 * * [misc]simplify: iters left: 1 (62 enodes) 1540323352.229 * [exit]simplify: Simplified to (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1540323352.229 * [misc]simplify: Simplified (2 2 2 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))))))) 1540323352.229 * * * * [misc]progress: [ 84 / 92 ] simplifiying candidate # 1540323352.229 * [enter]simplify: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1540323352.231 * * [misc]simplify: iters left: 6 (14 enodes) 1540323352.237 * * [misc]simplify: iters left: 5 (24 enodes) 1540323352.249 * * [misc]simplify: iters left: 4 (39 enodes) 1540323352.261 * * [misc]simplify: iters left: 3 (46 enodes) 1540323352.273 * * [misc]simplify: iters left: 2 (48 enodes) 1540323352.284 * * [misc]simplify: iters left: 1 (50 enodes) 1540323352.304 * [exit]simplify: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1540323352.304 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9))) (cbrt (+ N (pow N 2))))))) 1540323352.304 * * * * [misc]progress: [ 85 / 92 ] simplifiying candidate # 1540323352.304 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540323352.305 * * [misc]simplify: iters left: 6 (16 enodes) 1540323352.309 * * [misc]simplify: iters left: 5 (27 enodes) 1540323352.316 * * [misc]simplify: iters left: 4 (42 enodes) 1540323352.323 * * [misc]simplify: iters left: 3 (49 enodes) 1540323352.329 * * [misc]simplify: iters left: 2 (51 enodes) 1540323352.336 * * [misc]simplify: iters left: 1 (60 enodes) 1540323352.352 * [exit]simplify: Simplified to (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) 1540323352.353 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4)))))) (cbrt (+ N (pow N 2))))))) 1540323352.353 * * * * [misc]progress: [ 86 / 92 ] simplifiying candidate # 1540323352.353 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540323352.354 * * [misc]simplify: iters left: 6 (18 enodes) 1540323352.361 * * [misc]simplify: iters left: 5 (29 enodes) 1540323352.371 * * [misc]simplify: iters left: 4 (44 enodes) 1540323352.384 * * [misc]simplify: iters left: 3 (51 enodes) 1540323352.398 * * [misc]simplify: iters left: 2 (53 enodes) 1540323352.413 * * [misc]simplify: iters left: 1 (62 enodes) 1540323352.440 * [exit]simplify: Simplified to (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1540323352.440 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N (pow N 2))) (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N)))))) (cbrt (+ N (pow N 2))))))) 1540323352.440 * * * * [misc]progress: [ 87 / 92 ] simplifiying candidate # 1540323352.440 * [enter]simplify: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1540323352.442 * * [misc]simplify: iters left: 6 (14 enodes) 1540323352.448 * * [misc]simplify: iters left: 5 (24 enodes) 1540323352.458 * * [misc]simplify: iters left: 4 (39 enodes) 1540323352.473 * * [misc]simplify: iters left: 3 (46 enodes) 1540323352.480 * * [misc]simplify: iters left: 2 (48 enodes) 1540323352.485 * * [misc]simplify: iters left: 1 (50 enodes) 1540323352.499 * [exit]simplify: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1540323352.499 * [misc]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 (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323352.499 * * * * [misc]progress: [ 88 / 92 ] simplifiying candidate # 1540323352.499 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540323352.501 * * [misc]simplify: iters left: 6 (16 enodes) 1540323352.507 * * [misc]simplify: iters left: 5 (27 enodes) 1540323352.519 * * [misc]simplify: iters left: 4 (42 enodes) 1540323352.525 * * [misc]simplify: iters left: 3 (49 enodes) 1540323352.532 * * [misc]simplify: iters left: 2 (51 enodes) 1540323352.540 * * [misc]simplify: iters left: 1 (60 enodes) 1540323352.554 * [exit]simplify: Simplified to (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) 1540323352.555 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323352.555 * * * * [misc]progress: [ 89 / 92 ] simplifiying candidate # 1540323352.555 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540323352.556 * * [misc]simplify: iters left: 6 (18 enodes) 1540323352.560 * * [misc]simplify: iters left: 5 (29 enodes) 1540323352.567 * * [misc]simplify: iters left: 4 (44 enodes) 1540323352.574 * * [misc]simplify: iters left: 3 (51 enodes) 1540323352.581 * * [misc]simplify: iters left: 2 (53 enodes) 1540323352.588 * * [misc]simplify: iters left: 1 (62 enodes) 1540323352.603 * [exit]simplify: Simplified to (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1540323352.603 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) (cbrt (+ N (pow N 2)))) (cbrt (+ N (pow N 2))))))) 1540323352.603 * * * * [misc]progress: [ 90 / 92 ] simplifiying candidate # 1540323352.603 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow (pow N 5) 1/3)) (pow N 2/3)) (* 1/9 (pow (pow N 8) 1/3))) 1540323352.605 * * [misc]simplify: iters left: 6 (15 enodes) 1540323352.612 * * [misc]simplify: iters left: 5 (24 enodes) 1540323352.622 * * [misc]simplify: iters left: 4 (39 enodes) 1540323352.636 * * [misc]simplify: iters left: 3 (46 enodes) 1540323352.644 * * [misc]simplify: iters left: 2 (48 enodes) 1540323352.650 * * [misc]simplify: iters left: 1 (57 enodes) 1540323352.663 * [exit]simplify: Simplified to (+ (* (cbrt (pow N 5)) 2/3) (+ (pow N 2/3) (* (cbrt (pow N 8)) -1/9))) 1540323352.663 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (* (cbrt (pow N 5)) 2/3) (+ (pow N 2/3) (* (cbrt (pow N 8)) -1/9))) (cbrt (+ N (pow N 2))))))) 1540323352.663 * * * * [misc]progress: [ 91 / 92 ] simplifiying candidate # 1540323352.664 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow N 1/3)) (pow (/ 1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1540323352.665 * * [misc]simplify: iters left: 6 (17 enodes) 1540323352.668 * * [misc]simplify: iters left: 5 (29 enodes) 1540323352.674 * * [misc]simplify: iters left: 4 (45 enodes) 1540323352.681 * * [misc]simplify: iters left: 3 (52 enodes) 1540323352.688 * * [misc]simplify: iters left: 2 (54 enodes) 1540323352.696 * * [misc]simplify: iters left: 1 (63 enodes) 1540323352.725 * [exit]simplify: Simplified to (- (+ (pow (/ 1 N) -4/3) (* (cbrt N) 2/3)) (* (cbrt (/ 1 (* N N))) 1/9)) 1540323352.725 * [misc]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 (pow N 2))))))) 1540323352.725 * * * * [misc]progress: [ 92 / 92 ] simplifiying candidate # 1540323352.726 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow N 1/3)) (pow (/ -1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1540323352.727 * * [misc]simplify: iters left: 6 (18 enodes) 1540323352.731 * * [misc]simplify: iters left: 5 (30 enodes) 1540323352.737 * * [misc]simplify: iters left: 4 (47 enodes) 1540323352.745 * * [misc]simplify: iters left: 3 (54 enodes) 1540323352.754 * * [misc]simplify: iters left: 2 (56 enodes) 1540323352.762 * * [misc]simplify: iters left: 1 (65 enodes) 1540323352.774 * [exit]simplify: Simplified to (+ (* (cbrt (/ (/ 1 N) N)) -1/9) (+ (pow (/ -1 N) -4/3) (* (cbrt N) 2/3))) 1540323352.774 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (* (cbrt (/ (/ 1 N) N)) -1/9) (+ (pow (/ -1 N) -4/3) (* (cbrt N) 2/3))) (cbrt (+ N (pow N 2))))))) 1540323352.774 * * * [misc]progress: adding candidates to table 1540323355.064 * [misc]progress: [Phase 3 of 3] Extracting. 1540323355.064 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1540323355.065 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1540323355.065 * * * * [misc]regimes: Trying to branch on N from (# # # # # #) 1540323355.160 * * * [misc]regime: Found split indices: #