1540977024.544 * [misc]progress: [Phase 1 of 3] Setting up. 1540977024.545 * * * [misc]progress: [1/2] Preparing points 1540977024.545 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540977024.643 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.643 * * * * [misc]points: Sampling 182 additional inputs, on iter 1 have 74 / 256 1540977024.659 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.659 * * * * [misc]points: Sampling 148 additional inputs, on iter 2 have 108 / 256 1540977024.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.672 * * * * [misc]points: Sampling 111 additional inputs, on iter 3 have 145 / 256 1540977024.682 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.682 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 1540977024.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.690 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1540977024.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.697 * * * * [misc]points: Sampling 50 additional inputs, on iter 6 have 206 / 256 1540977024.703 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.703 * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 222 / 256 1540977024.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.707 * * * * [misc]points: Sampling 25 additional inputs, on iter 8 have 231 / 256 1540977024.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.710 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1540977024.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.713 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1540977024.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.715 * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 1540977024.717 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.717 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 250 / 256 1540977024.744 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.744 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 254 / 256 1540977024.746 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.746 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 255 / 256 1540977024.748 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977024.748 * * * * [exit]points: Sampled 256 points with exact outputs 1540977024.748 * * * [misc]progress: [2/2] Setting up program. 1540977024.752 * [misc]progress: [Phase 2 of 3] Improving. 1540977024.753 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1540977024.758 * * [misc]simplify: iters left: 6 (6 enodes) 1540977024.763 * * [misc]simplify: iters left: 5 (11 enodes) 1540977024.765 * * [misc]simplify: iters left: 4 (12 enodes) 1540977024.767 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1540977024.776 * * [misc]progress: iteration 1 / 4 1540977024.776 * * * [misc]progress: picking best candidate 1540977024.780 * * * * [misc]pick: Picked # 1540977024.780 * * * [misc]progress: localizing error 1540977024.797 * * * [misc]progress: generating rewritten candidates 1540977024.797 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1540977024.809 * * * [misc]progress: generating series expansions 1540977024.809 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1540977024.814 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1540977024.815 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1540977024.815 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540977024.815 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540977024.815 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540977024.815 * [misc]taylor: Taking taylor expansion of x in x 1540977024.816 * [misc]backup-simplify: Simplify 0 into 0 1540977024.816 * [misc]backup-simplify: Simplify 1 into 1 1540977024.816 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540977024.816 * [misc]taylor: Taking taylor expansion of 1 in x 1540977024.816 * [misc]backup-simplify: Simplify 1 into 1 1540977024.816 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977024.817 * [misc]backup-simplify: Simplify (log 1) into 0 1540977024.817 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540977024.817 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540977024.817 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540977024.817 * [misc]taylor: Taking taylor expansion of x in x 1540977024.817 * [misc]backup-simplify: Simplify 0 into 0 1540977024.817 * [misc]backup-simplify: Simplify 1 into 1 1540977024.817 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540977024.817 * [misc]taylor: Taking taylor expansion of 1 in x 1540977024.817 * [misc]backup-simplify: Simplify 1 into 1 1540977024.817 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977024.817 * [misc]backup-simplify: Simplify (log 1) into 0 1540977024.818 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540977024.818 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1540977024.819 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540977024.819 * [misc]backup-simplify: Simplify (- 1) into -1 1540977024.819 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977025.140 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540977025.140 * [misc]backup-simplify: Simplify -1 into -1 1540977025.142 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540977025.142 * [misc]backup-simplify: Simplify (- 0) into 0 1540977025.142 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977025.146 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1540977025.146 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540977025.147 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540977025.147 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1540977025.147 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1540977025.147 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540977025.147 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540977025.147 * [misc]taylor: Taking taylor expansion of x in x 1540977025.147 * [misc]backup-simplify: Simplify 0 into 0 1540977025.147 * [misc]backup-simplify: Simplify 1 into 1 1540977025.147 * [misc]taylor: Taking taylor expansion of 1 in x 1540977025.147 * [misc]backup-simplify: Simplify 1 into 1 1540977025.148 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.148 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977025.148 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540977025.148 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540977025.148 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540977025.148 * [misc]taylor: Taking taylor expansion of x in x 1540977025.148 * [misc]backup-simplify: Simplify 0 into 0 1540977025.148 * [misc]backup-simplify: Simplify 1 into 1 1540977025.148 * [misc]taylor: Taking taylor expansion of 1 in x 1540977025.148 * [misc]backup-simplify: Simplify 1 into 1 1540977025.148 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.148 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977025.148 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540977025.149 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540977025.149 * [misc]backup-simplify: Simplify (- 0) into 0 1540977025.149 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977025.152 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540977025.152 * [misc]backup-simplify: Simplify -1 into -1 1540977025.152 * [misc]backup-simplify: Simplify (- 0) into 0 1540977025.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977025.156 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1540977025.156 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540977025.157 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540977025.157 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1540977025.157 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1540977025.157 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540977025.157 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540977025.157 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540977025.157 * [misc]taylor: Taking taylor expansion of x in x 1540977025.157 * [misc]backup-simplify: Simplify 0 into 0 1540977025.157 * [misc]backup-simplify: Simplify 1 into 1 1540977025.157 * [misc]taylor: Taking taylor expansion of 1 in x 1540977025.157 * [misc]backup-simplify: Simplify 1 into 1 1540977025.157 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540977025.158 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.158 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.158 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540977025.158 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540977025.158 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540977025.158 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540977025.158 * [misc]taylor: Taking taylor expansion of x in x 1540977025.158 * [misc]backup-simplify: Simplify 0 into 0 1540977025.158 * [misc]backup-simplify: Simplify 1 into 1 1540977025.158 * [misc]taylor: Taking taylor expansion of 1 in x 1540977025.158 * [misc]backup-simplify: Simplify 1 into 1 1540977025.158 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540977025.158 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.158 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.159 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540977025.159 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540977025.159 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977025.159 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.159 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.162 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1540977025.162 * [misc]backup-simplify: Simplify 1 into 1 1540977025.162 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.162 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.162 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977025.162 * [misc]backup-simplify: Simplify (- 0) into 0 1540977025.163 * [misc]backup-simplify: Simplify (- 1) into -1 1540977025.167 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1540977025.167 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540977025.167 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540977025.167 * * * [misc]progress: simplifying candidates 1540977025.168 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1540977025.168 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540977025.169 * * [misc]simplify: iters left: 6 (7 enodes) 1540977025.172 * * [misc]simplify: iters left: 5 (14 enodes) 1540977025.176 * * [misc]simplify: iters left: 4 (15 enodes) 1540977025.180 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540977025.180 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1540977025.180 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1540977025.180 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1540977025.181 * * [misc]simplify: iters left: 6 (6 enodes) 1540977025.184 * * [misc]simplify: iters left: 5 (11 enodes) 1540977025.187 * * [misc]simplify: iters left: 4 (12 enodes) 1540977025.190 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1540977025.190 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540977025.190 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1540977025.190 * [enter]simplify: Simplifying (log 1) 1540977025.191 * * [misc]simplify: iters left: 1 (2 enodes) 1540977025.192 * [exit]simplify: Simplified to 0 1540977025.192 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1540977025.192 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1540977025.193 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1540977025.193 * * [misc]simplify: iters left: 6 (6 enodes) 1540977025.196 * * [misc]simplify: iters left: 5 (9 enodes) 1540977025.199 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1540977025.199 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1540977025.199 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1540977025.199 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1540977025.200 * * [misc]simplify: iters left: 6 (8 enodes) 1540977025.207 * * [misc]simplify: iters left: 5 (20 enodes) 1540977025.214 * * [misc]simplify: iters left: 4 (32 enodes) 1540977025.225 * * [misc]simplify: iters left: 3 (41 enodes) 1540977025.237 * * [misc]simplify: iters left: 2 (49 enodes) 1540977025.245 * * [misc]simplify: iters left: 1 (56 enodes) 1540977025.253 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1540977025.253 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1540977025.253 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1540977025.253 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540977025.254 * * [misc]simplify: iters left: 6 (7 enodes) 1540977025.256 * * [misc]simplify: iters left: 5 (16 enodes) 1540977025.263 * * [misc]simplify: iters left: 4 (17 enodes) 1540977025.266 * * [misc]simplify: iters left: 3 (24 enodes) 1540977025.270 * * [misc]simplify: iters left: 2 (35 enodes) 1540977025.278 * * [misc]simplify: iters left: 1 (57 enodes) 1540977025.305 * [exit]simplify: Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1)) 1540977025.305 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1))))) 1540977025.305 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1540977025.305 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1540977025.305 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1540977025.305 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540977025.306 * * [misc]simplify: iters left: 4 (4 enodes) 1540977025.309 * * [misc]simplify: iters left: 3 (9 enodes) 1540977025.311 * * [misc]simplify: iters left: 2 (10 enodes) 1540977025.314 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540977025.314 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540977025.314 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1540977025.314 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1540977025.314 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1540977025.314 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1540977025.314 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1540977025.314 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1540977025.314 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1540977025.315 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540977025.316 * * [misc]simplify: iters left: 6 (9 enodes) 1540977025.320 * * [misc]simplify: iters left: 5 (18 enodes) 1540977025.328 * * [misc]simplify: iters left: 4 (34 enodes) 1540977025.346 * * [misc]simplify: iters left: 3 (75 enodes) 1540977025.378 * * [misc]simplify: iters left: 2 (104 enodes) 1540977025.400 * * [misc]simplify: iters left: 1 (140 enodes) 1540977025.441 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1540977025.442 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1540977025.442 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1540977025.442 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540977025.445 * * [misc]simplify: iters left: 6 (12 enodes) 1540977025.449 * * [misc]simplify: iters left: 5 (23 enodes) 1540977025.455 * * [misc]simplify: iters left: 4 (34 enodes) 1540977025.466 * * [misc]simplify: iters left: 3 (62 enodes) 1540977025.480 * * [misc]simplify: iters left: 2 (94 enodes) 1540977025.495 * * [misc]simplify: iters left: 1 (125 enodes) 1540977025.528 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540977025.528 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1540977025.528 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1540977025.528 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540977025.529 * * [misc]simplify: iters left: 6 (12 enodes) 1540977025.533 * * [misc]simplify: iters left: 5 (23 enodes) 1540977025.541 * * [misc]simplify: iters left: 4 (34 enodes) 1540977025.554 * * [misc]simplify: iters left: 3 (62 enodes) 1540977025.569 * * [misc]simplify: iters left: 2 (94 enodes) 1540977025.589 * * [misc]simplify: iters left: 1 (125 enodes) 1540977025.641 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540977025.641 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1540977025.641 * * * [misc]progress: adding candidates to table 1540977025.912 * * [misc]progress: iteration 2 / 4 1540977025.912 * * * [misc]progress: picking best candidate 1540977025.920 * * * * [misc]pick: Picked # 1540977025.920 * * * [misc]progress: localizing error 1540977025.946 * * * [misc]progress: generating rewritten candidates 1540977025.946 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2 1) 1540977025.971 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1 1) 1540977026.000 * * * [misc]progress: generating series expansions 1540977026.000 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2 1) 1540977026.000 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1540977026.000 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1540977026.000 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540977026.001 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540977026.001 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540977026.001 * [misc]taylor: Taking taylor expansion of x in x 1540977026.001 * [misc]backup-simplify: Simplify 0 into 0 1540977026.001 * [misc]backup-simplify: Simplify 1 into 1 1540977026.001 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540977026.001 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.001 * [misc]backup-simplify: Simplify 1 into 1 1540977026.001 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.002 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540977026.002 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540977026.002 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540977026.002 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540977026.002 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540977026.002 * [misc]taylor: Taking taylor expansion of x in x 1540977026.002 * [misc]backup-simplify: Simplify 0 into 0 1540977026.002 * [misc]backup-simplify: Simplify 1 into 1 1540977026.003 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540977026.003 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.003 * [misc]backup-simplify: Simplify 1 into 1 1540977026.003 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.003 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540977026.003 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540977026.004 * [misc]backup-simplify: Simplify 0 into 0 1540977026.004 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540977026.005 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540977026.005 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.005 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977026.007 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1540977026.007 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540977026.007 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540977026.007 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.008 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977026.009 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1540977026.009 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540977026.009 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1540977026.009 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1540977026.009 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1540977026.009 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540977026.009 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540977026.010 * [misc]taylor: Taking taylor expansion of x in x 1540977026.010 * [misc]backup-simplify: Simplify 0 into 0 1540977026.010 * [misc]backup-simplify: Simplify 1 into 1 1540977026.010 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.010 * [misc]backup-simplify: Simplify 1 into 1 1540977026.010 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.010 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977026.010 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.010 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.010 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.011 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540977026.011 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540977026.011 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540977026.011 * [misc]taylor: Taking taylor expansion of x in x 1540977026.011 * [misc]backup-simplify: Simplify 0 into 0 1540977026.011 * [misc]backup-simplify: Simplify 1 into 1 1540977026.011 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.011 * [misc]backup-simplify: Simplify 1 into 1 1540977026.011 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.012 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977026.012 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.012 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.012 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.013 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540977026.013 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.013 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1540977026.013 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.014 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977026.016 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.017 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.019 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.019 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1540977026.020 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1540977026.020 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540977026.020 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540977026.020 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540977026.020 * [misc]taylor: Taking taylor expansion of x in x 1540977026.020 * [misc]backup-simplify: Simplify 0 into 0 1540977026.020 * [misc]backup-simplify: Simplify 1 into 1 1540977026.020 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.020 * [misc]backup-simplify: Simplify 1 into 1 1540977026.020 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540977026.020 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.020 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.020 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.020 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.021 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.021 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.021 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540977026.021 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540977026.021 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540977026.021 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540977026.021 * [misc]taylor: Taking taylor expansion of x in x 1540977026.021 * [misc]backup-simplify: Simplify 0 into 0 1540977026.021 * [misc]backup-simplify: Simplify 1 into 1 1540977026.021 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.021 * [misc]backup-simplify: Simplify 1 into 1 1540977026.021 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540977026.022 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.022 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.022 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.022 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.022 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.022 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.023 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540977026.023 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.023 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1540977026.023 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977026.024 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.026 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.027 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.029 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.029 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1 1) 1540977026.029 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1540977026.029 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1540977026.029 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540977026.029 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540977026.029 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540977026.029 * [misc]taylor: Taking taylor expansion of x in x 1540977026.029 * [misc]backup-simplify: Simplify 0 into 0 1540977026.029 * [misc]backup-simplify: Simplify 1 into 1 1540977026.029 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540977026.029 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.029 * [misc]backup-simplify: Simplify 1 into 1 1540977026.029 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.030 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540977026.030 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540977026.030 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540977026.030 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540977026.030 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540977026.030 * [misc]taylor: Taking taylor expansion of x in x 1540977026.030 * [misc]backup-simplify: Simplify 0 into 0 1540977026.030 * [misc]backup-simplify: Simplify 1 into 1 1540977026.030 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540977026.030 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.030 * [misc]backup-simplify: Simplify 1 into 1 1540977026.030 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.031 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540977026.031 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540977026.031 * [misc]backup-simplify: Simplify 0 into 0 1540977026.031 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540977026.031 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540977026.032 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.032 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977026.033 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1540977026.033 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540977026.033 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540977026.033 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.033 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977026.034 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1540977026.034 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540977026.035 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1540977026.035 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1540977026.035 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1540977026.035 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540977026.035 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540977026.035 * [misc]taylor: Taking taylor expansion of x in x 1540977026.035 * [misc]backup-simplify: Simplify 0 into 0 1540977026.035 * [misc]backup-simplify: Simplify 1 into 1 1540977026.035 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.035 * [misc]backup-simplify: Simplify 1 into 1 1540977026.035 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.035 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977026.036 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.036 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.036 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.036 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540977026.036 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540977026.036 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540977026.036 * [misc]taylor: Taking taylor expansion of x in x 1540977026.036 * [misc]backup-simplify: Simplify 0 into 0 1540977026.036 * [misc]backup-simplify: Simplify 1 into 1 1540977026.036 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.036 * [misc]backup-simplify: Simplify 1 into 1 1540977026.037 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.037 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540977026.037 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.037 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.037 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.038 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540977026.038 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.038 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1540977026.039 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.039 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977026.041 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.042 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.044 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.044 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1540977026.044 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1540977026.044 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540977026.044 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540977026.044 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540977026.044 * [misc]taylor: Taking taylor expansion of x in x 1540977026.044 * [misc]backup-simplify: Simplify 0 into 0 1540977026.044 * [misc]backup-simplify: Simplify 1 into 1 1540977026.044 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.044 * [misc]backup-simplify: Simplify 1 into 1 1540977026.044 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540977026.044 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.044 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.044 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.044 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.044 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.045 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.045 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540977026.045 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540977026.045 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540977026.045 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540977026.045 * [misc]taylor: Taking taylor expansion of x in x 1540977026.045 * [misc]backup-simplify: Simplify 0 into 0 1540977026.045 * [misc]backup-simplify: Simplify 1 into 1 1540977026.045 * [misc]taylor: Taking taylor expansion of 1 in x 1540977026.045 * [misc]backup-simplify: Simplify 1 into 1 1540977026.045 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540977026.045 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.045 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.045 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.045 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540977026.046 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.046 * [misc]backup-simplify: Simplify (- 1) into -1 1540977026.046 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540977026.046 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540977026.046 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1540977026.046 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540977026.047 * [misc]backup-simplify: Simplify (- 0) into 0 1540977026.048 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.049 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540977026.050 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.050 * * * [misc]progress: simplifying candidates 1540977026.050 * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # 1540977026.050 * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # 1540977026.050 * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # 1540977026.050 * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # 1540977026.050 * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # 1540977026.050 * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # 1540977026.050 * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # 1540977026.050 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540977026.051 * * [misc]simplify: iters left: 6 (7 enodes) 1540977026.053 * * [misc]simplify: iters left: 5 (13 enodes) 1540977026.055 * * [misc]simplify: iters left: 4 (14 enodes) 1540977026.057 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1540977026.057 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1)))))))) 1540977026.057 * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # 1540977026.057 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1540977026.057 * * [misc]simplify: iters left: 6 (6 enodes) 1540977026.059 * * [misc]simplify: iters left: 5 (11 enodes) 1540977026.061 * * [misc]simplify: iters left: 4 (12 enodes) 1540977026.062 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1540977026.062 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))))))) 1540977026.062 * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # 1540977026.063 * [enter]simplify: Simplifying (sqrt 1) 1540977026.063 * * [misc]simplify: iters left: 1 (2 enodes) 1540977026.064 * [exit]simplify: Simplified to 1 1540977026.064 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1))))))) 1540977026.064 * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # 1540977026.064 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1540977026.064 * * [misc]simplify: iters left: 6 (6 enodes) 1540977026.065 * * [misc]simplify: iters left: 5 (9 enodes) 1540977026.067 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1540977026.067 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))))) 1540977026.067 * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # 1540977026.067 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1540977026.068 * * [misc]simplify: iters left: 6 (8 enodes) 1540977026.071 * * [misc]simplify: iters left: 5 (20 enodes) 1540977026.074 * * [misc]simplify: iters left: 4 (32 enodes) 1540977026.081 * * [misc]simplify: iters left: 3 (41 enodes) 1540977026.090 * * [misc]simplify: iters left: 2 (49 enodes) 1540977026.097 * * [misc]simplify: iters left: 1 (56 enodes) 1540977026.104 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1540977026.104 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1540977026.105 * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # 1540977026.105 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540977026.105 * * [misc]simplify: iters left: 6 (7 enodes) 1540977026.108 * * [misc]simplify: iters left: 5 (16 enodes) 1540977026.110 * * [misc]simplify: iters left: 4 (17 enodes) 1540977026.113 * * [misc]simplify: iters left: 3 (24 enodes) 1540977026.117 * * [misc]simplify: iters left: 2 (32 enodes) 1540977026.124 * * [misc]simplify: iters left: 1 (51 enodes) 1540977026.149 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1540977026.149 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1))))))) 1540977026.149 * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # 1540977026.149 * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # 1540977026.149 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1540977026.150 * * [misc]simplify: iters left: 5 (5 enodes) 1540977026.152 * * [misc]simplify: iters left: 4 (10 enodes) 1540977026.155 * * [misc]simplify: iters left: 3 (11 enodes) 1540977026.158 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1540977026.158 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1))))))) 1540977026.158 * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 21 / 36 ] simplifiying candidate # 1540977026.158 * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # 1540977026.159 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540977026.160 * * [misc]simplify: iters left: 6 (7 enodes) 1540977026.163 * * [misc]simplify: iters left: 5 (13 enodes) 1540977026.166 * * [misc]simplify: iters left: 4 (14 enodes) 1540977026.170 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1540977026.170 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.170 * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # 1540977026.170 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1540977026.171 * * [misc]simplify: iters left: 6 (6 enodes) 1540977026.174 * * [misc]simplify: iters left: 5 (11 enodes) 1540977026.179 * * [misc]simplify: iters left: 4 (12 enodes) 1540977026.182 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1540977026.182 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.182 * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # 1540977026.183 * [enter]simplify: Simplifying (sqrt 1) 1540977026.183 * * [misc]simplify: iters left: 1 (2 enodes) 1540977026.184 * [exit]simplify: Simplified to 1 1540977026.184 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.184 * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # 1540977026.185 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1540977026.185 * * [misc]simplify: iters left: 6 (6 enodes) 1540977026.187 * * [misc]simplify: iters left: 5 (9 enodes) 1540977026.190 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1540977026.190 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.190 * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # 1540977026.190 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1540977026.191 * * [misc]simplify: iters left: 6 (8 enodes) 1540977026.196 * * [misc]simplify: iters left: 5 (20 enodes) 1540977026.203 * * [misc]simplify: iters left: 4 (32 enodes) 1540977026.215 * * [misc]simplify: iters left: 3 (41 enodes) 1540977026.228 * * [misc]simplify: iters left: 2 (49 enodes) 1540977026.237 * * [misc]simplify: iters left: 1 (56 enodes) 1540977026.245 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1540977026.245 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.245 * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # 1540977026.245 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540977026.245 * * [misc]simplify: iters left: 6 (7 enodes) 1540977026.248 * * [misc]simplify: iters left: 5 (16 enodes) 1540977026.250 * * [misc]simplify: iters left: 4 (17 enodes) 1540977026.253 * * [misc]simplify: iters left: 3 (24 enodes) 1540977026.257 * * [misc]simplify: iters left: 2 (32 enodes) 1540977026.266 * * [misc]simplify: iters left: 1 (51 enodes) 1540977026.301 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1540977026.301 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.301 * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # 1540977026.301 * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate # 1540977026.301 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1540977026.302 * * [misc]simplify: iters left: 5 (5 enodes) 1540977026.305 * * [misc]simplify: iters left: 4 (10 enodes) 1540977026.307 * * [misc]simplify: iters left: 3 (11 enodes) 1540977026.310 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1540977026.310 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.310 * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # 1540977026.310 * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # 1540977026.311 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1540977026.311 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0)))) 1540977026.311 * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # 1540977026.311 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.312 * * [misc]simplify: iters left: 6 (18 enodes) 1540977026.321 * * [misc]simplify: iters left: 5 (41 enodes) 1540977026.334 * * [misc]simplify: iters left: 4 (85 enodes) 1540977026.360 * * [misc]simplify: iters left: 3 (151 enodes) 1540977026.418 * * [misc]simplify: iters left: 2 (240 enodes) 1540977026.603 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540977026.603 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1540977026.603 * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # 1540977026.603 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.604 * * [misc]simplify: iters left: 6 (18 enodes) 1540977026.611 * * [misc]simplify: iters left: 5 (41 enodes) 1540977026.627 * * [misc]simplify: iters left: 4 (85 enodes) 1540977026.676 * * [misc]simplify: iters left: 3 (151 enodes) 1540977026.742 * * [misc]simplify: iters left: 2 (240 enodes) 1540977026.957 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540977026.957 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1540977026.957 * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # 1540977026.958 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1540977026.958 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1540977026.958 * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # 1540977026.958 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977026.960 * * [misc]simplify: iters left: 6 (18 enodes) 1540977026.973 * * [misc]simplify: iters left: 5 (41 enodes) 1540977026.986 * * [misc]simplify: iters left: 4 (85 enodes) 1540977027.020 * * [misc]simplify: iters left: 3 (151 enodes) 1540977027.084 * * [misc]simplify: iters left: 2 (240 enodes) 1540977027.289 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540977027.289 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540977027.289 * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # 1540977027.289 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540977027.291 * * [misc]simplify: iters left: 6 (18 enodes) 1540977027.303 * * [misc]simplify: iters left: 5 (41 enodes) 1540977027.323 * * [misc]simplify: iters left: 4 (85 enodes) 1540977027.354 * * [misc]simplify: iters left: 3 (151 enodes) 1540977027.427 * * [misc]simplify: iters left: 2 (240 enodes) 1540977027.629 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540977027.629 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540977027.629 * * * [misc]progress: adding candidates to table 1540977028.164 * [misc]progress: [Phase 3 of 3] Extracting. 1540977028.172 * [enter]simplify: Simplifying (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))) 1540977028.173 * * [misc]simplify: iters left: 6 (8 enodes) 1540977028.174 * * [misc]simplify: iters left: 5 (12 enodes) 1540977028.175 * [exit]simplify: Simplified to (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))) 1540977028.175 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540977029.208 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977029.210 * * * * [misc]points: Sampling 5912 additional inputs, on iter 1 have 2088 / 8000 1540977030.196 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977030.197 * * * * [misc]points: Sampling 4452 additional inputs, on iter 2 have 3548 / 8000 1540977031.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977031.124 * * * * [misc]points: Sampling 3386 additional inputs, on iter 3 have 4614 / 8000 1540977031.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977031.649 * * * * [misc]points: Sampling 2571 additional inputs, on iter 4 have 5429 / 8000 1540977031.994 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977031.995 * * * * [misc]points: Sampling 1935 additional inputs, on iter 5 have 6065 / 8000 1540977032.279 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977032.279 * * * * [misc]points: Sampling 1425 additional inputs, on iter 6 have 6575 / 8000 1540977032.471 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977032.471 * * * * [misc]points: Sampling 1075 additional inputs, on iter 7 have 6925 / 8000 1540977032.616 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977032.617 * * * * [misc]points: Sampling 803 additional inputs, on iter 8 have 7197 / 8000 1540977032.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977032.721 * * * * [misc]points: Sampling 603 additional inputs, on iter 9 have 7397 / 8000 1540977032.821 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977032.821 * * * * [misc]points: Sampling 469 additional inputs, on iter 10 have 7531 / 8000 1540977032.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977032.876 * * * * [misc]points: Sampling 353 additional inputs, on iter 11 have 7647 / 8000 1540977033.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.343 * * * * [misc]points: Sampling 268 additional inputs, on iter 12 have 7732 / 8000 1540977033.386 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.386 * * * * [misc]points: Sampling 200 additional inputs, on iter 13 have 7800 / 8000 1540977033.418 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.418 * * * * [misc]points: Sampling 150 additional inputs, on iter 14 have 7850 / 8000 1540977033.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.445 * * * * [misc]points: Sampling 118 additional inputs, on iter 15 have 7882 / 8000 1540977033.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.465 * * * * [misc]points: Sampling 86 additional inputs, on iter 16 have 7914 / 8000 1540977033.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.481 * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 1540977033.490 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.490 * * * * [misc]points: Sampling 48 additional inputs, on iter 18 have 7952 / 8000 1540977033.496 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.496 * * * * [misc]points: Sampling 32 additional inputs, on iter 19 have 7968 / 8000 1540977033.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.500 * * * * [misc]points: Sampling 25 additional inputs, on iter 20 have 7975 / 8000 1540977033.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.534 * * * * [misc]points: Sampling 21 additional inputs, on iter 21 have 7979 / 8000 1540977033.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.543 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1540977033.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.548 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1540977033.553 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.553 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1540977033.556 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.556 * * * * [misc]points: Sampling 6 additional inputs, on iter 25 have 7994 / 8000 1540977033.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.559 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1540977033.562 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.562 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1540977033.564 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.565 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7997 / 8000 1540977033.567 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977033.567 * * * * [exit]points: Sampled 8001 points with exact outputs