1544001368.480 * [misc]progress:  [Phase 1 of 3] Setting up.
1544001368.481 * * * [misc]progress:  [1/2] Preparing points
1544001368.505 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544001368.506 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544001368.549 * * * * [misc]points:  Setting MPFR precision to 64
1544001368.551 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.552 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544001368.554 * * * * [misc]points:  Setting MPFR precision to 64
1544001368.555 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.557 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544001368.559 * * * * [misc]points:  Setting MPFR precision to 64
1544001368.561 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.563 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544001368.565 * * * * [misc]points:  Setting MPFR precision to 64
1544001368.567 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.569 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.570 * * * * [misc]points:  Computing exacts for 256 points
1544001368.572 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.577 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.581 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001368.582 * * * * [misc]points:  Sampling 208 additional inputs, on iter 1 have 48 / 256
1544001368.582 * * * * [misc]points:  Computing exacts on every 13 of 208 points to ramp up precision
1544001368.584 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.584 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.585 * * * * [misc]points:  Computing exacts on every 6 of 208 points to ramp up precision
1544001368.586 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.587 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.587 * * * * [misc]points:  Computing exacts on every 3 of 208 points to ramp up precision
1544001368.589 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.590 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.591 * * * * [misc]points:  Computing exacts for 208 points
1544001368.592 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.596 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001368.601 * * * * [misc]points:  Sampling 153 additional inputs, on iter 2 have 103 / 256
1544001368.602 * * * * [misc]points:  Computing exacts on every 9 of 153 points to ramp up precision
1544001368.604 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.604 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.604 * * * * [misc]points:  Computing exacts on every 4 of 153 points to ramp up precision
1544001368.606 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.607 * * * * [misc]points:  Setting MPFR precision to 576
1544001368.607 * * * * [misc]points:  Computing exacts on every 2 of 153 points to ramp up precision
1544001368.609 * * * * [misc]points:  Setting MPFR precision to 320
1544001368.610 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.118 * * * * [misc]points:  Computing exacts for 153 points
1544001369.120 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.122 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.125 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.125 * * * * [misc]points:  Sampling 107 additional inputs, on iter 3 have 149 / 256
1544001369.126 * * * * [misc]points:  Computing exacts on every 6 of 107 points to ramp up precision
1544001369.127 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.128 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.128 * * * * [misc]points:  Computing exacts on every 3 of 107 points to ramp up precision
1544001369.130 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.131 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.132 * * * * [misc]points:  Computing exacts for 107 points
1544001369.133 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.135 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.137 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.137 * * * * [misc]points:  Sampling 84 additional inputs, on iter 4 have 172 / 256
1544001369.137 * * * * [misc]points:  Computing exacts on every 5 of 84 points to ramp up precision
1544001369.139 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.139 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.140 * * * * [misc]points:  Computing exacts on every 2 of 84 points to ramp up precision
1544001369.141 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.142 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.142 * * * * [misc]points:  Computing exacts for 84 points
1544001369.143 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.145 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.147 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.147 * * * * [misc]points:  Sampling 64 additional inputs, on iter 5 have 192 / 256
1544001369.147 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1544001369.148 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.149 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.149 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1544001369.150 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.151 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.151 * * * * [misc]points:  Computing exacts for 64 points
1544001369.153 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.154 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.155 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.155 * * * * [misc]points:  Sampling 45 additional inputs, on iter 6 have 211 / 256
1544001369.156 * * * * [misc]points:  Computing exacts on every 2 of 45 points to ramp up precision
1544001369.157 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.157 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.158 * * * * [misc]points:  Computing exacts for 45 points
1544001369.159 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.160 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.161 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.161 * * * * [misc]points:  Sampling 32 additional inputs, on iter 7 have 224 / 256
1544001369.161 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1544001369.162 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.163 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.163 * * * * [misc]points:  Computing exacts for 32 points
1544001369.164 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.165 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.165 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.165 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 232 / 256
1544001369.166 * * * * [misc]points:  Computing exacts for 24 points
1544001369.167 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.168 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.168 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.168 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 238 / 256
1544001369.168 * * * * [misc]points:  Computing exacts for 18 points
1544001369.170 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.170 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.171 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.171 * * * * [misc]points:  Sampling 15 additional inputs, on iter 10 have 241 / 256
1544001369.171 * * * * [misc]points:  Computing exacts for 15 points
1544001369.172 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.172 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.173 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.173 * * * * [misc]points:  Sampling 13 additional inputs, on iter 11 have 243 / 256
1544001369.173 * * * * [misc]points:  Computing exacts for 13 points
1544001369.174 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.175 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.175 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.175 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1544001369.175 * * * * [misc]points:  Computing exacts for 9 points
1544001369.176 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.177 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.177 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.177 * * * * [misc]points:  Sampling 5 additional inputs, on iter 13 have 251 / 256
1544001369.177 * * * * [misc]points:  Computing exacts for 5 points
1544001369.178 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.178 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.179 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.179 * * * * [misc]points:  Sampling 5 additional inputs, on iter 14 have 251 / 256
1544001369.179 * * * * [misc]points:  Computing exacts for 5 points
1544001369.180 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.180 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.180 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.180 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1544001369.180 * * * * [misc]points:  Computing exacts for 5 points
1544001369.182 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.182 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.182 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.182 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 252 / 256
1544001369.182 * * * * [misc]points:  Computing exacts for 4 points
1544001369.184 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.184 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.184 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.184 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 253 / 256
1544001369.184 * * * * [misc]points:  Computing exacts for 4 points
1544001369.186 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.186 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.186 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.186 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 253 / 256
1544001369.186 * * * * [misc]points:  Computing exacts for 4 points
1544001369.187 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.188 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.188 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.188 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 253 / 256
1544001369.188 * * * * [misc]points:  Computing exacts for 4 points
1544001369.189 * * * * [misc]points:  Setting MPFR precision to 320
1544001369.189 * * * * [misc]points:  Setting MPFR precision to 576
1544001369.190 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001369.190 * * * * [exit]points:  Sampled 256 points with exact outputs
1544001369.205 * * * [misc]progress:  [2/2] Setting up program.
1544001369.209 * [misc]progress:  [Phase 2 of 3] Improving.
1544001369.209 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1544001369.212 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001369.217 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001369.218 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001369.221 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1544001369.228 * * [misc]progress:  iteration 1 / 4
1544001369.228 * * * [misc]progress:  picking best candidate
1544001369.232 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001369.232 * * * [misc]progress:  localizing error
1544001369.248 * * * [misc]progress:  generating rewritten candidates
1544001369.248 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1544001369.253 * * * [misc]progress:  generating series expansions
1544001369.253 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1544001369.258 * [misc]backup-simplify:  Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
1544001369.258 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
1544001369.258 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.259 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.259 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.259 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.259 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.259 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.259 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.259 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.259 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.259 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.259 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.259 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.259 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.260 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.260 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.260 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.260 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.260 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.261 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544001369.261 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.261 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.261 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.261 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.261 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.262 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.262 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.262 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.262 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.262 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.262 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.262 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.263 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.263 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.263 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.263 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.263 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.263 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.263 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.263 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.264 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.264 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.264 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.264 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.264 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.264 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.264 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.264 * [misc]backup-simplify:  Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
1544001369.265 * [misc]backup-simplify:  Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
1544001369.265 * [misc]approximate:  Taking taylor expansion of (- x 1) in (x) around 0
1544001369.265 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.265 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.265 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.265 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.265 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.265 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.265 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.265 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.265 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.265 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.265 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.265 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.265 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.265 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.265 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.265 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.265 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.265 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.265 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.265 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.266 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.266 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.266 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.266 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.266 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.267 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.267 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.267 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.267 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
1544001369.267 * [misc]backup-simplify:  Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
1544001369.267 * [misc]approximate:  Taking taylor expansion of (- (+ x 1)) in (x) around 0
1544001369.267 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.267 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.268 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.268 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.268 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.268 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.268 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.268 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.268 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.268 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.268 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.268 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.268 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.268 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.268 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.268 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.268 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.268 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.268 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.268 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.268 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.268 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.268 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.269 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.270 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.270 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.270 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
1544001369.270 * * * [misc]progress:  simplifying candidates
1544001369.270 * * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
1544001369.270 * * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1544001369.270 * * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
1544001369.270 * * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
1544001369.270 * * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
1544001369.270 * * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544001369.270 * * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
1544001369.271 * * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
1544001369.271 * * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
1544001369.271 * * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
1544001369.271 * * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
1544001369.271 * [enter]simplify:  Simplifying (+ (sqrt (/ 1 x)) 1)
1544001369.271 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001369.272 * * [misc]simplify:  iters left: 4 (8 enodes)
1544001369.273 * [exit]simplify:  Simplified to (+ (sqrt (/ 1 x)) 1)
1544001369.273 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
1544001369.273 * * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
1544001369.273 * * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001369.273 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001369.273 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001369.274 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001369.275 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001369.276 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001369.276 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001369.276 * * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001369.276 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001369.277 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001369.278 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001369.278 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001369.280 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001369.280 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001369.280 * * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001369.280 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001369.280 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001369.281 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001369.282 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001369.283 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001369.283 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001369.283 * * * [misc]progress:  adding candidates to table
1544001369.407 * * [misc]progress:  iteration 2 / 4
1544001369.407 * * * [misc]progress:  picking best candidate
1544001369.409 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544001369.409 * * * [misc]progress:  localizing error
1544001369.422 * * * [misc]progress:  generating rewritten candidates
1544001369.422 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1544001369.444 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2)
1544001369.450 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1544001369.455 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1)
1544001369.461 * * * [misc]progress:  generating series expansions
1544001369.461 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1544001369.461 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) into (- (/ 1 x) 1)
1544001369.461 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
1544001369.461 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.461 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.461 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.461 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.462 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.462 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.462 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.462 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.462 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.462 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.462 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.462 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.462 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.462 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.462 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.462 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.463 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.463 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.463 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544001369.463 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.463 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.463 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.464 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.464 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.464 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.464 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.464 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.465 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.465 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.465 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.465 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.465 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.465 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.466 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.466 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.466 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.466 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.467 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.467 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.467 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.467 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.468 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.468 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.468 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.468 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.468 * [misc]backup-simplify:  Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
1544001369.469 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (/ 1 x)) 1)) (sqrt (- (/ 1 (/ 1 x)) 1))) into (- x 1)
1544001369.469 * [misc]approximate:  Taking taylor expansion of (- x 1) in (x) around 0
1544001369.469 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.469 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.469 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.469 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.469 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.469 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.469 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.469 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.469 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.469 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.469 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.469 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.469 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.469 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.469 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.470 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.470 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.470 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.470 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.470 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.470 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.470 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.470 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.470 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.471 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.471 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.471 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.471 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.471 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.471 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.471 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.472 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.472 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.472 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.472 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.472 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.472 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
1544001369.472 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (/ 1 (- x))) 1)) (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (pow (sqrt (- (+ x 1))) 2)
1544001369.472 * [misc]approximate:  Taking taylor expansion of (pow (sqrt (- (+ x 1))) 2) in (x) around 0
1544001369.472 * [misc]taylor:  Taking taylor expansion of (pow (sqrt (- (+ x 1))) 2) in x
1544001369.472 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544001369.473 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.473 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.473 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.473 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.473 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.473 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.473 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.473 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.473 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.473 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.474 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.474 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.474 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.474 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.475 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544001369.475 * [misc]taylor:  Taking taylor expansion of (pow (sqrt (- (+ x 1))) 2) in x
1544001369.475 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544001369.475 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.475 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.475 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.475 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.475 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.475 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.475 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.475 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.475 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.476 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.476 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.476 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.476 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.476 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.477 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544001369.477 * [misc]backup-simplify:  Simplify (* (sqrt -1) (sqrt -1)) into -1
1544001369.477 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.478 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) (/ -1/2 (sqrt -1))) (* (/ -1/2 (sqrt -1)) (sqrt -1))) into -1
1544001369.478 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.478 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.478 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.481 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.486 * [misc]backup-simplify:  Simplify (+ (* (sqrt -1) (/ -1/8 (pow (sqrt -1) 3))) (+ (* (/ -1/2 (sqrt -1)) (/ -1/2 (sqrt -1))) (* (/ -1/8 (pow (sqrt -1) 3)) (sqrt -1)))) into (- (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1/4))
1544001369.487 * [misc]backup-simplify:  Simplify (- (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1/4)) into (- (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1/4))
1544001369.490 * [misc]backup-simplify:  Simplify (+ (* (- (+ (* 1/4 (/ 1 (pow (sqrt -1) 2))) 1/4)) (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) -1)) into (- (/ 1 x) (+ (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 2)))) (+ (* 1/4 (/ 1 (pow x 2))) 1)))
1544001369.490 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2)
1544001369.490 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1544001369.490 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1544001369.490 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544001369.490 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.490 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.490 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.490 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.490 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.490 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.490 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.490 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.490 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.491 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544001369.491 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544001369.491 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544001369.491 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.491 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.491 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.491 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.492 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.492 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.492 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.492 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.492 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.492 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544001369.493 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544001369.493 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.493 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544001369.493 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544001369.493 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.493 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.494 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544001369.494 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544001369.495 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.495 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.495 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.496 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544001369.496 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544001369.497 * [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)))))
1544001369.497 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1544001369.497 * [misc]approximate:  Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1544001369.497 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544001369.497 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.497 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.497 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.497 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.497 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.497 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.497 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.497 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.498 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.498 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.498 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.498 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544001369.503 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544001369.504 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.504 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.504 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.504 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.504 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.504 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.504 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.504 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.505 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.505 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.505 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.539 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544001369.539 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.540 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544001369.540 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.540 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.544 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.545 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.547 * [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)))))
1544001369.547 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1544001369.547 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1544001369.547 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544001369.547 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.547 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.547 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.548 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.548 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.548 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.548 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.548 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.548 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.548 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.549 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.549 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.549 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.549 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.550 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544001369.550 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544001369.550 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.550 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.550 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.550 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.550 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.550 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.550 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.551 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.551 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.551 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.551 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.551 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.552 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.552 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.553 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544001369.553 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.553 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1544001369.554 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.554 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.557 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.558 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.560 * [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)))))
1544001369.560 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1544001369.560 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1544001369.560 * [misc]approximate:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1544001369.560 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544001369.560 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.560 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.560 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.560 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.560 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.561 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.561 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.561 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.561 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.561 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544001369.562 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544001369.562 * [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1544001369.562 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.562 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.562 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.562 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.562 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.562 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.562 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.562 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.563 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.563 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544001369.563 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544001369.564 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.564 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544001369.564 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544001369.564 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.565 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.566 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544001369.566 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544001369.567 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.567 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.567 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.569 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544001369.569 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544001369.569 * [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)))))
1544001369.569 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1544001369.569 * [misc]approximate:  Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1544001369.569 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544001369.569 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.570 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.570 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.570 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.570 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.570 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.570 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.570 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.570 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.571 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.571 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.571 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544001369.571 * [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
1544001369.571 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.572 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.572 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.572 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.572 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.572 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.572 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.572 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.572 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.573 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.573 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.573 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544001369.574 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.574 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544001369.574 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.575 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.577 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.579 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.580 * [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)))))
1544001369.581 * [misc]backup-simplify:  Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1544001369.581 * [misc]approximate:  Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1544001369.581 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544001369.581 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.581 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.581 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.581 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.581 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.581 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.581 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.581 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.581 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.581 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.582 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.582 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.582 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.582 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.583 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544001369.583 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ x 1))) in x
1544001369.583 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.583 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.583 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.583 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.583 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.583 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.583 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.583 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.583 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.583 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.584 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.584 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.584 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.584 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.585 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1544001369.585 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544001369.585 * [misc]backup-simplify:  Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1544001369.585 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.585 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.588 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.588 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544001369.590 * [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)))))
1544001369.590 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1)
1544001369.590 * [misc]backup-simplify:  Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
1544001369.590 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
1544001369.590 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.590 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.590 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.590 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.590 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.590 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.591 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.591 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.591 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544001369.591 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544001369.591 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.591 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.591 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.591 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544001369.591 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.591 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.591 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.591 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.591 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544001369.592 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.592 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.592 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.592 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.592 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.592 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.593 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.593 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.593 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.593 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.593 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.594 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.594 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.594 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.594 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.595 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.595 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.595 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.595 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.596 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.596 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.596 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.596 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.597 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544001369.597 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.597 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.597 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.597 * [misc]backup-simplify:  Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
1544001369.597 * [misc]backup-simplify:  Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
1544001369.597 * [misc]approximate:  Taking taylor expansion of (- x 1) in (x) around 0
1544001369.597 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.597 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.597 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.597 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.597 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.597 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.597 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544001369.597 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.597 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.598 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.598 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.598 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.598 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.598 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544001369.598 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.598 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.598 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.598 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.599 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.599 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.599 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.599 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.599 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.599 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.600 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.600 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.600 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.600 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.600 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.600 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.600 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.601 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.601 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.632 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.633 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.633 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.633 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
1544001369.633 * [misc]backup-simplify:  Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
1544001369.633 * [misc]approximate:  Taking taylor expansion of (- (+ x 1)) in (x) around 0
1544001369.633 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.633 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.633 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.633 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.633 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.633 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.633 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.634 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544001369.634 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544001369.634 * [misc]taylor:  Taking taylor expansion of x in x
1544001369.634 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.634 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.634 * [misc]taylor:  Taking taylor expansion of 1 in x
1544001369.634 * [misc]backup-simplify:  Simplify 1 into 1
1544001369.634 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544001369.634 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.634 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.635 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544001369.635 * [misc]backup-simplify:  Simplify (- 1) into -1
1544001369.635 * [misc]backup-simplify:  Simplify -1 into -1
1544001369.635 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.635 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.635 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.635 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.636 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.636 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.636 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.636 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.636 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.636 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.637 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.637 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.637 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.637 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.637 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.637 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544001369.638 * [misc]backup-simplify:  Simplify (- 0) into 0
1544001369.638 * [misc]backup-simplify:  Simplify 0 into 0
1544001369.638 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
1544001369.638 * * * [misc]progress:  simplifying candidates
1544001369.638 * * * * [misc]progress:  [ 1 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) (+ 1/2 1/2)))))>
1544001369.638 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001369.639 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001369.641 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001369.644 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001369.647 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001369.647 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (pow (- (/ 1 x) 1) (+ 1/2 1/2)))))
1544001369.647 * [enter]simplify:  Simplifying (+ 1/2 1/2)
1544001369.647 * * [misc]simplify:  iters left: 2 (2 enodes)
1544001369.649 * * [misc]simplify:  iters left: 1 (3 enodes)
1544001369.650 * [exit]simplify:  Simplified to 1
1544001369.650 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))
1544001369.650 * * * * [misc]progress:  [ 2 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (sqrt (- (/ 1 x) 1)) (+ 1 1)))))>
1544001369.650 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544001369.650 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001369.654 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001369.657 * * [misc]simplify:  iters left: 3 (11 enodes)
1544001369.660 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544001369.660 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (pow (sqrt (- (/ 1 x) 1)) (+ 1 1)))))
1544001369.660 * [enter]simplify:  Simplifying (+ 1 1)
1544001369.660 * * [misc]simplify:  iters left: 2 (2 enodes)
1544001369.662 * * [misc]simplify:  iters left: 1 (5 enodes)
1544001369.663 * [exit]simplify:  Simplified to 2
1544001369.663 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (pow (sqrt (- (/ 1 x) 1)) 2))))
1544001369.663 * * * * [misc]progress:  [ 3 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (* (- (/ 1 x) 1) (- (/ 1 x) 1)) 1/2))))>
1544001369.663 * [enter]simplify:  Simplifying (* (- (/ 1 x) 1) (- (/ 1 x) 1))
1544001369.663 * * [misc]simplify:  iters left: 6 (5 enodes)
1544001369.666 * * [misc]simplify:  iters left: 5 (10 enodes)
1544001369.668 * * [misc]simplify:  iters left: 4 (17 enodes)
1544001369.708 * * [misc]simplify:  iters left: 3 (41 enodes)
1544001369.731 * * [misc]simplify:  iters left: 2 (74 enodes)
1544001369.754 * * [misc]simplify:  iters left: 1 (116 enodes)
1544001369.792 * [exit]simplify:  Simplified to (* (- (/ 1 x) 1) (- (/ 1 x) 1))
1544001369.792 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (pow (* (- (/ 1 x) 1) (- (/ 1 x) 1)) 1/2))))
1544001369.793 * * * * [misc]progress:  [ 4 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) 1))))>
1544001369.793 * [enter]simplify:  Simplifying (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))
1544001369.793 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001369.794 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001369.796 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001369.797 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001369.797 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))
1544001369.797 * * * * [misc]progress:  [ 5 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (sqrt (- (/ 1 x) 1)) 2))))>
1544001369.797 * * * * [misc]progress:  [ 6 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (sqrt (- (/ 1 x) 1)) (+ 1 1)))))>
1544001369.797 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544001369.797 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001369.798 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001369.800 * * [misc]simplify:  iters left: 3 (11 enodes)
1544001369.801 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544001369.801 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (pow (sqrt (- (/ 1 x) 1)) (+ 1 1)))))
1544001369.801 * * * * [misc]progress:  [ 7 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (pow (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) 1))))>
1544001369.801 * * * * [misc]progress:  [ 8 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (exp (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))))>
1544001369.801 * [enter]simplify:  Simplifying (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))
1544001369.801 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001369.803 * * [misc]simplify:  iters left: 5 (12 enodes)
1544001369.806 * * [misc]simplify:  iters left: 4 (13 enodes)
1544001369.808 * [exit]simplify:  Simplified to (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))
1544001369.808 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (exp (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))))
1544001369.808 * * * * [misc]progress:  [ 9 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
1544001369.809 * * * * [misc]progress:  [ 10 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
1544001369.809 * * * * [misc]progress:  [ 11 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))) (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))))>
1544001369.809 * [enter]simplify:  Simplifying (* (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))) (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))
1544001369.809 * * [misc]simplify:  iters left: 6 (8 enodes)
1544001369.811 * * [misc]simplify:  iters left: 5 (18 enodes)
1544001369.814 * * [misc]simplify:  iters left: 4 (27 enodes)
1544001369.819 * * [misc]simplify:  iters left: 3 (50 enodes)
1544001369.832 * * [misc]simplify:  iters left: 2 (154 enodes)
1544001369.892 * * [misc]simplify:  iters left: 1 (433 enodes)
1544001370.399 * [exit]simplify:  Simplified to (pow (- (/ 1 x) 1) 3)
1544001370.399 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (cbrt (pow (- (/ 1 x) 1) 3)))))
1544001370.399 * * * * [misc]progress:  [ 12 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))) (cbrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))) (cbrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
1544001370.399 * * * * [misc]progress:  [ 13 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))) (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
1544001370.399 * * * * [misc]progress:  [ 14 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (sqrt (* (- (/ 1 x) 1) (- (/ 1 x) 1))))))>
1544001370.400 * [enter]simplify:  Simplifying (* (- (/ 1 x) 1) (- (/ 1 x) 1))
1544001370.400 * * [misc]simplify:  iters left: 6 (5 enodes)
1544001370.402 * * [misc]simplify:  iters left: 5 (10 enodes)
1544001370.405 * * [misc]simplify:  iters left: 4 (17 enodes)
1544001370.411 * * [misc]simplify:  iters left: 3 (41 enodes)
1544001370.429 * * [misc]simplify:  iters left: 2 (74 enodes)
1544001370.450 * * [misc]simplify:  iters left: 1 (116 enodes)
1544001370.492 * [exit]simplify:  Simplified to (* (- (/ 1 x) 1) (- (/ 1 x) 1))
1544001370.492 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (sqrt (* (- (/ 1 x) 1) (- (/ 1 x) 1))))))
1544001370.492 * * * * [misc]progress:  [ 15 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))) (sqrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
1544001370.492 * * * * [misc]progress:  [ 16 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001370.492 * [enter]simplify:  Simplifying (/ 1 x)
1544001370.492 * * [misc]simplify:  iters left: 2 (3 enodes)
1544001370.492 * * [misc]simplify:  iters left: 1 (5 enodes)
1544001370.493 * [exit]simplify:  Simplified to (/ 1 x)
1544001370.493 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001370.493 * * * * [misc]progress:  [ 17 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (* (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1544001370.494 * [enter]simplify:  Simplifying (* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
1544001370.494 * * [misc]simplify:  iters left: 6 (9 enodes)
1544001370.497 * * [misc]simplify:  iters left: 5 (21 enodes)
1544001370.499 * * [misc]simplify:  iters left: 4 (33 enodes)
1544001370.504 * * [misc]simplify:  iters left: 3 (40 enodes)
1544001370.510 * * [misc]simplify:  iters left: 2 (46 enodes)
1544001370.516 * * [misc]simplify:  iters left: 1 (53 enodes)
1544001370.523 * [exit]simplify:  Simplified to (- (/ (/ 1 x) (* x x)) 1)
1544001370.523 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (/ (/ 1 x) (* x x)) 1) (* (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1544001370.523 * [enter]simplify:  Simplifying (* (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))
1544001370.523 * * [misc]simplify:  iters left: 6 (10 enodes)
1544001370.526 * * [misc]simplify:  iters left: 5 (21 enodes)
1544001370.530 * * [misc]simplify:  iters left: 4 (36 enodes)
1544001370.541 * * [misc]simplify:  iters left: 3 (46 enodes)
1544001370.555 * * [misc]simplify:  iters left: 2 (55 enodes)
1544001370.571 * * [misc]simplify:  iters left: 1 (59 enodes)
1544001370.586 * [exit]simplify:  Simplified to (+ (/ (/ 1 x) x) (+ (/ 1 x) 1))
1544001370.586 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (/ (/ 1 x) (* x x)) 1) (+ (/ (/ 1 x) x) (+ (/ 1 x) 1))))))
1544001370.586 * * * * [misc]progress:  [ 18 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (* (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))) (sqrt (+ (/ 1 x) 1)))))))>
1544001370.587 * [enter]simplify:  Simplifying (* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
1544001370.587 * * [misc]simplify:  iters left: 6 (13 enodes)
1544001370.593 * * [misc]simplify:  iters left: 5 (30 enodes)
1544001370.600 * * [misc]simplify:  iters left: 4 (45 enodes)
1544001370.607 * * [misc]simplify:  iters left: 3 (63 enodes)
1544001370.617 * * [misc]simplify:  iters left: 2 (73 enodes)
1544001370.625 * * [misc]simplify:  iters left: 1 (91 enodes)
1544001370.652 * [exit]simplify:  Simplified to (* (sqrt (- (/ 1 (* x x)) 1)) (sqrt (- (/ (/ 1 x) (* x x)) 1)))
1544001370.652 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (sqrt (- (/ 1 (* x x)) 1)) (sqrt (- (/ (/ 1 x) (* x x)) 1))) (* (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))) (sqrt (+ (/ 1 x) 1)))))))
1544001370.652 * [enter]simplify:  Simplifying (* (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))) (sqrt (+ (/ 1 x) 1)))
1544001370.652 * * [misc]simplify:  iters left: 6 (12 enodes)
1544001370.656 * * [misc]simplify:  iters left: 5 (25 enodes)
1544001370.664 * * [misc]simplify:  iters left: 4 (36 enodes)
1544001370.674 * * [misc]simplify:  iters left: 3 (48 enodes)
1544001370.688 * * [misc]simplify:  iters left: 2 (56 enodes)
1544001370.704 * * [misc]simplify:  iters left: 1 (58 enodes)
1544001370.717 * [exit]simplify:  Simplified to (* (sqrt (+ (/ (/ 1 x) x) (+ (/ 1 x) 1))) (sqrt (+ (/ 1 x) 1)))
1544001370.717 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (sqrt (- (/ 1 (* x x)) 1)) (sqrt (- (/ (/ 1 x) (* x x)) 1))) (* (sqrt (+ (/ (/ 1 x) x) (+ (/ 1 x) 1))) (sqrt (+ (/ 1 x) 1)))))))
1544001370.717 * * * * [misc]progress:  [ 19 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (* (sqrt (+ (/ 1 x) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1544001370.717 * [enter]simplify:  Simplifying (* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
1544001370.717 * * [misc]simplify:  iters left: 6 (13 enodes)
1544001370.723 * * [misc]simplify:  iters left: 5 (30 enodes)
1544001370.731 * * [misc]simplify:  iters left: 4 (45 enodes)
1544001370.738 * * [misc]simplify:  iters left: 3 (63 enodes)
1544001370.749 * * [misc]simplify:  iters left: 2 (74 enodes)
1544001370.757 * * [misc]simplify:  iters left: 1 (92 enodes)
1544001370.782 * [exit]simplify:  Simplified to (* (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (- (/ 1 (* x x)) 1)))
1544001370.782 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (- (/ 1 (* x x)) 1))) (* (sqrt (+ (/ 1 x) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1544001370.783 * [enter]simplify:  Simplifying (* (sqrt (+ (/ 1 x) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))
1544001370.783 * * [misc]simplify:  iters left: 6 (12 enodes)
1544001370.787 * * [misc]simplify:  iters left: 5 (25 enodes)
1544001370.795 * * [misc]simplify:  iters left: 4 (40 enodes)
1544001370.807 * * [misc]simplify:  iters left: 3 (50 enodes)
1544001370.818 * * [misc]simplify:  iters left: 2 (58 enodes)
1544001370.826 * * [misc]simplify:  iters left: 1 (60 enodes)
1544001370.832 * [exit]simplify:  Simplified to (* (sqrt (+ 1 (/ 1 x))) (sqrt (+ (+ 1 (/ 1 x)) (* (/ 1 x) (/ 1 x)))))
1544001370.832 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (- (/ 1 (* x x)) 1))) (* (sqrt (+ 1 (/ 1 x))) (sqrt (+ (+ 1 (/ 1 x)) (* (/ 1 x) (/ 1 x)))))))))
1544001370.832 * * * * [misc]progress:  [ 20 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (* (sqrt (+ (/ 1 x) 1)) (sqrt (+ (/ 1 x) 1)))))))>
1544001370.832 * [enter]simplify:  Simplifying (* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
1544001370.832 * * [misc]simplify:  iters left: 6 (8 enodes)
1544001370.834 * * [misc]simplify:  iters left: 5 (17 enodes)
1544001370.836 * * [misc]simplify:  iters left: 4 (18 enodes)
1544001370.838 * * [misc]simplify:  iters left: 3 (22 enodes)
1544001370.841 * * [misc]simplify:  iters left: 2 (26 enodes)
1544001370.844 * * [misc]simplify:  iters left: 1 (27 enodes)
1544001370.847 * [exit]simplify:  Simplified to (- (/ 1 (* x x)) 1)
1544001370.847 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (/ 1 (* x x)) 1) (* (sqrt (+ (/ 1 x) 1)) (sqrt (+ (/ 1 x) 1)))))))
1544001370.847 * [enter]simplify:  Simplifying (* (sqrt (+ (/ 1 x) 1)) (sqrt (+ (/ 1 x) 1)))
1544001370.847 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.849 * * [misc]simplify:  iters left: 5 (9 enodes)
1544001370.853 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001370.855 * [exit]simplify:  Simplified to (+ 1 (/ 1 x))
1544001370.855 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (/ 1 (* x x)) 1) (+ 1 (/ 1 x))))))
1544001370.855 * * * * [misc]progress:  [ 21 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))))))>
1544001370.855 * * * * [misc]progress:  [ 22 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (cbrt (sqrt (- (/ 1 x) 1)))))))>
1544001370.856 * [enter]simplify:  Simplifying (cbrt (sqrt (- (/ 1 x) 1)))
1544001370.856 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.858 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.861 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.864 * [exit]simplify:  Simplified to (cbrt (sqrt (- (/ 1 x) 1)))
1544001370.864 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (cbrt (sqrt (- (/ 1 x) 1)))))))
1544001370.864 * * * * [misc]progress:  [ 23 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (sqrt (cbrt (- (/ 1 x) 1)))))))>
1544001370.864 * [enter]simplify:  Simplifying (sqrt (cbrt (- (/ 1 x) 1)))
1544001370.864 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.866 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.869 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.872 * [exit]simplify:  Simplified to (sqrt (cbrt (- (/ 1 x) 1)))
1544001370.872 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (sqrt (cbrt (- (/ 1 x) 1)))))))
1544001370.872 * * * * [misc]progress:  [ 24 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (sqrt (- (/ 1 x) 1)))))))>
1544001370.872 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.872 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.875 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.877 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.880 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.880 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (sqrt (- (/ 1 x) 1)))))))
1544001370.880 * * * * [misc]progress:  [ 25 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt 1)) (sqrt (- (/ 1 x) 1))))))>
1544001370.880 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544001370.880 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001370.883 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001370.885 * * [misc]simplify:  iters left: 3 (11 enodes)
1544001370.887 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544001370.887 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt 1)) (sqrt (- (/ 1 x) 1))))))
1544001370.887 * * * * [misc]progress:  [ 26 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))))>
1544001370.888 * [enter]simplify:  Simplifying (sqrt (- (sqrt (/ 1 x)) 1))
1544001370.888 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.890 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.893 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.895 * [exit]simplify:  Simplified to (sqrt (- (sqrt (/ 1 x)) 1))
1544001370.895 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))))
1544001370.896 * * * * [misc]progress:  [ 27 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (sqrt (- (/ 1 x) 1)))))))>
1544001370.896 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.896 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.898 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.901 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.904 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.904 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (sqrt (- (/ 1 x) 1)))))))
1544001370.904 * * * * [misc]progress:  [ 28 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) 1) (sqrt (- (/ 1 x) 1))))))>
1544001370.904 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544001370.904 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001370.906 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001370.909 * * [misc]simplify:  iters left: 3 (11 enodes)
1544001370.911 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544001370.911 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (sqrt (- (/ 1 x) 1)) 1) (sqrt (- (/ 1 x) 1))))))
1544001370.911 * * * * [misc]progress:  [ 29 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (* (cbrt (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))>
1544001370.911 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))
1544001370.912 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001370.915 * * [misc]simplify:  iters left: 5 (12 enodes)
1544001370.918 * * [misc]simplify:  iters left: 4 (13 enodes)
1544001370.921 * [exit]simplify:  Simplified to (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))
1544001370.921 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (* (cbrt (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))
1544001370.921 * * * * [misc]progress:  [ 30 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (* (sqrt (cbrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))>
1544001370.921 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544001370.922 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001370.924 * * [misc]simplify:  iters left: 5 (13 enodes)
1544001370.927 * * [misc]simplify:  iters left: 4 (14 enodes)
1544001370.931 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544001370.931 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (fabs (cbrt (- (/ 1 x) 1))) (* (sqrt (cbrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))
1544001370.931 * * * * [misc]progress:  [ 31 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (sqrt (- (/ 1 x) 1))) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))>
1544001370.931 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.931 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.934 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.936 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.939 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.939 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (sqrt (- (/ 1 x) 1))) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))
1544001370.939 * * * * [misc]progress:  [ 32 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt 1) (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))))))>
1544001370.939 * [enter]simplify:  Simplifying (sqrt 1)
1544001370.939 * * [misc]simplify:  iters left: 1 (2 enodes)
1544001370.941 * [exit]simplify:  Simplified to 1
1544001370.941 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* 1 (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))))))
1544001370.941 * * * * [misc]progress:  [ 33 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (- (/ 1 x) 1)))))))>
1544001370.941 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544001370.941 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.943 * * [misc]simplify:  iters left: 5 (9 enodes)
1544001370.945 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544001370.945 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (- (/ 1 x) 1)))))))
1544001370.945 * * * * [misc]progress:  [ 34 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (sqrt (- (/ 1 x) 1))) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))>
1544001370.946 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.946 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001370.948 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001370.951 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001370.953 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544001370.953 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (sqrt (- (/ 1 x) 1))) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))))))
1544001370.953 * * * * [misc]progress:  [ 35 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))))))>
1544001370.954 * * * * [misc]progress:  [ 36 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))>
1544001370.954 * [enter]simplify:  Simplifying (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))
1544001370.954 * * [misc]simplify:  iters left: 6 (9 enodes)
1544001370.957 * * [misc]simplify:  iters left: 5 (20 enodes)
1544001370.964 * * [misc]simplify:  iters left: 4 (34 enodes)
1544001370.974 * * [misc]simplify:  iters left: 3 (43 enodes)
1544001370.987 * * [misc]simplify:  iters left: 2 (51 enodes)
1544001371.001 * * [misc]simplify:  iters left: 1 (53 enodes)
1544001371.014 * [exit]simplify:  Simplified to (sqrt (+ (/ (/ 1 x) x) (+ (/ 1 x) 1)))
1544001371.014 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (sqrt (+ (/ (/ 1 x) x) (+ (/ 1 x) 1)))))))
1544001371.014 * * * * [misc]progress:  [ 37 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (sqrt (+ (/ 1 x) 1))))))>
1544001371.014 * [enter]simplify:  Simplifying (sqrt (+ (/ 1 x) 1))
1544001371.015 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001371.016 * * [misc]simplify:  iters left: 4 (8 enodes)
1544001371.018 * [exit]simplify:  Simplified to (sqrt (+ 1 (/ 1 x)))
1544001371.018 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (sqrt (+ 1 (/ 1 x)))))))
1544001371.018 * * * * [misc]progress:  [ 38 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (/ 1 x) 1))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))>
1544001371.018 * [enter]simplify:  Simplifying (* (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (- (/ 1 x) 1)))
1544001371.019 * * [misc]simplify:  iters left: 6 (11 enodes)
1544001371.024 * * [misc]simplify:  iters left: 5 (25 enodes)
1544001371.030 * * [misc]simplify:  iters left: 4 (38 enodes)
1544001371.041 * * [misc]simplify:  iters left: 3 (48 enodes)
1544001371.054 * * [misc]simplify:  iters left: 2 (58 enodes)
1544001371.067 * * [misc]simplify:  iters left: 1 (64 enodes)
1544001371.082 * [exit]simplify:  Simplified to (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ (/ 1 x) (* x x)) 1)))
1544001371.082 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ (/ 1 x) (* x x)) 1))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))
1544001371.082 * * * * [misc]progress:  [ 39 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (/ 1 x) 1))) (sqrt (+ (/ 1 x) 1))))))>
1544001371.083 * [enter]simplify:  Simplifying (* (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (- (/ 1 x) 1)))
1544001371.083 * * [misc]simplify:  iters left: 6 (10 enodes)
1544001371.087 * * [misc]simplify:  iters left: 5 (21 enodes)
1544001371.093 * * [misc]simplify:  iters left: 4 (23 enodes)
1544001371.098 * * [misc]simplify:  iters left: 3 (30 enodes)
1544001371.106 * * [misc]simplify:  iters left: 2 (50 enodes)
1544001371.129 * * [misc]simplify:  iters left: 1 (83 enodes)
1544001371.155 * [exit]simplify:  Simplified to (* (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (- (/ 1 x) 1)))
1544001371.155 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (+ (/ 1 x) 1))))))
1544001371.155 * * * * [misc]progress:  [ 40 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544001371.155 * * * * [misc]progress:  [ 41 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (pow (- (/ 1 x) 1) 1/2)))))>
1544001371.156 * * * * [misc]progress:  [ 42 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (pow (sqrt (- (/ 1 x) 1)) 1)))))>
1544001371.156 * * * * [misc]progress:  [ 43 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (exp (log (sqrt (- (/ 1 x) 1))))))))>
1544001371.156 * * * * [misc]progress:  [ 44 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (log (exp (sqrt (- (/ 1 x) 1))))))))>
1544001371.156 * * * * [misc]progress:  [ 45 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))))))>
1544001371.156 * * * * [misc]progress:  [ 46 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))))>
1544001371.156 * * * * [misc]progress:  [ 47 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))))))>
1544001371.156 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544001371.156 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001371.160 * * [misc]simplify:  iters left: 5 (13 enodes)
1544001371.163 * * [misc]simplify:  iters left: 4 (14 enodes)
1544001371.166 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544001371.166 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))))))
1544001371.167 * * * * [misc]progress:  [ 48 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544001371.167 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544001371.167 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001371.169 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001371.172 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001371.174 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544001371.175 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))
1544001371.175 * * * * [misc]progress:  [ 49 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
1544001371.175 * [enter]simplify:  Simplifying (sqrt 1)
1544001371.175 * * [misc]simplify:  iters left: 1 (2 enodes)
1544001371.176 * [exit]simplify:  Simplified to 1
1544001371.176 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* 1 (sqrt (- (/ 1 x) 1)))))))
1544001371.176 * * * * [misc]progress:  [ 50 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
1544001371.176 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544001371.177 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001371.178 * * [misc]simplify:  iters left: 5 (9 enodes)
1544001371.180 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544001371.181 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))
1544001371.181 * * * * [misc]progress:  [ 51 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1544001371.181 * [enter]simplify:  Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
1544001371.181 * * [misc]simplify:  iters left: 6 (8 enodes)
1544001371.185 * * [misc]simplify:  iters left: 5 (20 enodes)
1544001371.190 * * [misc]simplify:  iters left: 4 (32 enodes)
1544001371.199 * * [misc]simplify:  iters left: 3 (41 enodes)
1544001371.210 * * [misc]simplify:  iters left: 2 (49 enodes)
1544001371.221 * * [misc]simplify:  iters left: 1 (56 enodes)
1544001371.235 * [exit]simplify:  Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1))
1544001371.235 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
1544001371.235 * * * * [misc]progress:  [ 52 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))))))>
1544001371.236 * [enter]simplify:  Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544001371.236 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001371.239 * * [misc]simplify:  iters left: 5 (16 enodes)
1544001371.243 * * [misc]simplify:  iters left: 4 (17 enodes)
1544001371.247 * * [misc]simplify:  iters left: 3 (24 enodes)
1544001371.253 * * [misc]simplify:  iters left: 2 (32 enodes)
1544001371.263 * * [misc]simplify:  iters left: 1 (51 enodes)
1544001371.286 * [exit]simplify:  Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1))
1544001371.286 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1)))))))
1544001371.286 * * * * [misc]progress:  [ 53 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1544001371.286 * * * * [misc]progress:  [ 54 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (fabs (sqrt (- (/ 1 x) 1)))))))>
1544001371.286 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544001371.286 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001371.288 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001371.291 * * [misc]simplify:  iters left: 3 (11 enodes)
1544001371.293 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544001371.293 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (fabs (sqrt (- (/ 1 x) 1)))))))
1544001371.293 * * * * [misc]progress:  [ 55 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (* 1 (sqrt (- (/ 1 x) 1)))))))>
1544001371.293 * * * * [misc]progress:  [ 56 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (pow (- (/ 1 x) 1) 1/2) (sqrt (- (/ 1 x) 1))))))>
1544001371.293 * * * * [misc]progress:  [ 57 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (pow (sqrt (- (/ 1 x) 1)) 1) (sqrt (- (/ 1 x) 1))))))>
1544001371.293 * * * * [misc]progress:  [ 58 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (exp (log (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.293 * * * * [misc]progress:  [ 59 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (log (exp (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.294 * * * * [misc]progress:  [ 60 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.294 * * * * [misc]progress:  [ 61 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.294 * * * * [misc]progress:  [ 62 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.294 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544001371.294 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001371.297 * * [misc]simplify:  iters left: 5 (13 enodes)
1544001371.300 * * [misc]simplify:  iters left: 4 (14 enodes)
1544001371.303 * [exit]simplify:  Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1544001371.303 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))
1544001371.304 * * * * [misc]progress:  [ 63 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.304 * [enter]simplify:  Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1544001371.304 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001371.306 * * [misc]simplify:  iters left: 5 (11 enodes)
1544001371.309 * * [misc]simplify:  iters left: 4 (12 enodes)
1544001371.313 * [exit]simplify:  Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1544001371.313 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))
1544001371.313 * * * * [misc]progress:  [ 64 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt 1) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))>
1544001371.313 * [enter]simplify:  Simplifying (sqrt 1)
1544001371.313 * * [misc]simplify:  iters left: 1 (2 enodes)
1544001371.315 * [exit]simplify:  Simplified to 1
1544001371.315 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (* 1 (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))
1544001371.315 * * * * [misc]progress:  [ 65 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (/ 1 x) 1))))))>
1544001371.315 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544001371.315 * * [misc]simplify:  iters left: 6 (6 enodes)
1544001371.317 * * [misc]simplify:  iters left: 5 (9 enodes)
1544001371.319 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544001371.319 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (/ 1 x) 1))))))
1544001371.319 * * * * [misc]progress:  [ 66 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))) (sqrt (- (/ 1 x) 1))))))>
1544001371.320 * [enter]simplify:  Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
1544001371.320 * * [misc]simplify:  iters left: 6 (8 enodes)
1544001371.324 * * [misc]simplify:  iters left: 5 (20 enodes)
1544001371.329 * * [misc]simplify:  iters left: 4 (32 enodes)
1544001371.338 * * [misc]simplify:  iters left: 3 (41 enodes)
1544001371.349 * * [misc]simplify:  iters left: 2 (49 enodes)
1544001371.360 * * [misc]simplify:  iters left: 1 (56 enodes)
1544001371.375 * [exit]simplify:  Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1))
1544001371.375 * [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))))) (sqrt (- (/ 1 x) 1))))))
1544001371.375 * * * * [misc]progress:  [ 67 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))>
1544001371.375 * [enter]simplify:  Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544001371.376 * * [misc]simplify:  iters left: 6 (7 enodes)
1544001371.379 * * [misc]simplify:  iters left: 5 (16 enodes)
1544001371.383 * * [misc]simplify:  iters left: 4 (17 enodes)
1544001371.387 * * [misc]simplify:  iters left: 3 (24 enodes)
1544001371.393 * * [misc]simplify:  iters left: 2 (32 enodes)
1544001371.402 * * [misc]simplify:  iters left: 1 (51 enodes)
1544001371.425 * [exit]simplify:  Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1))
1544001371.425 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))
1544001371.425 * * * * [misc]progress:  [ 68 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))) (sqrt (- (/ 1 x) 1))))))>
1544001371.426 * * * * [misc]progress:  [ 69 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (fabs (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))>
1544001371.426 * [enter]simplify:  Simplifying (sqrt (- (/ 1 x) 1))
1544001371.426 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001371.428 * * [misc]simplify:  iters left: 4 (10 enodes)
1544001371.430 * * [misc]simplify:  iters left: 3 (11 enodes)
1544001371.433 * [exit]simplify:  Simplified to (sqrt (- (/ 1 x) 1))
1544001371.433 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (fabs (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))
1544001371.433 * * * * [misc]progress:  [ 70 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (* 1 (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))>
1544001371.433 * * * * [misc]progress:  [ 71 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (pow (- (/ 1 x) 1) 1))))))>
1544001371.433 * * * * [misc]progress:  [ 72 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (exp (log (- (/ 1 x) 1))))))))>
1544001371.433 * * * * [misc]progress:  [ 73 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (log (exp (- (/ 1 x) 1))))))))>
1544001371.433 * * * * [misc]progress:  [ 74 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))))>
1544001371.433 * * * * [misc]progress:  [ 75 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))))>
1544001371.433 * * * * [misc]progress:  [ 76 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
1544001371.433 * * * * [misc]progress:  [ 77 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
1544001371.434 * * * * [misc]progress:  [ 78 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (/ 1 x) (- 1)))))))>
1544001371.434 * * * * [misc]progress:  [ 79 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (* 1 (- (/ 1 x) 1)))))))>
1544001371.434 * * * * [misc]progress:  [ 80 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))))>
1544001371.434 * * * * [misc]progress:  [ 81 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
1544001371.434 * [enter]simplify:  Simplifying (+ (sqrt (/ 1 x)) 1)
1544001371.434 * * [misc]simplify:  iters left: 5 (5 enodes)
1544001371.436 * * [misc]simplify:  iters left: 4 (8 enodes)
1544001371.438 * [exit]simplify:  Simplified to (+ (sqrt (/ 1 x)) 1)
1544001371.438 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))
1544001371.438 * * * * [misc]progress:  [ 82 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (/ 1 x) (- 1)))))))>
1544001371.438 * * * * [misc]progress:  [ 83 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001371.438 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001371.438 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001371.440 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001371.442 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001371.444 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001371.444 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001371.444 * * * * [misc]progress:  [ 84 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544001371.445 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001371.445 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001371.447 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001371.449 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001371.451 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001371.451 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001371.451 * * * * [misc]progress:  [ 85 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) (+ (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 2)))) (+ (* 1/4 (/ 1 (pow x 2))) 1))))))>
1544001371.451 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (* 1/4 (/ 1 (* (pow x 2) (pow (sqrt -1) 2)))) (+ (* 1/4 (/ 1 (pow x 2))) 1)))
1544001371.451 * * [misc]simplify:  iters left: 6 (17 enodes)
1544001371.459 * * [misc]simplify:  iters left: 5 (36 enodes)
1544001371.474 * * [misc]simplify:  iters left: 4 (73 enodes)
1544001371.507 * * [misc]simplify:  iters left: 3 (149 enodes)
1544001371.588 * * [misc]simplify:  iters left: 2 (313 enodes)
1544001371.899 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001371.899 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544001371.899 * * * * [misc]progress:  [ 86 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))))))>
1544001371.900 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544001371.900 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) +nan.0))))
1544001371.900 * * * * [misc]progress:  [ 87 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))))>
1544001371.900 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544001371.900 * * [misc]simplify:  iters left: 6 (18 enodes)
1544001371.908 * * [misc]simplify:  iters left: 5 (41 enodes)
1544001371.924 * * [misc]simplify:  iters left: 4 (85 enodes)
1544001371.958 * * [misc]simplify:  iters left: 3 (151 enodes)
1544001371.987 * * [misc]simplify:  iters left: 2 (240 enodes)
1544001372.186 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544001372.186 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))))))
1544001372.186 * * * * [misc]progress:  [ 88 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))))))>
1544001372.186 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544001372.187 * * [misc]simplify:  iters left: 6 (18 enodes)
1544001372.194 * * [misc]simplify:  iters left: 5 (41 enodes)
1544001372.209 * * [misc]simplify:  iters left: 4 (85 enodes)
1544001372.226 * * [misc]simplify:  iters left: 3 (151 enodes)
1544001372.267 * * [misc]simplify:  iters left: 2 (240 enodes)
1544001372.412 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544001372.412 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))))))
1544001372.412 * * * * [misc]progress:  [ 89 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) (sqrt (- (/ 1 x) 1))))))>
1544001372.412 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544001372.412 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* +nan.0 (sqrt (- (/ 1 x) 1))))))
1544001372.412 * * * * [misc]progress:  [ 90 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) (sqrt (- (/ 1 x) 1))))))>
1544001372.413 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544001372.413 * * [misc]simplify:  iters left: 6 (18 enodes)
1544001372.417 * * [misc]simplify:  iters left: 5 (41 enodes)
1544001372.427 * * [misc]simplify:  iters left: 4 (85 enodes)
1544001372.444 * * [misc]simplify:  iters left: 3 (151 enodes)
1544001372.484 * * [misc]simplify:  iters left: 2 (240 enodes)
1544001372.618 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544001372.618 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) (sqrt (- (/ 1 x) 1))))))
1544001372.618 * * * * [misc]progress:  [ 91 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) (sqrt (- (/ 1 x) 1))))))>
1544001372.619 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))))
1544001372.619 * * [misc]simplify:  iters left: 6 (18 enodes)
1544001372.627 * * [misc]simplify:  iters left: 5 (41 enodes)
1544001372.643 * * [misc]simplify:  iters left: 4 (85 enodes)
1544001372.676 * * [misc]simplify:  iters left: 3 (151 enodes)
1544001372.731 * * [misc]simplify:  iters left: 2 (240 enodes)
1544001372.910 * [exit]simplify:  Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))
1544001372.910 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) (sqrt (- (/ 1 x) 1))))))
1544001372.910 * * * * [misc]progress:  [ 92 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544001372.910 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001372.910 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001372.911 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001372.912 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001372.913 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001372.913 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))
1544001372.913 * * * * [misc]progress:  [ 93 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544001372.913 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001372.913 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001372.914 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001372.915 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001372.916 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001372.916 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))
1544001372.916 * * * * [misc]progress:  [ 94 / 94 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544001372.917 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544001372.917 * * [misc]simplify:  iters left: 4 (4 enodes)
1544001372.918 * * [misc]simplify:  iters left: 3 (9 enodes)
1544001372.919 * * [misc]simplify:  iters left: 2 (10 enodes)
1544001372.920 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544001372.920 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))
1544001372.920 * * * [misc]progress:  adding candidates to table
1544001373.856 * [misc]progress:  [Phase 3 of 3] Extracting.
1544001373.856 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544001373.857 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
1544001373.858 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544001373.893 * * * * [misc]regimes:  Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544001373.929 * * * * [misc]regimes:  Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544001373.965 * * * * [misc]regimes:  Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544001374.005 * * * * [misc]regimes:  Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544001374.047 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1544001374.047 * [enter]simplify:  Simplifying (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))))
1544001374.047 * * [misc]simplify:  iters left: 6 (8 enodes)
1544001374.048 * * [misc]simplify:  iters left: 5 (10 enodes)
1544001374.049 * [exit]simplify:  Simplified to (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))))
1544001374.049 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544001374.092 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544001374.093 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.094 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.094 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544001374.095 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.096 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.097 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544001374.098 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.099 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.101 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544001374.102 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.104 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.107 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544001374.108 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.112 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.117 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544001374.118 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.126 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.143 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544001374.145 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.162 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.182 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544001374.183 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.282 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.348 * * * * [misc]points:  Computing exacts for 8000 points
1544001374.350 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.695 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.923 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001374.925 * * * * [misc]points:  Sampling 6004 additional inputs, on iter 1 have 1996 / 8000
1544001374.964 * * * * [misc]points:  Computing exacts on every 375 of 6004 points to ramp up precision
1544001374.967 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.968 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.968 * * * * [misc]points:  Computing exacts on every 187 of 6004 points to ramp up precision
1544001374.971 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.975 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.976 * * * * [misc]points:  Computing exacts on every 93 of 6004 points to ramp up precision
1544001374.979 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.981 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.983 * * * * [misc]points:  Computing exacts on every 46 of 6004 points to ramp up precision
1544001374.986 * * * * [misc]points:  Setting MPFR precision to 320
1544001374.991 * * * * [misc]points:  Setting MPFR precision to 576
1544001374.995 * * * * [misc]points:  Computing exacts on every 23 of 6004 points to ramp up precision
1544001374.998 * * * * [misc]points:  Setting MPFR precision to 320
1544001375.007 * * * * [misc]points:  Setting MPFR precision to 576
1544001375.012 * * * * [misc]points:  Computing exacts on every 11 of 6004 points to ramp up precision
1544001375.013 * * * * [misc]points:  Setting MPFR precision to 320
1544001375.021 * * * * [misc]points:  Setting MPFR precision to 576
1544001375.030 * * * * [misc]points:  Computing exacts on every 5 of 6004 points to ramp up precision
1544001375.032 * * * * [misc]points:  Setting MPFR precision to 320
1544001375.053 * * * * [misc]points:  Setting MPFR precision to 576
1544001375.088 * * * * [misc]points:  Computing exacts on every 2 of 6004 points to ramp up precision
1544001375.089 * * * * [misc]points:  Setting MPFR precision to 320
1544001375.168 * * * * [misc]points:  Setting MPFR precision to 576
1544001375.215 * * * * [misc]points:  Computing exacts for 6004 points
1544001375.217 * * * * [misc]points:  Setting MPFR precision to 320
1544001375.454 * * * * [misc]points:  Setting MPFR precision to 576
1544001375.644 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001375.646 * * * * [misc]points:  Sampling 4503 additional inputs, on iter 2 have 3497 / 8000
1544001376.060 * * * * [misc]points:  Computing exacts on every 281 of 4503 points to ramp up precision
1544001376.061 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.061 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.062 * * * * [misc]points:  Computing exacts on every 140 of 4503 points to ramp up precision
1544001376.063 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.064 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.064 * * * * [misc]points:  Computing exacts on every 70 of 4503 points to ramp up precision
1544001376.068 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.069 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.070 * * * * [misc]points:  Computing exacts on every 35 of 4503 points to ramp up precision
1544001376.071 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.073 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.076 * * * * [misc]points:  Computing exacts on every 17 of 4503 points to ramp up precision
1544001376.077 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.084 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.093 * * * * [misc]points:  Computing exacts on every 8 of 4503 points to ramp up precision
1544001376.096 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.114 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.134 * * * * [misc]points:  Computing exacts on every 4 of 4503 points to ramp up precision
1544001376.137 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.168 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.187 * * * * [misc]points:  Computing exacts on every 2 of 4503 points to ramp up precision
1544001376.189 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.238 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.266 * * * * [misc]points:  Computing exacts for 4503 points
1544001376.267 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.389 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.563 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001376.564 * * * * [misc]points:  Sampling 3324 additional inputs, on iter 3 have 4676 / 8000
1544001376.572 * * * * [misc]points:  Computing exacts on every 207 of 3324 points to ramp up precision
1544001376.574 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.574 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.574 * * * * [misc]points:  Computing exacts on every 103 of 3324 points to ramp up precision
1544001376.576 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.576 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.577 * * * * [misc]points:  Computing exacts on every 51 of 3324 points to ramp up precision
1544001376.578 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.579 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.581 * * * * [misc]points:  Computing exacts on every 25 of 3324 points to ramp up precision
1544001376.582 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.584 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.586 * * * * [misc]points:  Computing exacts on every 12 of 3324 points to ramp up precision
1544001376.588 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.592 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.597 * * * * [misc]points:  Computing exacts on every 6 of 3324 points to ramp up precision
1544001376.598 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.606 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.614 * * * * [misc]points:  Computing exacts on every 3 of 3324 points to ramp up precision
1544001376.616 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.650 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.665 * * * * [misc]points:  Computing exacts for 3324 points
1544001376.666 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.746 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001376.882 * * * * [misc]points:  Sampling 2473 additional inputs, on iter 4 have 5527 / 8000
1544001376.894 * * * * [misc]points:  Computing exacts on every 154 of 2473 points to ramp up precision
1544001376.897 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.898 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.898 * * * * [misc]points:  Computing exacts on every 77 of 2473 points to ramp up precision
1544001376.901 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.902 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.903 * * * * [misc]points:  Computing exacts on every 38 of 2473 points to ramp up precision
1544001376.905 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.906 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.907 * * * * [misc]points:  Computing exacts on every 19 of 2473 points to ramp up precision
1544001376.909 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.911 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.913 * * * * [misc]points:  Computing exacts on every 9 of 2473 points to ramp up precision
1544001376.914 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.918 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.923 * * * * [misc]points:  Computing exacts on every 4 of 2473 points to ramp up precision
1544001376.924 * * * * [misc]points:  Setting MPFR precision to 320
1544001376.968 * * * * [misc]points:  Setting MPFR precision to 576
1544001376.986 * * * * [misc]points:  Computing exacts on every 2 of 2473 points to ramp up precision
1544001376.988 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.015 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.045 * * * * [misc]points:  Computing exacts for 2473 points
1544001377.048 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.129 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.226 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001377.227 * * * * [misc]points:  Sampling 1870 additional inputs, on iter 5 have 6130 / 8000
1544001377.232 * * * * [misc]points:  Computing exacts on every 116 of 1870 points to ramp up precision
1544001377.234 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.234 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.234 * * * * [misc]points:  Computing exacts on every 58 of 1870 points to ramp up precision
1544001377.236 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.237 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.238 * * * * [misc]points:  Computing exacts on every 29 of 1870 points to ramp up precision
1544001377.241 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.243 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.245 * * * * [misc]points:  Computing exacts on every 14 of 1870 points to ramp up precision
1544001377.248 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.252 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.256 * * * * [misc]points:  Computing exacts on every 7 of 1870 points to ramp up precision
1544001377.259 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.267 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.275 * * * * [misc]points:  Computing exacts on every 3 of 1870 points to ramp up precision
1544001377.278 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.293 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.351 * * * * [misc]points:  Computing exacts for 1870 points
1544001377.357 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.417 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.472 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001377.473 * * * * [misc]points:  Sampling 1428 additional inputs, on iter 6 have 6572 / 8000
1544001377.476 * * * * [misc]points:  Computing exacts on every 89 of 1428 points to ramp up precision
1544001377.478 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.478 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.478 * * * * [misc]points:  Computing exacts on every 44 of 1428 points to ramp up precision
1544001377.480 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.480 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.481 * * * * [misc]points:  Computing exacts on every 22 of 1428 points to ramp up precision
1544001377.482 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.483 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.484 * * * * [misc]points:  Computing exacts on every 11 of 1428 points to ramp up precision
1544001377.486 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.526 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.531 * * * * [misc]points:  Computing exacts on every 5 of 1428 points to ramp up precision
1544001377.537 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.545 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.550 * * * * [misc]points:  Computing exacts on every 2 of 1428 points to ramp up precision
1544001377.552 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.560 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.568 * * * * [misc]points:  Computing exacts for 1428 points
1544001377.570 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.605 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001377.631 * * * * [misc]points:  Sampling 1093 additional inputs, on iter 7 have 6907 / 8000
1544001377.637 * * * * [misc]points:  Computing exacts on every 68 of 1093 points to ramp up precision
1544001377.639 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.640 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.641 * * * * [misc]points:  Computing exacts on every 34 of 1093 points to ramp up precision
1544001377.686 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.688 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.689 * * * * [misc]points:  Computing exacts on every 17 of 1093 points to ramp up precision
1544001377.691 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.693 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.699 * * * * [misc]points:  Computing exacts on every 8 of 1093 points to ramp up precision
1544001377.702 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.706 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.710 * * * * [misc]points:  Computing exacts on every 4 of 1093 points to ramp up precision
1544001377.713 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.720 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.727 * * * * [misc]points:  Computing exacts on every 2 of 1093 points to ramp up precision
1544001377.730 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.742 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.755 * * * * [misc]points:  Computing exacts for 1093 points
1544001377.758 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.793 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.830 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001377.830 * * * * [misc]points:  Sampling 836 additional inputs, on iter 8 have 7164 / 8000
1544001377.834 * * * * [misc]points:  Computing exacts on every 52 of 836 points to ramp up precision
1544001377.836 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.837 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.837 * * * * [misc]points:  Computing exacts on every 26 of 836 points to ramp up precision
1544001377.838 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.839 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.840 * * * * [misc]points:  Computing exacts on every 13 of 836 points to ramp up precision
1544001377.841 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.842 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.870 * * * * [misc]points:  Computing exacts on every 6 of 836 points to ramp up precision
1544001377.872 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.874 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.876 * * * * [misc]points:  Computing exacts on every 3 of 836 points to ramp up precision
1544001377.878 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.883 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.887 * * * * [misc]points:  Computing exacts for 836 points
1544001377.889 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.907 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.922 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001377.922 * * * * [misc]points:  Sampling 627 additional inputs, on iter 9 have 7373 / 8000
1544001377.924 * * * * [misc]points:  Computing exacts on every 39 of 627 points to ramp up precision
1544001377.926 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.926 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.927 * * * * [misc]points:  Computing exacts on every 19 of 627 points to ramp up precision
1544001377.928 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.928 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.929 * * * * [misc]points:  Computing exacts on every 9 of 627 points to ramp up precision
1544001377.930 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.931 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.933 * * * * [misc]points:  Computing exacts on every 4 of 627 points to ramp up precision
1544001377.934 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.936 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.938 * * * * [misc]points:  Computing exacts on every 2 of 627 points to ramp up precision
1544001377.940 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.944 * * * * [misc]points:  Setting MPFR precision to 576
1544001377.947 * * * * [misc]points:  Computing exacts for 627 points
1544001377.949 * * * * [misc]points:  Setting MPFR precision to 320
1544001377.967 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.354 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.355 * * * * [misc]points:  Sampling 466 additional inputs, on iter 10 have 7534 / 8000
1544001378.356 * * * * [misc]points:  Computing exacts on every 29 of 466 points to ramp up precision
1544001378.357 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.360 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.360 * * * * [misc]points:  Computing exacts on every 14 of 466 points to ramp up precision
1544001378.361 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.362 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.362 * * * * [misc]points:  Computing exacts on every 7 of 466 points to ramp up precision
1544001378.364 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.366 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.368 * * * * [misc]points:  Computing exacts on every 3 of 466 points to ramp up precision
1544001378.371 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.375 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.379 * * * * [misc]points:  Computing exacts for 466 points
1544001378.381 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.396 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.413 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.413 * * * * [misc]points:  Sampling 359 additional inputs, on iter 11 have 7641 / 8000
1544001378.415 * * * * [misc]points:  Computing exacts on every 22 of 359 points to ramp up precision
1544001378.418 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.418 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.419 * * * * [misc]points:  Computing exacts on every 11 of 359 points to ramp up precision
1544001378.421 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.422 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.423 * * * * [misc]points:  Computing exacts on every 5 of 359 points to ramp up precision
1544001378.426 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.428 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.430 * * * * [misc]points:  Computing exacts on every 2 of 359 points to ramp up precision
1544001378.433 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.436 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.441 * * * * [misc]points:  Computing exacts for 359 points
1544001378.443 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.455 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.468 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.468 * * * * [misc]points:  Sampling 274 additional inputs, on iter 12 have 7726 / 8000
1544001378.469 * * * * [misc]points:  Computing exacts on every 17 of 274 points to ramp up precision
1544001378.472 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.473 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.473 * * * * [misc]points:  Computing exacts on every 8 of 274 points to ramp up precision
1544001378.476 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.477 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.478 * * * * [misc]points:  Computing exacts on every 4 of 274 points to ramp up precision
1544001378.481 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.483 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.485 * * * * [misc]points:  Computing exacts on every 2 of 274 points to ramp up precision
1544001378.519 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.522 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.525 * * * * [misc]points:  Computing exacts for 274 points
1544001378.528 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.534 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.538 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.539 * * * * [misc]points:  Sampling 200 additional inputs, on iter 13 have 7800 / 8000
1544001378.539 * * * * [misc]points:  Computing exacts on every 12 of 200 points to ramp up precision
1544001378.541 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.541 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.541 * * * * [misc]points:  Computing exacts on every 6 of 200 points to ramp up precision
1544001378.542 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.543 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.544 * * * * [misc]points:  Computing exacts on every 3 of 200 points to ramp up precision
1544001378.545 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.546 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.547 * * * * [misc]points:  Computing exacts for 200 points
1544001378.548 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.551 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.555 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.555 * * * * [misc]points:  Sampling 149 additional inputs, on iter 14 have 7851 / 8000
1544001378.555 * * * * [misc]points:  Computing exacts on every 9 of 149 points to ramp up precision
1544001378.557 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.557 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.557 * * * * [misc]points:  Computing exacts on every 4 of 149 points to ramp up precision
1544001378.559 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.559 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.560 * * * * [misc]points:  Computing exacts on every 2 of 149 points to ramp up precision
1544001378.561 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.562 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.563 * * * * [misc]points:  Computing exacts for 149 points
1544001378.564 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.566 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.569 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.569 * * * * [misc]points:  Sampling 119 additional inputs, on iter 15 have 7881 / 8000
1544001378.569 * * * * [misc]points:  Computing exacts on every 7 of 119 points to ramp up precision
1544001378.571 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.571 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.572 * * * * [misc]points:  Computing exacts on every 3 of 119 points to ramp up precision
1544001378.573 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.573 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.574 * * * * [misc]points:  Computing exacts for 119 points
1544001378.575 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.577 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.579 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.579 * * * * [misc]points:  Sampling 95 additional inputs, on iter 16 have 7905 / 8000
1544001378.579 * * * * [misc]points:  Computing exacts on every 5 of 95 points to ramp up precision
1544001378.581 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.581 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.581 * * * * [misc]points:  Computing exacts on every 2 of 95 points to ramp up precision
1544001378.583 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.583 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.584 * * * * [misc]points:  Computing exacts for 95 points
1544001378.585 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.587 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.588 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.588 * * * * [misc]points:  Sampling 72 additional inputs, on iter 17 have 7928 / 8000
1544001378.589 * * * * [misc]points:  Computing exacts on every 4 of 72 points to ramp up precision
1544001378.590 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.590 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.591 * * * * [misc]points:  Computing exacts on every 2 of 72 points to ramp up precision
1544001378.593 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.594 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.595 * * * * [misc]points:  Computing exacts for 72 points
1544001378.597 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.599 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.625 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.625 * * * * [misc]points:  Sampling 49 additional inputs, on iter 18 have 7951 / 8000
1544001378.625 * * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
1544001378.627 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.627 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.628 * * * * [misc]points:  Computing exacts for 49 points
1544001378.629 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.630 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.631 * * * * [misc]points:  Sampling 36 additional inputs, on iter 19 have 7964 / 8000
1544001378.631 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1544001378.632 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.632 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.633 * * * * [misc]points:  Computing exacts for 36 points
1544001378.634 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.635 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.637 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.637 * * * * [misc]points:  Sampling 28 additional inputs, on iter 20 have 7972 / 8000
1544001378.637 * * * * [misc]points:  Computing exacts for 28 points
1544001378.638 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.639 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.639 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.639 * * * * [misc]points:  Sampling 19 additional inputs, on iter 21 have 7981 / 8000
1544001378.639 * * * * [misc]points:  Computing exacts for 19 points
1544001378.641 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.641 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.642 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.642 * * * * [misc]points:  Sampling 11 additional inputs, on iter 22 have 7989 / 8000
1544001378.642 * * * * [misc]points:  Computing exacts for 11 points
1544001378.643 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.643 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.644 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.644 * * * * [misc]points:  Sampling 8 additional inputs, on iter 23 have 7992 / 8000
1544001378.644 * * * * [misc]points:  Computing exacts for 8 points
1544001378.646 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.647 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.647 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.647 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1544001378.647 * * * * [misc]points:  Computing exacts for 6 points
1544001378.650 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.650 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.651 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.651 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7996 / 8000
1544001378.651 * * * * [misc]points:  Computing exacts for 4 points
1544001378.653 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.653 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.654 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.654 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1544001378.654 * * * * [misc]points:  Computing exacts for 4 points
1544001378.656 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.657 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.657 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1544001378.657 * * * * [misc]points:  Computing exacts for 4 points
1544001378.659 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.660 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.660 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.660 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1544001378.660 * * * * [misc]points:  Computing exacts for 4 points
1544001378.662 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.663 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.663 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.663 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1544001378.663 * * * * [misc]points:  Computing exacts for 4 points
1544001378.666 * * * * [misc]points:  Setting MPFR precision to 320
1544001378.666 * * * * [misc]points:  Setting MPFR precision to 576
1544001378.666 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544001378.666 * * * * [exit]points:  Sampled 8000 points with exact outputs
1544001378.902 * [misc]regime-testing:  Baseline error score: 0.031146294019727763
1544001378.902 * [misc]regime-testing:  End program error score: 0.031146294019727763
1544001378.903 * [misc]regime-testing:  Oracle error score: 0.027579979680140417