1540194250.859 * [misc]progress: [Phase 1 of 3] Setting up. 1540194250.859 * * * [misc]progress: [1/2] Preparing points 1540194250.859 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540194250.860 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540194250.862 * * * * [misc]points: Setting MPFR precision to 64 1540194250.863 * * * * [misc]points: Setting MPFR precision to 320 1540194250.864 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540194250.865 * * * * [misc]points: Setting MPFR precision to 64 1540194250.866 * * * * [misc]points: Setting MPFR precision to 320 1540194250.868 * * * * [misc]points: Setting MPFR precision to 576 1540194250.869 * * * * [misc]points: Setting MPFR precision to 832 1540194250.872 * * * * [misc]points: Setting MPFR precision to 1088 1540194250.875 * * * * [misc]points: Setting MPFR precision to 1344 1540194250.879 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540194250.882 * * * * [misc]points: Setting MPFR precision to 1088 1540194250.889 * * * * [misc]points: Setting MPFR precision to 1344 1540194250.895 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540194250.897 * * * * [misc]points: Setting MPFR precision to 1088 1540194250.902 * * * * [misc]points: Setting MPFR precision to 1344 1540194250.907 * * * * [misc]points: Computing exacts for 256 points 1540194250.909 * * * * [misc]points: Setting MPFR precision to 1088 1540194250.925 * * * * [misc]points: Setting MPFR precision to 1344 1540194250.956 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194250.956 * * * * [exit]points: Sampled 256 points with exact outputs 1540194250.956 * * * [misc]progress: [2/2] Setting up program. 1540194250.960 * [misc]progress: [Phase 2 of 3] Improving. 1540194250.960 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540194250.960 * * [misc]simplify: iters left: 5 (6 enodes) 1540194250.961 * * [misc]simplify: iters left: 4 (11 enodes) 1540194250.962 * * [misc]simplify: iters left: 3 (12 enodes) 1540194250.964 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540194250.969 * * [misc]progress: iteration 1 / 4 1540194250.969 * * * [misc]progress: picking best candidate 1540194250.971 * * * * [misc]pick: Picked # 1540194250.971 * * * [misc]progress: localizing error 1540194250.998 * * * [misc]progress: generating rewritten candidates 1540194250.998 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1540194251.008 * * * [misc]progress: generating series expansions 1540194251.008 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1540194251.008 * [misc]backup-simplify: Simplify (- (atan (+ 1 N)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540194251.008 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1540194251.008 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1540194251.008 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540194251.017 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540194251.017 * [misc]taylor: Taking taylor expansion of (atan N) in N 1540194251.018 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1540194251.018 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1540194251.018 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1540194251.018 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1540194251.018 * [misc]taylor: Taking taylor expansion of (atan N) in N 1540194251.018 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1540194251.018 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1540194251.018 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1540194251.018 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540194251.018 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.018 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.018 * [misc]backup-simplify: Simplify 0 into 0 1540194251.019 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.019 * [misc]backup-simplify: Simplify 0 into 0 1540194251.019 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.019 * [misc]backup-simplify: Simplify 0 into 0 1540194251.019 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.019 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.019 * [misc]backup-simplify: Simplify 0 into 0 1540194251.019 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.020 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.020 * [misc]backup-simplify: Simplify 0 into 0 1540194251.020 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.020 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.020 * [misc]backup-simplify: Simplify 0 into 0 1540194251.020 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1540194251.020 * [misc]backup-simplify: Simplify (- (atan (+ 1 (/ 1 N))) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540194251.020 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1540194251.020 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1540194251.020 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540194251.020 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540194251.020 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1540194251.020 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1540194251.020 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1540194251.020 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1540194251.020 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1540194251.020 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1540194251.020 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1540194251.020 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1540194251.020 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540194251.021 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1540194251.021 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.021 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.021 * [misc]backup-simplify: Simplify 0 into 0 1540194251.021 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.021 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.021 * [misc]backup-simplify: Simplify 0 into 0 1540194251.021 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.021 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.021 * [misc]backup-simplify: Simplify 0 into 0 1540194251.021 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.022 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.022 * [misc]backup-simplify: Simplify 0 into 0 1540194251.022 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.022 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.022 * [misc]backup-simplify: Simplify 0 into 0 1540194251.022 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.022 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.022 * [misc]backup-simplify: Simplify 0 into 0 1540194251.022 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1540194251.022 * [misc]backup-simplify: Simplify (- (atan (+ 1 (/ 1 (- N)))) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540194251.022 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1540194251.022 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1540194251.022 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540194251.022 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540194251.022 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1540194251.022 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1540194251.022 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1540194251.022 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1540194251.022 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1540194251.023 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1540194251.023 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1540194251.023 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1540194251.023 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540194251.023 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1540194251.023 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.023 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.023 * [misc]backup-simplify: Simplify 0 into 0 1540194251.023 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.023 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.023 * [misc]backup-simplify: Simplify 0 into 0 1540194251.023 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify 0 into 0 1540194251.024 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify 0 into 0 1540194251.024 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify 0 into 0 1540194251.024 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.024 * [misc]backup-simplify: Simplify 0 into 0 1540194251.024 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1540194251.024 * * * [misc]progress: simplifying candidates 1540194251.024 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1540194251.025 * [enter]simplify: Simplifying (- (+ 1 N) N) 1540194251.025 * * [misc]simplify: iters left: 4 (4 enodes) 1540194251.026 * * [misc]simplify: iters left: 3 (11 enodes) 1540194251.028 * * [misc]simplify: iters left: 2 (18 enodes) 1540194251.030 * * [misc]simplify: iters left: 1 (19 enodes) 1540194251.031 * [exit]simplify: Simplified to 1 1540194251.031 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ 1 N) N)))) 1540194251.031 * [enter]simplify: Simplifying (+ 1 (* (+ 1 N) N)) 1540194251.031 * * [misc]simplify: iters left: 6 (5 enodes) 1540194251.032 * * [misc]simplify: iters left: 5 (10 enodes) 1540194251.033 * * [misc]simplify: iters left: 4 (17 enodes) 1540194251.037 * * [misc]simplify: iters left: 3 (27 enodes) 1540194251.043 * * [misc]simplify: iters left: 2 (42 enodes) 1540194251.051 * * [misc]simplify: iters left: 1 (43 enodes) 1540194251.053 * [exit]simplify: Simplified to (+ (+ N 1) (* N N)) 1540194251.053 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ N 1) (* N N)))) 1540194251.053 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1540194251.054 * [enter]simplify: Simplifying (/ (exp (atan (+ 1 N))) (exp (atan N))) 1540194251.054 * * [misc]simplify: iters left: 6 (8 enodes) 1540194251.055 * * [misc]simplify: iters left: 5 (13 enodes) 1540194251.056 * * [misc]simplify: iters left: 4 (15 enodes) 1540194251.058 * * [misc]simplify: iters left: 3 (18 enodes) 1540194251.060 * * [misc]simplify: iters left: 2 (20 enodes) 1540194251.062 * * [misc]simplify: iters left: 1 (24 enodes) 1540194251.065 * [exit]simplify: Simplified to (exp (- (atan (+ N 1)) (atan N))) 1540194251.065 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ N 1)) (atan N))))) 1540194251.065 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1540194251.065 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1540194251.065 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1540194251.066 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1540194251.066 * [enter]simplify: Simplifying (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1540194251.066 * * [misc]simplify: iters left: 6 (8 enodes) 1540194251.067 * * [misc]simplify: iters left: 5 (12 enodes) 1540194251.068 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ N 1)))) 1540194251.068 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ N 1)))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1540194251.069 * [enter]simplify: Simplifying (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1540194251.069 * * [misc]simplify: iters left: 6 (8 enodes) 1540194251.070 * * [misc]simplify: iters left: 5 (13 enodes) 1540194251.071 * * [misc]simplify: iters left: 4 (14 enodes) 1540194251.075 * [exit]simplify: Simplified to (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1540194251.075 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ 1 N))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1540194251.075 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1540194251.075 * [enter]simplify: Simplifying (- (atan (+ 1 N)) (atan N)) 1540194251.075 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.077 * * [misc]simplify: iters left: 4 (11 enodes) 1540194251.080 * * [misc]simplify: iters left: 3 (12 enodes) 1540194251.083 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1540194251.083 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ N 1)) (atan N)))) 1540194251.083 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1540194251.083 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1540194251.083 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540194251.083 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.085 * * [misc]simplify: iters left: 4 (11 enodes) 1540194251.088 * * [misc]simplify: iters left: 3 (12 enodes) 1540194251.091 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540194251.091 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540194251.091 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1540194251.091 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540194251.091 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.092 * * [misc]simplify: iters left: 4 (11 enodes) 1540194251.093 * * [misc]simplify: iters left: 3 (12 enodes) 1540194251.095 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540194251.095 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540194251.095 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1540194251.095 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1540194251.095 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.096 * * [misc]simplify: iters left: 4 (11 enodes) 1540194251.097 * * [misc]simplify: iters left: 3 (12 enodes) 1540194251.099 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1540194251.099 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1540194251.099 * * * [misc]progress: adding candidates to table 1540194251.210 * * [misc]progress: iteration 2 / 4 1540194251.210 * * * [misc]progress: picking best candidate 1540194251.218 * * * * [misc]pick: Picked # 1540194251.218 * * * [misc]progress: localizing error 1540194251.253 * * * [misc]progress: generating rewritten candidates 1540194251.253 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1540194251.253 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2 2) 1540194251.258 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2) 1540194251.265 * * * [misc]progress: generating series expansions 1540194251.265 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1540194251.266 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 N) N))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.266 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540194251.266 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540194251.266 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.266 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540194251.266 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.266 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.267 * [misc]backup-simplify: Simplify 0 into 0 1540194251.267 * [misc]backup-simplify: Simplify 0 into 0 1540194251.267 * [misc]backup-simplify: Simplify 0 into 0 1540194251.267 * [misc]backup-simplify: Simplify 0 into 0 1540194251.267 * [misc]backup-simplify: Simplify 0 into 0 1540194251.267 * [misc]backup-simplify: Simplify 0 into 0 1540194251.267 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.267 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.267 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540194251.267 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540194251.267 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.267 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540194251.267 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.268 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.268 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.268 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.268 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540194251.268 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540194251.268 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.268 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540194251.268 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.268 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.268 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.269 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2 2) 1540194251.269 * [misc]backup-simplify: Simplify (* (+ 1 N) N) into (* (+ N 1) N) 1540194251.269 * [misc]approximate: Taking taylor expansion of (* (+ N 1) N) in (N) around 0 1540194251.269 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1540194251.269 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194251.269 * [misc]taylor: Taking taylor expansion of N in N 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 1 into 1 1540194251.269 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.269 * [misc]backup-simplify: Simplify 1 into 1 1540194251.269 * [misc]taylor: Taking taylor expansion of N in N 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 1 into 1 1540194251.269 * [misc]taylor: Taking taylor expansion of (* (+ N 1) N) in N 1540194251.269 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194251.269 * [misc]taylor: Taking taylor expansion of N in N 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 1 into 1 1540194251.269 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.269 * [misc]backup-simplify: Simplify 1 into 1 1540194251.269 * [misc]taylor: Taking taylor expansion of N in N 1540194251.269 * [misc]backup-simplify: Simplify 0 into 0 1540194251.269 * [misc]backup-simplify: Simplify 1 into 1 1540194251.269 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.270 * [misc]backup-simplify: Simplify (* 1 0) into 0 1540194251.270 * [misc]backup-simplify: Simplify 0 into 0 1540194251.270 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.270 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 0)) into 1 1540194251.270 * [misc]backup-simplify: Simplify 1 into 1 1540194251.270 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.270 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1 1540194251.270 * [misc]backup-simplify: Simplify 1 into 1 1540194251.270 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.271 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1540194251.271 * [misc]backup-simplify: Simplify 0 into 0 1540194251.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.271 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1540194251.271 * [misc]backup-simplify: Simplify 0 into 0 1540194251.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.271 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1540194251.271 * [misc]backup-simplify: Simplify 0 into 0 1540194251.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1540194251.272 * [misc]backup-simplify: Simplify 0 into 0 1540194251.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1540194251.272 * [misc]backup-simplify: Simplify 0 into 0 1540194251.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1540194251.273 * [misc]backup-simplify: Simplify 0 into 0 1540194251.273 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1540194251.273 * [misc]backup-simplify: Simplify (* (+ 1 (/ 1 N)) (/ 1 N)) into (/ (+ (/ 1 N) 1) N) 1540194251.273 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in (N) around 0 1540194251.273 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1540194251.273 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194251.273 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.273 * [misc]taylor: Taking taylor expansion of N in N 1540194251.273 * [misc]backup-simplify: Simplify 0 into 0 1540194251.273 * [misc]backup-simplify: Simplify 1 into 1 1540194251.273 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.273 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.273 * [misc]backup-simplify: Simplify 1 into 1 1540194251.273 * [misc]taylor: Taking taylor expansion of N in N 1540194251.273 * [misc]backup-simplify: Simplify 0 into 0 1540194251.273 * [misc]backup-simplify: Simplify 1 into 1 1540194251.273 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.274 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 N) 1) N) in N 1540194251.274 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194251.274 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.274 * [misc]taylor: Taking taylor expansion of N in N 1540194251.274 * [misc]backup-simplify: Simplify 0 into 0 1540194251.274 * [misc]backup-simplify: Simplify 1 into 1 1540194251.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.274 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.274 * [misc]backup-simplify: Simplify 1 into 1 1540194251.274 * [misc]taylor: Taking taylor expansion of N in N 1540194251.274 * [misc]backup-simplify: Simplify 0 into 0 1540194251.274 * [misc]backup-simplify: Simplify 1 into 1 1540194251.274 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.274 * [misc]backup-simplify: Simplify 1 into 1 1540194251.274 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.274 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.275 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1540194251.275 * [misc]backup-simplify: Simplify 1 into 1 1540194251.275 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.275 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.275 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1540194251.275 * [misc]backup-simplify: Simplify 0 into 0 1540194251.275 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.275 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.276 * [misc]backup-simplify: Simplify 0 into 0 1540194251.276 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.276 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.276 * [misc]backup-simplify: Simplify 0 into 0 1540194251.277 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.277 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.277 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.277 * [misc]backup-simplify: Simplify 0 into 0 1540194251.277 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.278 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.278 * [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 1540194251.278 * [misc]backup-simplify: Simplify 0 into 0 1540194251.278 * [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 1540194251.278 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.279 * [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 1540194251.279 * [misc]backup-simplify: Simplify 0 into 0 1540194251.279 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1540194251.279 * [misc]backup-simplify: Simplify (* (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (/ (- 1 (/ 1 N)) N)) 1540194251.279 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in (N) around 0 1540194251.279 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1540194251.279 * [misc]taylor: Taking taylor expansion of -1 in N 1540194251.279 * [misc]backup-simplify: Simplify -1 into -1 1540194251.279 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1540194251.279 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194251.279 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.279 * [misc]backup-simplify: Simplify 1 into 1 1540194251.279 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.279 * [misc]taylor: Taking taylor expansion of N in N 1540194251.279 * [misc]backup-simplify: Simplify 0 into 0 1540194251.279 * [misc]backup-simplify: Simplify 1 into 1 1540194251.279 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.279 * [misc]taylor: Taking taylor expansion of N in N 1540194251.279 * [misc]backup-simplify: Simplify 0 into 0 1540194251.279 * [misc]backup-simplify: Simplify 1 into 1 1540194251.280 * [misc]backup-simplify: Simplify (- 1) into -1 1540194251.280 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194251.280 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194251.280 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 N)) N)) in N 1540194251.280 * [misc]taylor: Taking taylor expansion of -1 in N 1540194251.280 * [misc]backup-simplify: Simplify -1 into -1 1540194251.280 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 N)) N) in N 1540194251.280 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194251.280 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.280 * [misc]backup-simplify: Simplify 1 into 1 1540194251.280 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.280 * [misc]taylor: Taking taylor expansion of N in N 1540194251.280 * [misc]backup-simplify: Simplify 0 into 0 1540194251.280 * [misc]backup-simplify: Simplify 1 into 1 1540194251.280 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.280 * [misc]taylor: Taking taylor expansion of N in N 1540194251.280 * [misc]backup-simplify: Simplify 0 into 0 1540194251.280 * [misc]backup-simplify: Simplify 1 into 1 1540194251.280 * [misc]backup-simplify: Simplify (- 1) into -1 1540194251.280 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194251.280 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540194251.281 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1540194251.281 * [misc]backup-simplify: Simplify 1 into 1 1540194251.281 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.281 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.281 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.281 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1540194251.281 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1540194251.281 * [misc]backup-simplify: Simplify -1 into -1 1540194251.282 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.282 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.282 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.282 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1540194251.282 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1540194251.282 * [misc]backup-simplify: Simplify 0 into 0 1540194251.282 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.282 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.283 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.283 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.283 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1540194251.283 * [misc]backup-simplify: Simplify 0 into 0 1540194251.283 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.283 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.284 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.284 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.284 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1540194251.284 * [misc]backup-simplify: Simplify 0 into 0 1540194251.284 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.284 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.285 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.285 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.285 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1540194251.285 * [misc]backup-simplify: Simplify 0 into 0 1540194251.288 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.288 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.288 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.288 * [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 1540194251.289 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1540194251.289 * [misc]backup-simplify: Simplify 0 into 0 1540194251.289 * [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 1540194251.289 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.289 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.290 * [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 1540194251.290 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1540194251.290 * [misc]backup-simplify: Simplify 0 into 0 1540194251.290 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1540194251.290 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2) 1540194251.290 * [misc]backup-simplify: Simplify (+ 1 (* (+ 1 N) N)) into (+ N (+ (pow N 2) 1)) 1540194251.290 * [misc]approximate: Taking taylor expansion of (+ N (+ (pow N 2) 1)) in (N) around 0 1540194251.290 * [misc]taylor: Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N 1540194251.290 * [misc]taylor: Taking taylor expansion of N in N 1540194251.290 * [misc]backup-simplify: Simplify 0 into 0 1540194251.290 * [misc]backup-simplify: Simplify 1 into 1 1540194251.290 * [misc]taylor: Taking taylor expansion of (+ (pow N 2) 1) in N 1540194251.290 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.290 * [misc]taylor: Taking taylor expansion of N in N 1540194251.290 * [misc]backup-simplify: Simplify 0 into 0 1540194251.290 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.291 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]taylor: Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N 1540194251.291 * [misc]taylor: Taking taylor expansion of N in N 1540194251.291 * [misc]backup-simplify: Simplify 0 into 0 1540194251.291 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]taylor: Taking taylor expansion of (+ (pow N 2) 1) in N 1540194251.291 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.291 * [misc]taylor: Taking taylor expansion of N in N 1540194251.291 * [misc]backup-simplify: Simplify 0 into 0 1540194251.291 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.291 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.291 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.291 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.291 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.291 * [misc]backup-simplify: Simplify 1 into 1 1540194251.291 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.291 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.292 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.292 * [misc]backup-simplify: Simplify 1 into 1 1540194251.292 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1)) 1540194251.292 * [misc]backup-simplify: Simplify (+ 1 (* (+ 1 (/ 1 N)) (/ 1 N))) into (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) 1540194251.292 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in (N) around 0 1540194251.292 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of N in N 1540194251.292 * [misc]backup-simplify: Simplify 0 into 0 1540194251.292 * [misc]backup-simplify: Simplify 1 into 1 1540194251.292 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.292 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.292 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of N in N 1540194251.292 * [misc]backup-simplify: Simplify 0 into 0 1540194251.292 * [misc]backup-simplify: Simplify 1 into 1 1540194251.292 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.292 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.292 * [misc]backup-simplify: Simplify 1 into 1 1540194251.292 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.292 * [misc]taylor: Taking taylor expansion of N in N 1540194251.292 * [misc]backup-simplify: Simplify 0 into 0 1540194251.292 * [misc]backup-simplify: Simplify 1 into 1 1540194251.293 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.293 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.293 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194251.293 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.293 * [misc]taylor: Taking taylor expansion of N in N 1540194251.293 * [misc]backup-simplify: Simplify 0 into 0 1540194251.293 * [misc]backup-simplify: Simplify 1 into 1 1540194251.293 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.293 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.293 * [misc]backup-simplify: Simplify 1 into 1 1540194251.293 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.293 * [misc]backup-simplify: Simplify 1 into 1 1540194251.293 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.293 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.293 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.294 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.294 * [misc]backup-simplify: Simplify 1 into 1 1540194251.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.294 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.294 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.294 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.294 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.294 * [misc]backup-simplify: Simplify 1 into 1 1540194251.295 * [misc]backup-simplify: Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1)) 1540194251.295 * [misc]backup-simplify: Simplify (+ 1 (* (+ 1 (/ 1 (- N))) (/ 1 (- N)))) into (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) 1540194251.295 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in (N) around 0 1540194251.295 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of N in N 1540194251.295 * [misc]backup-simplify: Simplify 0 into 0 1540194251.295 * [misc]backup-simplify: Simplify 1 into 1 1540194251.295 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.295 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.295 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.295 * [misc]backup-simplify: Simplify 1 into 1 1540194251.295 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of N in N 1540194251.295 * [misc]backup-simplify: Simplify 0 into 0 1540194251.295 * [misc]backup-simplify: Simplify 1 into 1 1540194251.295 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.295 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.295 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.296 * [misc]taylor: Taking taylor expansion of N in N 1540194251.296 * [misc]backup-simplify: Simplify 0 into 0 1540194251.296 * [misc]backup-simplify: Simplify 1 into 1 1540194251.296 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.296 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.296 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.296 * [misc]backup-simplify: Simplify 1 into 1 1540194251.296 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.296 * [misc]taylor: Taking taylor expansion of N in N 1540194251.296 * [misc]backup-simplify: Simplify 0 into 0 1540194251.296 * [misc]backup-simplify: Simplify 1 into 1 1540194251.296 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.296 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.297 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.297 * [misc]backup-simplify: Simplify 1 into 1 1540194251.297 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.297 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.297 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.297 * [misc]backup-simplify: Simplify (- 1) into -1 1540194251.298 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194251.298 * [misc]backup-simplify: Simplify -1 into -1 1540194251.298 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.298 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.298 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.299 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.299 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.299 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.299 * [misc]backup-simplify: Simplify 1 into 1 1540194251.299 * [misc]backup-simplify: Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1)) 1540194251.300 * * * [misc]progress: simplifying candidates 1540194251.300 * * * * [misc]progress: [ 1 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 2 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 3 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 4 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 5 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 6 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 7 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 8 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 9 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 10 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 11 / 39 ] simplifiying candidate # 1540194251.300 * * * * [misc]progress: [ 12 / 39 ] simplifiying candidate # 1540194251.301 * * * * [misc]progress: [ 13 / 39 ] simplifiying candidate # 1540194251.301 * * * * [misc]progress: [ 14 / 39 ] simplifiying candidate # 1540194251.301 * * * * [misc]progress: [ 15 / 39 ] simplifiying candidate # 1540194251.301 * [enter]simplify: Simplifying (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1540194251.301 * * [misc]simplify: iters left: 5 (5 enodes) 1540194251.303 * * [misc]simplify: iters left: 4 (8 enodes) 1540194251.305 * [exit]simplify: Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1540194251.305 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ N 1)) (cbrt (+ N 1))) (* (cbrt (+ 1 N)) N))))) 1540194251.305 * * * * [misc]progress: [ 16 / 39 ] simplifiying candidate # 1540194251.306 * [enter]simplify: Simplifying (sqrt (+ 1 N)) 1540194251.306 * * [misc]simplify: iters left: 3 (4 enodes) 1540194251.307 * * [misc]simplify: iters left: 2 (7 enodes) 1540194251.309 * [exit]simplify: Simplified to (sqrt (+ N 1)) 1540194251.309 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (sqrt (+ N 1)) (* (sqrt (+ 1 N)) N))))) 1540194251.309 * * * * [misc]progress: [ 17 / 39 ] simplifiying candidate # 1540194251.309 * * * * [misc]progress: [ 18 / 39 ] simplifiying candidate # 1540194251.309 * [enter]simplify: Simplifying (* (+ (pow 1 3) (pow N 3)) N) 1540194251.309 * * [misc]simplify: iters left: 5 (7 enodes) 1540194251.312 * * [misc]simplify: iters left: 4 (16 enodes) 1540194251.316 * * [misc]simplify: iters left: 3 (24 enodes) 1540194251.326 * * [misc]simplify: iters left: 2 (31 enodes) 1540194251.330 * [exit]simplify: Simplified to (+ (pow N 4) N) 1540194251.330 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (+ (pow N 4) N) (+ (* 1 1) (- (* N N) (* 1 N))))))) 1540194251.330 * * * * [misc]progress: [ 19 / 39 ] simplifiying candidate # 1540194251.330 * [enter]simplify: Simplifying (* (- (* 1 1) (* N N)) N) 1540194251.330 * * [misc]simplify: iters left: 6 (6 enodes) 1540194251.331 * * [misc]simplify: iters left: 5 (11 enodes) 1540194251.333 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.336 * * [misc]simplify: iters left: 3 (28 enodes) 1540194251.339 * * [misc]simplify: iters left: 2 (31 enodes) 1540194251.343 * [exit]simplify: Simplified to (- N (pow N 3)) 1540194251.343 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (/ (- N (pow N 3)) (- 1 N))))) 1540194251.343 * * * * [misc]progress: [ 20 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 21 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 22 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 23 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 24 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 25 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 26 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 27 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 28 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 29 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 30 / 39 ] simplifiying candidate # 1540194251.343 * * * * [misc]progress: [ 31 / 39 ] simplifiying candidate # 1540194251.343 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.343 * * [misc]simplify: iters left: 6 (7 enodes) 1540194251.344 * * [misc]simplify: iters left: 5 (14 enodes) 1540194251.346 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.349 * * [misc]simplify: iters left: 3 (23 enodes) 1540194251.352 * * [misc]simplify: iters left: 2 (29 enodes) 1540194251.356 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194251.356 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194251.356 * * * * [misc]progress: [ 32 / 39 ] simplifiying candidate # 1540194251.356 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.357 * * [misc]simplify: iters left: 6 (7 enodes) 1540194251.359 * * [misc]simplify: iters left: 5 (14 enodes) 1540194251.363 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.368 * * [misc]simplify: iters left: 3 (23 enodes) 1540194251.374 * * [misc]simplify: iters left: 2 (29 enodes) 1540194251.382 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194251.382 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194251.382 * * * * [misc]progress: [ 33 / 39 ] simplifiying candidate # 1540194251.382 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.382 * * [misc]simplify: iters left: 6 (7 enodes) 1540194251.384 * * [misc]simplify: iters left: 5 (14 enodes) 1540194251.388 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.394 * * [misc]simplify: iters left: 3 (23 enodes) 1540194251.399 * * [misc]simplify: iters left: 2 (29 enodes) 1540194251.407 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194251.407 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194251.407 * * * * [misc]progress: [ 34 / 39 ] simplifiying candidate # 1540194251.409 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540194251.409 * * [misc]simplify: iters left: 3 (4 enodes) 1540194251.410 * * [misc]simplify: iters left: 2 (6 enodes) 1540194251.412 * * [misc]simplify: iters left: 1 (9 enodes) 1540194251.415 * [exit]simplify: Simplified to (+ N (* N N)) 1540194251.415 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540194251.415 * * * * [misc]progress: [ 35 / 39 ] simplifiying candidate # 1540194251.415 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540194251.415 * * [misc]simplify: iters left: 3 (4 enodes) 1540194251.417 * * [misc]simplify: iters left: 2 (6 enodes) 1540194251.419 * * [misc]simplify: iters left: 1 (9 enodes) 1540194251.421 * [exit]simplify: Simplified to (+ N (* N N)) 1540194251.422 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540194251.422 * * * * [misc]progress: [ 36 / 39 ] simplifiying candidate # 1540194251.422 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540194251.422 * * [misc]simplify: iters left: 3 (4 enodes) 1540194251.423 * * [misc]simplify: iters left: 2 (6 enodes) 1540194251.425 * * [misc]simplify: iters left: 1 (9 enodes) 1540194251.427 * [exit]simplify: Simplified to (+ N (* N N)) 1540194251.427 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540194251.428 * * * * [misc]progress: [ 37 / 39 ] simplifiying candidate # 1540194251.428 * [enter]simplify: Simplifying (+ N (+ (pow N 2) 1)) 1540194251.428 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.430 * * [misc]simplify: iters left: 4 (13 enodes) 1540194251.433 * * [misc]simplify: iters left: 3 (20 enodes) 1540194251.438 * * [misc]simplify: iters left: 2 (22 enodes) 1540194251.444 * * [misc]simplify: iters left: 1 (28 enodes) 1540194251.451 * [exit]simplify: Simplified to (+ (+ 1 N) (* N N)) 1540194251.451 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194251.451 * * * * [misc]progress: [ 38 / 39 ] simplifiying candidate # 1540194251.452 * [enter]simplify: Simplifying (+ N (+ (pow N 2) 1)) 1540194251.452 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.454 * * [misc]simplify: iters left: 4 (13 enodes) 1540194251.457 * * [misc]simplify: iters left: 3 (20 enodes) 1540194251.462 * * [misc]simplify: iters left: 2 (22 enodes) 1540194251.468 * * [misc]simplify: iters left: 1 (28 enodes) 1540194251.476 * [exit]simplify: Simplified to (+ (+ 1 N) (* N N)) 1540194251.476 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194251.476 * * * * [misc]progress: [ 39 / 39 ] simplifiying candidate # 1540194251.476 * [enter]simplify: Simplifying (+ N (+ (pow N 2) 1)) 1540194251.476 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.478 * * [misc]simplify: iters left: 4 (13 enodes) 1540194251.482 * * [misc]simplify: iters left: 3 (20 enodes) 1540194251.487 * * [misc]simplify: iters left: 2 (22 enodes) 1540194251.492 * * [misc]simplify: iters left: 1 (28 enodes) 1540194251.500 * [exit]simplify: Simplified to (+ (+ 1 N) (* N N)) 1540194251.500 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194251.500 * * * [misc]progress: adding candidates to table 1540194251.830 * * [misc]progress: iteration 3 / 4 1540194251.830 * * * [misc]progress: picking best candidate 1540194251.849 * * * * [misc]pick: Picked # 1540194251.849 * * * [misc]progress: localizing error 1540194251.869 * * * [misc]progress: generating rewritten candidates 1540194251.869 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1540194251.869 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2) 1540194251.876 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 2) 1540194251.878 * * * [misc]progress: generating series expansions 1540194251.878 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1540194251.878 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ N (pow N 2)))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.878 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540194251.878 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540194251.878 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.878 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540194251.878 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.878 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.879 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ (/ 1 N) (pow (/ 1 N) 2)))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.879 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540194251.879 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540194251.879 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.879 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540194251.879 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.879 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.879 * [misc]backup-simplify: Simplify 0 into 0 1540194251.880 * [misc]backup-simplify: Simplify 0 into 0 1540194251.880 * [misc]backup-simplify: Simplify 0 into 0 1540194251.880 * [misc]backup-simplify: Simplify 0 into 0 1540194251.880 * [misc]backup-simplify: Simplify 0 into 0 1540194251.880 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.880 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.880 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540194251.880 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540194251.880 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.880 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540194251.881 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.881 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194251.881 * [misc]backup-simplify: Simplify 0 into 0 1540194251.881 * [misc]backup-simplify: Simplify 0 into 0 1540194251.881 * [misc]backup-simplify: Simplify 0 into 0 1540194251.881 * [misc]backup-simplify: Simplify 0 into 0 1540194251.881 * [misc]backup-simplify: Simplify 0 into 0 1540194251.881 * [misc]backup-simplify: Simplify 0 into 0 1540194251.881 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.881 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2) 1540194251.882 * [misc]backup-simplify: Simplify (+ 1 (+ N (pow N 2))) into (+ N (+ (pow N 2) 1)) 1540194251.882 * [misc]approximate: Taking taylor expansion of (+ N (+ (pow N 2) 1)) in (N) around 0 1540194251.882 * [misc]taylor: Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N 1540194251.882 * [misc]taylor: Taking taylor expansion of N in N 1540194251.882 * [misc]backup-simplify: Simplify 0 into 0 1540194251.882 * [misc]backup-simplify: Simplify 1 into 1 1540194251.882 * [misc]taylor: Taking taylor expansion of (+ (pow N 2) 1) in N 1540194251.882 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.882 * [misc]taylor: Taking taylor expansion of N in N 1540194251.882 * [misc]backup-simplify: Simplify 0 into 0 1540194251.882 * [misc]backup-simplify: Simplify 1 into 1 1540194251.882 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.882 * [misc]backup-simplify: Simplify 1 into 1 1540194251.882 * [misc]taylor: Taking taylor expansion of (+ N (+ (pow N 2) 1)) in N 1540194251.882 * [misc]taylor: Taking taylor expansion of N in N 1540194251.882 * [misc]backup-simplify: Simplify 0 into 0 1540194251.882 * [misc]backup-simplify: Simplify 1 into 1 1540194251.882 * [misc]taylor: Taking taylor expansion of (+ (pow N 2) 1) in N 1540194251.882 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.882 * [misc]taylor: Taking taylor expansion of N in N 1540194251.882 * [misc]backup-simplify: Simplify 0 into 0 1540194251.882 * [misc]backup-simplify: Simplify 1 into 1 1540194251.882 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.882 * [misc]backup-simplify: Simplify 1 into 1 1540194251.883 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.883 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.883 * [misc]backup-simplify: Simplify 1 into 1 1540194251.883 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.883 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.883 * [misc]backup-simplify: Simplify 1 into 1 1540194251.883 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.884 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.884 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.884 * [misc]backup-simplify: Simplify 1 into 1 1540194251.884 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1)) 1540194251.884 * [misc]backup-simplify: Simplify (+ 1 (+ (/ 1 N) (pow (/ 1 N) 2))) into (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) 1540194251.884 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in (N) around 0 1540194251.884 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N 1540194251.884 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.884 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.884 * [misc]taylor: Taking taylor expansion of N in N 1540194251.884 * [misc]backup-simplify: Simplify 0 into 0 1540194251.884 * [misc]backup-simplify: Simplify 1 into 1 1540194251.885 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.885 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.885 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194251.885 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.885 * [misc]taylor: Taking taylor expansion of N in N 1540194251.885 * [misc]backup-simplify: Simplify 0 into 0 1540194251.885 * [misc]backup-simplify: Simplify 1 into 1 1540194251.885 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.885 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.885 * [misc]backup-simplify: Simplify 1 into 1 1540194251.885 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1)) in N 1540194251.885 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.885 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.885 * [misc]taylor: Taking taylor expansion of N in N 1540194251.885 * [misc]backup-simplify: Simplify 0 into 0 1540194251.885 * [misc]backup-simplify: Simplify 1 into 1 1540194251.886 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.886 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.886 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194251.886 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.886 * [misc]taylor: Taking taylor expansion of N in N 1540194251.886 * [misc]backup-simplify: Simplify 0 into 0 1540194251.886 * [misc]backup-simplify: Simplify 1 into 1 1540194251.886 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.886 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.886 * [misc]backup-simplify: Simplify 1 into 1 1540194251.886 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.886 * [misc]backup-simplify: Simplify 1 into 1 1540194251.887 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.887 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.887 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.888 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.888 * [misc]backup-simplify: Simplify 1 into 1 1540194251.888 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.888 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.888 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.889 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.889 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.889 * [misc]backup-simplify: Simplify 1 into 1 1540194251.889 * [misc]backup-simplify: Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1)) 1540194251.889 * [misc]backup-simplify: Simplify (+ 1 (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2))) into (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) 1540194251.889 * [misc]approximate: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in (N) around 0 1540194251.889 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N 1540194251.889 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of N in N 1540194251.890 * [misc]backup-simplify: Simplify 0 into 0 1540194251.890 * [misc]backup-simplify: Simplify 1 into 1 1540194251.890 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.890 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.890 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.890 * [misc]backup-simplify: Simplify 1 into 1 1540194251.890 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of N in N 1540194251.890 * [misc]backup-simplify: Simplify 0 into 0 1540194251.890 * [misc]backup-simplify: Simplify 1 into 1 1540194251.890 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.890 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (/ 1 N)) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.890 * [misc]taylor: Taking taylor expansion of N in N 1540194251.890 * [misc]backup-simplify: Simplify 0 into 0 1540194251.891 * [misc]backup-simplify: Simplify 1 into 1 1540194251.891 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.891 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.891 * [misc]taylor: Taking taylor expansion of 1 in N 1540194251.891 * [misc]backup-simplify: Simplify 1 into 1 1540194251.891 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.891 * [misc]taylor: Taking taylor expansion of N in N 1540194251.891 * [misc]backup-simplify: Simplify 0 into 0 1540194251.891 * [misc]backup-simplify: Simplify 1 into 1 1540194251.891 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.891 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.892 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.892 * [misc]backup-simplify: Simplify 1 into 1 1540194251.892 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.892 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.892 * [misc]backup-simplify: Simplify (- 1) into -1 1540194251.892 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194251.893 * [misc]backup-simplify: Simplify -1 into -1 1540194251.893 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.893 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.893 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.893 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.894 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.894 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.894 * [misc]backup-simplify: Simplify 1 into 1 1540194251.894 * [misc]backup-simplify: Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1)) 1540194251.894 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 2) 1540194251.894 * [misc]backup-simplify: Simplify (+ N (pow N 2)) into (+ N (pow N 2)) 1540194251.894 * [misc]approximate: Taking taylor expansion of (+ N (pow N 2)) in (N) around 0 1540194251.894 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540194251.894 * [misc]taylor: Taking taylor expansion of N in N 1540194251.894 * [misc]backup-simplify: Simplify 0 into 0 1540194251.895 * [misc]backup-simplify: Simplify 1 into 1 1540194251.895 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.895 * [misc]taylor: Taking taylor expansion of N in N 1540194251.895 * [misc]backup-simplify: Simplify 0 into 0 1540194251.895 * [misc]backup-simplify: Simplify 1 into 1 1540194251.895 * [misc]taylor: Taking taylor expansion of (+ N (pow N 2)) in N 1540194251.895 * [misc]taylor: Taking taylor expansion of N in N 1540194251.895 * [misc]backup-simplify: Simplify 0 into 0 1540194251.895 * [misc]backup-simplify: Simplify 1 into 1 1540194251.895 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.895 * [misc]taylor: Taking taylor expansion of N in N 1540194251.895 * [misc]backup-simplify: Simplify 0 into 0 1540194251.895 * [misc]backup-simplify: Simplify 1 into 1 1540194251.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.895 * [misc]backup-simplify: Simplify 0 into 0 1540194251.895 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.895 * [misc]backup-simplify: Simplify 1 into 1 1540194251.895 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.896 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.896 * [misc]backup-simplify: Simplify 1 into 1 1540194251.896 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.896 * [misc]backup-simplify: Simplify 0 into 0 1540194251.896 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.897 * [misc]backup-simplify: Simplify 0 into 0 1540194251.897 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540194251.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.897 * [misc]backup-simplify: Simplify 0 into 0 1540194251.898 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540194251.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.898 * [misc]backup-simplify: Simplify 0 into 0 1540194251.898 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540194251.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.898 * [misc]backup-simplify: Simplify 0 into 0 1540194251.899 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540194251.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.899 * [misc]backup-simplify: Simplify 0 into 0 1540194251.899 * [misc]backup-simplify: Simplify (+ (* 1 (pow N 2)) (* 1 N)) into (+ N (pow N 2)) 1540194251.899 * [misc]backup-simplify: Simplify (+ (/ 1 N) (pow (/ 1 N) 2)) into (+ (/ 1 (pow N 2)) (/ 1 N)) 1540194251.900 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1540194251.900 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of N in N 1540194251.900 * [misc]backup-simplify: Simplify 0 into 0 1540194251.900 * [misc]backup-simplify: Simplify 1 into 1 1540194251.900 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.900 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.900 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of N in N 1540194251.900 * [misc]backup-simplify: Simplify 0 into 0 1540194251.900 * [misc]backup-simplify: Simplify 1 into 1 1540194251.900 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.900 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow N 2)) (/ 1 N)) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.900 * [misc]taylor: Taking taylor expansion of N in N 1540194251.900 * [misc]backup-simplify: Simplify 0 into 0 1540194251.900 * [misc]backup-simplify: Simplify 1 into 1 1540194251.901 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.901 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.901 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.901 * [misc]taylor: Taking taylor expansion of N in N 1540194251.901 * [misc]backup-simplify: Simplify 0 into 0 1540194251.901 * [misc]backup-simplify: Simplify 1 into 1 1540194251.901 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.901 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.901 * [misc]backup-simplify: Simplify 1 into 1 1540194251.902 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.902 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.902 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194251.902 * [misc]backup-simplify: Simplify 1 into 1 1540194251.902 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.903 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.903 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.903 * [misc]backup-simplify: Simplify 0 into 0 1540194251.903 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540194251.904 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.904 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.904 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.904 * [misc]backup-simplify: Simplify 0 into 0 1540194251.905 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540194251.905 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.905 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.906 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.906 * [misc]backup-simplify: Simplify 0 into 0 1540194251.906 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540194251.907 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.907 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.907 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.907 * [misc]backup-simplify: Simplify 0 into 0 1540194251.908 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540194251.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.909 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.909 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.909 * [misc]backup-simplify: Simplify 0 into 0 1540194251.910 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1540194251.910 * [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 1540194251.911 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.911 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.911 * [misc]backup-simplify: Simplify 0 into 0 1540194251.911 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ N (pow N 2)) 1540194251.912 * [misc]backup-simplify: Simplify (+ (/ 1 (- N)) (pow (/ 1 (- N)) 2)) into (- (/ 1 (pow N 2)) (/ 1 N)) 1540194251.912 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in (N) around 0 1540194251.912 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540194251.912 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.912 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.912 * [misc]taylor: Taking taylor expansion of N in N 1540194251.912 * [misc]backup-simplify: Simplify 0 into 0 1540194251.912 * [misc]backup-simplify: Simplify 1 into 1 1540194251.912 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.912 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.912 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.912 * [misc]taylor: Taking taylor expansion of N in N 1540194251.912 * [misc]backup-simplify: Simplify 0 into 0 1540194251.912 * [misc]backup-simplify: Simplify 1 into 1 1540194251.912 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.912 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow N 2)) (/ 1 N)) in N 1540194251.913 * [misc]taylor: Taking taylor expansion of (/ 1 (pow N 2)) in N 1540194251.913 * [misc]taylor: Taking taylor expansion of (pow N 2) in N 1540194251.913 * [misc]taylor: Taking taylor expansion of N in N 1540194251.913 * [misc]backup-simplify: Simplify 0 into 0 1540194251.913 * [misc]backup-simplify: Simplify 1 into 1 1540194251.913 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194251.913 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.913 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194251.913 * [misc]taylor: Taking taylor expansion of N in N 1540194251.913 * [misc]backup-simplify: Simplify 0 into 0 1540194251.913 * [misc]backup-simplify: Simplify 1 into 1 1540194251.913 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194251.913 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194251.913 * [misc]backup-simplify: Simplify 1 into 1 1540194251.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540194251.914 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.914 * [misc]backup-simplify: Simplify (- 1) into -1 1540194251.914 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194251.914 * [misc]backup-simplify: Simplify -1 into -1 1540194251.915 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1540194251.915 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.915 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194251.915 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.915 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.915 * [misc]backup-simplify: Simplify 0 into 0 1540194251.916 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1540194251.916 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.916 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.917 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.917 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.917 * [misc]backup-simplify: Simplify 0 into 0 1540194251.917 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1540194251.918 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.918 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.918 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.918 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.918 * [misc]backup-simplify: Simplify 0 into 0 1540194251.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1540194251.919 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.920 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.920 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.920 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.920 * [misc]backup-simplify: Simplify 0 into 0 1540194251.921 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1540194251.921 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.922 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.922 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.922 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.922 * [misc]backup-simplify: Simplify 0 into 0 1540194251.923 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1540194251.923 * [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 1540194251.924 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194251.924 * [misc]backup-simplify: Simplify (- 0) into 0 1540194251.924 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194251.924 * [misc]backup-simplify: Simplify 0 into 0 1540194251.924 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ N (pow N 2)) 1540194251.925 * * * [misc]progress: simplifying candidates 1540194251.925 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1540194251.925 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1540194251.926 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1540194251.926 * [enter]simplify: Simplifying (pow N 2) 1540194251.926 * * [misc]simplify: iters left: 1 (3 enodes) 1540194251.927 * [exit]simplify: Simplified to (* N N) 1540194251.927 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194251.927 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1540194251.927 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1540194251.928 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1540194251.928 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1540194251.928 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1540194251.928 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.928 * * [misc]simplify: iters left: 6 (7 enodes) 1540194251.930 * * [misc]simplify: iters left: 5 (14 enodes) 1540194251.936 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.942 * * [misc]simplify: iters left: 3 (23 enodes) 1540194251.947 * * [misc]simplify: iters left: 2 (29 enodes) 1540194251.955 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194251.956 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194251.957 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1540194251.957 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.957 * * [misc]simplify: iters left: 6 (7 enodes) 1540194251.959 * * [misc]simplify: iters left: 5 (14 enodes) 1540194251.963 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.968 * * [misc]simplify: iters left: 3 (23 enodes) 1540194251.973 * * [misc]simplify: iters left: 2 (29 enodes) 1540194251.981 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194251.981 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194251.981 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1540194251.981 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194251.982 * * [misc]simplify: iters left: 6 (7 enodes) 1540194251.983 * * [misc]simplify: iters left: 5 (14 enodes) 1540194251.985 * * [misc]simplify: iters left: 4 (21 enodes) 1540194251.988 * * [misc]simplify: iters left: 3 (23 enodes) 1540194251.990 * * [misc]simplify: iters left: 2 (29 enodes) 1540194251.994 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194251.994 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194251.994 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1540194251.994 * [enter]simplify: Simplifying (+ N (+ (pow N 2) 1)) 1540194251.994 * * [misc]simplify: iters left: 5 (6 enodes) 1540194251.995 * * [misc]simplify: iters left: 4 (13 enodes) 1540194251.997 * * [misc]simplify: iters left: 3 (20 enodes) 1540194251.999 * * [misc]simplify: iters left: 2 (22 enodes) 1540194252.002 * * [misc]simplify: iters left: 1 (28 enodes) 1540194252.008 * [exit]simplify: Simplified to (+ (+ 1 N) (* N N)) 1540194252.008 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194252.008 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1540194252.008 * [enter]simplify: Simplifying (+ N (+ (pow N 2) 1)) 1540194252.008 * * [misc]simplify: iters left: 5 (6 enodes) 1540194252.010 * * [misc]simplify: iters left: 4 (13 enodes) 1540194252.014 * * [misc]simplify: iters left: 3 (20 enodes) 1540194252.019 * * [misc]simplify: iters left: 2 (22 enodes) 1540194252.024 * * [misc]simplify: iters left: 1 (28 enodes) 1540194252.031 * [exit]simplify: Simplified to (+ (+ 1 N) (* N N)) 1540194252.031 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194252.031 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1540194252.032 * [enter]simplify: Simplifying (+ N (+ (pow N 2) 1)) 1540194252.032 * * [misc]simplify: iters left: 5 (6 enodes) 1540194252.034 * * [misc]simplify: iters left: 4 (13 enodes) 1540194252.037 * * [misc]simplify: iters left: 3 (20 enodes) 1540194252.042 * * [misc]simplify: iters left: 2 (22 enodes) 1540194252.047 * * [misc]simplify: iters left: 1 (28 enodes) 1540194252.055 * [exit]simplify: Simplified to (+ (+ 1 N) (* N N)) 1540194252.055 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (+ (+ 1 N) (* N N)))) 1540194252.055 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1540194252.055 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540194252.055 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.056 * * [misc]simplify: iters left: 2 (6 enodes) 1540194252.059 * * [misc]simplify: iters left: 1 (9 enodes) 1540194252.062 * [exit]simplify: Simplified to (+ N (* N N)) 1540194252.062 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540194252.062 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1540194252.062 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540194252.062 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.064 * * [misc]simplify: iters left: 2 (6 enodes) 1540194252.065 * * [misc]simplify: iters left: 1 (9 enodes) 1540194252.068 * [exit]simplify: Simplified to (+ N (* N N)) 1540194252.068 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540194252.068 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1540194252.068 * [enter]simplify: Simplifying (+ N (pow N 2)) 1540194252.068 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.070 * * [misc]simplify: iters left: 2 (6 enodes) 1540194252.071 * * [misc]simplify: iters left: 1 (9 enodes) 1540194252.074 * [exit]simplify: Simplified to (+ N (* N N)) 1540194252.074 * [misc]simplify: Simplified (2 2 2) to (λ (N) (atan2 1 (+ 1 (+ N (* N N))))) 1540194252.074 * * * [misc]progress: adding candidates to table 1540194252.337 * * [misc]progress: iteration 4 / 4 1540194252.337 * * * [misc]progress: picking best candidate 1540194252.346 * * * * [misc]pick: Picked # 1540194252.346 * * * [misc]progress: localizing error 1540194252.376 * * * [misc]progress: generating rewritten candidates 1540194252.376 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2) 1540194252.376 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1) 1540194252.382 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2 1) 1540194252.383 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1 2) 1540194252.384 * * * [misc]progress: generating series expansions 1540194252.384 * * * * [misc]progress: [ 1 / 4 ] generating series at (2) 1540194252.384 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt (+ 1 N)) N)))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.384 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in (N) around 0 1540194252.384 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540194252.384 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.384 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ N (+ (pow N 2) 1))) in N 1540194252.384 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.384 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.384 * [misc]backup-simplify: Simplify 0 into 0 1540194252.384 * [misc]backup-simplify: Simplify 0 into 0 1540194252.384 * [misc]backup-simplify: Simplify 0 into 0 1540194252.384 * [misc]backup-simplify: Simplify 0 into 0 1540194252.384 * [misc]backup-simplify: Simplify 0 into 0 1540194252.384 * [misc]backup-simplify: Simplify 0 into 0 1540194252.385 * [misc]backup-simplify: Simplify (atan2 1 (+ N (+ (pow N 2) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.385 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N)))) (* (cbrt (+ 1 (/ 1 N))) (/ 1 N))))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194252.385 * [misc]approximate: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in (N) around 0 1540194252.385 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540194252.385 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194252.385 * [misc]taylor: Taking taylor expansion of (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) in N 1540194252.385 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194252.385 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) into (atan2 1 (+ (/ 1 (pow N 2)) (+ (/ 1 N) 1))) 1540194252.385 * [misc]backup-simplify: Simplify 0 into 0 1540194252.385 * [misc]backup-simplify: Simplify 0 into 0 1540194252.385 * [misc]backup-simplify: Simplify 0 into 0 1540194252.385 * [misc]backup-simplify: Simplify 0 into 0 1540194252.385 * [misc]backup-simplify: Simplify 0 into 0 1540194252.386 * [misc]backup-simplify: Simplify 0 into 0 1540194252.386 * [misc]backup-simplify: Simplify (atan2 1 (+ (/ 1 (pow (/ 1 N) 2)) (+ (/ 1 (/ 1 N)) 1))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.386 * [misc]backup-simplify: Simplify (atan2 1 (+ 1 (* (* (cbrt (+ 1 (/ 1 (- N)))) (cbrt (+ 1 (/ 1 (- N))))) (* (cbrt (+ 1 (/ 1 (- N)))) (/ 1 (- N)))))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194252.386 * [misc]approximate: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in (N) around 0 1540194252.386 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540194252.386 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194252.386 * [misc]taylor: Taking taylor expansion of (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) in N 1540194252.386 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194252.386 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) into (atan2 1 (- (+ (/ 1 (pow N 2)) 1) (/ 1 N))) 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify (atan2 1 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (/ 1 (/ 1 (- N))))) into (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.387 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1) 1540194252.387 * [misc]backup-simplify: Simplify (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) into (pow (pow (+ N 1) 2) 1/3) 1540194252.387 * [misc]approximate: Taking taylor expansion of (pow (pow (+ N 1) 2) 1/3) in (N) around 0 1540194252.387 * [misc]taylor: Taking taylor expansion of (pow (pow (+ N 1) 2) 1/3) in N 1540194252.387 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N 1) 2)))) in N 1540194252.387 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ N 1) 2))) in N 1540194252.387 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.387 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.387 * [misc]taylor: Taking taylor expansion of (log (pow (+ N 1) 2)) in N 1540194252.387 * [misc]taylor: Taking taylor expansion of (pow (+ N 1) 2) in N 1540194252.387 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194252.387 * [misc]taylor: Taking taylor expansion of N in N 1540194252.387 * [misc]backup-simplify: Simplify 0 into 0 1540194252.387 * [misc]backup-simplify: Simplify 1 into 1 1540194252.387 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.387 * [misc]backup-simplify: Simplify 1 into 1 1540194252.387 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.388 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194252.388 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.388 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1540194252.388 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.388 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540194252.390 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540194252.390 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3 1540194252.390 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194252.390 * [misc]taylor: Taking taylor expansion of (pow (pow (+ N 1) 2) 1/3) in N 1540194252.390 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ N 1) 2)))) in N 1540194252.390 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ N 1) 2))) in N 1540194252.390 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.390 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.390 * [misc]taylor: Taking taylor expansion of (log (pow (+ N 1) 2)) in N 1540194252.390 * [misc]taylor: Taking taylor expansion of (pow (+ N 1) 2) in N 1540194252.390 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194252.390 * [misc]taylor: Taking taylor expansion of N in N 1540194252.390 * [misc]backup-simplify: Simplify 0 into 0 1540194252.390 * [misc]backup-simplify: Simplify 1 into 1 1540194252.390 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.390 * [misc]backup-simplify: Simplify 1 into 1 1540194252.390 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.390 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194252.390 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.391 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1540194252.391 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.391 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540194252.392 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540194252.392 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3 1540194252.392 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194252.393 * [misc]backup-simplify: Simplify 1 into 1 1540194252.393 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 2/3 1) 1)))) into 2/3 1540194252.393 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540194252.394 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.394 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1540194252.397 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540194252.397 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 0))) into -1/3 1540194252.398 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow -1/3 1) 1)))) into -1/9 1540194252.398 * [misc]backup-simplify: Simplify -1/9 into -1/9 1540194252.398 * [misc]backup-simplify: Simplify (+ (* -1/9 (pow N 2)) (+ (* 2/3 N) 1)) into (- (+ (* 2/3 N) 1) (* 1/9 (pow N 2))) 1540194252.398 * [misc]backup-simplify: Simplify (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N)))) into (pow (pow (+ (/ 1 N) 1) 2) 1/3) 1540194252.398 * [misc]approximate: Taking taylor expansion of (pow (pow (+ (/ 1 N) 1) 2) 1/3) in (N) around 0 1540194252.398 * [misc]taylor: Taking taylor expansion of (pow (pow (+ (/ 1 N) 1) 2) 1/3) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 N) 1) 2)))) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 N) 1) 2))) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.399 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.399 * [misc]taylor: Taking taylor expansion of (log (pow (+ (/ 1 N) 1) 2)) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 N) 1) 2) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of N in N 1540194252.399 * [misc]backup-simplify: Simplify 0 into 0 1540194252.399 * [misc]backup-simplify: Simplify 1 into 1 1540194252.399 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.399 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.399 * [misc]backup-simplify: Simplify 1 into 1 1540194252.399 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.399 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194252.399 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.399 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.399 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540194252.399 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540194252.399 * [misc]taylor: Taking taylor expansion of (pow (pow (+ (/ 1 N) 1) 2) 1/3) in N 1540194252.399 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 N) 1) 2)))) in N 1540194252.400 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 N) 1) 2))) in N 1540194252.400 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.400 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.400 * [misc]taylor: Taking taylor expansion of (log (pow (+ (/ 1 N) 1) 2)) in N 1540194252.400 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 N) 1) 2) in N 1540194252.400 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194252.400 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.400 * [misc]taylor: Taking taylor expansion of N in N 1540194252.400 * [misc]backup-simplify: Simplify 0 into 0 1540194252.400 * [misc]backup-simplify: Simplify 1 into 1 1540194252.400 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.400 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.400 * [misc]backup-simplify: Simplify 1 into 1 1540194252.400 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.400 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540194252.400 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.400 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.400 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540194252.400 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540194252.400 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540194252.401 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194252.401 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.401 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540194252.402 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2 1540194252.403 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.403 * [misc]backup-simplify: Simplify (+ (* 1/3 2) (* 0 (- (* 2 (log N))))) into 2/3 1540194252.403 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 2/3 1) 1)))) into (* 2/3 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.404 * [misc]backup-simplify: Simplify (* 2/3 (pow (/ 1 (pow N 2)) 1/3)) into (* 2/3 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.404 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194252.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.404 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1540194252.407 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540194252.407 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.407 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 2) (* 0 (- (* 2 (log N)))))) into (- 1/3) 1540194252.408 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.408 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.409 * [misc]backup-simplify: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 2/3 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (- (+ (* 2/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540194252.409 * [misc]backup-simplify: Simplify (* (cbrt (+ 1 (/ 1 (- N)))) (cbrt (+ 1 (/ 1 (- N))))) into (pow (pow (- 1 (/ 1 N)) 2) 1/3) 1540194252.409 * [misc]approximate: Taking taylor expansion of (pow (pow (- 1 (/ 1 N)) 2) 1/3) in (N) around 0 1540194252.409 * [misc]taylor: Taking taylor expansion of (pow (pow (- 1 (/ 1 N)) 2) 1/3) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1 (/ 1 N)) 2)))) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (- 1 (/ 1 N)) 2))) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.409 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.409 * [misc]taylor: Taking taylor expansion of (log (pow (- 1 (/ 1 N)) 2)) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 N)) 2) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.409 * [misc]backup-simplify: Simplify 1 into 1 1540194252.409 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.409 * [misc]taylor: Taking taylor expansion of N in N 1540194252.409 * [misc]backup-simplify: Simplify 0 into 0 1540194252.409 * [misc]backup-simplify: Simplify 1 into 1 1540194252.409 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.409 * [misc]backup-simplify: Simplify (- 1) into -1 1540194252.410 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194252.410 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1540194252.410 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.410 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.410 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540194252.410 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540194252.410 * [misc]taylor: Taking taylor expansion of (pow (pow (- 1 (/ 1 N)) 2) 1/3) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1 (/ 1 N)) 2)))) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (pow (- 1 (/ 1 N)) 2))) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.410 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.410 * [misc]taylor: Taking taylor expansion of (log (pow (- 1 (/ 1 N)) 2)) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 N)) 2) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.410 * [misc]backup-simplify: Simplify 1 into 1 1540194252.410 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.410 * [misc]taylor: Taking taylor expansion of N in N 1540194252.410 * [misc]backup-simplify: Simplify 0 into 0 1540194252.410 * [misc]backup-simplify: Simplify 1 into 1 1540194252.410 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.411 * [misc]backup-simplify: Simplify (- 1) into -1 1540194252.411 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194252.411 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1540194252.411 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.411 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.411 * [misc]backup-simplify: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N)) 1540194252.411 * [misc]backup-simplify: Simplify (exp (* -2/3 (log N))) into (pow N -2/3) 1540194252.411 * [misc]backup-simplify: Simplify (pow N -2/3) into (pow N -2/3) 1540194252.411 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194252.412 * [misc]backup-simplify: Simplify (- 0) into 0 1540194252.412 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.412 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 1 -1)) into -2 1540194252.414 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -2) 1)) (pow 1 1)))) 1) into -2 1540194252.415 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.415 * [misc]backup-simplify: Simplify (+ (* 1/3 -2) (* 0 (- (* 2 (log N))))) into (- 2/3) 1540194252.416 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 2/3) 1) 1)))) into (* -2/3 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.416 * [misc]backup-simplify: Simplify (* -2/3 (pow (/ 1 (pow N 2)) 1/3)) into (* -2/3 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.417 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194252.417 * [misc]backup-simplify: Simplify (- 0) into 0 1540194252.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.417 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1 1540194252.422 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into -1 1540194252.422 * [misc]backup-simplify: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N))) 1540194252.422 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (+ (* 0 -2) (* 0 (- (* 2 (log N)))))) into (- 1/3) 1540194252.425 * [misc]backup-simplify: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 2/3) 2) 2)) (* (/ (pow (- 1/3) 1) 1)))) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.425 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) into (* -1/9 (pow (/ 1 (pow N 2)) 1/3)) 1540194252.425 * [misc]backup-simplify: Simplify (+ (* (* -1/9 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -2/3 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (- (+ (* 2/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540194252.425 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2 1) 1540194252.426 * [misc]backup-simplify: Simplify (cbrt (+ 1 N)) into (pow (+ N 1) 1/3) 1540194252.426 * [misc]approximate: Taking taylor expansion of (pow (+ N 1) 1/3) in (N) around 0 1540194252.426 * [misc]taylor: Taking taylor expansion of (pow (+ N 1) 1/3) in N 1540194252.426 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N 1)))) in N 1540194252.426 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N 1))) in N 1540194252.426 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.426 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.426 * [misc]taylor: Taking taylor expansion of (log (+ N 1)) in N 1540194252.426 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194252.426 * [misc]taylor: Taking taylor expansion of N in N 1540194252.426 * [misc]backup-simplify: Simplify 0 into 0 1540194252.426 * [misc]backup-simplify: Simplify 1 into 1 1540194252.426 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.426 * [misc]backup-simplify: Simplify 1 into 1 1540194252.426 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.426 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.426 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1540194252.427 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.429 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540194252.429 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1540194252.429 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194252.429 * [misc]taylor: Taking taylor expansion of (pow (+ N 1) 1/3) in N 1540194252.429 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N 1)))) in N 1540194252.429 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N 1))) in N 1540194252.429 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.429 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.430 * [misc]taylor: Taking taylor expansion of (log (+ N 1)) in N 1540194252.430 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194252.430 * [misc]taylor: Taking taylor expansion of N in N 1540194252.430 * [misc]backup-simplify: Simplify 0 into 0 1540194252.430 * [misc]backup-simplify: Simplify 1 into 1 1540194252.430 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.430 * [misc]backup-simplify: Simplify 1 into 1 1540194252.430 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.430 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.430 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1540194252.430 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.433 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540194252.433 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1540194252.433 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194252.433 * [misc]backup-simplify: Simplify 1 into 1 1540194252.435 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 1540194252.435 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.435 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.439 * [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 1540194252.440 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 1540194252.442 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 1540194252.442 * [misc]backup-simplify: Simplify -1/9 into -1/9 1540194252.442 * [misc]backup-simplify: Simplify (+ (* -1/9 (pow N 2)) (+ (* 1/3 N) 1)) into (- (+ (* 1/3 N) 1) (* 1/9 (pow N 2))) 1540194252.442 * [misc]backup-simplify: Simplify (cbrt (+ 1 (/ 1 N))) into (pow (+ (/ 1 N) 1) 1/3) 1540194252.442 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 N) 1) 1/3) in (N) around 0 1540194252.442 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 N) 1) 1/3) in N 1540194252.442 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1)))) in N 1540194252.442 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1))) in N 1540194252.442 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.442 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.443 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 1540194252.443 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194252.443 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.443 * [misc]taylor: Taking taylor expansion of N in N 1540194252.443 * [misc]backup-simplify: Simplify 0 into 0 1540194252.443 * [misc]backup-simplify: Simplify 1 into 1 1540194252.443 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.443 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.443 * [misc]backup-simplify: Simplify 1 into 1 1540194252.443 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.443 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.443 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.444 * [misc]backup-simplify: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N)) 1540194252.444 * [misc]backup-simplify: Simplify (exp (* -1/3 (log N))) into (pow N -1/3) 1540194252.444 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 N) 1) 1/3) in N 1540194252.444 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1)))) in N 1540194252.444 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1))) in N 1540194252.444 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.444 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.444 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 1540194252.444 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194252.444 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.444 * [misc]taylor: Taking taylor expansion of N in N 1540194252.444 * [misc]backup-simplify: Simplify 0 into 0 1540194252.444 * [misc]backup-simplify: Simplify 1 into 1 1540194252.444 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.444 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.444 * [misc]backup-simplify: Simplify 1 into 1 1540194252.444 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.445 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.445 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.445 * [misc]backup-simplify: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N)) 1540194252.445 * [misc]backup-simplify: Simplify (exp (* -1/3 (log N))) into (pow N -1/3) 1540194252.445 * [misc]backup-simplify: Simplify (pow N -1/3) into (pow N -1/3) 1540194252.445 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194252.446 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.448 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540194252.448 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.449 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (log N)))) into 1/3 1540194252.450 * [misc]backup-simplify: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 N) 1/3)) 1540194252.450 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 N) 1/3)) into (* 1/3 (pow (/ 1 N) 1/3)) 1540194252.450 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194252.450 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.455 * [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 1540194252.455 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.455 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log N))))) into (- 1/6) 1540194252.457 * [misc]backup-simplify: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 N) 1/3)) 1540194252.458 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 N) 1/3)) into (* -1/9 (pow (/ 1 N) 1/3)) 1540194252.458 * [misc]backup-simplify: Simplify (+ (* (* -1/9 (pow (/ 1 (/ 1 N)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 1/3 (pow (/ 1 (/ 1 N)) 1/3)) (/ 1 N)) (pow (/ 1 N) -1/3))) into (- (+ (pow (/ 1 N) -1/3) (* 1/3 (pow (/ 1 (pow N 2)) 1/3))) (* 1/9 (pow (/ 1 (pow N 5)) 1/3))) 1540194252.458 * [misc]backup-simplify: Simplify (cbrt (+ 1 (/ 1 (- N)))) into (pow (- 1 (/ 1 N)) 1/3) 1540194252.458 * [misc]approximate: Taking taylor expansion of (pow (- 1 (/ 1 N)) 1/3) in (N) around 0 1540194252.458 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 N)) 1/3) in N 1540194252.458 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 N))))) in N 1540194252.458 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 N)))) in N 1540194252.458 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.458 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.458 * [misc]taylor: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 1540194252.459 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194252.459 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.459 * [misc]backup-simplify: Simplify 1 into 1 1540194252.459 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.459 * [misc]taylor: Taking taylor expansion of N in N 1540194252.459 * [misc]backup-simplify: Simplify 0 into 0 1540194252.459 * [misc]backup-simplify: Simplify 1 into 1 1540194252.459 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.459 * [misc]backup-simplify: Simplify (- 1) into -1 1540194252.459 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194252.459 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540194252.460 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.460 * [misc]backup-simplify: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N))) 1540194252.460 * [misc]backup-simplify: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N)))) 1540194252.460 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 N)) 1/3) in N 1540194252.460 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 N))))) in N 1540194252.460 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 N)))) in N 1540194252.460 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.460 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.460 * [misc]taylor: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 1540194252.460 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194252.460 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.460 * [misc]backup-simplify: Simplify 1 into 1 1540194252.460 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.461 * [misc]taylor: Taking taylor expansion of N in N 1540194252.461 * [misc]backup-simplify: Simplify 0 into 0 1540194252.461 * [misc]backup-simplify: Simplify 1 into 1 1540194252.461 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.461 * [misc]backup-simplify: Simplify (- 1) into -1 1540194252.461 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194252.461 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540194252.462 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.462 * [misc]backup-simplify: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N))) 1540194252.462 * [misc]backup-simplify: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N)))) 1540194252.462 * [misc]backup-simplify: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N)))) 1540194252.463 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194252.463 * [misc]backup-simplify: Simplify (- 0) into 0 1540194252.463 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.466 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540194252.466 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.466 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log N)))) into (- 1/3) 1540194252.468 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.468 * [misc]backup-simplify: Simplify (* -1/3 (exp (* 1/3 (- (log -1) (log N))))) into (* -1/3 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.468 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194252.469 * [misc]backup-simplify: Simplify (- 0) into 0 1540194252.469 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.473 * [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 1540194252.473 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.474 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log N))))) into (- 1/6) 1540194252.480 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.480 * [misc]backup-simplify: Simplify (* -1/9 (exp (* 1/3 (- (log -1) (log N))))) into (* -1/9 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.481 * [misc]backup-simplify: Simplify (+ (* (* -1/9 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -1/3 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (exp (* 1/3 (- (log -1) (log (/ 1 (- N)))))))) into (- (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N)) (exp (* 1/3 (- (log -1) (log (/ -1 N)))))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2)))) 1540194252.481 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1 2) 1540194252.481 * [misc]backup-simplify: Simplify (cbrt (+ 1 N)) into (pow (+ N 1) 1/3) 1540194252.481 * [misc]approximate: Taking taylor expansion of (pow (+ N 1) 1/3) in (N) around 0 1540194252.481 * [misc]taylor: Taking taylor expansion of (pow (+ N 1) 1/3) in N 1540194252.481 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N 1)))) in N 1540194252.481 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N 1))) in N 1540194252.481 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.481 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.481 * [misc]taylor: Taking taylor expansion of (log (+ N 1)) in N 1540194252.482 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194252.482 * [misc]taylor: Taking taylor expansion of N in N 1540194252.482 * [misc]backup-simplify: Simplify 0 into 0 1540194252.482 * [misc]backup-simplify: Simplify 1 into 1 1540194252.482 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.482 * [misc]backup-simplify: Simplify 1 into 1 1540194252.482 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.482 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.482 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1540194252.482 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.485 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540194252.485 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1540194252.485 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194252.485 * [misc]taylor: Taking taylor expansion of (pow (+ N 1) 1/3) in N 1540194252.485 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ N 1)))) in N 1540194252.485 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ N 1))) in N 1540194252.485 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.485 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.485 * [misc]taylor: Taking taylor expansion of (log (+ N 1)) in N 1540194252.485 * [misc]taylor: Taking taylor expansion of (+ N 1) in N 1540194252.485 * [misc]taylor: Taking taylor expansion of N in N 1540194252.485 * [misc]backup-simplify: Simplify 0 into 0 1540194252.485 * [misc]backup-simplify: Simplify 1 into 1 1540194252.485 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.485 * [misc]backup-simplify: Simplify 1 into 1 1540194252.486 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.486 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.486 * [misc]backup-simplify: Simplify (* 1/3 0) into 0 1540194252.487 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.489 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540194252.489 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 1540194252.489 * [misc]backup-simplify: Simplify (exp 0) into 1 1540194252.489 * [misc]backup-simplify: Simplify 1 into 1 1540194252.491 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3 1540194252.491 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.491 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.495 * [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 1540194252.496 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 0))) into -1/6 1540194252.498 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow -1/6 1) 1)))) into -1/9 1540194252.498 * [misc]backup-simplify: Simplify -1/9 into -1/9 1540194252.498 * [misc]backup-simplify: Simplify (+ (* -1/9 (pow N 2)) (+ (* 1/3 N) 1)) into (- (+ (* 1/3 N) 1) (* 1/9 (pow N 2))) 1540194252.499 * [misc]backup-simplify: Simplify (cbrt (+ 1 (/ 1 N))) into (pow (+ (/ 1 N) 1) 1/3) 1540194252.499 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 N) 1) 1/3) in (N) around 0 1540194252.499 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 N) 1) 1/3) in N 1540194252.499 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1)))) in N 1540194252.499 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1))) in N 1540194252.499 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.499 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.499 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 1540194252.499 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194252.499 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.499 * [misc]taylor: Taking taylor expansion of N in N 1540194252.499 * [misc]backup-simplify: Simplify 0 into 0 1540194252.499 * [misc]backup-simplify: Simplify 1 into 1 1540194252.499 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.499 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.499 * [misc]backup-simplify: Simplify 1 into 1 1540194252.499 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.499 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.500 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.500 * [misc]backup-simplify: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N)) 1540194252.500 * [misc]backup-simplify: Simplify (exp (* -1/3 (log N))) into (pow N -1/3) 1540194252.500 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 N) 1) 1/3) in N 1540194252.500 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1)))) in N 1540194252.500 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1))) in N 1540194252.500 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.500 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.500 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 1540194252.500 * [misc]taylor: Taking taylor expansion of (+ (/ 1 N) 1) in N 1540194252.500 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.500 * [misc]taylor: Taking taylor expansion of N in N 1540194252.500 * [misc]backup-simplify: Simplify 0 into 0 1540194252.500 * [misc]backup-simplify: Simplify 1 into 1 1540194252.500 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.500 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.500 * [misc]backup-simplify: Simplify 1 into 1 1540194252.501 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.501 * [misc]backup-simplify: Simplify (log 1) into 0 1540194252.501 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.501 * [misc]backup-simplify: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N)) 1540194252.501 * [misc]backup-simplify: Simplify (exp (* -1/3 (log N))) into (pow N -1/3) 1540194252.501 * [misc]backup-simplify: Simplify (pow N -1/3) into (pow N -1/3) 1540194252.502 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194252.502 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540194252.504 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1540194252.505 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.505 * [misc]backup-simplify: Simplify (+ (* 1/3 1) (* 0 (- (log N)))) into 1/3 1540194252.506 * [misc]backup-simplify: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 1/3 1) 1)))) into (* 1/3 (pow (/ 1 N) 1/3)) 1540194252.506 * [misc]backup-simplify: Simplify (* 1/3 (pow (/ 1 N) 1/3)) into (* 1/3 (pow (/ 1 N) 1/3)) 1540194252.506 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194252.507 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.511 * [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 1540194252.511 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 1540194252.512 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 1) (* 0 (- (log N))))) into (- 1/6) 1540194252.514 * [misc]backup-simplify: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (pow (/ 1 N) 1/3)) 1540194252.514 * [misc]backup-simplify: Simplify (* -1/9 (pow (/ 1 N) 1/3)) into (* -1/9 (pow (/ 1 N) 1/3)) 1540194252.514 * [misc]backup-simplify: Simplify (+ (* (* -1/9 (pow (/ 1 (/ 1 N)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 1/3 (pow (/ 1 (/ 1 N)) 1/3)) (/ 1 N)) (pow (/ 1 N) -1/3))) into (- (+ (pow (/ 1 N) -1/3) (* 1/3 (pow (/ 1 (pow N 2)) 1/3))) (* 1/9 (pow (/ 1 (pow N 5)) 1/3))) 1540194252.514 * [misc]backup-simplify: Simplify (cbrt (+ 1 (/ 1 (- N)))) into (pow (- 1 (/ 1 N)) 1/3) 1540194252.514 * [misc]approximate: Taking taylor expansion of (pow (- 1 (/ 1 N)) 1/3) in (N) around 0 1540194252.514 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 N)) 1/3) in N 1540194252.515 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 N))))) in N 1540194252.515 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 N)))) in N 1540194252.515 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.515 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.515 * [misc]taylor: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 1540194252.515 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194252.515 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.515 * [misc]backup-simplify: Simplify 1 into 1 1540194252.515 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.515 * [misc]taylor: Taking taylor expansion of N in N 1540194252.515 * [misc]backup-simplify: Simplify 0 into 0 1540194252.515 * [misc]backup-simplify: Simplify 1 into 1 1540194252.515 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.515 * [misc]backup-simplify: Simplify (- 1) into -1 1540194252.515 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194252.516 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540194252.516 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.516 * [misc]backup-simplify: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N))) 1540194252.516 * [misc]backup-simplify: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N)))) 1540194252.516 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 N)) 1/3) in N 1540194252.516 * [misc]taylor: Taking taylor expansion of (exp (* 1/3 (log (- 1 (/ 1 N))))) in N 1540194252.516 * [misc]taylor: Taking taylor expansion of (* 1/3 (log (- 1 (/ 1 N)))) in N 1540194252.516 * [misc]taylor: Taking taylor expansion of 1/3 in N 1540194252.517 * [misc]backup-simplify: Simplify 1/3 into 1/3 1540194252.517 * [misc]taylor: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 1540194252.517 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 N)) in N 1540194252.517 * [misc]taylor: Taking taylor expansion of 1 in N 1540194252.517 * [misc]backup-simplify: Simplify 1 into 1 1540194252.517 * [misc]taylor: Taking taylor expansion of (/ 1 N) in N 1540194252.517 * [misc]taylor: Taking taylor expansion of N in N 1540194252.517 * [misc]backup-simplify: Simplify 0 into 0 1540194252.517 * [misc]backup-simplify: Simplify 1 into 1 1540194252.517 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540194252.517 * [misc]backup-simplify: Simplify (- 1) into -1 1540194252.517 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540194252.517 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540194252.518 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.518 * [misc]backup-simplify: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N))) 1540194252.518 * [misc]backup-simplify: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N)))) 1540194252.519 * [misc]backup-simplify: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N)))) 1540194252.519 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540194252.519 * [misc]backup-simplify: Simplify (- 0) into 0 1540194252.519 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540194252.522 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540194252.522 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.522 * [misc]backup-simplify: Simplify (+ (* 1/3 -1) (* 0 (- (log -1) (log N)))) into (- 1/3) 1540194252.524 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 1/3) 1) 1)))) into (* -1/3 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.524 * [misc]backup-simplify: Simplify (* -1/3 (exp (* 1/3 (- (log -1) (log N))))) into (* -1/3 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.524 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540194252.525 * [misc]backup-simplify: Simplify (- 0) into 0 1540194252.525 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540194252.529 * [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 1540194252.529 * [misc]backup-simplify: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 1540194252.530 * [misc]backup-simplify: Simplify (+ (* 1/3 -1/2) (+ (* 0 -1) (* 0 (- (log -1) (log N))))) into (- 1/6) 1540194252.532 * [misc]backup-simplify: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 1/3) 2) 2)) (* (/ (pow (- 1/6) 1) 1)))) into (* -1/9 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.533 * [misc]backup-simplify: Simplify (* -1/9 (exp (* 1/3 (- (log -1) (log N))))) into (* -1/9 (exp (* 1/3 (- (log -1) (log N))))) 1540194252.534 * [misc]backup-simplify: Simplify (+ (* (* -1/9 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -1/3 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (exp (* 1/3 (- (log -1) (log (/ 1 (- N)))))))) into (- (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N)) (exp (* 1/3 (- (log -1) (log (/ -1 N)))))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2)))) 1540194252.534 * * * [misc]progress: simplifying candidates 1540194252.534 * * * * [misc]progress: [ 1 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 2 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 3 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 4 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 5 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 6 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 7 / 81 ] simplifiying candidate # 1540194252.534 * * * * [misc]progress: [ 8 / 81 ] simplifiying candidate # 1540194252.535 * [enter]simplify: Simplifying (+ 1 N) 1540194252.535 * * [misc]simplify: iters left: 2 (3 enodes) 1540194252.536 * * [misc]simplify: iters left: 1 (6 enodes) 1540194252.537 * [exit]simplify: Simplified to (+ N 1) 1540194252.537 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (+ N 1) (+ 1/3 1/3)) (* (cbrt (+ 1 N)) N))))) 1540194252.537 * [enter]simplify: Simplifying (+ 1/3 1/3) 1540194252.537 * * [misc]simplify: iters left: 2 (2 enodes) 1540194252.539 * * [misc]simplify: iters left: 1 (3 enodes) 1540194252.539 * [exit]simplify: Simplified to 2/3 1540194252.539 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (pow (+ 1 N) 2/3) (* (cbrt (+ 1 N)) N))))) 1540194252.539 * * * * [misc]progress: [ 9 / 81 ] simplifiying candidate # 1540194252.539 * [enter]simplify: Simplifying (cbrt (+ 1 N)) 1540194252.540 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.541 * * [misc]simplify: iters left: 2 (7 enodes) 1540194252.542 * [exit]simplify: Simplified to (cbrt (+ N 1)) 1540194252.542 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ N 1)) (+ 1 1)) (* (cbrt (+ 1 N)) N))))) 1540194252.543 * [enter]simplify: Simplifying (+ 1 1) 1540194252.543 * * [misc]simplify: iters left: 2 (2 enodes) 1540194252.544 * * [misc]simplify: iters left: 1 (5 enodes) 1540194252.545 * [exit]simplify: Simplified to 2 1540194252.545 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ 1 N)) 2) (* (cbrt (+ 1 N)) N))))) 1540194252.545 * * * * [misc]progress: [ 10 / 81 ] simplifiying candidate # 1540194252.545 * [enter]simplify: Simplifying (* (+ 1 N) (+ 1 N)) 1540194252.545 * * [misc]simplify: iters left: 4 (4 enodes) 1540194252.547 * * [misc]simplify: iters left: 3 (13 enodes) 1540194252.552 * * [misc]simplify: iters left: 2 (26 enodes) 1540194252.560 * * [misc]simplify: iters left: 1 (38 enodes) 1540194252.576 * [exit]simplify: Simplified to (* (+ N 1) (+ N 1)) 1540194252.576 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (* (+ N 1) (+ N 1)) 1/3) (* (cbrt (+ 1 N)) N))))) 1540194252.576 * * * * [misc]progress: [ 11 / 81 ] simplifiying candidate # 1540194252.576 * [enter]simplify: Simplifying (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1540194252.577 * * [misc]simplify: iters left: 5 (5 enodes) 1540194252.578 * * [misc]simplify: iters left: 4 (8 enodes) 1540194252.580 * [exit]simplify: Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1540194252.580 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1) (* (cbrt (+ 1 N)) N))))) 1540194252.580 * * * * [misc]progress: [ 12 / 81 ] simplifiying candidate # 1540194252.580 * * * * [misc]progress: [ 13 / 81 ] simplifiying candidate # 1540194252.581 * [enter]simplify: Simplifying (cbrt (+ 1 N)) 1540194252.581 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.582 * * [misc]simplify: iters left: 2 (7 enodes) 1540194252.583 * [exit]simplify: Simplified to (cbrt (+ N 1)) 1540194252.584 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (pow (cbrt (+ N 1)) (+ 1 1)) (* (cbrt (+ 1 N)) N))))) 1540194252.584 * * * * [misc]progress: [ 14 / 81 ] simplifiying candidate # 1540194252.584 * * * * [misc]progress: [ 15 / 81 ] simplifiying candidate # 1540194252.584 * [enter]simplify: Simplifying (+ (log (cbrt (+ 1 N))) (log (cbrt (+ 1 N)))) 1540194252.584 * * [misc]simplify: iters left: 6 (6 enodes) 1540194252.586 * * [misc]simplify: iters left: 5 (9 enodes) 1540194252.588 * [exit]simplify: Simplified to (+ (log (cbrt (+ N 1))) (log (cbrt (+ N 1)))) 1540194252.588 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (exp (+ (log (cbrt (+ N 1))) (log (cbrt (+ N 1))))) (* (cbrt (+ 1 N)) N))))) 1540194252.588 * * * * [misc]progress: [ 16 / 81 ] simplifiying candidate # 1540194252.588 * * * * [misc]progress: [ 17 / 81 ] simplifiying candidate # 1540194252.588 * * * * [misc]progress: [ 18 / 81 ] simplifiying candidate # 1540194252.589 * [enter]simplify: Simplifying (* (+ 1 N) (+ 1 N)) 1540194252.589 * * [misc]simplify: iters left: 4 (4 enodes) 1540194252.590 * * [misc]simplify: iters left: 3 (13 enodes) 1540194252.595 * * [misc]simplify: iters left: 2 (26 enodes) 1540194252.604 * * [misc]simplify: iters left: 1 (38 enodes) 1540194252.620 * [exit]simplify: Simplified to (* (+ N 1) (+ N 1)) 1540194252.620 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (cbrt (* (+ N 1) (+ N 1))) (* (cbrt (+ 1 N)) N))))) 1540194252.620 * * * * [misc]progress: [ 19 / 81 ] simplifiying candidate # 1540194252.621 * * * * [misc]progress: [ 20 / 81 ] simplifiying candidate # 1540194252.621 * * * * [misc]progress: [ 21 / 81 ] simplifiying candidate # 1540194252.621 * * * * [misc]progress: [ 22 / 81 ] simplifiying candidate # 1540194252.621 * [enter]simplify: Simplifying (* (cbrt (+ (pow 1 3) (pow N 3))) (cbrt (+ (pow 1 3) (pow N 3)))) 1540194252.621 * * [misc]simplify: iters left: 6 (8 enodes) 1540194252.624 * * [misc]simplify: iters left: 5 (16 enodes) 1540194252.628 * [exit]simplify: Simplified to (* (cbrt (+ 1 (pow N 3))) (cbrt (+ 1 (pow N 3)))) 1540194252.628 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ 1 (pow N 3))) (cbrt (+ 1 (pow N 3)))) (* (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))) (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))))) (* (cbrt (+ 1 N)) N))))) 1540194252.628 * [enter]simplify: Simplifying (* (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))) (cbrt (+ (* 1 1) (- (* N N) (* 1 N))))) 1540194252.629 * * [misc]simplify: iters left: 6 (9 enodes) 1540194252.633 * * [misc]simplify: iters left: 5 (16 enodes) 1540194252.637 * * [misc]simplify: iters left: 4 (27 enodes) 1540194252.646 * * [misc]simplify: iters left: 3 (39 enodes) 1540194252.655 * * [misc]simplify: iters left: 2 (43 enodes) 1540194252.665 * * [misc]simplify: iters left: 1 (56 enodes) 1540194252.677 * [exit]simplify: Simplified to (* (cbrt (+ (- 1 N) (* N N))) (cbrt (+ (- 1 N) (* N N)))) 1540194252.677 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ 1 (pow N 3))) (cbrt (+ 1 (pow N 3)))) (* (cbrt (+ (- 1 N) (* N N))) (cbrt (+ (- 1 N) (* N N))))) (* (cbrt (+ 1 N)) N))))) 1540194252.677 * * * * [misc]progress: [ 23 / 81 ] simplifiying candidate # 1540194252.677 * [enter]simplify: Simplifying (* (cbrt (+ (pow 1 3) (pow N 3))) (cbrt (- (* 1 1) (* N N)))) 1540194252.678 * * [misc]simplify: iters left: 6 (12 enodes) 1540194252.682 * * [misc]simplify: iters left: 5 (21 enodes) 1540194252.687 * * [misc]simplify: iters left: 4 (25 enodes) 1540194252.692 * [exit]simplify: Simplified to (* (cbrt (- 1 (* N N))) (cbrt (+ 1 (pow N 3)))) 1540194252.693 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- 1 (* N N))) (cbrt (+ 1 (pow N 3)))) (* (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))) (cbrt (- 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.693 * [enter]simplify: Simplifying (* (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))) (cbrt (- 1 N))) 1540194252.693 * * [misc]simplify: iters left: 6 (11 enodes) 1540194252.697 * * [misc]simplify: iters left: 5 (20 enodes) 1540194252.702 * * [misc]simplify: iters left: 4 (31 enodes) 1540194252.711 * * [misc]simplify: iters left: 3 (38 enodes) 1540194252.717 * * [misc]simplify: iters left: 2 (44 enodes) 1540194252.723 * * [misc]simplify: iters left: 1 (57 enodes) 1540194252.729 * [exit]simplify: Simplified to (* (cbrt (- 1 N)) (cbrt (- (* N N) (+ -1 N)))) 1540194252.729 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- 1 (* N N))) (cbrt (+ 1 (pow N 3)))) (* (cbrt (- 1 N)) (cbrt (- (* N N) (+ -1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194252.729 * * * * [misc]progress: [ 24 / 81 ] simplifiying candidate # 1540194252.729 * [enter]simplify: Simplifying (* (cbrt (- (* 1 1) (* N N))) (cbrt (+ (pow 1 3) (pow N 3)))) 1540194252.729 * * [misc]simplify: iters left: 6 (12 enodes) 1540194252.731 * * [misc]simplify: iters left: 5 (21 enodes) 1540194252.734 * * [misc]simplify: iters left: 4 (25 enodes) 1540194252.736 * [exit]simplify: Simplified to (* (cbrt (- 1 (* N N))) (cbrt (+ (pow N 3) 1))) 1540194252.736 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- 1 (* N N))) (cbrt (+ (pow N 3) 1))) (* (cbrt (- 1 N)) (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))))) (* (cbrt (+ 1 N)) N))))) 1540194252.736 * [enter]simplify: Simplifying (* (cbrt (- 1 N)) (cbrt (+ (* 1 1) (- (* N N) (* 1 N))))) 1540194252.737 * * [misc]simplify: iters left: 6 (11 enodes) 1540194252.738 * * [misc]simplify: iters left: 5 (21 enodes) 1540194252.741 * * [misc]simplify: iters left: 4 (33 enodes) 1540194252.747 * * [misc]simplify: iters left: 3 (42 enodes) 1540194252.758 * * [misc]simplify: iters left: 2 (54 enodes) 1540194252.772 * * [misc]simplify: iters left: 1 (69 enodes) 1540194252.789 * [exit]simplify: Simplified to (* (cbrt (- 1 N)) (cbrt (+ (* N N) (- 1 N)))) 1540194252.789 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- 1 (* N N))) (cbrt (+ (pow N 3) 1))) (* (cbrt (- 1 N)) (cbrt (+ (* N N) (- 1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194252.789 * * * * [misc]progress: [ 25 / 81 ] simplifiying candidate # 1540194252.789 * [enter]simplify: Simplifying (* (cbrt (- (* 1 1) (* N N))) (cbrt (- (* 1 1) (* N N)))) 1540194252.789 * * [misc]simplify: iters left: 6 (7 enodes) 1540194252.792 * * [misc]simplify: iters left: 5 (11 enodes) 1540194252.795 * * [misc]simplify: iters left: 4 (15 enodes) 1540194252.799 * [exit]simplify: Simplified to (* (cbrt (- 1 (* N N))) (cbrt (- 1 (* N N)))) 1540194252.799 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- 1 (* N N))) (cbrt (- 1 (* N N)))) (* (cbrt (- 1 N)) (cbrt (- 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.799 * [enter]simplify: Simplifying (* (cbrt (- 1 N)) (cbrt (- 1 N))) 1540194252.799 * * [misc]simplify: iters left: 5 (5 enodes) 1540194252.800 * * [misc]simplify: iters left: 4 (9 enodes) 1540194252.801 * * [misc]simplify: iters left: 3 (10 enodes) 1540194252.802 * [exit]simplify: Simplified to (* (cbrt (- 1 N)) (cbrt (- 1 N))) 1540194252.802 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (- 1 (* N N))) (cbrt (- 1 (* N N)))) (* (cbrt (- 1 N)) (cbrt (- 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.802 * * * * [misc]progress: [ 26 / 81 ] simplifiying candidate # 1540194252.802 * * * * [misc]progress: [ 27 / 81 ] simplifiying candidate # 1540194252.802 * [enter]simplify: Simplifying (cbrt (cbrt (+ 1 N))) 1540194252.802 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.803 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.804 * [exit]simplify: Simplified to (cbrt (cbrt (+ N 1))) 1540194252.804 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (cbrt (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))) (cbrt (cbrt (+ N 1)))) (* (cbrt (+ 1 N)) N))))) 1540194252.804 * * * * [misc]progress: [ 28 / 81 ] simplifiying candidate # 1540194252.805 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 N))) 1540194252.805 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.805 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.806 * [exit]simplify: Simplified to (cbrt (sqrt (+ N 1))) 1540194252.806 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (cbrt (sqrt (+ 1 N)))) (cbrt (sqrt (+ N 1)))) (* (cbrt (+ 1 N)) N))))) 1540194252.806 * * * * [misc]progress: [ 29 / 81 ] simplifiying candidate # 1540194252.807 * [enter]simplify: Simplifying (cbrt (+ 1 N)) 1540194252.807 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.807 * * [misc]simplify: iters left: 2 (7 enodes) 1540194252.808 * [exit]simplify: Simplified to (cbrt (+ N 1)) 1540194252.808 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (cbrt 1)) (cbrt (+ N 1))) (* (cbrt (+ 1 N)) N))))) 1540194252.808 * * * * [misc]progress: [ 30 / 81 ] simplifiying candidate # 1540194252.808 * [enter]simplify: Simplifying (cbrt (cbrt (+ 1 N))) 1540194252.808 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.809 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.810 * [exit]simplify: Simplified to (cbrt (cbrt (+ N 1))) 1540194252.810 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (* (cbrt (cbrt (+ 1 N))) (cbrt (cbrt (+ 1 N))))) (cbrt (cbrt (+ N 1)))) (* (cbrt (+ 1 N)) N))))) 1540194252.810 * * * * [misc]progress: [ 31 / 81 ] simplifiying candidate # 1540194252.810 * [enter]simplify: Simplifying (sqrt (cbrt (+ 1 N))) 1540194252.810 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.811 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.812 * [exit]simplify: Simplified to (sqrt (cbrt (+ N 1))) 1540194252.812 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) (sqrt (cbrt (+ 1 N)))) (sqrt (cbrt (+ N 1)))) (* (cbrt (+ 1 N)) N))))) 1540194252.812 * * * * [misc]progress: [ 32 / 81 ] simplifiying candidate # 1540194252.812 * [enter]simplify: Simplifying (cbrt (+ 1 N)) 1540194252.812 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.813 * * [misc]simplify: iters left: 2 (7 enodes) 1540194252.813 * [exit]simplify: Simplified to (cbrt (+ N 1)) 1540194252.813 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (+ 1 N)) 1) (cbrt (+ N 1))) (* (cbrt (+ 1 N)) N))))) 1540194252.813 * * * * [misc]progress: [ 33 / 81 ] simplifiying candidate # 1540194252.814 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) 1540194252.814 * * [misc]simplify: iters left: 6 (6 enodes) 1540194252.814 * * [misc]simplify: iters left: 5 (9 enodes) 1540194252.816 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N 1)) (cbrt (+ N 1)))) 1540194252.816 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (* (cbrt (cbrt (+ 1 N))) (cbrt (+ 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.816 * * * * [misc]progress: [ 34 / 81 ] simplifiying candidate # 1540194252.816 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 N))) 1540194252.816 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.817 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.817 * [exit]simplify: Simplified to (cbrt (sqrt (+ N 1))) 1540194252.817 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (sqrt (+ N 1))) (* (cbrt (sqrt (+ 1 N))) (cbrt (+ 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.817 * * * * [misc]progress: [ 35 / 81 ] simplifiying candidate # 1540194252.818 * [enter]simplify: Simplifying (cbrt 1) 1540194252.818 * * [misc]simplify: iters left: 1 (2 enodes) 1540194252.818 * [exit]simplify: Simplified to 1 1540194252.818 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* 1 (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.819 * * * * [misc]progress: [ 36 / 81 ] simplifiying candidate # 1540194252.819 * [enter]simplify: Simplifying (* (cbrt (cbrt (+ 1 N))) (cbrt (cbrt (+ 1 N)))) 1540194252.819 * * [misc]simplify: iters left: 6 (6 enodes) 1540194252.820 * * [misc]simplify: iters left: 5 (9 enodes) 1540194252.821 * [exit]simplify: Simplified to (* (cbrt (cbrt (+ N 1))) (cbrt (cbrt (+ N 1)))) 1540194252.821 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (* (cbrt (cbrt (+ N 1))) (cbrt (cbrt (+ N 1)))) (* (cbrt (cbrt (+ 1 N))) (cbrt (+ 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.821 * * * * [misc]progress: [ 37 / 81 ] simplifiying candidate # 1540194252.821 * [enter]simplify: Simplifying (sqrt (cbrt (+ 1 N))) 1540194252.821 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.822 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.823 * [exit]simplify: Simplified to (sqrt (cbrt (+ N 1))) 1540194252.823 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (sqrt (cbrt (+ N 1))) (* (sqrt (cbrt (+ 1 N))) (cbrt (+ 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.823 * * * * [misc]progress: [ 38 / 81 ] simplifiying candidate # 1540194252.823 * * * * [misc]progress: [ 39 / 81 ] simplifiying candidate # 1540194252.823 * [enter]simplify: Simplifying (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))) 1540194252.823 * * [misc]simplify: iters left: 6 (8 enodes) 1540194252.824 * * [misc]simplify: iters left: 5 (15 enodes) 1540194252.826 * * [misc]simplify: iters left: 4 (26 enodes) 1540194252.830 * * [misc]simplify: iters left: 3 (37 enodes) 1540194252.834 * * [misc]simplify: iters left: 2 (41 enodes) 1540194252.839 * * [misc]simplify: iters left: 1 (53 enodes) 1540194252.845 * [exit]simplify: Simplified to (cbrt (+ (* N N) (- 1 N))) 1540194252.845 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ 1 N)) (cbrt (+ (pow 1 3) (pow N 3)))) (cbrt (+ (* N N) (- 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.845 * * * * [misc]progress: [ 40 / 81 ] simplifiying candidate # 1540194252.845 * [enter]simplify: Simplifying (cbrt (- 1 N)) 1540194252.845 * * [misc]simplify: iters left: 3 (4 enodes) 1540194252.846 * * [misc]simplify: iters left: 2 (8 enodes) 1540194252.847 * * [misc]simplify: iters left: 1 (9 enodes) 1540194252.849 * [exit]simplify: Simplified to (cbrt (- 1 N)) 1540194252.849 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ 1 N)) (cbrt (- (* 1 1) (* N N)))) (cbrt (- 1 N))) (* (cbrt (+ 1 N)) N))))) 1540194252.849 * * * * [misc]progress: [ 41 / 81 ] simplifiying candidate # 1540194252.849 * [enter]simplify: Simplifying (* (cbrt (+ (pow 1 3) (pow N 3))) (cbrt (+ 1 N))) 1540194252.849 * * [misc]simplify: iters left: 6 (10 enodes) 1540194252.853 * * [misc]simplify: iters left: 5 (20 enodes) 1540194252.860 * [exit]simplify: Simplified to (* (cbrt (+ 1 (pow N 3))) (cbrt (+ N 1))) 1540194252.860 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ 1 (pow N 3))) (cbrt (+ N 1))) (cbrt (+ (* 1 1) (- (* N N) (* 1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194252.860 * * * * [misc]progress: [ 42 / 81 ] simplifiying candidate # 1540194252.860 * [enter]simplify: Simplifying (* (cbrt (- (* 1 1) (* N N))) (cbrt (+ 1 N))) 1540194252.860 * * [misc]simplify: iters left: 6 (9 enodes) 1540194252.863 * * [misc]simplify: iters left: 5 (15 enodes) 1540194252.867 * * [misc]simplify: iters left: 4 (19 enodes) 1540194252.872 * [exit]simplify: Simplified to (* (cbrt (+ 1 N)) (cbrt (- 1 (* N N)))) 1540194252.872 * [misc]simplify: Simplified (2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (/ (* (cbrt (+ 1 N)) (cbrt (- 1 (* N N)))) (cbrt (- 1 N))) (* (cbrt (+ 1 N)) N))))) 1540194252.872 * * * * [misc]progress: [ 43 / 81 ] simplifiying candidate # 1540194252.872 * * * * [misc]progress: [ 44 / 81 ] simplifiying candidate # 1540194252.872 * * * * [misc]progress: [ 45 / 81 ] simplifiying candidate # 1540194252.872 * * * * [misc]progress: [ 46 / 81 ] simplifiying candidate # 1540194252.872 * * * * [misc]progress: [ 47 / 81 ] simplifiying candidate # 1540194252.872 * * * * [misc]progress: [ 48 / 81 ] simplifiying candidate # 1540194252.873 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) 1540194252.873 * * [misc]simplify: iters left: 6 (6 enodes) 1540194252.875 * * [misc]simplify: iters left: 5 (9 enodes) 1540194252.876 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N 1)) (cbrt (+ N 1)))) 1540194252.876 * [misc]simplify: Simplified (2 2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (* (cbrt (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (cbrt (cbrt (+ 1 N)))) N))))) 1540194252.876 * * * * [misc]progress: [ 49 / 81 ] simplifiying candidate # 1540194252.876 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 N))) 1540194252.876 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.877 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.878 * [exit]simplify: Simplified to (cbrt (sqrt (+ N 1))) 1540194252.878 * [misc]simplify: Simplified (2 2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (* (cbrt (sqrt (+ N 1))) (cbrt (sqrt (+ 1 N)))) N))))) 1540194252.878 * * * * [misc]progress: [ 50 / 81 ] simplifiying candidate # 1540194252.878 * [enter]simplify: Simplifying (cbrt 1) 1540194252.878 * * [misc]simplify: iters left: 1 (2 enodes) 1540194252.879 * [exit]simplify: Simplified to 1 1540194252.879 * [misc]simplify: Simplified (2 2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (* 1 (cbrt (+ 1 N))) N))))) 1540194252.879 * * * * [misc]progress: [ 51 / 81 ] simplifiying candidate # 1540194252.879 * [enter]simplify: Simplifying (cbrt (+ (pow 1 3) (pow N 3))) 1540194252.879 * * [misc]simplify: iters left: 4 (7 enodes) 1540194252.881 * * [misc]simplify: iters left: 3 (15 enodes) 1540194252.882 * [exit]simplify: Simplified to (cbrt (+ 1 (pow N 3))) 1540194252.882 * [misc]simplify: Simplified (2 2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (/ (cbrt (+ 1 (pow N 3))) (cbrt (+ (* 1 1) (- (* N N) (* 1 N))))) N))))) 1540194252.882 * * * * [misc]progress: [ 52 / 81 ] simplifiying candidate # 1540194252.883 * [enter]simplify: Simplifying (cbrt (- (* 1 1) (* N N))) 1540194252.883 * * [misc]simplify: iters left: 5 (6 enodes) 1540194252.884 * * [misc]simplify: iters left: 4 (10 enodes) 1540194252.885 * * [misc]simplify: iters left: 3 (14 enodes) 1540194252.887 * [exit]simplify: Simplified to (cbrt (- 1 (* N N))) 1540194252.887 * [misc]simplify: Simplified (2 2 2 2 1 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (/ (cbrt (- 1 (* N N))) (cbrt (- 1 N))) N))))) 1540194252.887 * * * * [misc]progress: [ 53 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 54 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 55 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 56 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 57 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 58 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 59 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 60 / 81 ] simplifiying candidate # 1540194252.887 * * * * [misc]progress: [ 61 / 81 ] simplifiying candidate # 1540194252.887 * [enter]simplify: Simplifying (cbrt (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) 1540194252.887 * * [misc]simplify: iters left: 6 (6 enodes) 1540194252.888 * * [misc]simplify: iters left: 5 (9 enodes) 1540194252.889 * [exit]simplify: Simplified to (cbrt (* (cbrt (+ N 1)) (cbrt (+ N 1)))) 1540194252.889 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (* (cbrt (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (cbrt (cbrt (+ 1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194252.889 * * * * [misc]progress: [ 62 / 81 ] simplifiying candidate # 1540194252.889 * [enter]simplify: Simplifying (cbrt (sqrt (+ 1 N))) 1540194252.889 * * [misc]simplify: iters left: 4 (5 enodes) 1540194252.890 * * [misc]simplify: iters left: 3 (8 enodes) 1540194252.891 * [exit]simplify: Simplified to (cbrt (sqrt (+ N 1))) 1540194252.891 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (* (cbrt (sqrt (+ N 1))) (cbrt (sqrt (+ 1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194252.891 * * * * [misc]progress: [ 63 / 81 ] simplifiying candidate # 1540194252.891 * [enter]simplify: Simplifying (cbrt 1) 1540194252.891 * * [misc]simplify: iters left: 1 (2 enodes) 1540194252.892 * [exit]simplify: Simplified to 1 1540194252.892 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (* 1 (cbrt (+ 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.892 * * * * [misc]progress: [ 64 / 81 ] simplifiying candidate # 1540194252.892 * [enter]simplify: Simplifying (cbrt (+ (pow 1 3) (pow N 3))) 1540194252.892 * * [misc]simplify: iters left: 4 (7 enodes) 1540194252.894 * * [misc]simplify: iters left: 3 (15 enodes) 1540194252.895 * [exit]simplify: Simplified to (cbrt (+ 1 (pow N 3))) 1540194252.895 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (/ (cbrt (+ 1 (pow N 3))) (cbrt (+ (* 1 1) (- (* N N) (* 1 N)))))) (* (cbrt (+ 1 N)) N))))) 1540194252.895 * * * * [misc]progress: [ 65 / 81 ] simplifiying candidate # 1540194252.895 * [enter]simplify: Simplifying (cbrt (- (* 1 1) (* N N))) 1540194252.895 * * [misc]simplify: iters left: 5 (6 enodes) 1540194252.896 * * [misc]simplify: iters left: 4 (10 enodes) 1540194252.898 * * [misc]simplify: iters left: 3 (14 enodes) 1540194252.899 * [exit]simplify: Simplified to (cbrt (- 1 (* N N))) 1540194252.899 * [misc]simplify: Simplified (2 2 2 1 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (/ (cbrt (- 1 (* N N))) (cbrt (- 1 N)))) (* (cbrt (+ 1 N)) N))))) 1540194252.899 * * * * [misc]progress: [ 66 / 81 ] simplifiying candidate # 1540194252.899 * * * * [misc]progress: [ 67 / 81 ] simplifiying candidate # 1540194252.899 * * * * [misc]progress: [ 68 / 81 ] simplifiying candidate # 1540194252.900 * * * * [misc]progress: [ 69 / 81 ] simplifiying candidate # 1540194252.900 * * * * [misc]progress: [ 70 / 81 ] simplifiying candidate # 1540194252.900 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.900 * * [misc]simplify: iters left: 6 (7 enodes) 1540194252.901 * * [misc]simplify: iters left: 5 (14 enodes) 1540194252.903 * * [misc]simplify: iters left: 4 (21 enodes) 1540194252.905 * * [misc]simplify: iters left: 3 (23 enodes) 1540194252.908 * * [misc]simplify: iters left: 2 (29 enodes) 1540194252.912 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194252.912 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194252.912 * * * * [misc]progress: [ 71 / 81 ] simplifiying candidate # 1540194252.912 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.912 * * [misc]simplify: iters left: 6 (7 enodes) 1540194252.913 * * [misc]simplify: iters left: 5 (14 enodes) 1540194252.915 * * [misc]simplify: iters left: 4 (21 enodes) 1540194252.917 * * [misc]simplify: iters left: 3 (23 enodes) 1540194252.920 * * [misc]simplify: iters left: 2 (29 enodes) 1540194252.924 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194252.924 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194252.924 * * * * [misc]progress: [ 72 / 81 ] simplifiying candidate # 1540194252.924 * [enter]simplify: Simplifying (atan2 1 (+ N (+ (pow N 2) 1))) 1540194252.924 * * [misc]simplify: iters left: 6 (7 enodes) 1540194252.925 * * [misc]simplify: iters left: 5 (14 enodes) 1540194252.927 * * [misc]simplify: iters left: 4 (21 enodes) 1540194252.930 * * [misc]simplify: iters left: 3 (23 enodes) 1540194252.932 * * [misc]simplify: iters left: 2 (29 enodes) 1540194252.938 * [exit]simplify: Simplified to (atan2 1 (+ (* N N) (+ N 1))) 1540194252.938 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (+ (* N N) (+ N 1)))) 1540194252.938 * * * * [misc]progress: [ 73 / 81 ] simplifiying candidate # 1540194252.938 * [enter]simplify: Simplifying (- (+ (* 2/3 N) 1) (* 1/9 (pow N 2))) 1540194252.938 * * [misc]simplify: iters left: 6 (10 enodes) 1540194252.941 * * [misc]simplify: iters left: 5 (20 enodes) 1540194252.949 * * [misc]simplify: iters left: 4 (39 enodes) 1540194252.956 * * [misc]simplify: iters left: 3 (57 enodes) 1540194252.963 * * [misc]simplify: iters left: 2 (74 enodes) 1540194252.973 * * [misc]simplify: iters left: 1 (88 enodes) 1540194252.984 * [exit]simplify: Simplified to (+ (+ 1 (* 2/3 N)) (* (* N N) -1/9)) 1540194252.984 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (+ 1 (* 2/3 N)) (* (* N N) -1/9)) (* (cbrt (+ 1 N)) N))))) 1540194252.984 * * * * [misc]progress: [ 74 / 81 ] simplifiying candidate # 1540194252.984 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow (/ 1 N) 1/3)) (pow (/ 1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540194252.984 * * [misc]simplify: iters left: 6 (17 enodes) 1540194252.987 * * [misc]simplify: iters left: 5 (28 enodes) 1540194252.995 * * [misc]simplify: iters left: 4 (43 enodes) 1540194253.006 * * [misc]simplify: iters left: 3 (50 enodes) 1540194253.018 * * [misc]simplify: iters left: 2 (52 enodes) 1540194253.030 * * [misc]simplify: iters left: 1 (60 enodes) 1540194253.047 * [exit]simplify: Simplified to (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -2/3 (cbrt (/ 1 N))))) 1540194253.047 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ 1 N) -2/3) (* -2/3 (cbrt (/ 1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194253.047 * * * * [misc]progress: [ 75 / 81 ] simplifiying candidate # 1540194253.047 * [enter]simplify: Simplifying (- (+ (* 2/3 (pow (/ 1 N) 1/3)) (pow (/ -1 N) -2/3)) (* 1/9 (pow (/ 1 (pow N 4)) 1/3))) 1540194253.047 * * [misc]simplify: iters left: 6 (19 enodes) 1540194253.055 * * [misc]simplify: iters left: 5 (30 enodes) 1540194253.064 * * [misc]simplify: iters left: 4 (45 enodes) 1540194253.076 * * [misc]simplify: iters left: 3 (52 enodes) 1540194253.089 * * [misc]simplify: iters left: 2 (54 enodes) 1540194253.101 * * [misc]simplify: iters left: 1 (62 enodes) 1540194253.118 * [exit]simplify: Simplified to (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ -1 N) -2/3) (* -2/3 (cbrt (/ 1 N))))) 1540194253.118 * [misc]simplify: Simplified (2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (+ (* (cbrt (/ 1 (pow N 4))) -1/9) (- (pow (/ -1 N) -2/3) (* -2/3 (cbrt (/ 1 N))))) (* (cbrt (+ 1 N)) N))))) 1540194253.118 * * * * [misc]progress: [ 76 / 81 ] simplifiying candidate # 1540194253.118 * [enter]simplify: Simplifying (- (+ (* 1/3 N) 1) (* 1/9 (pow N 2))) 1540194253.118 * * [misc]simplify: iters left: 6 (10 enodes) 1540194253.120 * * [misc]simplify: iters left: 5 (20 enodes) 1540194253.124 * * [misc]simplify: iters left: 4 (39 enodes) 1540194253.130 * * [misc]simplify: iters left: 3 (57 enodes) 1540194253.137 * * [misc]simplify: iters left: 2 (74 enodes) 1540194253.147 * * [misc]simplify: iters left: 1 (88 enodes) 1540194253.170 * [exit]simplify: Simplified to (+ (+ 1 (* 1/3 N)) (* (* N N) -1/9)) 1540194253.170 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (+ (+ 1 (* 1/3 N)) (* (* N N) -1/9)) N))))) 1540194253.170 * * * * [misc]progress: [ 77 / 81 ] simplifiying candidate # 1540194253.171 * [enter]simplify: Simplifying (- (+ (pow (/ 1 N) -1/3) (* 1/3 (pow (/ 1 (pow N 2)) 1/3))) (* 1/9 (pow (/ 1 (pow N 5)) 1/3))) 1540194253.171 * * [misc]simplify: iters left: 6 (19 enodes) 1540194253.177 * * [misc]simplify: iters left: 5 (31 enodes) 1540194253.186 * * [misc]simplify: iters left: 4 (47 enodes) 1540194253.199 * * [misc]simplify: iters left: 3 (54 enodes) 1540194253.211 * * [misc]simplify: iters left: 2 (56 enodes) 1540194253.219 * * [misc]simplify: iters left: 1 (58 enodes) 1540194253.227 * [exit]simplify: Simplified to (+ (+ (* -1/9 (cbrt (/ 1 (pow N 5)))) (* (cbrt (/ (/ 1 N) N)) 1/3)) (pow (/ 1 N) -1/3)) 1540194253.227 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (+ (+ (* -1/9 (cbrt (/ 1 (pow N 5)))) (* (cbrt (/ (/ 1 N) N)) 1/3)) (pow (/ 1 N) -1/3)) N))))) 1540194253.227 * * * * [misc]progress: [ 78 / 81 ] simplifiying candidate # 1540194253.227 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N)) (exp (* 1/3 (- (log -1) (log (/ -1 N)))))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2)))) 1540194253.227 * * [misc]simplify: iters left: 6 (18 enodes) 1540194253.231 * * [misc]simplify: iters left: 5 (37 enodes) 1540194253.237 * * [misc]simplify: iters left: 4 (78 enodes) 1540194253.255 * * [misc]simplify: iters left: 3 (136 enodes) 1540194253.295 * * [misc]simplify: iters left: 2 (274 enodes) 1540194253.392 * [exit]simplify: Simplified to (+ (cbrt N) (* (+ (/ -1/9 N) 1/3) (/ (cbrt N) N))) 1540194253.392 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (+ (cbrt N) (* (+ (/ -1/9 N) 1/3) (/ (cbrt N) N))) N))))) 1540194253.392 * * * * [misc]progress: [ 79 / 81 ] simplifiying candidate # 1540194253.392 * [enter]simplify: Simplifying (- (+ (* 1/3 N) 1) (* 1/9 (pow N 2))) 1540194253.392 * * [misc]simplify: iters left: 6 (10 enodes) 1540194253.394 * * [misc]simplify: iters left: 5 (20 enodes) 1540194253.397 * * [misc]simplify: iters left: 4 (39 enodes) 1540194253.402 * * [misc]simplify: iters left: 3 (57 enodes) 1540194253.412 * * [misc]simplify: iters left: 2 (74 enodes) 1540194253.428 * * [misc]simplify: iters left: 1 (88 enodes) 1540194253.438 * [exit]simplify: Simplified to (+ (+ 1 (* 1/3 N)) (* (* N N) -1/9)) 1540194253.438 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (+ (+ 1 (* 1/3 N)) (* (* N N) -1/9))) (* (cbrt (+ 1 N)) N))))) 1540194253.438 * * * * [misc]progress: [ 80 / 81 ] simplifiying candidate # 1540194253.439 * [enter]simplify: Simplifying (- (+ (pow (/ 1 N) -1/3) (* 1/3 (pow (/ 1 (pow N 2)) 1/3))) (* 1/9 (pow (/ 1 (pow N 5)) 1/3))) 1540194253.439 * * [misc]simplify: iters left: 6 (19 enodes) 1540194253.443 * * [misc]simplify: iters left: 5 (31 enodes) 1540194253.447 * * [misc]simplify: iters left: 4 (47 enodes) 1540194253.455 * * [misc]simplify: iters left: 3 (54 enodes) 1540194253.468 * * [misc]simplify: iters left: 2 (56 enodes) 1540194253.480 * * [misc]simplify: iters left: 1 (58 enodes) 1540194253.497 * [exit]simplify: Simplified to (+ (+ (* -1/9 (cbrt (/ 1 (pow N 5)))) (* (cbrt (/ (/ 1 N) N)) 1/3)) (pow (/ 1 N) -1/3)) 1540194253.497 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (+ (+ (* -1/9 (cbrt (/ 1 (pow N 5)))) (* (cbrt (/ (/ 1 N) N)) 1/3)) (pow (/ 1 N) -1/3))) (* (cbrt (+ 1 N)) N))))) 1540194253.497 * * * * [misc]progress: [ 81 / 81 ] simplifiying candidate # 1540194253.497 * [enter]simplify: Simplifying (- (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N)) (exp (* 1/3 (- (log -1) (log (/ -1 N)))))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2)))) 1540194253.497 * * [misc]simplify: iters left: 6 (18 enodes) 1540194253.504 * * [misc]simplify: iters left: 5 (37 enodes) 1540194253.517 * * [misc]simplify: iters left: 4 (78 enodes) 1540194253.542 * * [misc]simplify: iters left: 3 (136 enodes) 1540194253.589 * * [misc]simplify: iters left: 2 (274 enodes) 1540194253.706 * [exit]simplify: Simplified to (+ (cbrt N) (* (+ (/ -1/9 N) 1/3) (/ (cbrt N) N))) 1540194253.706 * [misc]simplify: Simplified (2 2 2 1 2) to (λ (N) (atan2 1 (+ 1 (* (* (cbrt (+ 1 N)) (+ (cbrt N) (* (+ (/ -1/9 N) 1/3) (/ (cbrt N) N)))) (* (cbrt (+ 1 N)) N))))) 1540194253.706 * * * [misc]progress: adding candidates to table 1540194254.396 * [misc]progress: [Phase 3 of 3] Extracting. 1540194254.396 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1540194254.397 * * * [misc]regime-changes: Trying 1 branch expressions: (N) 1540194254.397 * * * * [misc]regimes: Trying to branch on N from (# # # # # #) 1540194254.434 * * * [misc]regime: Found split indices: #