1546852415.770 * [misc]progress: [Phase 1 of 3] Setting up. 1546852415.771 * * * [misc]progress: [1/2] Preparing points 1546852415.772 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546852415.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.879 * * * * [misc]points: Sampling 157 additional inputs, on iter 1 have 99 / 256 1546852415.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.895 * * * * [misc]points: Sampling 97 additional inputs, on iter 2 have 159 / 256 1546852415.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.902 * * * * [misc]points: Sampling 68 additional inputs, on iter 3 have 188 / 256 1546852415.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.908 * * * * [misc]points: Sampling 42 additional inputs, on iter 4 have 214 / 256 1546852415.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.912 * * * * [misc]points: Sampling 21 additional inputs, on iter 5 have 235 / 256 1546852415.917 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.917 * * * * [misc]points: Sampling 13 additional inputs, on iter 6 have 243 / 256 1546852415.921 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.921 * * * * [misc]points: Sampling 9 additional inputs, on iter 7 have 247 / 256 1546852415.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.924 * * * * [misc]points: Sampling 5 additional inputs, on iter 8 have 251 / 256 1546852415.926 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.927 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 253 / 256 1546852415.929 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.929 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1546852415.931 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.931 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 255 / 256 1546852415.934 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852415.934 * * * * [exit]points: Sampled 256 points with exact outputs 1546852415.934 * * * [misc]progress: [2/2] Setting up program. 1546852415.940 * [misc]progress: [Phase 2 of 3] Improving. 1546852415.941 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546852415.942 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546852415.943 * * [misc]simplify: iters left: 3 (6 enodes) 1546852415.946 * * [misc]simplify: iters left: 2 (8 enodes) 1546852415.948 * * [misc]simplify: iters left: 1 (9 enodes) 1546852415.950 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546852415.950 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546852415.954 * * [misc]progress: iteration 1 / 4 1546852415.954 * * * [misc]progress: picking best candidate 1546852415.957 * * * * [misc]pick: Picked # 1546852415.957 * * * [misc]progress: localizing error 1546852416.023 * * * [misc]progress: generating rewritten candidates 1546852416.024 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1546852416.103 * * * [misc]progress: generating series expansions 1546852416.103 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1546852416.113 * [misc]backup-simplify: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1546852416.113 * [misc]approximate: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1546852416.115 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1546852416.115 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546852416.115 * [misc]taylor: Taking taylor expansion of x in y 1546852416.115 * [misc]backup-simplify: Simplify x into x 1546852416.116 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546852416.116 * [misc]taylor: Taking taylor expansion of y in y 1546852416.116 * [misc]backup-simplify: Simplify 0 into 0 1546852416.116 * [misc]backup-simplify: Simplify 1 into 1 1546852416.116 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1546852416.116 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546852416.116 * [misc]taylor: Taking taylor expansion of x in x 1546852416.117 * [misc]backup-simplify: Simplify 0 into 0 1546852416.117 * [misc]backup-simplify: Simplify 1 into 1 1546852416.117 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546852416.117 * [misc]taylor: Taking taylor expansion of y in x 1546852416.117 * [misc]backup-simplify: Simplify y into y 1546852416.117 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1546852416.117 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546852416.117 * [misc]taylor: Taking taylor expansion of x in x 1546852416.117 * [misc]backup-simplify: Simplify 0 into 0 1546852416.117 * [misc]backup-simplify: Simplify 1 into 1 1546852416.117 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546852416.117 * [misc]taylor: Taking taylor expansion of y in x 1546852416.117 * [misc]backup-simplify: Simplify y into y 1546852416.119 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546852416.119 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546852416.119 * [misc]backup-simplify: Simplify (- (pow y 4)) into (- (pow y 4)) 1546852416.119 * [misc]backup-simplify: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1546852416.120 * [misc]taylor: Taking taylor expansion of (- (pow y 4)) in y 1546852416.120 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546852416.120 * [misc]taylor: Taking taylor expansion of y in y 1546852416.120 * [misc]backup-simplify: Simplify 0 into 0 1546852416.120 * [misc]backup-simplify: Simplify 1 into 1 1546852416.120 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546852416.120 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546852416.121 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.121 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.121 * [misc]backup-simplify: Simplify 0 into 0 1546852416.122 * [misc]backup-simplify: Simplify 0 into 0 1546852416.122 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546852416.122 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546852416.123 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.123 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.123 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.123 * [misc]backup-simplify: Simplify 0 into 0 1546852416.123 * [misc]backup-simplify: Simplify 0 into 0 1546852416.123 * [misc]backup-simplify: Simplify 0 into 0 1546852416.123 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1546852416.124 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1546852416.124 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.125 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.125 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.125 * [misc]backup-simplify: Simplify 0 into 0 1546852416.125 * [misc]backup-simplify: Simplify 0 into 0 1546852416.125 * [misc]backup-simplify: Simplify 0 into 0 1546852416.125 * [misc]backup-simplify: Simplify 0 into 0 1546852416.125 * [misc]backup-simplify: Simplify 0 into 0 1546852416.126 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1546852416.126 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1546852416.126 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1546852416.126 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1546852416.126 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546852416.126 * [misc]taylor: Taking taylor expansion of x in y 1546852416.126 * [misc]backup-simplify: Simplify x into x 1546852416.126 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1546852416.126 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1546852416.126 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1546852416.127 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546852416.127 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546852416.127 * [misc]taylor: Taking taylor expansion of y in y 1546852416.127 * [misc]backup-simplify: Simplify 0 into 0 1546852416.127 * [misc]backup-simplify: Simplify 1 into 1 1546852416.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.128 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.128 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546852416.128 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546852416.128 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546852416.128 * [misc]taylor: Taking taylor expansion of x in x 1546852416.128 * [misc]backup-simplify: Simplify 0 into 0 1546852416.128 * [misc]backup-simplify: Simplify 1 into 1 1546852416.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.129 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.129 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.129 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546852416.129 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546852416.129 * [misc]taylor: Taking taylor expansion of y in x 1546852416.129 * [misc]backup-simplify: Simplify y into y 1546852416.129 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546852416.129 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546852416.129 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546852416.129 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546852416.129 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546852416.129 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546852416.129 * [misc]taylor: Taking taylor expansion of x in x 1546852416.129 * [misc]backup-simplify: Simplify 0 into 0 1546852416.129 * [misc]backup-simplify: Simplify 1 into 1 1546852416.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.130 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546852416.130 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546852416.130 * [misc]taylor: Taking taylor expansion of y in x 1546852416.130 * [misc]backup-simplify: Simplify y into y 1546852416.130 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546852416.130 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546852416.130 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546852416.131 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852416.131 * [misc]taylor: Taking taylor expansion of 1 in y 1546852416.131 * [misc]backup-simplify: Simplify 1 into 1 1546852416.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.132 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852416.132 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.132 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.132 * [misc]backup-simplify: Simplify 0 into 0 1546852416.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.133 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.133 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.133 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.133 * [misc]backup-simplify: Simplify 0 into 0 1546852416.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852416.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852416.134 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.134 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.134 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.134 * [misc]backup-simplify: Simplify 0 into 0 1546852416.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852416.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852416.136 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.136 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1546852416.136 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1546852416.136 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1546852416.136 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546852416.136 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546852416.136 * [misc]taylor: Taking taylor expansion of y in y 1546852416.136 * [misc]backup-simplify: Simplify 0 into 0 1546852416.136 * [misc]backup-simplify: Simplify 1 into 1 1546852416.136 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.136 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.137 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.137 * [misc]backup-simplify: Simplify (- 1) into -1 1546852416.137 * [misc]backup-simplify: Simplify -1 into -1 1546852416.137 * [misc]backup-simplify: Simplify 1 into 1 1546852416.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852416.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852416.139 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.139 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546852416.139 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546852416.139 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1546852416.139 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.140 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.140 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.140 * [misc]backup-simplify: Simplify 0 into 0 1546852416.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.141 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852416.141 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.141 * [misc]backup-simplify: Simplify 0 into 0 1546852416.141 * [misc]backup-simplify: Simplify 0 into 0 1546852416.141 * [misc]backup-simplify: Simplify 0 into 0 1546852416.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852416.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852416.143 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.177 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546852416.178 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546852416.178 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1546852416.179 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.179 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.179 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.179 * [misc]backup-simplify: Simplify 0 into 0 1546852416.179 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.180 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.180 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.180 * [misc]backup-simplify: Simplify 0 into 0 1546852416.180 * [misc]backup-simplify: Simplify 0 into 0 1546852416.181 * [misc]backup-simplify: Simplify 0 into 0 1546852416.181 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 1546852416.182 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1546852416.182 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1546852416.182 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1546852416.182 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1546852416.182 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546852416.182 * [misc]taylor: Taking taylor expansion of x in y 1546852416.182 * [misc]backup-simplify: Simplify x into x 1546852416.182 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1546852416.182 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1546852416.182 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1546852416.182 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546852416.182 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546852416.182 * [misc]taylor: Taking taylor expansion of y in y 1546852416.183 * [misc]backup-simplify: Simplify 0 into 0 1546852416.183 * [misc]backup-simplify: Simplify 1 into 1 1546852416.183 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.183 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.183 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.183 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546852416.183 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546852416.183 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546852416.184 * [misc]taylor: Taking taylor expansion of x in x 1546852416.184 * [misc]backup-simplify: Simplify 0 into 0 1546852416.184 * [misc]backup-simplify: Simplify 1 into 1 1546852416.184 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.184 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.184 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.184 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546852416.184 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546852416.184 * [misc]taylor: Taking taylor expansion of y in x 1546852416.184 * [misc]backup-simplify: Simplify y into y 1546852416.184 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546852416.185 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546852416.185 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546852416.185 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546852416.185 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546852416.185 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546852416.185 * [misc]taylor: Taking taylor expansion of x in x 1546852416.185 * [misc]backup-simplify: Simplify 0 into 0 1546852416.185 * [misc]backup-simplify: Simplify 1 into 1 1546852416.185 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.185 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.186 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.186 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546852416.186 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546852416.186 * [misc]taylor: Taking taylor expansion of y in x 1546852416.186 * [misc]backup-simplify: Simplify y into y 1546852416.186 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546852416.186 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546852416.186 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546852416.187 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852416.187 * [misc]taylor: Taking taylor expansion of 1 in y 1546852416.187 * [misc]backup-simplify: Simplify 1 into 1 1546852416.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.188 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852416.188 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.188 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.188 * [misc]backup-simplify: Simplify 0 into 0 1546852416.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.189 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.189 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.189 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.189 * [misc]backup-simplify: Simplify 0 into 0 1546852416.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852416.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546852416.191 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.191 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.191 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.191 * [misc]backup-simplify: Simplify 0 into 0 1546852416.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852416.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546852416.193 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.193 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1546852416.194 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1546852416.194 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1546852416.194 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546852416.194 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546852416.194 * [misc]taylor: Taking taylor expansion of y in y 1546852416.194 * [misc]backup-simplify: Simplify 0 into 0 1546852416.194 * [misc]backup-simplify: Simplify 1 into 1 1546852416.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546852416.195 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852416.195 * [misc]backup-simplify: Simplify (- 1) into -1 1546852416.195 * [misc]backup-simplify: Simplify -1 into -1 1546852416.195 * [misc]backup-simplify: Simplify 1 into 1 1546852416.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852416.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546852416.197 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.197 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546852416.197 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546852416.197 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1546852416.198 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.198 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.198 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.198 * [misc]backup-simplify: Simplify 0 into 0 1546852416.198 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.199 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546852416.199 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852416.199 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.199 * [misc]backup-simplify: Simplify 0 into 0 1546852416.199 * [misc]backup-simplify: Simplify 0 into 0 1546852416.199 * [misc]backup-simplify: Simplify 0 into 0 1546852416.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852416.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546852416.201 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.202 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546852416.202 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546852416.202 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1546852416.203 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.203 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852416.203 * [misc]taylor: Taking taylor expansion of 0 in y 1546852416.203 * [misc]backup-simplify: Simplify 0 into 0 1546852416.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546852416.204 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852416.204 * [misc]backup-simplify: Simplify (- 0) into 0 1546852416.204 * [misc]backup-simplify: Simplify 0 into 0 1546852416.204 * [misc]backup-simplify: Simplify 0 into 0 1546852416.204 * [misc]backup-simplify: Simplify 0 into 0 1546852416.204 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 1546852416.204 * * * [misc]progress: simplifying candidates 1546852416.204 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1546852416.205 * [enter]simplify: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))) 1546852416.205 * * [misc]simplify: iters left: 4 (8 enodes) 1546852416.206 * * [misc]simplify: iters left: 3 (10 enodes) 1546852416.208 * * [misc]simplify: iters left: 2 (12 enodes) 1546852416.212 * * [misc]simplify: iters left: 1 (15 enodes) 1546852416.216 * [exit]simplify: Simplified to (exp (- (pow x 4) (pow y 4))) 1546852416.216 * [misc]simplify: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4))))) 1546852416.216 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1546852416.216 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1546852416.217 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1546852416.217 * [enter]simplify: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1546852416.217 * * [misc]simplify: iters left: 4 (8 enodes) 1546852416.220 * * [misc]simplify: iters left: 3 (9 enodes) 1546852416.222 * [exit]simplify: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1546852416.222 * [misc]simplify: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1546852416.223 * [enter]simplify: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1546852416.223 * * [misc]simplify: iters left: 4 (8 enodes) 1546852416.225 * * [misc]simplify: iters left: 3 (10 enodes) 1546852416.228 * * [misc]simplify: iters left: 2 (11 enodes) 1546852416.232 * [exit]simplify: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1546852416.232 * [misc]simplify: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1546852416.232 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1546852416.232 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546852416.232 * * [misc]simplify: iters left: 3 (6 enodes) 1546852416.234 * * [misc]simplify: iters left: 2 (8 enodes) 1546852416.236 * * [misc]simplify: iters left: 1 (9 enodes) 1546852416.239 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546852416.239 * [misc]simplify: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4)))) 1546852416.239 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1546852416.239 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1546852416.240 * [enter]simplify: Simplifying 0 1546852416.240 * * [misc]simplify: iters left: 0 (1 enodes) 1546852416.240 * [exit]simplify: Simplified to 0 1546852416.240 * [misc]simplify: Simplified (2) to (λ (x y) 0) 1546852416.240 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1546852416.240 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546852416.240 * * [misc]simplify: iters left: 3 (6 enodes) 1546852416.242 * * [misc]simplify: iters left: 2 (8 enodes) 1546852416.245 * * [misc]simplify: iters left: 1 (9 enodes) 1546852416.247 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546852416.247 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546852416.247 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1546852416.247 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546852416.248 * * [misc]simplify: iters left: 3 (6 enodes) 1546852416.249 * * [misc]simplify: iters left: 2 (8 enodes) 1546852416.252 * * [misc]simplify: iters left: 1 (9 enodes) 1546852416.255 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546852416.256 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546852416.256 * * * [misc]progress: adding candidates to table 1546852416.480 * [misc]progress: [Phase 3 of 3] Extracting. 1546852416.485 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546852416.486 * * [misc]simplify: iters left: 3 (6 enodes) 1546852416.486 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546852416.486 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546852417.428 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852417.431 * * * * [misc]points: Sampling 4897 additional inputs, on iter 1 have 3103 / 8000 1546852417.971 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852417.973 * * * * [misc]points: Sampling 3062 additional inputs, on iter 2 have 4938 / 8000 1546852418.374 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852418.374 * * * * [misc]points: Sampling 1897 additional inputs, on iter 3 have 6103 / 8000 1546852418.558 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852418.559 * * * * [misc]points: Sampling 1156 additional inputs, on iter 4 have 6844 / 8000 1546852418.717 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852418.718 * * * * [misc]points: Sampling 714 additional inputs, on iter 5 have 7286 / 8000 1546852418.809 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852418.810 * * * * [misc]points: Sampling 446 additional inputs, on iter 6 have 7554 / 8000 1546852418.866 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852418.867 * * * * [misc]points: Sampling 270 additional inputs, on iter 7 have 7730 / 8000 1546852418.901 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852418.902 * * * * [misc]points: Sampling 163 additional inputs, on iter 8 have 7837 / 8000 1546852419.353 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.354 * * * * [misc]points: Sampling 92 additional inputs, on iter 9 have 7908 / 8000 1546852419.370 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.370 * * * * [misc]points: Sampling 59 additional inputs, on iter 10 have 7941 / 8000 1546852419.379 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.379 * * * * [misc]points: Sampling 38 additional inputs, on iter 11 have 7962 / 8000 1546852419.386 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.386 * * * * [misc]points: Sampling 20 additional inputs, on iter 12 have 7980 / 8000 1546852419.390 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.391 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 7989 / 8000 1546852419.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.394 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7996 / 8000 1546852419.396 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.396 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 7997 / 8000 1546852419.399 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.399 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7998 / 8000 1546852419.401 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852419.401 * * * * [exit]points: Sampled 8000 points with exact outputs 1546852419.657 * [misc]regime-testing: Baseline error score: 0.0035 1546852419.658 * [misc]regime-testing: Oracle error score: 0.0035 1546852419.659 * [misc]regime-testing: End program error score: 0.0035