1540334486.717 * [misc]progress: [Phase 1 of 3] Setting up. 1540334486.717 * * * [misc]progress: [1/2] Preparing points 1540334486.717 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540334486.718 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540334486.719 * * * * [misc]points: Setting MPFR precision to 64 1540334486.720 * * * * [misc]points: Setting MPFR precision to 320 1540334486.720 * * * * [misc]points: Setting MPFR precision to 576 1540334486.721 * * * * [misc]points: Setting MPFR precision to 832 1540334486.722 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540334486.725 * * * * [misc]points: Setting MPFR precision to 576 1540334486.726 * * * * [misc]points: Setting MPFR precision to 832 1540334486.728 * * * * [misc]points: Setting MPFR precision to 1088 1540334486.730 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540334486.733 * * * * [misc]points: Setting MPFR precision to 832 1540334486.737 * * * * [misc]points: Setting MPFR precision to 1088 1540334486.743 * * * * [misc]points: Setting MPFR precision to 1344 1540334486.747 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540334486.748 * * * * [misc]points: Setting MPFR precision to 1088 1540334486.753 * * * * [misc]points: Setting MPFR precision to 1344 1540334486.759 * * * * [misc]points: Computing exacts for 256 points 1540334486.762 * * * * [misc]points: Setting MPFR precision to 1088 1540334486.791 * * * * [misc]points: Setting MPFR precision to 1344 1540334486.822 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334486.823 * * * * [exit]points: Sampled 256 points with exact outputs 1540334486.823 * * * [misc]progress: [2/2] Setting up program. 1540334486.827 * [misc]progress: [Phase 2 of 3] Improving. 1540334486.827 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540334486.827 * * [misc]simplify: iters left: 5 (6 enodes) 1540334486.829 * * [misc]simplify: iters left: 4 (11 enodes) 1540334486.832 * * [misc]simplify: iters left: 3 (12 enodes) 1540334486.835 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540334486.844 * * [misc]progress: iteration 1 / 4 1540334486.844 * * * [misc]progress: picking best candidate 1540334486.848 * * * * [misc]pick: Picked # 1540334486.848 * * * [misc]progress: localizing error 1540334486.880 * * * [misc]progress: generating rewritten candidates 1540334486.880 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1540334486.895 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1540334486.895 * * * [misc]progress: generating series expansions 1540334486.895 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1540334486.896 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540334486.896 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1540334486.896 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1540334486.896 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540334486.896 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.896 * [misc]taylor: Taking taylor expansion of (atan N) in N 1540334486.896 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1540334486.896 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1540334486.896 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540334486.896 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.896 * [misc]taylor: Taking taylor expansion of (atan N) in N 1540334486.896 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1540334486.896 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1540334486.896 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1540334486.896 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540334486.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.896 * [misc]backup-simplify: Simplify 0 into 0 1540334486.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify 0 into 0 1540334486.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify 0 into 0 1540334486.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify 0 into 0 1540334486.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.897 * [misc]backup-simplify: Simplify 0 into 0 1540334486.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.898 * [misc]backup-simplify: Simplify 0 into 0 1540334486.898 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540334486.898 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540334486.898 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1540334486.898 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1540334486.898 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540334486.898 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540334486.898 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1540334486.898 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1540334486.898 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1540334486.898 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540334486.898 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540334486.898 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1540334486.898 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1540334486.898 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1540334486.898 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540334486.898 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540334486.898 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify 0 into 0 1540334486.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify 0 into 0 1540334486.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify 0 into 0 1540334486.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.899 * [misc]backup-simplify: Simplify 0 into 0 1540334486.900 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.901 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.901 * [misc]backup-simplify: Simplify 0 into 0 1540334486.901 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.901 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.901 * [misc]backup-simplify: Simplify 0 into 0 1540334486.901 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1540334486.901 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540334486.901 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1540334486.902 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1540334486.902 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540334486.902 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540334486.902 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1540334486.902 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1540334486.902 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1540334486.902 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540334486.902 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540334486.902 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1540334486.902 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1540334486.902 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1540334486.902 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540334486.902 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540334486.903 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.903 * [misc]backup-simplify: Simplify 0 into 0 1540334486.903 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.903 * [misc]backup-simplify: Simplify 0 into 0 1540334486.903 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.903 * [misc]backup-simplify: Simplify 0 into 0 1540334486.904 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.904 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.904 * [misc]backup-simplify: Simplify 0 into 0 1540334486.904 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.904 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.904 * [misc]backup-simplify: Simplify 0 into 0 1540334486.904 * [misc]backup-simplify: Simplify (- 0) into 0 1540334486.904 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.905 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1540334486.905 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1540334486.905 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.905 * [misc]approximate: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1540334486.905 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540334486.905 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.905 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540334486.905 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.905 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.905 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540334486.906 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540334486.906 * [misc]approximate: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1540334486.906 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540334486.906 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540334486.906 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540334486.906 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540334486.906 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540334486.906 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify 0 into 0 1540334486.906 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1540334486.907 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N))) 1540334486.907 * [misc]approximate: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1540334486.907 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540334486.907 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540334486.907 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540334486.907 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540334486.907 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540334486.907 * [misc]backup-simplify: Simplify 0 into 0 1540334486.907 * [misc]backup-simplify: Simplify 0 into 0 1540334486.907 * [misc]backup-simplify: Simplify 0 into 0 1540334486.907 * [misc]backup-simplify: Simplify 0 into 0 1540334486.907 * [misc]backup-simplify: Simplify 0 into 0 1540334486.907 * [misc]backup-simplify: Simplify 0 into 0 1540334486.907 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1540334486.907 * * * [misc]progress: simplifying candidates 1540334486.908 * * * * [misc]progress: [ 1 / 28 ] simplifiying candidate # 1540334486.908 * [enter]simplify: Simplifying (- (+ N 1) N) 1540334486.908 * * [misc]simplify: iters left: 4 (4 enodes) 1540334486.909 * * [misc]simplify: iters left: 3 (11 enodes) 1540334486.913 * * [misc]simplify: iters left: 2 (19 enodes) 1540334486.920 * * [misc]simplify: iters left: 1 (25 enodes) 1540334486.923 * [exit]simplify: Simplified to 1 1540334486.923 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1540334486.923 * [enter]simplify: Simplifying (+ 1 (* (+ N 1) N)) 1540334486.923 * * [misc]simplify: iters left: 6 (5 enodes) 1540334486.925 * * [misc]simplify: iters left: 5 (10 enodes) 1540334486.927 * * [misc]simplify: iters left: 4 (17 enodes) 1540334486.933 * * [misc]simplify: iters left: 3 (27 enodes) 1540334486.939 * * [misc]simplify: iters left: 2 (42 enodes) 1540334486.954 * * [misc]simplify: iters left: 1 (43 enodes) 1540334486.960 * [exit]simplify: Simplified to (+ (+ N 1) (* N N)) 1540334486.960 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N)))) 1540334486.960 * * * * [misc]progress: [ 2 / 28 ] simplifiying candidate # 1540334486.960 * [enter]simplify: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1540334486.961 * * [misc]simplify: iters left: 6 (8 enodes) 1540334486.963 * * [misc]simplify: iters left: 5 (13 enodes) 1540334486.966 * * [misc]simplify: iters left: 4 (15 enodes) 1540334486.971 * * [misc]simplify: iters left: 3 (18 enodes) 1540334486.975 * * [misc]simplify: iters left: 2 (20 enodes) 1540334486.980 * * [misc]simplify: iters left: 1 (24 enodes) 1540334486.986 * [exit]simplify: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1540334486.986 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1540334486.986 * * * * [misc]progress: [ 3 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 4 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 5 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 6 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 7 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 8 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 9 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 10 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 11 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 12 / 28 ] simplifiying candidate # 1540334486.987 * * * * [misc]progress: [ 13 / 28 ] simplifiying candidate # 1540334486.987 * [enter]simplify: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1540334486.987 * * [misc]simplify: iters left: 6 (8 enodes) 1540334486.990 * * [misc]simplify: iters left: 5 (12 enodes) 1540334486.992 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1540334486.992 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1540334486.993 * [enter]simplify: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1540334486.993 * * [misc]simplify: iters left: 6 (8 enodes) 1540334486.995 * * [misc]simplify: iters left: 5 (13 enodes) 1540334486.998 * * [misc]simplify: iters left: 4 (14 enodes) 1540334487.002 * [exit]simplify: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1540334487.002 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1540334487.002 * * * * [misc]progress: [ 14 / 28 ] simplifiying candidate # 1540334487.002 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540334487.003 * * [misc]simplify: iters left: 5 (6 enodes) 1540334487.004 * * [misc]simplify: iters left: 4 (11 enodes) 1540334487.007 * * [misc]simplify: iters left: 3 (12 enodes) 1540334487.010 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540334487.010 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1540334487.010 * * * * [misc]progress: [ 15 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 16 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 17 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 18 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 19 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 20 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 21 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 22 / 28 ] simplifiying candidate # 1540334487.010 * * * * [misc]progress: [ 23 / 28 ] simplifiying candidate # 1540334487.011 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540334487.011 * * [misc]simplify: iters left: 5 (6 enodes) 1540334487.012 * * [misc]simplify: iters left: 4 (11 enodes) 1540334487.015 * * [misc]simplify: iters left: 3 (12 enodes) 1540334487.018 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540334487.018 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540334487.018 * * * * [misc]progress: [ 24 / 28 ] simplifiying candidate # 1540334487.018 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540334487.018 * * [misc]simplify: iters left: 5 (6 enodes) 1540334487.020 * * [misc]simplify: iters left: 4 (11 enodes) 1540334487.023 * * [misc]simplify: iters left: 3 (12 enodes) 1540334487.026 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540334487.026 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540334487.026 * * * * [misc]progress: [ 25 / 28 ] simplifiying candidate # 1540334487.026 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540334487.026 * * [misc]simplify: iters left: 5 (6 enodes) 1540334487.028 * * [misc]simplify: iters left: 4 (11 enodes) 1540334487.031 * * [misc]simplify: iters left: 3 (12 enodes) 1540334487.034 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540334487.034 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540334487.034 * * * * [misc]progress: [ 26 / 28 ] simplifiying candidate # 1540334487.034 * [enter]simplify: Simplifying (atan (+ N 1)) 1540334487.034 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.036 * * [misc]simplify: iters left: 2 (7 enodes) 1540334487.037 * [exit]simplify: Simplified to (atan (+ 1 N)) 1540334487.037 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540334487.037 * * * * [misc]progress: [ 27 / 28 ] simplifiying candidate # 1540334487.038 * [enter]simplify: Simplifying (atan (+ N 1)) 1540334487.038 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.039 * * [misc]simplify: iters left: 2 (7 enodes) 1540334487.041 * [exit]simplify: Simplified to (atan (+ 1 N)) 1540334487.041 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540334487.041 * * * * [misc]progress: [ 28 / 28 ] simplifiying candidate # 1540334487.041 * [enter]simplify: Simplifying (atan (+ N 1)) 1540334487.041 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.042 * * [misc]simplify: iters left: 2 (7 enodes) 1540334487.044 * [exit]simplify: Simplified to (atan (+ 1 N)) 1540334487.044 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540334487.044 * * * [misc]progress: adding candidates to table 1540334487.278 * * [misc]progress: iteration 2 / 4 1540334487.278 * * * [misc]progress: picking best candidate 1540334487.280 * * * * [misc]pick: Picked # 1540334487.280 * * * [misc]progress: localizing error 1540334487.297 * * * [misc]progress: generating rewritten candidates 1540334487.297 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1540334487.298 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1540334487.300 * * * [misc]progress: generating series expansions 1540334487.300 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1540334487.301 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ N 1) N))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.301 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540334487.301 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540334487.301 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.301 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540334487.301 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.301 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.301 * [misc]backup-simplify: Simplify 0 into 0 1540334487.301 * [misc]backup-simplify: Simplify 0 into 0 1540334487.301 * [misc]backup-simplify: Simplify 0 into 0 1540334487.301 * [misc]backup-simplify: Simplify 0 into 0 1540334487.301 * [misc]backup-simplify: Simplify 0 into 0 1540334487.301 * [misc]backup-simplify: Simplify 0 into 0 1540334487.301 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.301 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ (/ 1 N) 1) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.301 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540334487.301 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540334487.302 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.302 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540334487.302 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.302 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.302 * [misc]backup-simplify: Simplify 0 into 0 1540334487.302 * [misc]backup-simplify: Simplify 0 into 0 1540334487.302 * [misc]backup-simplify: Simplify 0 into 0 1540334487.302 * [misc]backup-simplify: Simplify 0 into 0 1540334487.302 * [misc]backup-simplify: Simplify 0 into 0 1540334487.302 * [misc]backup-simplify: Simplify 0 into 0 1540334487.302 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.302 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ (/ 1 (- N)) 1) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.302 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540334487.302 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540334487.303 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.303 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540334487.303 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.303 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.303 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1540334487.303 * [misc]backup-simplify: Simplify (* (+ N 1) N) into (* (+ N 1) N) 1540334487.303 * [misc]approximate: Taking taylor expansion of (* (+ N 1) N) in (N) around 0 1540334487.303 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1540334487.303 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540334487.303 * [misc]taylor: Taking taylor expansion of N in N 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 1 into 1 1540334487.303 * [misc]taylor: Taking taylor expansion of 1 in N 1540334487.303 * [misc]backup-simplify: Simplify 1 into 1 1540334487.303 * [misc]taylor: Taking taylor expansion of N in N 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.303 * [misc]backup-simplify: Simplify 1 into 1 1540334487.303 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1540334487.303 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540334487.303 * [misc]taylor: Taking taylor expansion of N in N 1540334487.303 * [misc]backup-simplify: Simplify 0 into 0 1540334487.304 * [misc]backup-simplify: Simplify 1 into 1 1540334487.304 * [misc]taylor: Taking taylor expansion of 1 in N 1540334487.304 * [misc]backup-simplify: Simplify 1 into 1 1540334487.304 * [misc]taylor: Taking taylor expansion of N in N 1540334487.304 * [misc]backup-simplify: Simplify 0 into 0 1540334487.304 * [misc]backup-simplify: Simplify 1 into 1 1540334487.304 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334487.304 * [misc]backup-simplify: Simplify (* 1 0) into 0 1540334487.304 * [misc]backup-simplify: Simplify 0 into 0 1540334487.304 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.304 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 0)) into 1 1540334487.304 * [misc]backup-simplify: Simplify 1 into 1 1540334487.304 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.305 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1 1540334487.305 * [misc]backup-simplify: Simplify 1 into 1 1540334487.305 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.305 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1540334487.305 * [misc]backup-simplify: Simplify 0 into 0 1540334487.305 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.305 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1540334487.305 * [misc]backup-simplify: Simplify 0 into 0 1540334487.305 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.306 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1540334487.306 * [misc]backup-simplify: Simplify 0 into 0 1540334487.306 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.306 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1540334487.306 * [misc]backup-simplify: Simplify 0 into 0 1540334487.306 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.306 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1540334487.306 * [misc]backup-simplify: Simplify 0 into 0 1540334487.307 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.307 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1540334487.307 * [misc]backup-simplify: Simplify 0 into 0 1540334487.307 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1540334487.307 * [misc]backup-simplify: Simplify (* (+ (/ 1 N) 1) (/ 1 N)) into (/ (+ (/ 1 N) 1) N) 1540334487.307 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in (N) around 0 1540334487.307 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1540334487.307 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540334487.307 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.307 * [misc]taylor: Taking taylor expansion of N in N 1540334487.307 * [misc]backup-simplify: Simplify 0 into 0 1540334487.307 * [misc]backup-simplify: Simplify 1 into 1 1540334487.307 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.307 * [misc]taylor: Taking taylor expansion of 1 in N 1540334487.307 * [misc]backup-simplify: Simplify 1 into 1 1540334487.307 * [misc]taylor: Taking taylor expansion of N in N 1540334487.307 * [misc]backup-simplify: Simplify 0 into 0 1540334487.307 * [misc]backup-simplify: Simplify 1 into 1 1540334487.308 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.308 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.308 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1540334487.308 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540334487.308 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.308 * [misc]taylor: Taking taylor expansion of N in N 1540334487.308 * [misc]backup-simplify: Simplify 0 into 0 1540334487.308 * [misc]backup-simplify: Simplify 1 into 1 1540334487.308 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.308 * [misc]taylor: Taking taylor expansion of 1 in N 1540334487.308 * [misc]backup-simplify: Simplify 1 into 1 1540334487.308 * [misc]taylor: Taking taylor expansion of N in N 1540334487.308 * [misc]backup-simplify: Simplify 0 into 0 1540334487.308 * [misc]backup-simplify: Simplify 1 into 1 1540334487.308 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.308 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.308 * [misc]backup-simplify: Simplify 1 into 1 1540334487.308 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334487.309 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334487.309 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1540334487.309 * [misc]backup-simplify: Simplify 1 into 1 1540334487.309 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.309 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.309 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1540334487.309 * [misc]backup-simplify: Simplify 0 into 0 1540334487.309 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.310 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.310 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.310 * [misc]backup-simplify: Simplify 0 into 0 1540334487.310 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.310 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.310 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.310 * [misc]backup-simplify: Simplify 0 into 0 1540334487.311 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.311 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.311 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.311 * [misc]backup-simplify: Simplify 0 into 0 1540334487.311 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.312 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.312 * [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 1540334487.312 * [misc]backup-simplify: Simplify 0 into 0 1540334487.312 * [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 1540334487.312 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.313 * [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 1540334487.313 * [misc]backup-simplify: Simplify 0 into 0 1540334487.313 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1540334487.313 * [misc]backup-simplify: Simplify (* (+ (/ 1 (- N)) 1) (/ 1 (- N))) into (* -1 (/ (- 1 (/ 1 N)) N)) 1540334487.313 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in (N) around 0 1540334487.313 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1540334487.313 * [misc]taylor: Taking taylor expansion of -1 in N 1540334487.313 * [misc]backup-simplify: Simplify -1 into -1 1540334487.313 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1540334487.313 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540334487.313 * [misc]taylor: Taking taylor expansion of 1 in N 1540334487.313 * [misc]backup-simplify: Simplify 1 into 1 1540334487.313 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.313 * [misc]taylor: Taking taylor expansion of N in N 1540334487.313 * [misc]backup-simplify: Simplify 0 into 0 1540334487.313 * [misc]backup-simplify: Simplify 1 into 1 1540334487.313 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.313 * [misc]taylor: Taking taylor expansion of N in N 1540334487.313 * [misc]backup-simplify: Simplify 0 into 0 1540334487.313 * [misc]backup-simplify: Simplify 1 into 1 1540334487.313 * [misc]backup-simplify: Simplify (- 1) into -1 1540334487.314 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334487.314 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540334487.314 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1540334487.314 * [misc]taylor: Taking taylor expansion of -1 in N 1540334487.314 * [misc]backup-simplify: Simplify -1 into -1 1540334487.314 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1540334487.314 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540334487.314 * [misc]taylor: Taking taylor expansion of 1 in N 1540334487.314 * [misc]backup-simplify: Simplify 1 into 1 1540334487.314 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.314 * [misc]taylor: Taking taylor expansion of N in N 1540334487.314 * [misc]backup-simplify: Simplify 0 into 0 1540334487.314 * [misc]backup-simplify: Simplify 1 into 1 1540334487.314 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.314 * [misc]taylor: Taking taylor expansion of N in N 1540334487.314 * [misc]backup-simplify: Simplify 0 into 0 1540334487.314 * [misc]backup-simplify: Simplify 1 into 1 1540334487.314 * [misc]backup-simplify: Simplify (- 1) into -1 1540334487.314 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334487.314 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540334487.314 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1540334487.314 * [misc]backup-simplify: Simplify 1 into 1 1540334487.315 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334487.315 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.315 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.315 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1540334487.315 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1540334487.315 * [misc]backup-simplify: Simplify -1 into -1 1540334487.315 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.316 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.316 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.316 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1540334487.316 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1540334487.316 * [misc]backup-simplify: Simplify 0 into 0 1540334487.317 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.317 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.317 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.317 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.318 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1540334487.318 * [misc]backup-simplify: Simplify 0 into 0 1540334487.318 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.318 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.319 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.319 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.319 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1540334487.320 * [misc]backup-simplify: Simplify 0 into 0 1540334487.320 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.320 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.320 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.321 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.321 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1540334487.321 * [misc]backup-simplify: Simplify 0 into 0 1540334487.322 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.322 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.322 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.323 * [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 1540334487.323 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1540334487.323 * [misc]backup-simplify: Simplify 0 into 0 1540334487.324 * [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 1540334487.324 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.324 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.325 * [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 1540334487.325 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1540334487.325 * [misc]backup-simplify: Simplify 0 into 0 1540334487.326 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1540334487.326 * * * [misc]progress: simplifying candidates 1540334487.326 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1540334487.326 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1540334487.327 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1540334487.327 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1540334487.327 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1540334487.327 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1540334487.327 * [enter]simplify: Simplifying (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1540334487.327 * * [misc]simplify: iters left: 5 (5 enodes) 1540334487.329 * * [misc]simplify: iters left: 4 (8 enodes) 1540334487.331 * [exit]simplify: Simplified to (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1540334487.331 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt (+ N 1)) N))))) 1540334487.331 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1540334487.331 * [enter]simplify: Simplifying (sqrt (+ N 1)) 1540334487.331 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.335 * * [misc]simplify: iters left: 2 (7 enodes) 1540334487.337 * [exit]simplify: Simplified to (sqrt (+ 1 N)) 1540334487.337 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (sqrt (+ 1 N)) (* (sqrt (+ N 1)) N))))) 1540334487.337 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1540334487.337 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1540334487.337 * [enter]simplify: Simplifying (* (+ (pow N 3) (pow 1 3)) N) 1540334487.337 * * [misc]simplify: iters left: 5 (7 enodes) 1540334487.340 * * [misc]simplify: iters left: 4 (16 enodes) 1540334487.342 * * [misc]simplify: iters left: 3 (26 enodes) 1540334487.348 * * [misc]simplify: iters left: 2 (32 enodes) 1540334487.352 * [exit]simplify: Simplified to (+ N (pow N 4)) 1540334487.352 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (+ N (pow N 4)) (+ (* N N) (- (* 1 1) (* N 1))))))) 1540334487.352 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1540334487.352 * [enter]simplify: Simplifying (* (- (* N N) (* 1 1)) N) 1540334487.352 * * [misc]simplify: iters left: 6 (6 enodes) 1540334487.353 * * [misc]simplify: iters left: 5 (12 enodes) 1540334487.355 * * [misc]simplify: iters left: 4 (15 enodes) 1540334487.357 * * [misc]simplify: iters left: 3 (22 enodes) 1540334487.360 * * [misc]simplify: iters left: 2 (56 enodes) 1540334487.389 * * [misc]simplify: iters left: 1 (136 enodes) 1540334487.471 * [exit]simplify: Simplified to (- (pow N 3) N) 1540334487.471 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (- (pow N 3) N) (- N 1))))) 1540334487.471 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1540334487.471 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1540334487.471 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.471 * * [misc]simplify: iters left: 6 (7 enodes) 1540334487.474 * * [misc]simplify: iters left: 5 (14 enodes) 1540334487.477 * * [misc]simplify: iters left: 4 (21 enodes) 1540334487.483 * * [misc]simplify: iters left: 3 (23 enodes) 1540334487.488 * * [misc]simplify: iters left: 2 (29 enodes) 1540334487.496 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540334487.496 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540334487.496 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1540334487.497 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.497 * * [misc]simplify: iters left: 6 (7 enodes) 1540334487.499 * * [misc]simplify: iters left: 5 (14 enodes) 1540334487.503 * * [misc]simplify: iters left: 4 (21 enodes) 1540334487.508 * * [misc]simplify: iters left: 3 (23 enodes) 1540334487.513 * * [misc]simplify: iters left: 2 (29 enodes) 1540334487.521 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540334487.522 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540334487.522 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1540334487.522 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.522 * * [misc]simplify: iters left: 6 (7 enodes) 1540334487.524 * * [misc]simplify: iters left: 5 (14 enodes) 1540334487.528 * * [misc]simplify: iters left: 4 (21 enodes) 1540334487.533 * * [misc]simplify: iters left: 3 (23 enodes) 1540334487.538 * * [misc]simplify: iters left: 2 (29 enodes) 1540334487.547 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540334487.547 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540334487.547 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1540334487.547 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334487.547 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.548 * * [misc]simplify: iters left: 2 (6 enodes) 1540334487.550 * * [misc]simplify: iters left: 1 (9 enodes) 1540334487.553 * [exit]simplify: Simplified to (+ N (* N N)) 1540334487.553 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540334487.553 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1540334487.553 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334487.553 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.554 * * [misc]simplify: iters left: 2 (6 enodes) 1540334487.556 * * [misc]simplify: iters left: 1 (9 enodes) 1540334487.558 * [exit]simplify: Simplified to (+ N (* N N)) 1540334487.558 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540334487.558 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1540334487.559 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334487.559 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.560 * * [misc]simplify: iters left: 2 (6 enodes) 1540334487.562 * * [misc]simplify: iters left: 1 (9 enodes) 1540334487.564 * [exit]simplify: Simplified to (+ N (* N N)) 1540334487.564 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540334487.564 * * * [misc]progress: adding candidates to table 1540334487.750 * * [misc]progress: iteration 3 / 4 1540334487.751 * * * [misc]progress: picking best candidate 1540334487.763 * * * * [misc]pick: Picked # 1540334487.764 * * * [misc]progress: localizing error 1540334487.792 * * * [misc]progress: generating rewritten candidates 1540334487.792 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1540334487.792 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1540334487.794 * * * [misc]progress: generating series expansions 1540334487.794 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1540334487.794 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ N (pow N 2)))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.794 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540334487.794 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540334487.795 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.795 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540334487.795 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.795 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.795 * [misc]backup-simplify: Simplify 0 into 0 1540334487.795 * [misc]backup-simplify: Simplify 0 into 0 1540334487.795 * [misc]backup-simplify: Simplify 0 into 0 1540334487.795 * [misc]backup-simplify: Simplify 0 into 0 1540334487.795 * [misc]backup-simplify: Simplify 0 into 0 1540334487.795 * [misc]backup-simplify: Simplify 0 into 0 1540334487.795 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.795 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ (/ 1 N) (pow (/ 1 N) 2)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.795 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540334487.795 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540334487.795 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.795 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540334487.796 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.796 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540334487.796 * [misc]backup-simplify: Simplify 0 into 0 1540334487.796 * [misc]backup-simplify: Simplify 0 into 0 1540334487.796 * [misc]backup-simplify: Simplify 0 into 0 1540334487.796 * [misc]backup-simplify: Simplify 0 into 0 1540334487.796 * [misc]backup-simplify: Simplify 0 into 0 1540334487.796 * [misc]backup-simplify: Simplify 0 into 0 1540334487.796 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.796 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.796 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540334487.796 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540334487.796 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.796 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540334487.796 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.797 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.797 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1540334487.797 * [misc]backup-simplify: Simplify (+ N (pow N 2)) into (+ N (pow N 2)) 1540334487.797 * [misc]approximate: Taking taylor expansion of (+ N (pow N 2)) in (N) around 0 1540334487.797 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334487.797 * [misc]taylor: Taking taylor expansion of N in N 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 1 into 1 1540334487.797 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334487.797 * [misc]taylor: Taking taylor expansion of N in N 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 1 into 1 1540334487.797 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334487.797 * [misc]taylor: Taking taylor expansion of N in N 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 1 into 1 1540334487.797 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334487.797 * [misc]taylor: Taking taylor expansion of N in N 1540334487.797 * [misc]backup-simplify: Simplify 0 into 0 1540334487.797 * [misc]backup-simplify: Simplify 1 into 1 1540334487.798 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.798 * [misc]backup-simplify: Simplify 0 into 0 1540334487.798 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.798 * [misc]backup-simplify: Simplify 1 into 1 1540334487.798 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334487.798 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334487.798 * [misc]backup-simplify: Simplify 1 into 1 1540334487.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334487.798 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.798 * [misc]backup-simplify: Simplify 0 into 0 1540334487.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334487.799 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.799 * [misc]backup-simplify: Simplify 0 into 0 1540334487.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540334487.799 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.799 * [misc]backup-simplify: Simplify 0 into 0 1540334487.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540334487.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.800 * [misc]backup-simplify: Simplify 0 into 0 1540334487.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540334487.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.800 * [misc]backup-simplify: Simplify 0 into 0 1540334487.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540334487.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.800 * [misc]backup-simplify: Simplify 0 into 0 1540334487.801 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1540334487.801 * [misc]backup-simplify: Simplify (+ (/ 1 N) (pow (/ 1 N) 2)) into (+ (/ 1 (pow N 2)) (/ 1 N)) 1540334487.801 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1540334487.801 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of N in N 1540334487.801 * [misc]backup-simplify: Simplify 0 into 0 1540334487.801 * [misc]backup-simplify: Simplify 1 into 1 1540334487.801 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334487.801 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.801 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of N in N 1540334487.801 * [misc]backup-simplify: Simplify 0 into 0 1540334487.801 * [misc]backup-simplify: Simplify 1 into 1 1540334487.801 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.801 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334487.801 * [misc]taylor: Taking taylor expansion of N in N 1540334487.801 * [misc]backup-simplify: Simplify 0 into 0 1540334487.801 * [misc]backup-simplify: Simplify 1 into 1 1540334487.801 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334487.802 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.802 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.802 * [misc]taylor: Taking taylor expansion of N in N 1540334487.802 * [misc]backup-simplify: Simplify 0 into 0 1540334487.802 * [misc]backup-simplify: Simplify 1 into 1 1540334487.802 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.802 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.802 * [misc]backup-simplify: Simplify 1 into 1 1540334487.802 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334487.802 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334487.802 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334487.802 * [misc]backup-simplify: Simplify 1 into 1 1540334487.802 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334487.803 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.803 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334487.803 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.803 * [misc]backup-simplify: Simplify 0 into 0 1540334487.803 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540334487.803 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.803 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.804 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.804 * [misc]backup-simplify: Simplify 0 into 0 1540334487.804 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540334487.804 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.804 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.804 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.804 * [misc]backup-simplify: Simplify 0 into 0 1540334487.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540334487.805 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.805 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.805 * [misc]backup-simplify: Simplify 0 into 0 1540334487.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540334487.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.807 * [misc]backup-simplify: Simplify 0 into 0 1540334487.807 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1540334487.807 * [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 1540334487.807 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.808 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.808 * [misc]backup-simplify: Simplify 0 into 0 1540334487.808 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1540334487.808 * [misc]backup-simplify: Simplify (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)) into (- (/ 1 (pow N 2)) (/ 1 N)) 1540334487.808 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1540334487.808 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334487.808 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334487.808 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334487.808 * [misc]taylor: Taking taylor expansion of N in N 1540334487.808 * [misc]backup-simplify: Simplify 0 into 0 1540334487.808 * [misc]backup-simplify: Simplify 1 into 1 1540334487.808 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334487.808 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.808 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.808 * [misc]taylor: Taking taylor expansion of N in N 1540334487.808 * [misc]backup-simplify: Simplify 0 into 0 1540334487.808 * [misc]backup-simplify: Simplify 1 into 1 1540334487.808 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.808 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334487.809 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334487.809 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334487.809 * [misc]taylor: Taking taylor expansion of N in N 1540334487.809 * [misc]backup-simplify: Simplify 0 into 0 1540334487.809 * [misc]backup-simplify: Simplify 1 into 1 1540334487.809 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334487.809 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.809 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334487.809 * [misc]taylor: Taking taylor expansion of N in N 1540334487.809 * [misc]backup-simplify: Simplify 0 into 0 1540334487.809 * [misc]backup-simplify: Simplify 1 into 1 1540334487.809 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334487.809 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334487.809 * [misc]backup-simplify: Simplify 1 into 1 1540334487.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334487.809 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334487.810 * [misc]backup-simplify: Simplify (- 1) into -1 1540334487.810 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334487.810 * [misc]backup-simplify: Simplify -1 into -1 1540334487.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334487.810 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.810 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334487.810 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.810 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.810 * [misc]backup-simplify: Simplify 0 into 0 1540334487.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540334487.811 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.811 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.811 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.811 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.811 * [misc]backup-simplify: Simplify 0 into 0 1540334487.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540334487.812 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.812 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.812 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.812 * [misc]backup-simplify: Simplify 0 into 0 1540334487.812 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540334487.813 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.813 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.813 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.813 * [misc]backup-simplify: Simplify 0 into 0 1540334487.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540334487.814 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.814 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.814 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.814 * [misc]backup-simplify: Simplify 0 into 0 1540334487.814 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1540334487.815 * [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 1540334487.815 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334487.815 * [misc]backup-simplify: Simplify (- 0) into 0 1540334487.815 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334487.815 * [misc]backup-simplify: Simplify 0 into 0 1540334487.815 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1540334487.815 * * * [misc]progress: simplifying candidates 1540334487.815 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1540334487.816 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1540334487.816 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.816 * * [misc]simplify: iters left: 6 (7 enodes) 1540334487.817 * * [misc]simplify: iters left: 5 (14 enodes) 1540334487.819 * * [misc]simplify: iters left: 4 (21 enodes) 1540334487.822 * * [misc]simplify: iters left: 3 (23 enodes) 1540334487.825 * * [misc]simplify: iters left: 2 (29 enodes) 1540334487.833 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540334487.833 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540334487.833 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1540334487.834 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.834 * * [misc]simplify: iters left: 6 (7 enodes) 1540334487.836 * * [misc]simplify: iters left: 5 (14 enodes) 1540334487.840 * * [misc]simplify: iters left: 4 (21 enodes) 1540334487.845 * * [misc]simplify: iters left: 3 (23 enodes) 1540334487.851 * * [misc]simplify: iters left: 2 (29 enodes) 1540334487.857 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540334487.857 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540334487.858 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1540334487.858 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540334487.858 * * [misc]simplify: iters left: 6 (7 enodes) 1540334487.859 * * [misc]simplify: iters left: 5 (14 enodes) 1540334487.861 * * [misc]simplify: iters left: 4 (21 enodes) 1540334487.863 * * [misc]simplify: iters left: 3 (23 enodes) 1540334487.866 * * [misc]simplify: iters left: 2 (29 enodes) 1540334487.870 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540334487.870 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540334487.870 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1540334487.870 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334487.870 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.871 * * [misc]simplify: iters left: 2 (6 enodes) 1540334487.872 * * [misc]simplify: iters left: 1 (9 enodes) 1540334487.873 * [exit]simplify: Simplified to (+ N (* N N)) 1540334487.873 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540334487.873 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1540334487.873 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334487.873 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.874 * * [misc]simplify: iters left: 2 (6 enodes) 1540334487.875 * * [misc]simplify: iters left: 1 (9 enodes) 1540334487.876 * [exit]simplify: Simplified to (+ N (* N N)) 1540334487.876 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540334487.876 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1540334487.876 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334487.876 * * [misc]simplify: iters left: 3 (4 enodes) 1540334487.877 * * [misc]simplify: iters left: 2 (6 enodes) 1540334487.878 * * [misc]simplify: iters left: 1 (9 enodes) 1540334487.879 * [exit]simplify: Simplified to (+ N (* N N)) 1540334487.879 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540334487.879 * * * [misc]progress: adding candidates to table 1540334488.052 * * [misc]progress: iteration 4 / 4 1540334488.052 * * * [misc]progress: picking best candidate 1540334488.065 * * * * [misc]pick: Picked # 1540334488.065 * * * [misc]progress: localizing error 1540334488.106 * * * [misc]progress: generating rewritten candidates 1540334488.106 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1540334488.110 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1540334488.113 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1 1) 1540334488.115 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1) 1540334488.137 * * * [misc]progress: generating series expansions 1540334488.138 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1540334488.138 * [misc]backup-simplify: Simplify (cbrt (+ N (pow N 2))) into (pow (+ N (pow N 2)) 1/3) 1540334488.138 * [misc]approximate: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1540334488.138 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540334488.138 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540334488.138 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540334488.138 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.138 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.138 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540334488.138 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.138 * [misc]taylor: Taking taylor expansion of N in N 1540334488.138 * [misc]backup-simplify: Simplify 0 into 0 1540334488.138 * [misc]backup-simplify: Simplify 1 into 1 1540334488.138 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.138 * [misc]taylor: Taking taylor expansion of N in N 1540334488.138 * [misc]backup-simplify: Simplify 0 into 0 1540334488.138 * [misc]backup-simplify: Simplify 1 into 1 1540334488.139 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.139 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.139 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.139 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.139 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540334488.140 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540334488.140 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540334488.140 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540334488.140 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540334488.140 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.140 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.140 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540334488.140 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.140 * [misc]taylor: Taking taylor expansion of N in N 1540334488.140 * [misc]backup-simplify: Simplify 0 into 0 1540334488.140 * [misc]backup-simplify: Simplify 1 into 1 1540334488.140 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.140 * [misc]taylor: Taking taylor expansion of N in N 1540334488.140 * [misc]backup-simplify: Simplify 0 into 0 1540334488.140 * [misc]backup-simplify: Simplify 1 into 1 1540334488.140 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.140 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.140 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.141 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.141 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540334488.141 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540334488.141 * [misc]backup-simplify: Simplify (pow N 1/3) into (pow N 1/3) 1540334488.141 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.141 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.144 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540334488.144 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.144 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1540334488.145 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1540334488.145 * [misc]backup-simplify: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1540334488.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.146 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.149 * [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 1540334488.149 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.149 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1540334488.150 * [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)) 1540334488.151 * [misc]backup-simplify: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1540334488.151 * [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))) 1540334488.151 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540334488.151 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540334488.151 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.151 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.151 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of N in N 1540334488.151 * [misc]backup-simplify: Simplify 0 into 0 1540334488.151 * [misc]backup-simplify: Simplify 1 into 1 1540334488.151 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.151 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.151 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.151 * [misc]taylor: Taking taylor expansion of N in N 1540334488.151 * [misc]backup-simplify: Simplify 0 into 0 1540334488.152 * [misc]backup-simplify: Simplify 1 into 1 1540334488.152 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.152 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.152 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.152 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.152 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.152 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.152 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.152 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.152 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.152 * [misc]taylor: Taking taylor expansion of N in N 1540334488.152 * [misc]backup-simplify: Simplify 0 into 0 1540334488.152 * [misc]backup-simplify: Simplify 1 into 1 1540334488.152 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.153 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.153 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.153 * [misc]taylor: Taking taylor expansion of N in N 1540334488.153 * [misc]backup-simplify: Simplify 0 into 0 1540334488.153 * [misc]backup-simplify: Simplify 1 into 1 1540334488.153 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.153 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.153 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.153 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.153 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.153 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.153 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540334488.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.154 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.154 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.155 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540334488.155 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.155 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1540334488.156 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.156 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.157 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.157 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.157 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.159 * [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 1540334488.159 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.160 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540334488.161 * [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)) 1540334488.161 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.161 * [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))) 1540334488.162 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540334488.162 * [misc]approximate: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540334488.162 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.162 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.162 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of N in N 1540334488.162 * [misc]backup-simplify: Simplify 0 into 0 1540334488.162 * [misc]backup-simplify: Simplify 1 into 1 1540334488.162 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.162 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.162 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.162 * [misc]taylor: Taking taylor expansion of N in N 1540334488.162 * [misc]backup-simplify: Simplify 0 into 0 1540334488.162 * [misc]backup-simplify: Simplify 1 into 1 1540334488.162 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.162 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.162 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.163 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.163 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.163 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.163 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.163 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.163 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of N in N 1540334488.163 * [misc]backup-simplify: Simplify 0 into 0 1540334488.163 * [misc]backup-simplify: Simplify 1 into 1 1540334488.163 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.163 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.163 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.163 * [misc]taylor: Taking taylor expansion of N in N 1540334488.163 * [misc]backup-simplify: Simplify 0 into 0 1540334488.163 * [misc]backup-simplify: Simplify 1 into 1 1540334488.163 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.163 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.164 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.164 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.164 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.164 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.164 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540334488.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.164 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.164 * [misc]backup-simplify: Simplify (- 1) into -1 1540334488.164 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334488.166 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540334488.166 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.166 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1540334488.167 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.167 * [misc]backup-simplify: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.167 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.168 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.168 * [misc]backup-simplify: Simplify (- 0) into 0 1540334488.168 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.170 * [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 1540334488.170 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.170 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540334488.172 * [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)) 1540334488.172 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.172 * [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))) 1540334488.172 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1 2) 1540334488.173 * [misc]backup-simplify: Simplify (cbrt (+ N (pow N 2))) into (pow (+ N (pow N 2)) 1/3) 1540334488.173 * [misc]approximate: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1540334488.173 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.173 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.173 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of N in N 1540334488.173 * [misc]backup-simplify: Simplify 0 into 0 1540334488.173 * [misc]backup-simplify: Simplify 1 into 1 1540334488.173 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of N in N 1540334488.173 * [misc]backup-simplify: Simplify 0 into 0 1540334488.173 * [misc]backup-simplify: Simplify 1 into 1 1540334488.173 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.173 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.173 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.173 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.173 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540334488.173 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540334488.173 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540334488.173 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.174 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.174 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540334488.174 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.174 * [misc]taylor: Taking taylor expansion of N in N 1540334488.174 * [misc]backup-simplify: Simplify 0 into 0 1540334488.174 * [misc]backup-simplify: Simplify 1 into 1 1540334488.174 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.174 * [misc]taylor: Taking taylor expansion of N in N 1540334488.174 * [misc]backup-simplify: Simplify 0 into 0 1540334488.174 * [misc]backup-simplify: Simplify 1 into 1 1540334488.174 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.174 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.174 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.174 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.174 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540334488.174 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540334488.174 * [misc]backup-simplify: Simplify (pow N 1/3) into (pow N 1/3) 1540334488.174 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.175 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.176 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540334488.176 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.176 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1540334488.177 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1540334488.177 * [misc]backup-simplify: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1540334488.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.177 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.180 * [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 1540334488.180 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.181 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1540334488.183 * [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)) 1540334488.183 * [misc]backup-simplify: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1540334488.183 * [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))) 1540334488.183 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540334488.184 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540334488.184 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.184 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.184 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of N in N 1540334488.184 * [misc]backup-simplify: Simplify 0 into 0 1540334488.184 * [misc]backup-simplify: Simplify 1 into 1 1540334488.184 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.184 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.184 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.184 * [misc]taylor: Taking taylor expansion of N in N 1540334488.184 * [misc]backup-simplify: Simplify 0 into 0 1540334488.184 * [misc]backup-simplify: Simplify 1 into 1 1540334488.184 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.185 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.185 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.185 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.185 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.185 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.185 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.185 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.185 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.185 * [misc]taylor: Taking taylor expansion of N in N 1540334488.186 * [misc]backup-simplify: Simplify 0 into 0 1540334488.186 * [misc]backup-simplify: Simplify 1 into 1 1540334488.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.186 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.186 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.186 * [misc]taylor: Taking taylor expansion of N in N 1540334488.186 * [misc]backup-simplify: Simplify 0 into 0 1540334488.186 * [misc]backup-simplify: Simplify 1 into 1 1540334488.186 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.186 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.186 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.187 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.187 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.187 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.187 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540334488.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.187 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.188 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.190 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540334488.190 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.190 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1540334488.191 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.191 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.192 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.192 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.192 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.197 * [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 1540334488.197 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.197 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540334488.199 * [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)) 1540334488.199 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.200 * [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))) 1540334488.200 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540334488.200 * [misc]approximate: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540334488.200 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.200 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.200 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.200 * [misc]taylor: Taking taylor expansion of N in N 1540334488.200 * [misc]backup-simplify: Simplify 0 into 0 1540334488.200 * [misc]backup-simplify: Simplify 1 into 1 1540334488.201 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.201 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.201 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.201 * [misc]taylor: Taking taylor expansion of N in N 1540334488.201 * [misc]backup-simplify: Simplify 0 into 0 1540334488.201 * [misc]backup-simplify: Simplify 1 into 1 1540334488.201 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.201 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.201 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.201 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.202 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.202 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.202 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.202 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.202 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.202 * [misc]taylor: Taking taylor expansion of N in N 1540334488.202 * [misc]backup-simplify: Simplify 0 into 0 1540334488.202 * [misc]backup-simplify: Simplify 1 into 1 1540334488.202 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.206 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.206 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.206 * [misc]taylor: Taking taylor expansion of N in N 1540334488.206 * [misc]backup-simplify: Simplify 0 into 0 1540334488.206 * [misc]backup-simplify: Simplify 1 into 1 1540334488.206 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.206 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.207 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.207 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.207 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.207 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.207 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540334488.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.208 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.208 * [misc]backup-simplify: Simplify (- 1) into -1 1540334488.208 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334488.211 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540334488.211 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.211 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1540334488.212 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.212 * [misc]backup-simplify: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.213 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.213 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.213 * [misc]backup-simplify: Simplify (- 0) into 0 1540334488.214 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.218 * [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 1540334488.218 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.219 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540334488.221 * [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)) 1540334488.221 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.222 * [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))) 1540334488.222 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1 1) 1540334488.222 * [misc]backup-simplify: Simplify (cbrt (+ N (pow N 2))) into (pow (+ N (pow N 2)) 1/3) 1540334488.222 * [misc]approximate: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in (N) around 0 1540334488.222 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540334488.222 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540334488.222 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540334488.222 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.222 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.222 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540334488.222 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.222 * [misc]taylor: Taking taylor expansion of N in N 1540334488.222 * [misc]backup-simplify: Simplify 0 into 0 1540334488.222 * [misc]backup-simplify: Simplify 1 into 1 1540334488.222 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.222 * [misc]taylor: Taking taylor expansion of N in N 1540334488.222 * [misc]backup-simplify: Simplify 0 into 0 1540334488.222 * [misc]backup-simplify: Simplify 1 into 1 1540334488.222 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.223 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.223 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.223 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.223 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540334488.223 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540334488.223 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 1/3) in N 1540334488.223 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N (pow N 2))))) in N 1540334488.223 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N (pow N 2)))) in N 1540334488.223 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.223 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.223 * [misc]taylor: Taking taylor expansion of (log (+ N (pow N 2))) in N 1540334488.223 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.223 * [misc]taylor: Taking taylor expansion of N in N 1540334488.223 * [misc]backup-simplify: Simplify 0 into 0 1540334488.223 * [misc]backup-simplify: Simplify 1 into 1 1540334488.223 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.223 * [misc]taylor: Taking taylor expansion of N in N 1540334488.223 * [misc]backup-simplify: Simplify 0 into 0 1540334488.223 * [misc]backup-simplify: Simplify 1 into 1 1540334488.224 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.224 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.224 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.224 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.224 * [misc]backup-simplify: Simplify (* 1/3 (log N)) into (* 1/3 (log N)) 1540334488.224 * [misc]backup-simplify: Simplify (exp (* 1/3 (log N))) into (pow N 1/3) 1540334488.224 * [misc]backup-simplify: Simplify (pow N 1/3) into (pow N 1/3) 1540334488.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.225 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.227 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540334488.227 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.227 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (log N))) into 1/3 1540334488.228 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow N 1/3)) 1540334488.229 * [misc]backup-simplify: Simplify (* 1/3 (pow N 1/3)) into (* 1/3 (pow N 1/3)) 1540334488.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.229 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.233 * [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 1540334488.233 * [misc]backup-simplify: Simplify (+ (* (- -1) (log N)) 0) into (log N) 1540334488.234 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (log N)))) into (- 1/6) 1540334488.235 * [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)) 1540334488.236 * [misc]backup-simplify: Simplify (* -1/9 (pow N 1/3)) into (* -1/9 (pow N 1/3)) 1540334488.236 * [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))) 1540334488.236 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 N) (pow (/ 1 N) 2))) into (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540334488.236 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540334488.236 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.236 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.236 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.236 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.236 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.236 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.236 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.236 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.237 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.237 * [misc]taylor: Taking taylor expansion of N in N 1540334488.237 * [misc]backup-simplify: Simplify 0 into 0 1540334488.237 * [misc]backup-simplify: Simplify 1 into 1 1540334488.237 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.237 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.237 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.237 * [misc]taylor: Taking taylor expansion of N in N 1540334488.237 * [misc]backup-simplify: Simplify 0 into 0 1540334488.237 * [misc]backup-simplify: Simplify 1 into 1 1540334488.237 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.237 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.237 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.238 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.238 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.238 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.238 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.238 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.238 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.238 * [misc]taylor: Taking taylor expansion of N in N 1540334488.238 * [misc]backup-simplify: Simplify 0 into 0 1540334488.238 * [misc]backup-simplify: Simplify 1 into 1 1540334488.238 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.238 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.238 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.239 * [misc]taylor: Taking taylor expansion of N in N 1540334488.239 * [misc]backup-simplify: Simplify 0 into 0 1540334488.239 * [misc]backup-simplify: Simplify 1 into 1 1540334488.239 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.239 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.239 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.239 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.239 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.239 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.240 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540334488.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.240 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.240 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.242 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540334488.243 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.243 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (* 2 (log N))))) into 1/3 1540334488.244 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.244 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.244 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.245 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.245 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.248 * [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 1540334488.248 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.249 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540334488.250 * [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)) 1540334488.250 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.250 * [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))) 1540334488.250 * [misc]backup-simplify: Simplify (cbrt (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) 1540334488.250 * [misc]approximate: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in (N) around 0 1540334488.251 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.251 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.251 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of N in N 1540334488.251 * [misc]backup-simplify: Simplify 0 into 0 1540334488.251 * [misc]backup-simplify: Simplify 1 into 1 1540334488.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.251 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.251 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.251 * [misc]taylor: Taking taylor expansion of N in N 1540334488.251 * [misc]backup-simplify: Simplify 0 into 0 1540334488.251 * [misc]backup-simplify: Simplify 1 into 1 1540334488.251 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.251 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.251 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.251 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.252 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.252 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.252 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 1/3) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N))))) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow N 2)) (/ 1 N)))) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.252 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.252 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 (pow N 2)) (/ 1 N))) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of N in N 1540334488.252 * [misc]backup-simplify: Simplify 0 into 0 1540334488.252 * [misc]backup-simplify: Simplify 1 into 1 1540334488.252 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.252 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.252 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.252 * [misc]taylor: Taking taylor expansion of N in N 1540334488.252 * [misc]backup-simplify: Simplify 0 into 0 1540334488.252 * [misc]backup-simplify: Simplify 1 into 1 1540334488.252 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.252 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.252 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.253 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.253 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540334488.253 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540334488.253 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540334488.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.253 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.253 * [misc]backup-simplify: Simplify (- 1) into -1 1540334488.253 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334488.255 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540334488.255 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.255 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (* 2 (log N))))) into (- 1/3) 1540334488.256 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.256 * [misc]backup-simplify: Simplify (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/3 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.256 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.257 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.257 * [misc]backup-simplify: Simplify (- 0) into 0 1540334488.257 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.259 * [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 1540334488.260 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540334488.260 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log N)))))) into (- 1/6) 1540334488.261 * [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)) 1540334488.261 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540334488.262 * [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))) 1540334488.262 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1) 1540334488.262 * [misc]backup-simplify: Simplify (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) into (pow (pow (+ N (pow N 2)) 2) 1/3) 1540334488.262 * [misc]approximate: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in (N) around 0 1540334488.262 * [misc]taylor: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N (pow N 2)) 2)))) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ N (pow N 2)) 2))) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.262 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.262 * [misc]taylor: Taking taylor expansion of (log (pow (+ N (pow N 2)) 2)) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 2) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of N in N 1540334488.262 * [misc]backup-simplify: Simplify 0 into 0 1540334488.262 * [misc]backup-simplify: Simplify 1 into 1 1540334488.262 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.262 * [misc]taylor: Taking taylor expansion of N in N 1540334488.262 * [misc]backup-simplify: Simplify 0 into 0 1540334488.262 * [misc]backup-simplify: Simplify 1 into 1 1540334488.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.263 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.263 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.263 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.263 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540334488.263 * [misc]backup-simplify: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N)) 1540334488.263 * [misc]backup-simplify: Simplify (exp (* 2/3 (log N))) into (pow N 2/3) 1540334488.263 * [misc]taylor: Taking taylor expansion of (pow (pow (+ N (pow N 2)) 2) 1/3) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N (pow N 2)) 2)))) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ N (pow N 2)) 2))) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.263 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.263 * [misc]taylor: Taking taylor expansion of (log (pow (+ N (pow N 2)) 2)) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of (pow (+ N (pow N 2)) 2) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of N in N 1540334488.263 * [misc]backup-simplify: Simplify 0 into 0 1540334488.263 * [misc]backup-simplify: Simplify 1 into 1 1540334488.263 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.263 * [misc]taylor: Taking taylor expansion of N in N 1540334488.263 * [misc]backup-simplify: Simplify 0 into 0 1540334488.263 * [misc]backup-simplify: Simplify 1 into 1 1540334488.264 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.264 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.264 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.264 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.264 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540334488.264 * [misc]backup-simplify: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N)) 1540334488.264 * [misc]backup-simplify: Simplify (exp (* 2/3 (log N))) into (pow N 2/3) 1540334488.264 * [misc]backup-simplify: Simplify (pow N 2/3) into (pow N 2/3) 1540334488.264 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.264 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.265 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540334488.266 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540334488.266 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540334488.266 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 (* 2 (log N)))) into 2/3 1540334488.267 * [misc]backup-simplify: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (pow N 2) 1/3)) 1540334488.267 * [misc]backup-simplify: Simplify (* 2/3 (pow (pow N 2) 1/3)) into (* 2/3 (pow (pow N 2) 1/3)) 1540334488.267 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.268 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1540334488.270 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540334488.270 * [misc]backup-simplify: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N)) 1540334488.271 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (* 2 (log N))))) into (- 1/3) 1540334488.272 * [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)) 1540334488.272 * [misc]backup-simplify: Simplify (* -1/9 (pow (pow N 2) 1/3)) into (* -1/9 (pow (pow N 2) 1/3)) 1540334488.272 * [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))) 1540334488.273 * [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) 1540334488.273 * [misc]approximate: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in (N) around 0 1540334488.273 * [misc]taylor: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.273 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.273 * [misc]taylor: Taking taylor expansion of (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of N in N 1540334488.273 * [misc]backup-simplify: Simplify 0 into 0 1540334488.273 * [misc]backup-simplify: Simplify 1 into 1 1540334488.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.273 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.273 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.273 * [misc]taylor: Taking taylor expansion of N in N 1540334488.273 * [misc]backup-simplify: Simplify 0 into 0 1540334488.273 * [misc]backup-simplify: Simplify 1 into 1 1540334488.273 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.273 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.274 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.274 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.274 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.274 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540334488.274 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540334488.274 * [misc]taylor: Taking taylor expansion of (pow (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.274 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.274 * [misc]taylor: Taking taylor expansion of (log (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of N in N 1540334488.274 * [misc]backup-simplify: Simplify 0 into 0 1540334488.274 * [misc]backup-simplify: Simplify 1 into 1 1540334488.274 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.274 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.274 * [misc]taylor: Taking taylor expansion of N in N 1540334488.274 * [misc]backup-simplify: Simplify 0 into 0 1540334488.274 * [misc]backup-simplify: Simplify 1 into 1 1540334488.275 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.275 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.275 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.275 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.275 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.275 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540334488.275 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540334488.275 * [misc]backup-simplify: Simplify (pow N -4/3) into (pow N -4/3) 1540334488.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.276 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.276 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540334488.276 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540334488.277 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540334488.278 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.278 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 (- (* 4 (log N))))) into 2/3 1540334488.278 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540334488.278 * [misc]backup-simplify: Simplify (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) into (* 2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540334488.279 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.279 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.279 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.279 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.280 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1540334488.282 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540334488.282 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.283 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (- (* 4 (log N)))))) into (- 1/3) 1540334488.284 * [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)) 1540334488.284 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1540334488.285 * [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))) 1540334488.285 * [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) 1540334488.285 * [misc]approximate: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in (N) around 0 1540334488.285 * [misc]taylor: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.286 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.286 * [misc]taylor: Taking taylor expansion of (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of N in N 1540334488.286 * [misc]backup-simplify: Simplify 0 into 0 1540334488.286 * [misc]backup-simplify: Simplify 1 into 1 1540334488.286 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.286 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.286 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.286 * [misc]taylor: Taking taylor expansion of N in N 1540334488.286 * [misc]backup-simplify: Simplify 0 into 0 1540334488.286 * [misc]backup-simplify: Simplify 1 into 1 1540334488.286 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.287 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.287 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.287 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.287 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.287 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540334488.287 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540334488.287 * [misc]taylor: Taking taylor expansion of (pow (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) 1/3) in N 1540334488.287 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)))) in N 1540334488.287 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2))) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540334488.288 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540334488.288 * [misc]taylor: Taking taylor expansion of (log (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2)) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of (pow (- (/ 1 (pow N 2)) (/ 1 N)) 2) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of N in N 1540334488.288 * [misc]backup-simplify: Simplify 0 into 0 1540334488.288 * [misc]backup-simplify: Simplify 1 into 1 1540334488.288 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.288 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.288 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540334488.288 * [misc]taylor: Taking taylor expansion of N in N 1540334488.288 * [misc]backup-simplify: Simplify 0 into 0 1540334488.288 * [misc]backup-simplify: Simplify 1 into 1 1540334488.288 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540334488.289 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540334488.289 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540334488.289 * [misc]backup-simplify: Simplify (log 1) into 0 1540334488.289 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.289 * [misc]backup-simplify: Simplify (* 1/3 (- (* 4 (log N)))) into (* -4/3 (log N)) 1540334488.289 * [misc]backup-simplify: Simplify (exp (* -4/3 (log N))) into (pow N -4/3) 1540334488.289 * [misc]backup-simplify: Simplify (pow N -4/3) into (pow N -4/3) 1540334488.290 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540334488.290 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.290 * [misc]backup-simplify: Simplify (- 1) into -1 1540334488.290 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540334488.290 * [misc]backup-simplify: Simplify (+ (* 1 -1) (* -1 1)) into -2 1540334488.293 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow 1 1)))) 1) into -2 1540334488.293 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.294 * [misc]backup-simplify: Simplify (+ (* 1/3 -2) (* 0 (- (* 4 (log N))))) into (- 2/3) 1540334488.295 * [misc]backup-simplify: Simplify (* (exp (* -4/3 (log N))) (+ (* (/ (pow (- 2/3) 1) 1)))) into (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540334488.295 * [misc]backup-simplify: Simplify (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) into (* -2/3 (pow (/ 1 (pow N 4)) 1/3)) 1540334488.295 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540334488.296 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540334488.296 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540334488.296 * [misc]backup-simplify: Simplify (- 0) into 0 1540334488.296 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540334488.297 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* -1 -1) (* 0 1))) into 1 1540334488.301 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540334488.301 * [misc]backup-simplify: Simplify (+ (* (- 4) (log N)) 0) into (- (* 4 (log N))) 1540334488.301 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 -2) (* 0 (- (* 4 (log N)))))) into (- 1/3) 1540334488.304 * [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)) 1540334488.304 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 4)) 1/3)) 1540334488.304 * [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))) 1540334488.305 * * * [misc]progress: simplifying candidates 1540334488.305 * * * * [misc]progress: [ 1 / 92 ] simplifiying candidate # 1540334488.305 * * * * [misc]progress: [ 2 / 92 ] simplifiying candidate # 1540334488.305 * * * * [misc]progress: [ 3 / 92 ] simplifiying candidate # 1540334488.305 * * * * [misc]progress: [ 4 / 92 ] simplifiying candidate # 1540334488.305 * * * * [misc]progress: [ 5 / 92 ] simplifiying candidate # 1540334488.305 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540334488.305 * * [misc]simplify: iters left: 6 (7 enodes) 1540334488.307 * * [misc]simplify: iters left: 5 (9 enodes) 1540334488.310 * * [misc]simplify: iters left: 4 (12 enodes) 1540334488.313 * * [misc]simplify: iters left: 3 (16 enodes) 1540334488.317 * * [misc]simplify: iters left: 2 (22 enodes) 1540334488.324 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540334488.324 * [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))))))))) 1540334488.324 * * * * [misc]progress: [ 6 / 92 ] simplifiying candidate # 1540334488.324 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540334488.324 * * [misc]simplify: iters left: 5 (6 enodes) 1540334488.325 * * [misc]simplify: iters left: 4 (8 enodes) 1540334488.326 * * [misc]simplify: iters left: 3 (11 enodes) 1540334488.328 * * [misc]simplify: iters left: 2 (15 enodes) 1540334488.329 * * [misc]simplify: iters left: 1 (21 enodes) 1540334488.332 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540334488.332 * [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))))))))) 1540334488.332 * * * * [misc]progress: [ 7 / 92 ] simplifiying candidate # 1540334488.333 * [enter]simplify: Simplifying (cbrt 1) 1540334488.333 * * [misc]simplify: iters left: 1 (2 enodes) 1540334488.333 * [exit]simplify: Simplified to 1 1540334488.334 * [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)))))))) 1540334488.334 * * * * [misc]progress: [ 8 / 92 ] simplifiying candidate # 1540334488.334 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540334488.334 * * [misc]simplify: iters left: 3 (4 enodes) 1540334488.335 * * [misc]simplify: iters left: 2 (7 enodes) 1540334488.336 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540334488.336 * [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)))))) 1540334488.336 * * * * [misc]progress: [ 9 / 92 ] simplifiying candidate # 1540334488.336 * [enter]simplify: Simplifying (cbrt (+ (pow N 3) (pow (pow N 2) 3))) 1540334488.336 * * [misc]simplify: iters left: 5 (8 enodes) 1540334488.337 * * [misc]simplify: iters left: 4 (15 enodes) 1540334488.341 * * [misc]simplify: iters left: 3 (29 enodes) 1540334488.345 * * [misc]simplify: iters left: 2 (42 enodes) 1540334488.351 * * [misc]simplify: iters left: 1 (56 enodes) 1540334488.359 * [exit]simplify: Simplified to (cbrt (+ (pow N 6) (pow N 3))) 1540334488.359 * [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)))))))))) 1540334488.359 * * * * [misc]progress: [ 10 / 92 ] simplifiying candidate # 1540334488.360 * [enter]simplify: Simplifying (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) 1540334488.360 * * [misc]simplify: iters left: 6 (7 enodes) 1540334488.361 * * [misc]simplify: iters left: 5 (12 enodes) 1540334488.363 * * [misc]simplify: iters left: 4 (26 enodes) 1540334488.368 * * [misc]simplify: iters left: 3 (69 enodes) 1540334488.382 * * [misc]simplify: iters left: 2 (136 enodes) 1540334488.463 * * [misc]simplify: iters left: 1 (325 enodes) 1540334488.750 * [exit]simplify: Simplified to (cbrt (- (* N N) (pow N 4))) 1540334488.750 * [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)))))))) 1540334488.750 * * * * [misc]progress: [ 11 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 12 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 13 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 14 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 15 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 16 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 17 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 18 / 92 ] simplifiying candidate # 1540334488.750 * * * * [misc]progress: [ 19 / 92 ] simplifiying candidate # 1540334488.750 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540334488.750 * * [misc]simplify: iters left: 6 (7 enodes) 1540334488.751 * * [misc]simplify: iters left: 5 (9 enodes) 1540334488.753 * * [misc]simplify: iters left: 4 (12 enodes) 1540334488.754 * * [misc]simplify: iters left: 3 (16 enodes) 1540334488.756 * * [misc]simplify: iters left: 2 (22 enodes) 1540334488.760 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540334488.760 * [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))))))) 1540334488.760 * * * * [misc]progress: [ 20 / 92 ] simplifiying candidate # 1540334488.760 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540334488.760 * * [misc]simplify: iters left: 5 (6 enodes) 1540334488.763 * * [misc]simplify: iters left: 4 (8 enodes) 1540334488.764 * * [misc]simplify: iters left: 3 (11 enodes) 1540334488.765 * * [misc]simplify: iters left: 2 (15 enodes) 1540334488.767 * * [misc]simplify: iters left: 1 (21 enodes) 1540334488.770 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540334488.770 * [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))))))) 1540334488.770 * * * * [misc]progress: [ 21 / 92 ] simplifiying candidate # 1540334488.770 * [enter]simplify: Simplifying (cbrt 1) 1540334488.770 * * [misc]simplify: iters left: 1 (2 enodes) 1540334488.771 * [exit]simplify: Simplified to 1 1540334488.771 * [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))))))) 1540334488.771 * * * * [misc]progress: [ 22 / 92 ] simplifiying candidate # 1540334488.771 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540334488.771 * * [misc]simplify: iters left: 3 (4 enodes) 1540334488.772 * * [misc]simplify: iters left: 2 (7 enodes) 1540334488.773 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540334488.773 * [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))))))) 1540334488.773 * * * * [misc]progress: [ 23 / 92 ] simplifiying candidate # 1540334488.773 * [enter]simplify: Simplifying (cbrt (+ (pow N 3) (pow (pow N 2) 3))) 1540334488.773 * * [misc]simplify: iters left: 5 (8 enodes) 1540334488.774 * * [misc]simplify: iters left: 4 (15 enodes) 1540334488.777 * * [misc]simplify: iters left: 3 (29 enodes) 1540334488.782 * * [misc]simplify: iters left: 2 (42 enodes) 1540334488.787 * * [misc]simplify: iters left: 1 (56 enodes) 1540334488.796 * [exit]simplify: Simplified to (cbrt (+ (pow N 6) (pow N 3))) 1540334488.796 * [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))))))) 1540334488.796 * * * * [misc]progress: [ 24 / 92 ] simplifiying candidate # 1540334488.796 * [enter]simplify: Simplifying (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) 1540334488.796 * * [misc]simplify: iters left: 6 (7 enodes) 1540334488.797 * * [misc]simplify: iters left: 5 (12 enodes) 1540334488.799 * * [misc]simplify: iters left: 4 (26 enodes) 1540334488.806 * * [misc]simplify: iters left: 3 (69 enodes) 1540334488.820 * * [misc]simplify: iters left: 2 (136 enodes) 1540334488.906 * * [misc]simplify: iters left: 1 (325 enodes) 1540334489.170 * [exit]simplify: Simplified to (cbrt (- (* N N) (pow N 4))) 1540334489.170 * [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))))))) 1540334489.170 * * * * [misc]progress: [ 25 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 26 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 27 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 28 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 29 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 30 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 31 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 32 / 92 ] simplifiying candidate # 1540334489.170 * * * * [misc]progress: [ 33 / 92 ] simplifiying candidate # 1540334489.171 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540334489.171 * * [misc]simplify: iters left: 6 (7 enodes) 1540334489.173 * * [misc]simplify: iters left: 5 (9 enodes) 1540334489.178 * * [misc]simplify: iters left: 4 (12 enodes) 1540334489.179 * * [misc]simplify: iters left: 3 (16 enodes) 1540334489.181 * * [misc]simplify: iters left: 2 (22 enodes) 1540334489.185 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540334489.185 * [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))))))) 1540334489.185 * * * * [misc]progress: [ 34 / 92 ] simplifiying candidate # 1540334489.185 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540334489.185 * * [misc]simplify: iters left: 5 (6 enodes) 1540334489.186 * * [misc]simplify: iters left: 4 (8 enodes) 1540334489.187 * * [misc]simplify: iters left: 3 (11 enodes) 1540334489.188 * * [misc]simplify: iters left: 2 (15 enodes) 1540334489.190 * * [misc]simplify: iters left: 1 (21 enodes) 1540334489.193 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540334489.194 * [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))))))) 1540334489.194 * * * * [misc]progress: [ 35 / 92 ] simplifiying candidate # 1540334489.194 * [enter]simplify: Simplifying (cbrt 1) 1540334489.194 * * [misc]simplify: iters left: 1 (2 enodes) 1540334489.195 * [exit]simplify: Simplified to 1 1540334489.195 * [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))))))) 1540334489.195 * * * * [misc]progress: [ 36 / 92 ] simplifiying candidate # 1540334489.195 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540334489.195 * * [misc]simplify: iters left: 3 (4 enodes) 1540334489.196 * * [misc]simplify: iters left: 2 (7 enodes) 1540334489.197 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540334489.197 * [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))))))) 1540334489.197 * * * * [misc]progress: [ 37 / 92 ] simplifiying candidate # 1540334489.197 * [enter]simplify: Simplifying (cbrt (+ (pow N 3) (pow (pow N 2) 3))) 1540334489.197 * * [misc]simplify: iters left: 5 (8 enodes) 1540334489.198 * * [misc]simplify: iters left: 4 (15 enodes) 1540334489.202 * * [misc]simplify: iters left: 3 (29 enodes) 1540334489.210 * * [misc]simplify: iters left: 2 (42 enodes) 1540334489.222 * * [misc]simplify: iters left: 1 (56 enodes) 1540334489.238 * [exit]simplify: Simplified to (cbrt (+ (pow N 6) (pow N 3))) 1540334489.238 * [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))))))) 1540334489.238 * * * * [misc]progress: [ 38 / 92 ] simplifiying candidate # 1540334489.238 * [enter]simplify: Simplifying (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) 1540334489.238 * * [misc]simplify: iters left: 6 (7 enodes) 1540334489.241 * * [misc]simplify: iters left: 5 (12 enodes) 1540334489.245 * * [misc]simplify: iters left: 4 (26 enodes) 1540334489.255 * * [misc]simplify: iters left: 3 (69 enodes) 1540334489.280 * * [misc]simplify: iters left: 2 (136 enodes) 1540334489.357 * * [misc]simplify: iters left: 1 (325 enodes) 1540334489.656 * [exit]simplify: Simplified to (cbrt (- (* N N) (pow N 4))) 1540334489.656 * [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))))))) 1540334489.656 * * * * [misc]progress: [ 39 / 92 ] simplifiying candidate # 1540334489.656 * * * * [misc]progress: [ 40 / 92 ] simplifiying candidate # 1540334489.656 * * * * [misc]progress: [ 41 / 92 ] simplifiying candidate # 1540334489.656 * * * * [misc]progress: [ 42 / 92 ] simplifiying candidate # 1540334489.656 * * * * [misc]progress: [ 43 / 92 ] simplifiying candidate # 1540334489.657 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540334489.657 * * [misc]simplify: iters left: 3 (4 enodes) 1540334489.657 * * [misc]simplify: iters left: 2 (6 enodes) 1540334489.658 * * [misc]simplify: iters left: 1 (9 enodes) 1540334489.659 * [exit]simplify: Simplified to (+ N (* N N)) 1540334489.659 * [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))))))) 1540334489.659 * [enter]simplify: Simplifying (+ 1/3 1/3) 1540334489.659 * * [misc]simplify: iters left: 2 (2 enodes) 1540334489.660 * * [misc]simplify: iters left: 1 (3 enodes) 1540334489.660 * [exit]simplify: Simplified to 2/3 1540334489.660 * [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))))))) 1540334489.660 * * * * [misc]progress: [ 44 / 92 ] simplifiying candidate # 1540334489.661 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540334489.661 * * [misc]simplify: iters left: 4 (5 enodes) 1540334489.661 * * [misc]simplify: iters left: 3 (7 enodes) 1540334489.662 * * [misc]simplify: iters left: 2 (10 enodes) 1540334489.663 * * [misc]simplify: iters left: 1 (14 enodes) 1540334489.665 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540334489.665 * [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))))))) 1540334489.665 * [enter]simplify: Simplifying (+ 1 1) 1540334489.666 * * [misc]simplify: iters left: 2 (2 enodes) 1540334489.666 * * [misc]simplify: iters left: 1 (5 enodes) 1540334489.667 * [exit]simplify: Simplified to 2 1540334489.667 * [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))))))) 1540334489.667 * * * * [misc]progress: [ 45 / 92 ] simplifiying candidate # 1540334489.667 * [enter]simplify: Simplifying (* (+ N (pow N 2)) (+ N (pow N 2))) 1540334489.667 * * [misc]simplify: iters left: 5 (5 enodes) 1540334489.668 * * [misc]simplify: iters left: 4 (13 enodes) 1540334489.670 * * [misc]simplify: iters left: 3 (31 enodes) 1540334489.679 * * [misc]simplify: iters left: 2 (91 enodes) 1540334489.699 * * [misc]simplify: iters left: 1 (186 enodes) 1540334489.806 * [exit]simplify: Simplified to (* (+ N (* N N)) (+ N (* N N))) 1540334489.806 * [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))))))) 1540334489.806 * * * * [misc]progress: [ 46 / 92 ] simplifiying candidate # 1540334489.806 * [enter]simplify: Simplifying (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2)))) 1540334489.807 * * [misc]simplify: iters left: 6 (6 enodes) 1540334489.808 * * [misc]simplify: iters left: 5 (8 enodes) 1540334489.811 * * [misc]simplify: iters left: 4 (11 enodes) 1540334489.814 * * [misc]simplify: iters left: 3 (15 enodes) 1540334489.818 * * [misc]simplify: iters left: 2 (21 enodes) 1540334489.824 * [exit]simplify: Simplified to (* (cbrt (+ (* N N) N)) (cbrt (+ (* N N) N))) 1540334489.824 * [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))))))) 1540334489.824 * * * * [misc]progress: [ 47 / 92 ] simplifiying candidate # 1540334489.824 * * * * [misc]progress: [ 48 / 92 ] simplifiying candidate # 1540334489.825 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540334489.825 * * [misc]simplify: iters left: 4 (5 enodes) 1540334489.826 * * [misc]simplify: iters left: 3 (7 enodes) 1540334489.828 * * [misc]simplify: iters left: 2 (10 enodes) 1540334489.831 * * [misc]simplify: iters left: 1 (14 enodes) 1540334489.834 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540334489.835 * [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))))))) 1540334489.835 * * * * [misc]progress: [ 49 / 92 ] simplifiying candidate # 1540334489.835 * * * * [misc]progress: [ 50 / 92 ] simplifiying candidate # 1540334489.835 * [enter]simplify: Simplifying (+ (log (cbrt (+ N (pow N 2)))) (log (cbrt (+ N (pow N 2))))) 1540334489.835 * * [misc]simplify: iters left: 6 (7 enodes) 1540334489.837 * * [misc]simplify: iters left: 5 (9 enodes) 1540334489.840 * * [misc]simplify: iters left: 4 (12 enodes) 1540334489.843 * * [misc]simplify: iters left: 3 (16 enodes) 1540334489.847 * * [misc]simplify: iters left: 2 (22 enodes) 1540334489.854 * [exit]simplify: Simplified to (+ (log (cbrt (+ N (* N N)))) (log (cbrt (+ N (* N N))))) 1540334489.854 * [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))))))) 1540334489.854 * * * * [misc]progress: [ 51 / 92 ] simplifiying candidate # 1540334489.854 * * * * [misc]progress: [ 52 / 92 ] simplifiying candidate # 1540334489.854 * * * * [misc]progress: [ 53 / 92 ] simplifiying candidate # 1540334489.854 * [enter]simplify: Simplifying (* (+ N (pow N 2)) (+ N (pow N 2))) 1540334489.855 * * [misc]simplify: iters left: 5 (5 enodes) 1540334489.858 * * [misc]simplify: iters left: 4 (13 enodes) 1540334489.863 * * [misc]simplify: iters left: 3 (31 enodes) 1540334489.880 * * [misc]simplify: iters left: 2 (91 enodes) 1540334489.906 * * [misc]simplify: iters left: 1 (186 enodes) 1540334490.013 * [exit]simplify: Simplified to (* (+ N (* N N)) (+ N (* N N))) 1540334490.013 * [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))))))) 1540334490.013 * * * * [misc]progress: [ 54 / 92 ] simplifiying candidate # 1540334490.013 * * * * [misc]progress: [ 55 / 92 ] simplifiying candidate # 1540334490.013 * * * * [misc]progress: [ 56 / 92 ] simplifiying candidate # 1540334490.013 * * * * [misc]progress: [ 57 / 92 ] simplifiying candidate # 1540334490.014 * [enter]simplify: Simplifying (* (cbrt (+ (pow N 3) (pow (pow N 2) 3))) (cbrt (+ (pow N 3) (pow (pow N 2) 3)))) 1540334490.014 * * [misc]simplify: iters left: 6 (9 enodes) 1540334490.017 * * [misc]simplify: iters left: 5 (16 enodes) 1540334490.023 * * [misc]simplify: iters left: 4 (30 enodes) 1540334490.033 * * [misc]simplify: iters left: 3 (43 enodes) 1540334490.044 * * [misc]simplify: iters left: 2 (57 enodes) 1540334490.061 * * [misc]simplify: iters left: 1 (73 enodes) 1540334490.096 * [exit]simplify: Simplified to (* (cbrt (+ (pow N 6) (pow N 3))) (cbrt (+ (pow N 6) (pow N 3)))) 1540334490.096 * [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))))))) 1540334490.096 * [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)))))) 1540334490.096 * * [misc]simplify: iters left: 6 (10 enodes) 1540334490.100 * * [misc]simplify: iters left: 5 (18 enodes) 1540334490.107 * * [misc]simplify: iters left: 4 (48 enodes) 1540334490.125 * * [misc]simplify: iters left: 3 (91 enodes) 1540334490.144 * * [misc]simplify: iters left: 2 (150 enodes) 1540334490.196 * * [misc]simplify: iters left: 1 (213 enodes) 1540334490.279 * [exit]simplify: Simplified to (* (cbrt (* (- (* N N) (- N 1)) (* N N))) (cbrt (* (- (* N N) (- N 1)) (* N N)))) 1540334490.279 * [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))))))) 1540334490.279 * * * * [misc]progress: [ 58 / 92 ] simplifiying candidate # 1540334490.280 * [enter]simplify: Simplifying (* (cbrt (+ (pow N 3) (pow (pow N 2) 3))) (cbrt (- (* N N) (* (pow N 2) (pow N 2))))) 1540334490.280 * * [misc]simplify: iters left: 6 (13 enodes) 1540334490.284 * * [misc]simplify: iters left: 5 (24 enodes) 1540334490.293 * * [misc]simplify: iters left: 4 (47 enodes) 1540334490.312 * * [misc]simplify: iters left: 3 (94 enodes) 1540334490.331 * * [misc]simplify: iters left: 2 (169 enodes) 1540334490.414 * * [misc]simplify: iters left: 1 (377 enodes) 1540334490.681 * [exit]simplify: Simplified to (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (pow N 6) (pow N 3)))) 1540334490.681 * [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))))))) 1540334490.681 * [enter]simplify: Simplifying (* (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) (cbrt (- N (pow N 2)))) 1540334490.681 * * [misc]simplify: iters left: 6 (12 enodes) 1540334490.683 * * [misc]simplify: iters left: 5 (23 enodes) 1540334490.688 * * [misc]simplify: iters left: 4 (55 enodes) 1540334490.702 * * [misc]simplify: iters left: 3 (96 enodes) 1540334490.739 * * [misc]simplify: iters left: 2 (152 enodes) 1540334490.775 * * [misc]simplify: iters left: 1 (204 enodes) 1540334490.851 * [exit]simplify: Simplified to (* (cbrt (* (* N N) (- (* N N) (+ -1 N)))) (cbrt (- N (* N N)))) 1540334490.852 * [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))))))) 1540334490.852 * * * * [misc]progress: [ 59 / 92 ] simplifiying candidate # 1540334490.852 * [enter]simplify: Simplifying (* (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) (cbrt (+ (pow N 3) (pow (pow N 2) 3)))) 1540334490.852 * * [misc]simplify: iters left: 6 (13 enodes) 1540334490.857 * * [misc]simplify: iters left: 5 (24 enodes) 1540334490.865 * * [misc]simplify: iters left: 4 (47 enodes) 1540334490.880 * * [misc]simplify: iters left: 3 (94 enodes) 1540334490.916 * * [misc]simplify: iters left: 2 (168 enodes) 1540334491.041 * * [misc]simplify: iters left: 1 (378 enodes) 1540334491.332 * [exit]simplify: Simplified to (* (cbrt (+ (pow N 3) (pow N 6))) (cbrt (- (* N N) (pow N 4)))) 1540334491.332 * [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))))))) 1540334491.332 * [enter]simplify: Simplifying (* (cbrt (- N (pow N 2))) (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2)))))) 1540334491.332 * * [misc]simplify: iters left: 6 (12 enodes) 1540334491.334 * * [misc]simplify: iters left: 5 (23 enodes) 1540334491.338 * * [misc]simplify: iters left: 4 (55 enodes) 1540334491.355 * * [misc]simplify: iters left: 3 (96 enodes) 1540334491.394 * * [misc]simplify: iters left: 2 (152 enodes) 1540334491.755 * * [misc]simplify: iters left: 1 (204 enodes) 1540334491.833 * [exit]simplify: Simplified to (* (cbrt (- N (* N N))) (cbrt (* (* N N) (+ (- 1 N) (* N N))))) 1540334491.833 * [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))))))) 1540334491.833 * * * * [misc]progress: [ 60 / 92 ] simplifiying candidate # 1540334491.833 * [enter]simplify: Simplifying (* (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) (cbrt (- (* N N) (* (pow N 2) (pow N 2))))) 1540334491.833 * * [misc]simplify: iters left: 6 (8 enodes) 1540334491.836 * * [misc]simplify: iters left: 5 (13 enodes) 1540334491.840 * * [misc]simplify: iters left: 4 (27 enodes) 1540334491.849 * * [misc]simplify: iters left: 3 (70 enodes) 1540334491.863 * * [misc]simplify: iters left: 2 (137 enodes) 1540334491.916 * * [misc]simplify: iters left: 1 (328 enodes) 1540334492.150 * [exit]simplify: Simplified to (* (cbrt (- (* N N) (pow N 4))) (cbrt (- (* N N) (pow N 4)))) 1540334492.150 * [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))))))) 1540334492.150 * [enter]simplify: Simplifying (* (cbrt (- N (pow N 2))) (cbrt (- N (pow N 2)))) 1540334492.150 * * [misc]simplify: iters left: 6 (6 enodes) 1540334492.151 * * [misc]simplify: iters left: 5 (9 enodes) 1540334492.152 * * [misc]simplify: iters left: 4 (13 enodes) 1540334492.154 * * [misc]simplify: iters left: 3 (16 enodes) 1540334492.156 * * [misc]simplify: iters left: 2 (20 enodes) 1540334492.161 * * [misc]simplify: iters left: 1 (27 enodes) 1540334492.166 * [exit]simplify: Simplified to (* (cbrt (- N (* N N))) (cbrt (- N (* N N)))) 1540334492.166 * [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))))))) 1540334492.166 * * * * [misc]progress: [ 61 / 92 ] simplifiying candidate # 1540334492.166 * * * * [misc]progress: [ 62 / 92 ] simplifiying candidate # 1540334492.166 * [enter]simplify: Simplifying (cbrt (cbrt (+ N (pow N 2)))) 1540334492.166 * * [misc]simplify: iters left: 5 (6 enodes) 1540334492.167 * * [misc]simplify: iters left: 4 (8 enodes) 1540334492.168 * * [misc]simplify: iters left: 3 (11 enodes) 1540334492.170 * * [misc]simplify: iters left: 2 (15 enodes) 1540334492.171 * * [misc]simplify: iters left: 1 (21 enodes) 1540334492.174 * [exit]simplify: Simplified to (cbrt (cbrt (+ (* N N) N))) 1540334492.174 * [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))))))) 1540334492.174 * * * * [misc]progress: [ 63 / 92 ] simplifiying candidate # 1540334492.175 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540334492.175 * * [misc]simplify: iters left: 5 (6 enodes) 1540334492.176 * * [misc]simplify: iters left: 4 (8 enodes) 1540334492.177 * * [misc]simplify: iters left: 3 (11 enodes) 1540334492.178 * * [misc]simplify: iters left: 2 (15 enodes) 1540334492.180 * * [misc]simplify: iters left: 1 (21 enodes) 1540334492.183 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540334492.183 * [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))))))) 1540334492.183 * * * * [misc]progress: [ 64 / 92 ] simplifiying candidate # 1540334492.183 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540334492.183 * * [misc]simplify: iters left: 4 (5 enodes) 1540334492.184 * * [misc]simplify: iters left: 3 (7 enodes) 1540334492.185 * * [misc]simplify: iters left: 2 (10 enodes) 1540334492.186 * * [misc]simplify: iters left: 1 (14 enodes) 1540334492.188 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540334492.188 * [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))))))) 1540334492.188 * * * * [misc]progress: [ 65 / 92 ] simplifiying candidate # 1540334492.188 * [enter]simplify: Simplifying (cbrt N) 1540334492.188 * * [misc]simplify: iters left: 1 (2 enodes) 1540334492.189 * [exit]simplify: Simplified to (cbrt N) 1540334492.189 * [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))))))) 1540334492.189 * * * * [misc]progress: [ 66 / 92 ] simplifiying candidate # 1540334492.189 * [enter]simplify: Simplifying (cbrt (cbrt (+ N (pow N 2)))) 1540334492.189 * * [misc]simplify: iters left: 5 (6 enodes) 1540334492.190 * * [misc]simplify: iters left: 4 (8 enodes) 1540334492.191 * * [misc]simplify: iters left: 3 (11 enodes) 1540334492.192 * * [misc]simplify: iters left: 2 (15 enodes) 1540334492.194 * * [misc]simplify: iters left: 1 (21 enodes) 1540334492.197 * [exit]simplify: Simplified to (cbrt (cbrt (+ (* N N) N))) 1540334492.197 * [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))))))) 1540334492.197 * * * * [misc]progress: [ 67 / 92 ] simplifiying candidate # 1540334492.197 * [enter]simplify: Simplifying (sqrt (cbrt (+ N (pow N 2)))) 1540334492.198 * * [misc]simplify: iters left: 5 (6 enodes) 1540334492.198 * * [misc]simplify: iters left: 4 (8 enodes) 1540334492.199 * * [misc]simplify: iters left: 3 (11 enodes) 1540334492.201 * * [misc]simplify: iters left: 2 (15 enodes) 1540334492.203 * * [misc]simplify: iters left: 1 (21 enodes) 1540334492.206 * [exit]simplify: Simplified to (sqrt (cbrt (+ (* N N) N))) 1540334492.206 * [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))))))) 1540334492.206 * * * * [misc]progress: [ 68 / 92 ] simplifiying candidate # 1540334492.206 * [enter]simplify: Simplifying (cbrt (+ N (pow N 2))) 1540334492.206 * * [misc]simplify: iters left: 4 (5 enodes) 1540334492.207 * * [misc]simplify: iters left: 3 (7 enodes) 1540334492.208 * * [misc]simplify: iters left: 2 (10 enodes) 1540334492.209 * * [misc]simplify: iters left: 1 (14 enodes) 1540334492.211 * [exit]simplify: Simplified to (cbrt (+ N (* N N))) 1540334492.211 * [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))))))) 1540334492.211 * * * * [misc]progress: [ 69 / 92 ] simplifiying candidate # 1540334492.212 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ N (pow N 2))) (cbrt (+ N (pow N 2))))) 1540334492.212 * * [misc]simplify: iters left: 6 (7 enodes) 1540334492.213 * * [misc]simplify: iters left: 5 (9 enodes) 1540334492.214 * * [misc]simplify: iters left: 4 (12 enodes) 1540334492.215 * * [misc]simplify: iters left: 3 (16 enodes) 1540334492.217 * * [misc]simplify: iters left: 2 (22 enodes) 1540334492.222 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N (* N N))) (cbrt (+ N (* N N))))) 1540334492.222 * [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))))))) 1540334492.222 * * * * [misc]progress: [ 70 / 92 ] simplifiying candidate # 1540334492.223 * [enter]simplify: Simplifying (cbrt (sqrt (+ N (pow N 2)))) 1540334492.223 * * [misc]simplify: iters left: 5 (6 enodes) 1540334492.224 * * [misc]simplify: iters left: 4 (8 enodes) 1540334492.227 * * [misc]simplify: iters left: 3 (11 enodes) 1540334492.230 * * [misc]simplify: iters left: 2 (15 enodes) 1540334492.234 * * [misc]simplify: iters left: 1 (21 enodes) 1540334492.238 * [exit]simplify: Simplified to (cbrt (sqrt (+ (* N N) N))) 1540334492.238 * [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))))))) 1540334492.238 * * * * [misc]progress: [ 71 / 92 ] simplifiying candidate # 1540334492.238 * [enter]simplify: Simplifying (cbrt 1) 1540334492.238 * * [misc]simplify: iters left: 1 (2 enodes) 1540334492.239 * [exit]simplify: Simplified to 1 1540334492.239 * [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))))))) 1540334492.239 * * * * [misc]progress: [ 72 / 92 ] simplifiying candidate # 1540334492.239 * [enter]simplify: Simplifying (cbrt (+ N 1)) 1540334492.239 * * [misc]simplify: iters left: 3 (4 enodes) 1540334492.240 * * [misc]simplify: iters left: 2 (7 enodes) 1540334492.241 * [exit]simplify: Simplified to (cbrt (+ 1 N)) 1540334492.241 * [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))))))) 1540334492.241 * * * * [misc]progress: [ 73 / 92 ] simplifiying candidate # 1540334492.241 * [enter]simplify: Simplifying (* (cbrt (cbrt (+ N (pow N 2)))) (cbrt (cbrt (+ N (pow N 2))))) 1540334492.241 * * [misc]simplify: iters left: 6 (7 enodes) 1540334492.242 * * [misc]simplify: iters left: 5 (9 enodes) 1540334492.244 * * [misc]simplify: iters left: 4 (12 enodes) 1540334492.246 * * [misc]simplify: iters left: 3 (16 enodes) 1540334492.248 * * [misc]simplify: iters left: 2 (22 enodes) 1540334492.252 * [exit]simplify: Simplified to (* (cbrt (cbrt (+ N (* N N)))) (cbrt (cbrt (+ N (* N N))))) 1540334492.252 * [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))))))) 1540334492.252 * * * * [misc]progress: [ 74 / 92 ] simplifiying candidate # 1540334492.253 * [enter]simplify: Simplifying (sqrt (cbrt (+ N (pow N 2)))) 1540334492.253 * * [misc]simplify: iters left: 5 (6 enodes) 1540334492.254 * * [misc]simplify: iters left: 4 (8 enodes) 1540334492.255 * * [misc]simplify: iters left: 3 (11 enodes) 1540334492.256 * * [misc]simplify: iters left: 2 (15 enodes) 1540334492.258 * * [misc]simplify: iters left: 1 (21 enodes) 1540334492.261 * [exit]simplify: Simplified to (sqrt (cbrt (+ (* N N) N))) 1540334492.262 * [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))))))) 1540334492.262 * * * * [misc]progress: [ 75 / 92 ] simplifiying candidate # 1540334492.262 * * * * [misc]progress: [ 76 / 92 ] simplifiying candidate # 1540334492.262 * [enter]simplify: Simplifying (cbrt (+ (* N N) (- (* (pow N 2) (pow N 2)) (* N (pow N 2))))) 1540334492.262 * * [misc]simplify: iters left: 6 (9 enodes) 1540334492.264 * * [misc]simplify: iters left: 5 (17 enodes) 1540334492.270 * * [misc]simplify: iters left: 4 (47 enodes) 1540334492.283 * * [misc]simplify: iters left: 3 (90 enodes) 1540334492.302 * * [misc]simplify: iters left: 2 (149 enodes) 1540334492.339 * * [misc]simplify: iters left: 1 (212 enodes) 1540334492.404 * [exit]simplify: Simplified to (cbrt (* (- (* N N) (+ -1 N)) (* N N))) 1540334492.404 * [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))))))) 1540334492.404 * * * * [misc]progress: [ 77 / 92 ] simplifiying candidate # 1540334492.404 * [enter]simplify: Simplifying (cbrt (- N (pow N 2))) 1540334492.404 * * [misc]simplify: iters left: 4 (5 enodes) 1540334492.405 * * [misc]simplify: iters left: 3 (8 enodes) 1540334492.406 * * [misc]simplify: iters left: 2 (12 enodes) 1540334492.408 * * [misc]simplify: iters left: 1 (15 enodes) 1540334492.410 * [exit]simplify: Simplified to (cbrt (- N (* N N))) 1540334492.410 * [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))))))) 1540334492.410 * * * * [misc]progress: [ 78 / 92 ] simplifiying candidate # 1540334492.410 * [enter]simplify: Simplifying (* (cbrt (+ (pow N 3) (pow (pow N 2) 3))) (cbrt (+ N (pow N 2)))) 1540334492.410 * * [misc]simplify: iters left: 6 (11 enodes) 1540334492.412 * * [misc]simplify: iters left: 5 (20 enodes) 1540334492.420 * * [misc]simplify: iters left: 4 (36 enodes) 1540334492.431 * * [misc]simplify: iters left: 3 (51 enodes) 1540334492.443 * * [misc]simplify: iters left: 2 (71 enodes) 1540334492.458 * * [misc]simplify: iters left: 1 (81 enodes) 1540334492.471 * [exit]simplify: Simplified to (* (cbrt (+ N (* N N))) (cbrt (+ (pow N 6) (pow N 3)))) 1540334492.471 * [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))))))) 1540334492.471 * * * * [misc]progress: [ 79 / 92 ] simplifiying candidate # 1540334492.471 * [enter]simplify: Simplifying (* (cbrt (- (* N N) (* (pow N 2) (pow N 2)))) (cbrt (+ N (pow N 2)))) 1540334492.471 * * [misc]simplify: iters left: 6 (10 enodes) 1540334492.474 * * [misc]simplify: iters left: 5 (16 enodes) 1540334492.479 * * [misc]simplify: iters left: 4 (29 enodes) 1540334492.485 * * [misc]simplify: iters left: 3 (72 enodes) 1540334492.500 * * [misc]simplify: iters left: 2 (140 enodes) 1540334492.579 * * [misc]simplify: iters left: 1 (332 enodes) 1540334492.819 * [exit]simplify: Simplified to (* (cbrt (- (* N N) (pow N 4))) (cbrt (+ (* N N) N))) 1540334492.819 * [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))))))) 1540334492.819 * * * * [misc]progress: [ 80 / 92 ] simplifiying candidate # 1540334492.819 * * * * [misc]progress: [ 81 / 92 ] simplifiying candidate # 1540334492.819 * [enter]simplify: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1540334492.819 * * [misc]simplify: iters left: 6 (14 enodes) 1540334492.822 * * [misc]simplify: iters left: 5 (24 enodes) 1540334492.828 * * [misc]simplify: iters left: 4 (39 enodes) 1540334492.839 * * [misc]simplify: iters left: 3 (46 enodes) 1540334492.850 * * [misc]simplify: iters left: 2 (48 enodes) 1540334492.861 * * [misc]simplify: iters left: 1 (50 enodes) 1540334492.875 * [exit]simplify: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1540334492.875 * [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)))))) 1540334492.875 * * * * [misc]progress: [ 82 / 92 ] simplifiying candidate # 1540334492.876 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540334492.876 * * [misc]simplify: iters left: 6 (16 enodes) 1540334492.881 * * [misc]simplify: iters left: 5 (27 enodes) 1540334492.889 * * [misc]simplify: iters left: 4 (42 enodes) 1540334492.899 * * [misc]simplify: iters left: 3 (49 enodes) 1540334492.911 * * [misc]simplify: iters left: 2 (51 enodes) 1540334492.923 * * [misc]simplify: iters left: 1 (60 enodes) 1540334492.940 * [exit]simplify: Simplified to (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) 1540334492.940 * [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))))))))) 1540334492.940 * * * * [misc]progress: [ 83 / 92 ] simplifiying candidate # 1540334492.941 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540334492.941 * * [misc]simplify: iters left: 6 (18 enodes) 1540334492.946 * * [misc]simplify: iters left: 5 (29 enodes) 1540334492.953 * * [misc]simplify: iters left: 4 (44 enodes) 1540334492.959 * * [misc]simplify: iters left: 3 (51 enodes) 1540334492.966 * * [misc]simplify: iters left: 2 (53 enodes) 1540334492.973 * * [misc]simplify: iters left: 1 (62 enodes) 1540334492.982 * [exit]simplify: Simplified to (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1540334492.982 * [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))))))))) 1540334492.982 * * * * [misc]progress: [ 84 / 92 ] simplifiying candidate # 1540334492.983 * [enter]simplify: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1540334492.983 * * [misc]simplify: iters left: 6 (14 enodes) 1540334492.985 * * [misc]simplify: iters left: 5 (24 enodes) 1540334492.989 * * [misc]simplify: iters left: 4 (39 enodes) 1540334492.994 * * [misc]simplify: iters left: 3 (46 enodes) 1540334493.001 * * [misc]simplify: iters left: 2 (48 enodes) 1540334493.006 * * [misc]simplify: iters left: 1 (50 enodes) 1540334493.013 * [exit]simplify: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1540334493.013 * [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))))))) 1540334493.013 * * * * [misc]progress: [ 85 / 92 ] simplifiying candidate # 1540334493.013 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540334493.013 * * [misc]simplify: iters left: 6 (16 enodes) 1540334493.016 * * [misc]simplify: iters left: 5 (27 enodes) 1540334493.023 * * [misc]simplify: iters left: 4 (42 enodes) 1540334493.033 * * [misc]simplify: iters left: 3 (49 enodes) 1540334493.039 * * [misc]simplify: iters left: 2 (51 enodes) 1540334493.046 * * [misc]simplify: iters left: 1 (60 enodes) 1540334493.054 * [exit]simplify: Simplified to (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) 1540334493.054 * [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))))))) 1540334493.054 * * * * [misc]progress: [ 86 / 92 ] simplifiying candidate # 1540334493.054 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540334493.055 * * [misc]simplify: iters left: 6 (18 enodes) 1540334493.057 * * [misc]simplify: iters left: 5 (29 enodes) 1540334493.062 * * [misc]simplify: iters left: 4 (44 enodes) 1540334493.067 * * [misc]simplify: iters left: 3 (51 enodes) 1540334493.073 * * [misc]simplify: iters left: 2 (53 enodes) 1540334493.080 * * [misc]simplify: iters left: 1 (62 enodes) 1540334493.088 * [exit]simplify: Simplified to (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1540334493.088 * [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))))))) 1540334493.089 * * * * [misc]progress: [ 87 / 92 ] simplifiying candidate # 1540334493.089 * [enter]simplify: Simplifying (- (+ (pow N 1/3) (* 1/3 (pow (pow N 4) 1/3))) (* 1/9 (pow (pow N 7) 1/3))) 1540334493.089 * * [misc]simplify: iters left: 6 (14 enodes) 1540334493.091 * * [misc]simplify: iters left: 5 (24 enodes) 1540334493.095 * * [misc]simplify: iters left: 4 (39 enodes) 1540334493.100 * * [misc]simplify: iters left: 3 (46 enodes) 1540334493.105 * * [misc]simplify: iters left: 2 (48 enodes) 1540334493.110 * * [misc]simplify: iters left: 1 (50 enodes) 1540334493.124 * [exit]simplify: Simplified to (- (+ (cbrt N) (* (cbrt (pow N 4)) 1/3)) (* (cbrt (pow N 7)) 1/9)) 1540334493.124 * [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))))))) 1540334493.124 * * * * [misc]progress: [ 88 / 92 ] simplifiying candidate # 1540334493.124 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540334493.125 * * [misc]simplify: iters left: 6 (16 enodes) 1540334493.130 * * [misc]simplify: iters left: 5 (27 enodes) 1540334493.135 * * [misc]simplify: iters left: 4 (42 enodes) 1540334493.141 * * [misc]simplify: iters left: 3 (49 enodes) 1540334493.147 * * [misc]simplify: iters left: 2 (51 enodes) 1540334493.153 * * [misc]simplify: iters left: 1 (60 enodes) 1540334493.162 * [exit]simplify: Simplified to (+ (+ (* (cbrt (/ 1 N)) 1/3) (pow (/ 1 N) -2/3)) (* -1/9 (cbrt (/ 1 (pow N 4))))) 1540334493.162 * [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))))))) 1540334493.162 * * * * [misc]progress: [ 89 / 92 ] simplifiying candidate # 1540334493.163 * [enter]simplify: Simplifying (- (+ (* 1/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540334493.163 * * [misc]simplify: iters left: 6 (18 enodes) 1540334493.166 * * [misc]simplify: iters left: 5 (29 enodes) 1540334493.172 * * [misc]simplify: iters left: 4 (44 enodes) 1540334493.178 * * [misc]simplify: iters left: 3 (51 enodes) 1540334493.185 * * [misc]simplify: iters left: 2 (53 enodes) 1540334493.192 * * [misc]simplify: iters left: 1 (62 enodes) 1540334493.204 * [exit]simplify: Simplified to (+ (* -1/9 (cbrt (/ 1 (pow N 4)))) (- (pow (/ -1 N) -2/3) (* -1/3 (cbrt (/ 1 N))))) 1540334493.204 * [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))))))) 1540334493.205 * * * * [misc]progress: [ 90 / 92 ] simplifiying candidate # 1540334493.205 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow (pow N 5) 1/3)) (pow N 2/3)) (* 1/9 (pow (pow N 8) 1/3))) 1540334493.205 * * [misc]simplify: iters left: 6 (15 enodes) 1540334493.209 * * [misc]simplify: iters left: 5 (24 enodes) 1540334493.215 * * [misc]simplify: iters left: 4 (39 enodes) 1540334493.220 * * [misc]simplify: iters left: 3 (46 enodes) 1540334493.226 * * [misc]simplify: iters left: 2 (48 enodes) 1540334493.231 * * [misc]simplify: iters left: 1 (57 enodes) 1540334493.240 * [exit]simplify: Simplified to (+ (* (cbrt (pow N 5)) 2/3) (+ (pow N 2/3) (* (cbrt (pow N 8)) -1/9))) 1540334493.240 * [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))))))) 1540334493.240 * * * * [misc]progress: [ 91 / 92 ] simplifiying candidate # 1540334493.240 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow N 1/3)) (pow (/ 1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1540334493.240 * * [misc]simplify: iters left: 6 (17 enodes) 1540334493.243 * * [misc]simplify: iters left: 5 (29 enodes) 1540334493.247 * * [misc]simplify: iters left: 4 (45 enodes) 1540334493.253 * * [misc]simplify: iters left: 3 (52 enodes) 1540334493.259 * * [misc]simplify: iters left: 2 (54 enodes) 1540334493.265 * * [misc]simplify: iters left: 1 (63 enodes) 1540334493.274 * [exit]simplify: Simplified to (- (+ (pow (/ 1 N) -4/3) (* (cbrt N) 2/3)) (* (cbrt (/ 1 (* N N))) 1/9)) 1540334493.274 * [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))))))) 1540334493.274 * * * * [misc]progress: [ 92 / 92 ] simplifiying candidate # 1540334493.275 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow N 1/3)) (pow (/ -1 N) -4/3)) (* 1/9 (pow (/ 1 (pow N 2)) 1/3))) 1540334493.275 * * [misc]simplify: iters left: 6 (18 enodes) 1540334493.277 * * [misc]simplify: iters left: 5 (30 enodes) 1540334493.282 * * [misc]simplify: iters left: 4 (47 enodes) 1540334493.291 * * [misc]simplify: iters left: 3 (54 enodes) 1540334493.297 * * [misc]simplify: iters left: 2 (56 enodes) 1540334493.304 * * [misc]simplify: iters left: 1 (65 enodes) 1540334493.313 * [exit]simplify: Simplified to (+ (* (cbrt (/ (/ 1 N) N)) -1/9) (+ (pow (/ -1 N) -4/3) (* (cbrt N) 2/3))) 1540334493.313 * [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))))))) 1540334493.313 * * * [misc]progress: adding candidates to table 1540334494.135 * [misc]progress: [Phase 3 of 3] Extracting. 1540334494.135 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1540334494.136 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1540334494.136 * * * * [misc]regimes: Trying to branch on N from (# # # # # #) 1540334494.166 * * * [misc]regime: Found split indices: #