1546937168.814 * [misc]progress: [Phase 1 of 3] Setting up. 1546937168.814 * * * [misc]progress: [1/2] Preparing points 1546937168.814 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546937168.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.862 * * * * [misc]points: Sampling 114 additional inputs, on iter 1 have 142 / 256 1546937168.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.886 * * * * [misc]points: Sampling 42 additional inputs, on iter 2 have 214 / 256 1546937168.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.896 * * * * [misc]points: Sampling 25 additional inputs, on iter 3 have 231 / 256 1546937168.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.902 * * * * [misc]points: Sampling 13 additional inputs, on iter 4 have 243 / 256 1546937168.907 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.907 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1546937168.910 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.910 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1546937168.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937168.912 * * * * [exit]points: Sampled 257 points with exact outputs 1546937168.913 * * * [misc]progress: [2/2] Setting up program. 1546937168.917 * [misc]progress: [Phase 2 of 3] Improving. 1546937168.917 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546937168.917 * [enter]simplify: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 1546937168.917 * * [misc]simplify: iters left: 6 (9 enodes) 1546937168.921 * * [misc]simplify: iters left: 5 (24 enodes) 1546937168.948 * * [misc]simplify: iters left: 4 (49 enodes) 1546937168.963 * * [misc]simplify: iters left: 3 (64 enodes) 1546937168.979 * * [misc]simplify: iters left: 2 (68 enodes) 1546937168.993 * * [misc]simplify: iters left: 1 (71 enodes) 1546937169.005 * [exit]simplify: Simplified to (pow (* d1 d1) 5) 1546937169.005 * [misc]simplify: Simplified (2) to (λ (d1) (pow (* d1 d1) 5)) 1546937169.013 * * [misc]progress: iteration 1 / 4 1546937169.013 * * * [misc]progress: picking best candidate 1546937169.020 * * * * [misc]pick: Picked # 1546937169.020 * * * [misc]progress: localizing error 1546937169.062 * * * [misc]progress: generating rewritten candidates 1546937169.062 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 1546937169.064 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 1546937169.070 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1546937169.091 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) 1546937169.151 * * * [misc]progress: generating series expansions 1546937169.151 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 1546937169.151 * [misc]backup-simplify: Simplify (* d1 (* d1 d1)) into (pow d1 3) 1546937169.151 * [misc]approximate: Taking taylor expansion of (pow d1 3) in (d1) around 0 1546937169.151 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1546937169.151 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.151 * [misc]backup-simplify: Simplify 0 into 0 1546937169.151 * [misc]backup-simplify: Simplify 1 into 1 1546937169.151 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1546937169.151 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.151 * [misc]backup-simplify: Simplify 0 into 0 1546937169.151 * [misc]backup-simplify: Simplify 1 into 1 1546937169.151 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.151 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.151 * [misc]backup-simplify: Simplify 1 into 1 1546937169.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.152 * [misc]backup-simplify: Simplify 0 into 0 1546937169.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.152 * [misc]backup-simplify: Simplify 0 into 0 1546937169.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.153 * [misc]backup-simplify: Simplify 0 into 0 1546937169.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.153 * [misc]backup-simplify: Simplify 0 into 0 1546937169.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.154 * [misc]backup-simplify: Simplify 0 into 0 1546937169.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.154 * [misc]backup-simplify: Simplify 0 into 0 1546937169.154 * [misc]backup-simplify: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1546937169.154 * [misc]backup-simplify: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 1546937169.154 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1546937169.154 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1546937169.154 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1546937169.154 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.154 * [misc]backup-simplify: Simplify 0 into 0 1546937169.154 * [misc]backup-simplify: Simplify 1 into 1 1546937169.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.155 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.155 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1546937169.155 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1546937169.155 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.155 * [misc]backup-simplify: Simplify 0 into 0 1546937169.155 * [misc]backup-simplify: Simplify 1 into 1 1546937169.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.155 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.155 * [misc]backup-simplify: Simplify 1 into 1 1546937169.155 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.156 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.156 * [misc]backup-simplify: Simplify 0 into 0 1546937169.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.156 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.156 * [misc]backup-simplify: Simplify 0 into 0 1546937169.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.157 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.157 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.157 * [misc]backup-simplify: Simplify 0 into 0 1546937169.157 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.157 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.158 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.158 * [misc]backup-simplify: Simplify 0 into 0 1546937169.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.158 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.158 * [misc]backup-simplify: Simplify 0 into 0 1546937169.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.159 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.159 * [misc]backup-simplify: Simplify 0 into 0 1546937169.159 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1546937169.159 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 1546937169.159 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1546937169.159 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1546937169.159 * [misc]taylor: Taking taylor expansion of -1 in d1 1546937169.159 * [misc]backup-simplify: Simplify -1 into -1 1546937169.160 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1546937169.160 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.160 * [misc]backup-simplify: Simplify 0 into 0 1546937169.160 * [misc]backup-simplify: Simplify 1 into 1 1546937169.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.160 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546937169.160 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1546937169.160 * [misc]taylor: Taking taylor expansion of -1 in d1 1546937169.160 * [misc]backup-simplify: Simplify -1 into -1 1546937169.160 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1546937169.160 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.160 * [misc]backup-simplify: Simplify 0 into 0 1546937169.160 * [misc]backup-simplify: Simplify 1 into 1 1546937169.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.160 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546937169.160 * [misc]backup-simplify: Simplify -1 into -1 1546937169.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.161 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1546937169.161 * [misc]backup-simplify: Simplify 0 into 0 1546937169.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.161 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.161 * [misc]backup-simplify: Simplify 0 into 0 1546937169.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.162 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.162 * [misc]backup-simplify: Simplify 0 into 0 1546937169.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.163 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.163 * [misc]backup-simplify: Simplify 0 into 0 1546937169.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.163 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.164 * [misc]backup-simplify: Simplify 0 into 0 1546937169.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.164 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.164 * [misc]backup-simplify: Simplify 0 into 0 1546937169.164 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1546937169.165 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 1546937169.165 * [misc]backup-simplify: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 1546937169.165 * [misc]approximate: Taking taylor expansion of (pow d1 4) in (d1) around 0 1546937169.165 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1546937169.165 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.165 * [misc]backup-simplify: Simplify 0 into 0 1546937169.165 * [misc]backup-simplify: Simplify 1 into 1 1546937169.165 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1546937169.165 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.165 * [misc]backup-simplify: Simplify 0 into 0 1546937169.165 * [misc]backup-simplify: Simplify 1 into 1 1546937169.165 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.165 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.165 * [misc]backup-simplify: Simplify 1 into 1 1546937169.165 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.165 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.165 * [misc]backup-simplify: Simplify 0 into 0 1546937169.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.166 * [misc]backup-simplify: Simplify 0 into 0 1546937169.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.166 * [misc]backup-simplify: Simplify 0 into 0 1546937169.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.167 * [misc]backup-simplify: Simplify 0 into 0 1546937169.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.167 * [misc]backup-simplify: Simplify 0 into 0 1546937169.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.169 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.169 * [misc]backup-simplify: Simplify 0 into 0 1546937169.169 * [misc]backup-simplify: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1546937169.169 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 1546937169.169 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1546937169.169 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1546937169.169 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1546937169.169 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.169 * [misc]backup-simplify: Simplify 0 into 0 1546937169.169 * [misc]backup-simplify: Simplify 1 into 1 1546937169.169 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.170 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.170 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1546937169.170 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1546937169.170 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.170 * [misc]backup-simplify: Simplify 0 into 0 1546937169.170 * [misc]backup-simplify: Simplify 1 into 1 1546937169.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.170 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.170 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.170 * [misc]backup-simplify: Simplify 1 into 1 1546937169.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.171 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.171 * [misc]backup-simplify: Simplify 0 into 0 1546937169.172 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.172 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.172 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.172 * [misc]backup-simplify: Simplify 0 into 0 1546937169.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.173 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.173 * [misc]backup-simplify: Simplify 0 into 0 1546937169.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.175 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.175 * [misc]backup-simplify: Simplify 0 into 0 1546937169.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.176 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.176 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.176 * [misc]backup-simplify: Simplify 0 into 0 1546937169.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.178 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.178 * [misc]backup-simplify: Simplify 0 into 0 1546937169.178 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1546937169.178 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1546937169.178 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1546937169.178 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1546937169.178 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1546937169.178 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.178 * [misc]backup-simplify: Simplify 0 into 0 1546937169.178 * [misc]backup-simplify: Simplify 1 into 1 1546937169.179 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.179 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.179 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.179 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1546937169.179 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1546937169.179 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.179 * [misc]backup-simplify: Simplify 0 into 0 1546937169.179 * [misc]backup-simplify: Simplify 1 into 1 1546937169.179 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.179 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.180 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.180 * [misc]backup-simplify: Simplify 1 into 1 1546937169.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.180 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.180 * [misc]backup-simplify: Simplify 0 into 0 1546937169.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.181 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.181 * [misc]backup-simplify: Simplify 0 into 0 1546937169.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.183 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.183 * [misc]backup-simplify: Simplify 0 into 0 1546937169.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.184 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.184 * [misc]backup-simplify: Simplify 0 into 0 1546937169.184 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.185 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.185 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.185 * [misc]backup-simplify: Simplify 0 into 0 1546937169.186 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.186 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.188 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.188 * [misc]backup-simplify: Simplify 0 into 0 1546937169.189 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1546937169.189 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1) 1546937169.189 * [misc]backup-simplify: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 1546937169.189 * [misc]approximate: Taking taylor expansion of (pow d1 5) in (d1) around 0 1546937169.189 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1546937169.189 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.189 * [misc]backup-simplify: Simplify 0 into 0 1546937169.189 * [misc]backup-simplify: Simplify 1 into 1 1546937169.189 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1546937169.189 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.189 * [misc]backup-simplify: Simplify 0 into 0 1546937169.189 * [misc]backup-simplify: Simplify 1 into 1 1546937169.190 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.190 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.190 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.190 * [misc]backup-simplify: Simplify 1 into 1 1546937169.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.191 * [misc]backup-simplify: Simplify 0 into 0 1546937169.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.192 * [misc]backup-simplify: Simplify 0 into 0 1546937169.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.193 * [misc]backup-simplify: Simplify 0 into 0 1546937169.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.194 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.194 * [misc]backup-simplify: Simplify 0 into 0 1546937169.194 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.195 * [misc]backup-simplify: Simplify 0 into 0 1546937169.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.197 * [misc]backup-simplify: Simplify 0 into 0 1546937169.197 * [misc]backup-simplify: Simplify (* 1 (pow d1 5)) into (pow d1 5) 1546937169.198 * [misc]backup-simplify: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 1546937169.198 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 1546937169.198 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1546937169.198 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1546937169.198 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.198 * [misc]backup-simplify: Simplify 0 into 0 1546937169.198 * [misc]backup-simplify: Simplify 1 into 1 1546937169.198 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.198 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.198 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.199 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.199 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1546937169.199 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1546937169.199 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.199 * [misc]backup-simplify: Simplify 0 into 0 1546937169.199 * [misc]backup-simplify: Simplify 1 into 1 1546937169.199 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.199 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.199 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.199 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.199 * [misc]backup-simplify: Simplify 1 into 1 1546937169.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.200 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.200 * [misc]backup-simplify: Simplify 0 into 0 1546937169.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.202 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.202 * [misc]backup-simplify: Simplify 0 into 0 1546937169.202 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.202 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.203 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.203 * [misc]backup-simplify: Simplify 0 into 0 1546937169.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.205 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.205 * [misc]backup-simplify: Simplify 0 into 0 1546937169.205 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.207 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.207 * [misc]backup-simplify: Simplify 0 into 0 1546937169.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.209 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.209 * [misc]backup-simplify: Simplify 0 into 0 1546937169.209 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 1546937169.210 * [misc]backup-simplify: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 1546937169.210 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 1546937169.210 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1546937169.210 * [misc]taylor: Taking taylor expansion of -1 in d1 1546937169.210 * [misc]backup-simplify: Simplify -1 into -1 1546937169.210 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1546937169.210 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.210 * [misc]backup-simplify: Simplify 0 into 0 1546937169.210 * [misc]backup-simplify: Simplify 1 into 1 1546937169.210 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.210 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.210 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.211 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546937169.211 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1546937169.211 * [misc]taylor: Taking taylor expansion of -1 in d1 1546937169.211 * [misc]backup-simplify: Simplify -1 into -1 1546937169.211 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1546937169.211 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.211 * [misc]backup-simplify: Simplify 0 into 0 1546937169.211 * [misc]backup-simplify: Simplify 1 into 1 1546937169.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.211 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546937169.211 * [misc]backup-simplify: Simplify -1 into -1 1546937169.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.212 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1546937169.212 * [misc]backup-simplify: Simplify 0 into 0 1546937169.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.214 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.214 * [misc]backup-simplify: Simplify 0 into 0 1546937169.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.215 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.215 * [misc]backup-simplify: Simplify 0 into 0 1546937169.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.217 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.217 * [misc]backup-simplify: Simplify 0 into 0 1546937169.217 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.219 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.219 * [misc]backup-simplify: Simplify 0 into 0 1546937169.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.222 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.222 * [misc]backup-simplify: Simplify 0 into 0 1546937169.222 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 1546937169.222 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) 1546937169.222 * [misc]backup-simplify: Simplify (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) into (pow d1 8) 1546937169.222 * [misc]approximate: Taking taylor expansion of (pow d1 8) in (d1) around 0 1546937169.222 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1546937169.223 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.223 * [misc]backup-simplify: Simplify 0 into 0 1546937169.223 * [misc]backup-simplify: Simplify 1 into 1 1546937169.223 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1546937169.223 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.223 * [misc]backup-simplify: Simplify 0 into 0 1546937169.223 * [misc]backup-simplify: Simplify 1 into 1 1546937169.223 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.223 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.223 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.223 * [misc]backup-simplify: Simplify 1 into 1 1546937169.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.224 * [misc]backup-simplify: Simplify 0 into 0 1546937169.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.225 * [misc]backup-simplify: Simplify 0 into 0 1546937169.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.226 * [misc]backup-simplify: Simplify 0 into 0 1546937169.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.228 * [misc]backup-simplify: Simplify 0 into 0 1546937169.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.229 * [misc]backup-simplify: Simplify 0 into 0 1546937169.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.230 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.231 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.231 * [misc]backup-simplify: Simplify 0 into 0 1546937169.231 * [misc]backup-simplify: Simplify (* 1 (pow d1 8)) into (pow d1 8) 1546937169.231 * [misc]backup-simplify: Simplify (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 1546937169.231 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1546937169.231 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1546937169.231 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1546937169.231 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.231 * [misc]backup-simplify: Simplify 0 into 0 1546937169.231 * [misc]backup-simplify: Simplify 1 into 1 1546937169.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.232 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.232 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1546937169.232 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1546937169.232 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.232 * [misc]backup-simplify: Simplify 0 into 0 1546937169.232 * [misc]backup-simplify: Simplify 1 into 1 1546937169.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.233 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.233 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.233 * [misc]backup-simplify: Simplify 1 into 1 1546937169.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.234 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.234 * [misc]backup-simplify: Simplify 0 into 0 1546937169.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.235 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.235 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.235 * [misc]backup-simplify: Simplify 0 into 0 1546937169.235 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.236 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.236 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.237 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.237 * [misc]backup-simplify: Simplify 0 into 0 1546937169.237 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.237 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.238 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.238 * [misc]backup-simplify: Simplify 0 into 0 1546937169.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.240 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.240 * [misc]backup-simplify: Simplify 0 into 0 1546937169.241 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.241 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.242 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.242 * [misc]backup-simplify: Simplify 0 into 0 1546937169.242 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 1546937169.243 * [misc]backup-simplify: Simplify (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 1546937169.243 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1546937169.243 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1546937169.243 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1546937169.243 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.243 * [misc]backup-simplify: Simplify 0 into 0 1546937169.243 * [misc]backup-simplify: Simplify 1 into 1 1546937169.243 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.243 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.244 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.244 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.244 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1546937169.244 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1546937169.244 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.244 * [misc]backup-simplify: Simplify 0 into 0 1546937169.244 * [misc]backup-simplify: Simplify 1 into 1 1546937169.244 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.244 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.244 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.244 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.245 * [misc]backup-simplify: Simplify 1 into 1 1546937169.245 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.245 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.245 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.246 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.246 * [misc]backup-simplify: Simplify 0 into 0 1546937169.246 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.246 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.246 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.247 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.247 * [misc]backup-simplify: Simplify 0 into 0 1546937169.247 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.247 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.248 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.248 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.248 * [misc]backup-simplify: Simplify 0 into 0 1546937169.248 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.249 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.249 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.250 * [misc]backup-simplify: Simplify 0 into 0 1546937169.250 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.251 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.252 * [misc]backup-simplify: Simplify 0 into 0 1546937169.252 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.254 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.254 * [misc]backup-simplify: Simplify 0 into 0 1546937169.254 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 1546937169.254 * * * [misc]progress: simplifying candidates 1546937169.254 * * * * [misc]progress: [ 1 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 2 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 3 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 4 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 5 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 6 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 7 / 52 ] simplifiying candidate # 1546937169.254 * * * * [misc]progress: [ 8 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 9 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 10 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 11 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 12 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 13 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 14 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 15 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 16 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 17 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 18 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 19 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 20 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 21 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 22 / 52 ] simplifiying candidate # 1546937169.255 * * * * [misc]progress: [ 23 / 52 ] simplifiying candidate # 1546937169.256 * * * * [misc]progress: [ 24 / 52 ] simplifiying candidate # 1546937169.256 * * * * [misc]progress: [ 25 / 52 ] simplifiying candidate # 1546937169.256 * * * * [misc]progress: [ 26 / 52 ] simplifiying candidate # 1546937169.256 * * * * [misc]progress: [ 27 / 52 ] simplifiying candidate # 1546937169.256 * * * * [misc]progress: [ 28 / 52 ] simplifiying candidate # 1546937169.256 * * * * [misc]progress: [ 29 / 52 ] simplifiying candidate # 1546937169.256 * [enter]simplify: Simplifying (* d1 (* d1 d1)) 1546937169.256 * * [misc]simplify: iters left: 4 (3 enodes) 1546937169.257 * * [misc]simplify: iters left: 3 (6 enodes) 1546937169.259 * [exit]simplify: Simplified to (pow d1 3) 1546937169.259 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 3) (* d1 d1)) (* d1 d1)) d1)) d1)) 1546937169.259 * * * * [misc]progress: [ 30 / 52 ] simplifiying candidate # 1546937169.259 * * * * [misc]progress: [ 31 / 52 ] simplifiying candidate # 1546937169.259 * * * * [misc]progress: [ 32 / 52 ] simplifiying candidate # 1546937169.259 * * * * [misc]progress: [ 33 / 52 ] simplifiying candidate # 1546937169.259 * * * * [misc]progress: [ 34 / 52 ] simplifiying candidate # 1546937169.260 * * * * [misc]progress: [ 35 / 52 ] simplifiying candidate # 1546937169.260 * * * * [misc]progress: [ 36 / 52 ] simplifiying candidate # 1546937169.260 * * * * [misc]progress: [ 37 / 52 ] simplifiying candidate # 1546937169.260 * * * * [misc]progress: [ 38 / 52 ] simplifiying candidate # 1546937169.260 * * * * [misc]progress: [ 39 / 52 ] simplifiying candidate # 1546937169.260 * [enter]simplify: Simplifying (* (* (* d1 (* d1 d1)) d1) d1) 1546937169.260 * * [misc]simplify: iters left: 6 (5 enodes) 1546937169.262 * * [misc]simplify: iters left: 5 (11 enodes) 1546937169.267 * * [misc]simplify: iters left: 4 (17 enodes) 1546937169.272 * * [misc]simplify: iters left: 3 (22 enodes) 1546937169.277 * [exit]simplify: Simplified to (pow d1 5) 1546937169.277 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 5) (* (* d1 d1) d1))) d1)) 1546937169.277 * * * * [misc]progress: [ 40 / 52 ] simplifiying candidate # 1546937169.277 * * * * [misc]progress: [ 41 / 52 ] simplifiying candidate # 1546937169.277 * [enter]simplify: Simplifying (pow d1 3) 1546937169.277 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.278 * [exit]simplify: Simplified to (pow d1 3) 1546937169.278 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1546937169.278 * * * * [misc]progress: [ 42 / 52 ] simplifiying candidate # 1546937169.279 * [enter]simplify: Simplifying (pow d1 3) 1546937169.279 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.280 * [exit]simplify: Simplified to (pow d1 3) 1546937169.280 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1546937169.280 * * * * [misc]progress: [ 43 / 52 ] simplifiying candidate # 1546937169.280 * [enter]simplify: Simplifying (pow d1 3) 1546937169.280 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.281 * [exit]simplify: Simplified to (pow d1 3) 1546937169.281 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1546937169.281 * * * * [misc]progress: [ 44 / 52 ] simplifiying candidate # 1546937169.281 * [enter]simplify: Simplifying (pow d1 4) 1546937169.281 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.282 * [exit]simplify: Simplified to (pow d1 4) 1546937169.282 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1546937169.282 * * * * [misc]progress: [ 45 / 52 ] simplifiying candidate # 1546937169.283 * [enter]simplify: Simplifying (pow d1 4) 1546937169.283 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.284 * [exit]simplify: Simplified to (pow d1 4) 1546937169.284 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1546937169.284 * * * * [misc]progress: [ 46 / 52 ] simplifiying candidate # 1546937169.284 * [enter]simplify: Simplifying (pow d1 4) 1546937169.284 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.285 * [exit]simplify: Simplified to (pow d1 4) 1546937169.285 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1546937169.285 * * * * [misc]progress: [ 47 / 52 ] simplifiying candidate # 1546937169.285 * [enter]simplify: Simplifying (pow d1 5) 1546937169.285 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.286 * [exit]simplify: Simplified to (pow d1 5) 1546937169.286 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1546937169.286 * * * * [misc]progress: [ 48 / 52 ] simplifiying candidate # 1546937169.286 * [enter]simplify: Simplifying (pow d1 5) 1546937169.286 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.287 * [exit]simplify: Simplified to (pow d1 5) 1546937169.287 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1546937169.287 * * * * [misc]progress: [ 49 / 52 ] simplifiying candidate # 1546937169.288 * [enter]simplify: Simplifying (pow d1 5) 1546937169.288 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.289 * [exit]simplify: Simplified to (pow d1 5) 1546937169.289 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1546937169.289 * * * * [misc]progress: [ 50 / 52 ] simplifiying candidate # 1546937169.289 * [enter]simplify: Simplifying (pow d1 8) 1546937169.289 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.290 * [exit]simplify: Simplified to (pow d1 8) 1546937169.290 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1546937169.290 * * * * [misc]progress: [ 51 / 52 ] simplifiying candidate # 1546937169.290 * [enter]simplify: Simplifying (pow d1 8) 1546937169.290 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.291 * [exit]simplify: Simplified to (pow d1 8) 1546937169.291 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1546937169.291 * * * * [misc]progress: [ 52 / 52 ] simplifiying candidate # 1546937169.291 * [enter]simplify: Simplifying (pow d1 8) 1546937169.291 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.292 * [exit]simplify: Simplified to (pow d1 8) 1546937169.292 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1546937169.292 * * * [misc]progress: adding candidates to table 1546937169.610 * * [misc]progress: iteration 2 / 4 1546937169.610 * * * [misc]progress: picking best candidate 1546937169.617 * * * * [misc]pick: Picked # 1546937169.617 * * * [misc]progress: localizing error 1546937169.632 * * * [misc]progress: generating rewritten candidates 1546937169.632 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1546937169.635 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1546937169.642 * * * [misc]progress: generating series expansions 1546937169.642 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1546937169.642 * [misc]backup-simplify: Simplify (* d1 (pow d1 8)) into (pow d1 9) 1546937169.642 * [misc]approximate: Taking taylor expansion of (pow d1 9) in (d1) around 0 1546937169.642 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1546937169.642 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.642 * [misc]backup-simplify: Simplify 0 into 0 1546937169.642 * [misc]backup-simplify: Simplify 1 into 1 1546937169.642 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1546937169.642 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.642 * [misc]backup-simplify: Simplify 0 into 0 1546937169.642 * [misc]backup-simplify: Simplify 1 into 1 1546937169.642 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.643 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.643 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.643 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.643 * [misc]backup-simplify: Simplify 1 into 1 1546937169.643 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.643 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.644 * [misc]backup-simplify: Simplify 0 into 0 1546937169.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.645 * [misc]backup-simplify: Simplify 0 into 0 1546937169.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.646 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.646 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.646 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.646 * [misc]backup-simplify: Simplify 0 into 0 1546937169.647 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.647 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.648 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.648 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.648 * [misc]backup-simplify: Simplify 0 into 0 1546937169.648 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.649 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.650 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.650 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.650 * [misc]backup-simplify: Simplify 0 into 0 1546937169.651 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.651 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.652 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.652 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.652 * [misc]backup-simplify: Simplify 0 into 0 1546937169.652 * [misc]backup-simplify: Simplify (* 1 (pow d1 9)) into (pow d1 9) 1546937169.653 * [misc]backup-simplify: Simplify (* (/ 1 d1) (pow (/ 1 d1) 8)) into (/ 1 (pow d1 9)) 1546937169.653 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 1546937169.653 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1546937169.653 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1546937169.653 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.653 * [misc]backup-simplify: Simplify 0 into 0 1546937169.653 * [misc]backup-simplify: Simplify 1 into 1 1546937169.653 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.653 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.653 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.653 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.654 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.654 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1546937169.654 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1546937169.654 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.654 * [misc]backup-simplify: Simplify 0 into 0 1546937169.654 * [misc]backup-simplify: Simplify 1 into 1 1546937169.654 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.654 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.654 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.654 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.654 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.654 * [misc]backup-simplify: Simplify 1 into 1 1546937169.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.656 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.656 * [misc]backup-simplify: Simplify 0 into 0 1546937169.656 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.656 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.656 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.657 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.657 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.657 * [misc]backup-simplify: Simplify 0 into 0 1546937169.657 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.658 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.658 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.658 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.659 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.659 * [misc]backup-simplify: Simplify 0 into 0 1546937169.659 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.660 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.660 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.661 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.661 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.661 * [misc]backup-simplify: Simplify 0 into 0 1546937169.662 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.662 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.663 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.664 * [misc]backup-simplify: Simplify 0 into 0 1546937169.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.666 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.666 * [misc]backup-simplify: Simplify 0 into 0 1546937169.666 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 1546937169.667 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (pow (/ 1 (- d1)) 8)) into (/ -1 (pow d1 9)) 1546937169.667 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 1546937169.667 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1546937169.667 * [misc]taylor: Taking taylor expansion of -1 in d1 1546937169.667 * [misc]backup-simplify: Simplify -1 into -1 1546937169.667 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1546937169.667 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.667 * [misc]backup-simplify: Simplify 0 into 0 1546937169.667 * [misc]backup-simplify: Simplify 1 into 1 1546937169.667 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.667 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.667 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.668 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.671 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546937169.671 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1546937169.671 * [misc]taylor: Taking taylor expansion of -1 in d1 1546937169.671 * [misc]backup-simplify: Simplify -1 into -1 1546937169.671 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1546937169.671 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.671 * [misc]backup-simplify: Simplify 0 into 0 1546937169.671 * [misc]backup-simplify: Simplify 1 into 1 1546937169.671 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.671 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.672 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.672 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.672 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546937169.672 * [misc]backup-simplify: Simplify -1 into -1 1546937169.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.673 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1546937169.673 * [misc]backup-simplify: Simplify 0 into 0 1546937169.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.675 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.675 * [misc]backup-simplify: Simplify 0 into 0 1546937169.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.677 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.677 * [misc]backup-simplify: Simplify 0 into 0 1546937169.677 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.677 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.679 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.679 * [misc]backup-simplify: Simplify 0 into 0 1546937169.679 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.681 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.681 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.681 * [misc]backup-simplify: Simplify 0 into 0 1546937169.682 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.682 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.683 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.683 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.684 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.684 * [misc]backup-simplify: Simplify 0 into 0 1546937169.684 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 1546937169.684 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1546937169.684 * [misc]backup-simplify: Simplify (* (* d1 (pow d1 8)) d1) into (pow d1 10) 1546937169.684 * [misc]approximate: Taking taylor expansion of (pow d1 10) in (d1) around 0 1546937169.684 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1546937169.684 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.684 * [misc]backup-simplify: Simplify 0 into 0 1546937169.684 * [misc]backup-simplify: Simplify 1 into 1 1546937169.684 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1546937169.684 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.685 * [misc]backup-simplify: Simplify 0 into 0 1546937169.685 * [misc]backup-simplify: Simplify 1 into 1 1546937169.685 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.685 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.685 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.685 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.685 * [misc]backup-simplify: Simplify 1 into 1 1546937169.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.686 * [misc]backup-simplify: Simplify 0 into 0 1546937169.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.687 * [misc]backup-simplify: Simplify 0 into 0 1546937169.688 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.688 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.688 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.689 * [misc]backup-simplify: Simplify 0 into 0 1546937169.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.690 * [misc]backup-simplify: Simplify 0 into 0 1546937169.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.692 * [misc]backup-simplify: Simplify 0 into 0 1546937169.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.694 * [misc]backup-simplify: Simplify 0 into 0 1546937169.694 * [misc]backup-simplify: Simplify (* 1 (pow d1 10)) into (pow d1 10) 1546937169.694 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (pow (/ 1 d1) 8)) (/ 1 d1)) into (/ 1 (pow d1 10)) 1546937169.694 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1546937169.694 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1546937169.694 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1546937169.694 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.694 * [misc]backup-simplify: Simplify 0 into 0 1546937169.694 * [misc]backup-simplify: Simplify 1 into 1 1546937169.695 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.695 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.695 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.695 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.695 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.695 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1546937169.695 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1546937169.695 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.695 * [misc]backup-simplify: Simplify 0 into 0 1546937169.695 * [misc]backup-simplify: Simplify 1 into 1 1546937169.696 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.696 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.696 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.696 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.696 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.696 * [misc]backup-simplify: Simplify 1 into 1 1546937169.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.697 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.698 * [misc]backup-simplify: Simplify 0 into 0 1546937169.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.699 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.699 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.699 * [misc]backup-simplify: Simplify 0 into 0 1546937169.699 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.701 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.701 * [misc]backup-simplify: Simplify 0 into 0 1546937169.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.702 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.702 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.702 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.703 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.703 * [misc]backup-simplify: Simplify 0 into 0 1546937169.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.706 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.706 * [misc]backup-simplify: Simplify 0 into 0 1546937169.706 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.708 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.708 * [misc]backup-simplify: Simplify 0 into 0 1546937169.709 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 1546937169.709 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (pow (/ 1 (- d1)) 8)) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 1546937169.709 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1546937169.709 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1546937169.709 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1546937169.709 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.709 * [misc]backup-simplify: Simplify 0 into 0 1546937169.709 * [misc]backup-simplify: Simplify 1 into 1 1546937169.709 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.709 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.709 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.710 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.710 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.710 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1546937169.710 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1546937169.710 * [misc]taylor: Taking taylor expansion of d1 in d1 1546937169.710 * [misc]backup-simplify: Simplify 0 into 0 1546937169.710 * [misc]backup-simplify: Simplify 1 into 1 1546937169.710 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.711 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.711 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.711 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546937169.711 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546937169.711 * [misc]backup-simplify: Simplify 1 into 1 1546937169.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546937169.712 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546937169.712 * [misc]backup-simplify: Simplify 0 into 0 1546937169.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546937169.714 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.714 * [misc]backup-simplify: Simplify 0 into 0 1546937169.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546937169.716 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.716 * [misc]backup-simplify: Simplify 0 into 0 1546937169.716 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546937169.718 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.718 * [misc]backup-simplify: Simplify 0 into 0 1546937169.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546937169.720 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.720 * [misc]backup-simplify: Simplify 0 into 0 1546937169.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.723 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546937169.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546937169.723 * [misc]backup-simplify: Simplify 0 into 0 1546937169.723 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 1546937169.723 * * * [misc]progress: simplifying candidates 1546937169.723 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1546937169.724 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1546937169.724 * [enter]simplify: Simplifying (cbrt (pow d1 8)) 1546937169.724 * * [misc]simplify: iters left: 2 (4 enodes) 1546937169.726 * [exit]simplify: Simplified to (cbrt (pow d1 8)) 1546937169.726 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* (* d1 (* (cbrt (pow d1 8)) (cbrt (pow d1 8)))) (cbrt (pow d1 8))) d1)) 1546937169.726 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1546937169.726 * [enter]simplify: Simplifying (sqrt (pow d1 8)) 1546937169.726 * * [misc]simplify: iters left: 2 (4 enodes) 1546937169.727 * [exit]simplify: Simplified to (sqrt (pow d1 8)) 1546937169.727 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* (* d1 (sqrt (pow d1 8))) (sqrt (pow d1 8))) d1)) 1546937169.727 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1546937169.727 * [enter]simplify: Simplifying (pow d1 8) 1546937169.728 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.728 * [exit]simplify: Simplified to (pow d1 8) 1546937169.728 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* (* d1 1) (pow d1 8)) d1)) 1546937169.729 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1546937169.729 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1546937169.729 * [enter]simplify: Simplifying (pow d1 9) 1546937169.729 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.730 * [exit]simplify: Simplified to (pow d1 9) 1546937169.730 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1546937169.730 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1546937169.731 * [enter]simplify: Simplifying (pow d1 9) 1546937169.731 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.732 * [exit]simplify: Simplified to (pow d1 9) 1546937169.732 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1546937169.732 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1546937169.732 * [enter]simplify: Simplifying (pow d1 9) 1546937169.732 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.733 * [exit]simplify: Simplified to (pow d1 9) 1546937169.733 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1546937169.733 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1546937169.733 * [enter]simplify: Simplifying (pow d1 10) 1546937169.733 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.734 * [exit]simplify: Simplified to (pow d1 10) 1546937169.734 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1546937169.734 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1546937169.734 * [enter]simplify: Simplifying (pow d1 10) 1546937169.735 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.735 * [exit]simplify: Simplified to (pow d1 10) 1546937169.735 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1546937169.736 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1546937169.736 * [enter]simplify: Simplifying (pow d1 10) 1546937169.736 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.737 * [exit]simplify: Simplified to (pow d1 10) 1546937169.737 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1546937169.737 * * * [misc]progress: adding candidates to table 1546937169.948 * * [misc]progress: iteration 3 / 4 1546937169.948 * * * [misc]progress: picking best candidate 1546937169.950 * * * * [misc]pick: Picked # 1546937169.950 * * * [misc]progress: localizing error 1546937169.953 * * * [misc]progress: generating rewritten candidates 1546937169.953 * * * [misc]progress: generating series expansions 1546937169.953 * * * [misc]progress: simplifying candidates 1546937169.953 * * * [misc]progress: adding candidates to table 1546937169.954 * [misc]progress: [Phase 3 of 3] Extracting. 1546937169.955 * [enter]simplify: Simplifying (pow d1 10) 1546937169.955 * * [misc]simplify: iters left: 1 (3 enodes) 1546937169.956 * [exit]simplify: Simplified to (pow d1 10) 1546937169.956 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546937171.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937171.256 * * * * [misc]points: Sampling 3657 additional inputs, on iter 1 have 4343 / 8000 1546937171.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937171.776 * * * * [misc]points: Sampling 1658 additional inputs, on iter 2 have 6342 / 8000 1546937172.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.108 * * * * [misc]points: Sampling 748 additional inputs, on iter 3 have 7252 / 8000 1546937172.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.628 * * * * [misc]points: Sampling 320 additional inputs, on iter 4 have 7680 / 8000 1546937172.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.698 * * * * [misc]points: Sampling 153 additional inputs, on iter 5 have 7847 / 8000 1546937172.730 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.730 * * * * [misc]points: Sampling 72 additional inputs, on iter 6 have 7928 / 8000 1546937172.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.747 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 7968 / 8000 1546937172.755 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.755 * * * * [misc]points: Sampling 14 additional inputs, on iter 8 have 7986 / 8000 1546937172.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.760 * * * * [misc]points: Sampling 6 additional inputs, on iter 9 have 7994 / 8000 1546937172.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.763 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1546937172.765 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.766 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 1546937172.768 * * * * [misc]points: Filtering points with unrepresentable outputs 1546937172.768 * * * * [exit]points: Sampled 8001 points with exact outputs 1546937172.992 * [misc]regime-testing: Baseline error score: 0 1546937172.994 * [misc]regime-testing: Oracle error score: 0 1546937172.994 * [misc]regime-testing: End program error score: 0 1546937173.061 * [misc]regime-testing: Target error score: 0