1538421372.188 * [misc]progress:  [Phase 1 of 3] Setting up.
1538421372.188 * * * [misc]progress:  [1/2] Preparing points
1538421372.188 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538421372.189 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538421372.191 * * * * [misc]points:  Setting MPFR precision to 64
1538421372.192 * * * * [misc]points:  Setting MPFR precision to 320
1538421372.192 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538421372.195 * * * * [misc]points:  Setting MPFR precision to 64
1538421372.196 * * * * [misc]points:  Setting MPFR precision to 320
1538421372.197 * * * * [misc]points:  Setting MPFR precision to 576
1538421372.198 * * * * [misc]points:  Setting MPFR precision to 832
1538421372.199 * * * * [misc]points:  Setting MPFR precision to 1088
1538421372.200 * * * * [misc]points:  Setting MPFR precision to 1344
1538421372.201 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538421372.207 * * * * [misc]points:  Setting MPFR precision to 1088
1538421372.209 * * * * [misc]points:  Setting MPFR precision to 1344
1538421372.211 * * * * [misc]points:  Setting MPFR precision to 1600
1538421372.214 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538421372.221 * * * * [misc]points:  Setting MPFR precision to 1344
1538421372.225 * * * * [misc]points:  Setting MPFR precision to 1600
1538421372.229 * * * * [misc]points:  Setting MPFR precision to 1856
1538421372.233 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.237 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.241 * * * * [misc]points:  Computing exacts for 256 points
1538421372.262 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.270 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.277 * * * * [misc]points:  Sampling 190 additional inputs, on iter 1 have 66 / 256
1538421372.278 * * * * [misc]points:  Computing exacts on every 11 of 190 points to ramp up precision
1538421372.283 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.284 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.284 * * * * [misc]points:  Computing exacts on every 5 of 190 points to ramp up precision
1538421372.289 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.290 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.291 * * * * [misc]points:  Computing exacts on every 2 of 190 points to ramp up precision
1538421372.301 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.304 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.305 * * * * [misc]points:  Computing exacts for 190 points
1538421372.311 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.316 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.322 * * * * [misc]points:  Sampling 143 additional inputs, on iter 2 have 113 / 256
1538421372.322 * * * * [misc]points:  Computing exacts on every 8 of 143 points to ramp up precision
1538421372.329 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.329 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.330 * * * * [misc]points:  Computing exacts on every 4 of 143 points to ramp up precision
1538421372.348 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.350 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.352 * * * * [misc]points:  Computing exacts on every 2 of 143 points to ramp up precision
1538421372.363 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.365 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.367 * * * * [misc]points:  Computing exacts for 143 points
1538421372.378 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.386 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.393 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.393 * * * * [misc]points:  Sampling 106 additional inputs, on iter 3 have 150 / 256
1538421372.394 * * * * [misc]points:  Computing exacts on every 6 of 106 points to ramp up precision
1538421372.411 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.412 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.413 * * * * [misc]points:  Computing exacts on every 3 of 106 points to ramp up precision
1538421372.424 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.425 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.427 * * * * [misc]points:  Computing exacts for 106 points
1538421372.438 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.443 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.449 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.449 * * * * [misc]points:  Sampling 80 additional inputs, on iter 4 have 176 / 256
1538421372.450 * * * * [misc]points:  Computing exacts on every 5 of 80 points to ramp up precision
1538421372.461 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.462 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.462 * * * * [misc]points:  Computing exacts on every 2 of 80 points to ramp up precision
1538421372.479 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.480 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.482 * * * * [misc]points:  Computing exacts for 80 points
1538421372.488 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.491 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.493 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.493 * * * * [misc]points:  Sampling 59 additional inputs, on iter 5 have 197 / 256
1538421372.493 * * * * [misc]points:  Computing exacts on every 3 of 59 points to ramp up precision
1538421372.499 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.499 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.499 * * * * [misc]points:  Computing exacts for 59 points
1538421372.508 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.510 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.511 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.511 * * * * [misc]points:  Sampling 47 additional inputs, on iter 6 have 209 / 256
1538421372.511 * * * * [misc]points:  Computing exacts on every 2 of 47 points to ramp up precision
1538421372.517 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.517 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.518 * * * * [misc]points:  Computing exacts for 47 points
1538421372.523 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.524 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.525 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.525 * * * * [misc]points:  Sampling 40 additional inputs, on iter 7 have 216 / 256
1538421372.525 * * * * [misc]points:  Computing exacts on every 2 of 40 points to ramp up precision
1538421372.534 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.535 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.535 * * * * [misc]points:  Computing exacts for 40 points
1538421372.934 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.936 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.938 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.938 * * * * [misc]points:  Sampling 34 additional inputs, on iter 8 have 222 / 256
1538421372.938 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1538421372.952 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.953 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.954 * * * * [misc]points:  Computing exacts for 34 points
1538421372.965 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.967 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.969 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.969 * * * * [misc]points:  Sampling 25 additional inputs, on iter 9 have 231 / 256
1538421372.969 * * * * [misc]points:  Computing exacts for 25 points
1538421372.985 * * * * [misc]points:  Setting MPFR precision to 2112
1538421372.987 * * * * [misc]points:  Setting MPFR precision to 2368
1538421372.989 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421372.989 * * * * [misc]points:  Sampling 17 additional inputs, on iter 10 have 239 / 256
1538421372.989 * * * * [misc]points:  Computing exacts for 17 points
1538421373.000 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.001 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.001 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.001 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1538421373.002 * * * * [misc]points:  Computing exacts for 12 points
1538421373.007 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.007 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.008 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.008 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1538421373.008 * * * * [misc]points:  Computing exacts for 9 points
1538421373.013 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.013 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.014 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.014 * * * * [misc]points:  Sampling 8 additional inputs, on iter 13 have 248 / 256
1538421373.014 * * * * [misc]points:  Computing exacts for 8 points
1538421373.021 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.022 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.022 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.022 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1538421373.022 * * * * [misc]points:  Computing exacts for 6 points
1538421373.027 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.028 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.028 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.028 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1538421373.028 * * * * [misc]points:  Computing exacts for 5 points
1538421373.033 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.034 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.034 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.034 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 253 / 256
1538421373.034 * * * * [misc]points:  Computing exacts for 4 points
1538421373.039 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.039 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.040 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.040 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1538421373.040 * * * * [misc]points:  Computing exacts for 4 points
1538421373.046 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.046 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.046 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.047 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1538421373.047 * * * * [misc]points:  Computing exacts for 4 points
1538421373.052 * * * * [misc]points:  Setting MPFR precision to 2112
1538421373.053 * * * * [misc]points:  Setting MPFR precision to 2368
1538421373.053 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421373.053 * * * * [exit]points:  Sampled 257 points with exact outputs
1538421373.053 * * * [misc]progress:  [2/2] Setting up program.
1538421373.056 * [misc]progress:  [Phase 2 of 3] Improving.
1538421373.056 * [enter]simplify:  Simplifying (log (+ x (sqrt (- (* x x) 1))))
1538421373.056 * * [misc]simplify:  iters left: 6 (7 enodes)
1538421373.058 * * [misc]simplify:  iters left: 5 (17 enodes)
1538421373.060 * * [misc]simplify:  iters left: 4 (21 enodes)
1538421373.063 * * [misc]simplify:  iters left: 3 (37 enodes)
1538421373.073 * * [misc]simplify:  iters left: 2 (68 enodes)
1538421373.097 * * [misc]simplify:  iters left: 1 (119 enodes)
1538421373.146 * [exit]simplify:  Simplified to (log (+ x (sqrt (fma x x -1))))
1538421373.156 * * [misc]progress:  iteration 1 / 4
1538421373.156 * * * [misc]progress:  picking best candidate
1538421373.160 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x (sqrt (fma x x -1)))))>
1538421373.160 * * * [misc]progress:  localizing error
1538421373.185 * * * [misc]progress:  generating rewritten candidates
1538421373.185 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 2)
1538421373.186 * * * [misc]progress:  generating series expansions
1538421373.186 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 2)
1538421373.186 * [misc]backup-simplify:  Simplify (sqrt (fma x x -1)) into (sqrt (fma x x -1))
1538421373.186 * [misc]approximate:  Taking taylor expansion of (sqrt (fma x x -1)) in (x) around 0
1538421373.186 * [misc]taylor:  Taking taylor expansion of (sqrt (fma x x -1)) in x
1538421373.186 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1538421373.186 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1538421373.186 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1538421373.186 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.186 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.186 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.186 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.186 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.186 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.186 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.186 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.187 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1538421373.187 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538421373.187 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1538421373.187 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1538421373.187 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.187 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1538421373.187 * [misc]taylor:  Taking taylor expansion of (sqrt (fma x x -1)) in x
1538421373.187 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1538421373.187 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1538421373.187 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1538421373.187 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.187 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.187 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.187 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.187 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.187 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.187 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.187 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.188 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1538421373.188 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538421373.188 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1538421373.188 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1538421373.188 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.188 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1538421373.188 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1538421373.188 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.188 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1538421373.189 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421373.189 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1538421373.190 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1538421373.190 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1538421373.190 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.190 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1538421373.190 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.190 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538421373.191 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.192 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1538421373.192 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1538421373.193 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
1538421373.193 * [misc]backup-simplify:  Simplify (sqrt (fma (/ 1 x) (/ 1 x) -1)) into (sqrt (fma (/ 1 x) (/ 1 x) -1))
1538421373.193 * [misc]approximate:  Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
1538421373.193 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in x
1538421373.193 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1538421373.193 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1538421373.193 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1538421373.193 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421373.193 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.193 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.193 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.193 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421373.193 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421373.193 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.193 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.193 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.194 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421373.194 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.194 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.194 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421373.194 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421373.194 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538421373.194 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421373.194 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421373.194 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421373.194 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.195 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1538421373.195 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) -1)) in x
1538421373.195 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1538421373.195 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1538421373.195 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1538421373.195 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421373.195 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.195 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.195 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.195 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421373.195 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421373.195 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.195 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.195 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.195 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421373.195 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.195 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.195 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421373.195 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421373.195 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538421373.198 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421373.198 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421373.199 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421373.199 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.199 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1538421373.199 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.199 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.199 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.199 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.199 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421373.200 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538421373.200 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1538421373.200 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538421373.201 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.201 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.201 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421373.201 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.201 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1538421373.201 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.202 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.202 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.202 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421373.202 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.203 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1538421373.203 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421373.203 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421373.203 * [misc]backup-simplify:  Simplify (sqrt (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (sqrt (fma (/ -1 x) (/ -1 x) -1))
1538421373.203 * [misc]approximate:  Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
1538421373.203 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in x
1538421373.203 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1538421373.203 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1538421373.203 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1538421373.203 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538421373.203 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.203 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.204 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.204 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.204 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.204 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538421373.204 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538421373.204 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.204 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.204 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.204 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.204 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.204 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538421373.204 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.204 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.204 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538421373.204 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421373.204 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538421373.204 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538421373.205 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538421373.205 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
1538421373.205 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.205 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1538421373.205 * [misc]taylor:  Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) -1)) in x
1538421373.205 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1538421373.205 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1538421373.205 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1538421373.205 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538421373.205 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.205 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.205 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.205 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.205 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.205 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538421373.205 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538421373.205 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.205 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.205 * [misc]taylor:  Taking taylor expansion of x in x
1538421373.205 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.205 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.205 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538421373.205 * [misc]taylor:  Taking taylor expansion of -1 in x
1538421373.205 * [misc]backup-simplify:  Simplify -1 into -1
1538421373.206 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1538421373.206 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421373.206 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538421373.206 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538421373.206 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538421373.206 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
1538421373.206 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.206 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1538421373.207 * [misc]backup-simplify:  Simplify 1 into 1
1538421373.207 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.207 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.207 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.207 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
1538421373.207 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538421373.208 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1538421373.208 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538421373.208 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.208 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.209 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
1538421373.209 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.209 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1538421373.209 * [misc]backup-simplify:  Simplify 0 into 0
1538421373.209 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.209 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421373.210 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
1538421373.210 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421373.211 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1538421373.211 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421373.211 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1538421373.211 * * * [misc]progress:  simplifying candidates
1538421373.211 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (log1p (expm1 (sqrt (fma x x -1)))))))>
1538421373.211 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (expm1 (log1p (sqrt (fma x x -1)))))))>
1538421373.211 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (fma x x -1) 1/2))))>
1538421373.211 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (sqrt (fma x x -1)) 1))))>
1538421373.211 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (log (sqrt (fma x x -1)))))))>
1538421373.211 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (exp (sqrt (fma x x -1)))))))>
1538421373.211 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (sqrt (fma x x -1))) (cbrt (sqrt (fma x x -1)))) (cbrt (sqrt (fma x x -1)))))))>
1538421373.211 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (sqrt (fma x x -1)) (sqrt (fma x x -1))) (sqrt (fma x x -1)))))))>
1538421373.211 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (sqrt (cbrt (fma x x -1)))))))>
1538421373.211 * [enter]simplify:  Simplifying (sqrt (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1538421373.211 * * [misc]simplify:  iters left: 5 (6 enodes)
1538421373.212 * * [misc]simplify:  iters left: 4 (9 enodes)
1538421373.214 * * [misc]simplify:  iters left: 3 (14 enodes)
1538421373.216 * * [misc]simplify:  iters left: 2 (20 enodes)
1538421373.219 * * [misc]simplify:  iters left: 1 (35 enodes)
1538421373.229 * [exit]simplify:  Simplified to (fabs (cbrt (fma x x -1)))
1538421373.230 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (fma x x -1))) (sqrt (cbrt (fma x x -1)))))))
1538421373.230 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1)))))))>
1538421373.230 * [enter]simplify:  Simplifying (sqrt (sqrt (fma x x -1)))
1538421373.230 * * [misc]simplify:  iters left: 3 (5 enodes)
1538421373.231 * * [misc]simplify:  iters left: 2 (7 enodes)
1538421373.232 * * [misc]simplify:  iters left: 1 (12 enodes)
1538421373.234 * [exit]simplify:  Simplified to (sqrt (sqrt (fma x x -1)))
1538421373.234 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1)))))))
1538421373.234 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt 1) (sqrt (fma x x -1))))))>
1538421373.234 * [enter]simplify:  Simplifying (sqrt 1)
1538421373.234 * * [misc]simplify:  iters left: 1 (2 enodes)
1538421373.235 * [exit]simplify:  Simplified to 1
1538421373.235 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (sqrt (fma x x -1))))))
1538421373.235 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (fma x x -1))) (sqrt (sqrt (fma x x -1)))))))>
1538421373.235 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (fabs (sqrt (fma x x -1))))))>
1538421373.235 * [enter]simplify:  Simplifying (sqrt (fma x x -1))
1538421373.235 * * [misc]simplify:  iters left: 2 (4 enodes)
1538421373.236 * * [misc]simplify:  iters left: 1 (6 enodes)
1538421373.237 * [exit]simplify:  Simplified to (sqrt (fma x x -1))
1538421373.237 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fabs (sqrt (fma x x -1))))))
1538421373.237 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (sqrt (fma x x -1))))))>
1538421373.237 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))))))>
1538421373.237 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
1538421373.237 * * [misc]simplify:  iters left: 6 (17 enodes)
1538421373.241 * * [misc]simplify:  iters left: 5 (33 enodes)
1538421373.247 * * [misc]simplify:  iters left: 4 (80 enodes)
1538421373.261 * * [misc]simplify:  iters left: 3 (150 enodes)
1538421373.304 * * [misc]simplify:  iters left: 2 (285 enodes)
1538421373.372 * * [misc]simplify:  iters left: 1 (432 enodes)
1538421373.606 * [exit]simplify:  Simplified to (fma (/ 1/8 (sqrt -1)) (pow x 4) (fma (/ (* x x) (sqrt -1)) 1/2 (sqrt -1)))
1538421373.606 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (fma (/ 1/8 (sqrt -1)) (pow x 4) (fma (/ (* x x) (sqrt -1)) 1/2 (sqrt -1))))))
1538421373.606 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1538421373.606 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421373.606 * * [misc]simplify:  iters left: 6 (12 enodes)
1538421373.609 * * [misc]simplify:  iters left: 5 (29 enodes)
1538421373.615 * * [misc]simplify:  iters left: 4 (47 enodes)
1538421373.625 * * [misc]simplify:  iters left: 3 (90 enodes)
1538421373.663 * * [misc]simplify:  iters left: 2 (177 enodes)
1538421373.721 * * [misc]simplify:  iters left: 1 (267 enodes)
1538421373.840 * [exit]simplify:  Simplified to (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))
1538421373.841 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421373.841 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x))))>
1538421373.841 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1538421373.841 * * [misc]simplify:  iters left: 6 (12 enodes)
1538421373.847 * * [misc]simplify:  iters left: 5 (29 enodes)
1538421373.855 * * [misc]simplify:  iters left: 4 (51 enodes)
1538421373.864 * * [misc]simplify:  iters left: 3 (85 enodes)
1538421373.886 * * [misc]simplify:  iters left: 2 (131 enodes)
1538421373.912 * * [misc]simplify:  iters left: 1 (196 enodes)
1538421373.953 * [exit]simplify:  Simplified to (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x))
1538421373.953 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x)))))
1538421373.953 * * * [misc]progress:  adding candidates to table
1538421374.050 * * [misc]progress:  iteration 2 / 4
1538421374.050 * * * [misc]progress:  picking best candidate
1538421374.052 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))>
1538421374.052 * * * [misc]progress:  localizing error
1538421374.082 * * * [misc]progress:  generating rewritten candidates
1538421374.082 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 2 1)
1538421374.087 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1538421374.122 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 2)
1538421374.134 * * * [misc]progress:  generating series expansions
1538421374.135 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 2 1)
1538421374.135 * [misc]backup-simplify:  Simplify (/ (/ -1/8 x) (* x x)) into (/ -1/8 (pow x 3))
1538421374.135 * [misc]approximate:  Taking taylor expansion of (/ -1/8 (pow x 3)) in (x) around 0
1538421374.135 * [misc]taylor:  Taking taylor expansion of (/ -1/8 (pow x 3)) in x
1538421374.135 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1538421374.135 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.135 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.135 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.135 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.135 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.135 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.135 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.135 * [misc]backup-simplify:  Simplify (/ -1/8 1) into -1/8
1538421374.135 * [misc]taylor:  Taking taylor expansion of (/ -1/8 (pow x 3)) in x
1538421374.135 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1538421374.135 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.135 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.135 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.136 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.136 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.136 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.136 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.136 * [misc]backup-simplify:  Simplify (/ -1/8 1) into -1/8
1538421374.136 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.136 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.136 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.136 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)))) into 0
1538421374.136 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.137 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.137 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.137 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.137 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.137 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.137 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.137 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.137 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.138 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.138 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.138 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.138 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.138 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.139 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.139 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.139 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.139 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.140 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.140 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.140 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.140 * [misc]backup-simplify:  Simplify (* -1/8 (pow (/ 1 x) 3)) into (/ -1/8 (pow x 3))
1538421374.140 * [misc]backup-simplify:  Simplify (/ (/ -1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (* -1/8 (pow x 3))
1538421374.140 * [misc]approximate:  Taking taylor expansion of (* -1/8 (pow x 3)) in (x) around 0
1538421374.140 * [misc]taylor:  Taking taylor expansion of (* -1/8 (pow x 3)) in x
1538421374.140 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1538421374.140 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.140 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.140 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.140 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.140 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.140 * [misc]taylor:  Taking taylor expansion of (* -1/8 (pow x 3)) in x
1538421374.140 * [misc]taylor:  Taking taylor expansion of -1/8 in x
1538421374.140 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.140 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.140 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.140 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.140 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.141 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.141 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.141 * [misc]backup-simplify:  Simplify (* -1/8 1) into -1/8
1538421374.141 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.141 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.141 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.141 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (* 0 1)) into 0
1538421374.141 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.141 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.142 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.142 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.142 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.142 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.142 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.142 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.142 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.142 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.143 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.143 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.143 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.143 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.143 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.144 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.144 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.144 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.144 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.145 * [misc]backup-simplify:  Simplify (+ (* -1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.145 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.145 * [misc]backup-simplify:  Simplify (* -1/8 (pow (/ 1 x) 3)) into (/ -1/8 (pow x 3))
1538421374.145 * [misc]backup-simplify:  Simplify (/ (/ -1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (* 1/8 (pow x 3))
1538421374.145 * [misc]approximate:  Taking taylor expansion of (* 1/8 (pow x 3)) in (x) around 0
1538421374.145 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.145 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.145 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.145 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.145 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.145 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.145 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.145 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.145 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.145 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.145 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.145 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.145 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.145 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.145 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.145 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.145 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.145 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.146 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.146 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.146 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1538421374.146 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.146 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.146 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.146 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.146 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.147 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.147 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.147 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.147 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.147 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.147 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.148 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.148 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.148 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.148 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.148 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538421374.148 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.149 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.149 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.149 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538421374.149 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.149 * [misc]backup-simplify:  Simplify (* 1/8 (pow (/ 1 (- x)) 3)) into (/ -1/8 (pow x 3))
1538421374.149 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1538421374.150 * [misc]backup-simplify:  Simplify (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.150 * [misc]approximate:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in (x) around 0
1538421374.150 * [misc]taylor:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of (* 2 x) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of 2 in x
1538421374.150 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.150 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.150 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.150 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.150 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.150 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.150 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.150 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.150 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.150 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.150 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.150 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.150 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.150 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.150 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.150 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.150 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.150 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.151 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.151 * [misc]taylor:  Taking taylor expansion of (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of (* 2 x) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of 2 in x
1538421374.151 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.151 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.151 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.151 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.151 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.151 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.151 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.151 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.151 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.151 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.151 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.151 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.151 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.151 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.151 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.151 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.151 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.151 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.151 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.151 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.152 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1538421374.152 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1538421374.152 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1538421374.152 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.152 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.152 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.152 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.152 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1538421374.152 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.152 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.153 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.153 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.153 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.153 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.153 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.153 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.153 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1538421374.153 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1538421374.154 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538421374.154 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538421374.154 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538421374.154 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1538421374.154 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.154 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.154 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.154 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.155 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.155 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1538421374.155 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.155 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.155 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.155 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.155 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1538421374.155 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.156 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.156 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.156 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.156 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.156 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.157 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.157 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.157 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1538421374.157 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.157 * [misc]backup-simplify:  Simplify (+ (* 2 x) (+ (* -1/2 (/ 1 x)) (* -1/8 (pow (/ 1 x) 3)))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.157 * [misc]backup-simplify:  Simplify (+ (/ 1 x) (+ (/ (/ -1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))) (+ (/ 1 x) (/ -1/2 (/ 1 x))))) into (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))
1538421374.157 * [misc]approximate:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in (x) around 0
1538421374.157 * [misc]taylor:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1538421374.157 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1538421374.157 * [misc]taylor:  Taking taylor expansion of 2 in x
1538421374.157 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.157 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.157 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.157 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.157 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.157 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.158 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.158 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.158 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.158 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.158 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.158 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.158 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.158 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.158 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.158 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.158 * [misc]taylor:  Taking taylor expansion of (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of 2 in x
1538421374.158 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.158 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.158 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.158 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.158 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.158 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.158 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.158 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.158 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.158 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.158 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.158 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.158 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.158 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.158 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.158 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.158 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1538421374.158 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1538421374.158 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.159 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.159 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 1)) into 0
1538421374.159 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538421374.159 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.159 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.159 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.159 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.159 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.159 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.160 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538421374.160 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538421374.160 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538421374.160 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538421374.160 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538421374.160 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.160 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.160 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1538421374.161 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.161 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.161 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.161 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.161 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.161 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.161 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538421374.161 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.162 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.162 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.162 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1538421374.162 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1538421374.162 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1538421374.162 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.162 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.162 * [misc]backup-simplify:  Simplify (+ (/ 1 (- x)) (+ (/ (/ -1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) (+ (/ 1 (- x)) (/ -1/2 (/ 1 (- x)))))) into (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x)))
1538421374.163 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in (x) around 0
1538421374.163 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.163 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.163 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.163 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.163 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.163 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.163 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.163 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.163 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.163 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.163 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of 2 in x
1538421374.163 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.163 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.163 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.163 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.163 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.163 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (* 2 (/ 1 x))) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.163 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.163 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.163 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.163 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.163 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.163 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.163 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.163 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.163 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.163 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of 2 in x
1538421374.163 * [misc]backup-simplify:  Simplify 2 into 2
1538421374.163 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.163 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.163 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.163 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.163 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.164 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1538421374.164 * [misc]backup-simplify:  Simplify (- 2) into -2
1538421374.164 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1538421374.164 * [misc]backup-simplify:  Simplify -2 into -2
1538421374.164 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538421374.164 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.164 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.164 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 1)) into 0
1538421374.164 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.164 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.164 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.165 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538421374.165 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538421374.165 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.166 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.166 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.166 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538421374.166 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.167 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1538421374.167 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.167 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.167 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.167 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.167 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.167 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.168 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538421374.168 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.168 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.168 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.168 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1538421374.168 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.168 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.168 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.169 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1538421374.169 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.169 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow (/ 1 (- x)) 3)) (+ (* 1/2 (/ 1 (- x))) (* -2 (/ 1 (/ 1 (- x)))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.169 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 2)
1538421374.169 * [misc]backup-simplify:  Simplify (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.169 * [misc]approximate:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in (x) around 0
1538421374.169 * [misc]taylor:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1538421374.169 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.169 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.169 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.169 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1538421374.169 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1538421374.169 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.169 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.169 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538421374.169 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.169 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.169 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.169 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.169 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.169 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.170 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.170 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.170 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.170 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.170 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.170 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.170 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.170 * [misc]taylor:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.170 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.170 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.170 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 (pow x 3))) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.170 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.170 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.170 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.170 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.170 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.170 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.170 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.170 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 x)) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.170 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.170 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.170 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.170 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.170 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.170 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.171 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.171 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1538421374.171 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1538421374.171 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1538421374.171 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.171 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.171 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538421374.171 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.172 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1538421374.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.172 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.172 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.172 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.172 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.173 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.173 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1538421374.173 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1538421374.173 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538421374.173 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538421374.173 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538421374.173 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.173 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.174 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.174 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.174 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.175 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.175 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.175 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538421374.175 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.175 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1538421374.176 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.176 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.176 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421374.176 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.176 * [misc]backup-simplify:  Simplify (+ (* 1 x) (+ (* -1/2 (/ 1 x)) (* -1/8 (pow (/ 1 x) 3)))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.176 * [misc]backup-simplify:  Simplify (+ (/ (/ -1/8 (/ 1 x)) (* (/ 1 x) (/ 1 x))) (+ (/ 1 x) (/ -1/2 (/ 1 x)))) into (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3))))
1538421374.176 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in (x) around 0
1538421374.176 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1538421374.176 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.176 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.176 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.176 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.176 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.176 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.176 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.177 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.177 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.177 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.177 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.177 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.177 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.177 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.177 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.177 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.177 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.177 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.177 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.177 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.177 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.177 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.177 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.177 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.177 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.177 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.177 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.177 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.177 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.177 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.177 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.177 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538421374.177 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.177 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.177 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538421374.178 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.178 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.178 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.178 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.178 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.178 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538421374.178 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538421374.178 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538421374.178 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538421374.178 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538421374.179 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.179 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1538421374.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.179 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.179 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.179 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.180 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538421374.180 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.180 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.180 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.180 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1538421374.180 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1538421374.180 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1538421374.180 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538421374.180 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.181 * [misc]backup-simplify:  Simplify (+ (/ (/ -1/8 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) (+ (/ 1 (- x)) (/ -1/2 (/ 1 (- x))))) into (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (/ 1 x))
1538421374.181 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (/ 1 x)) in (x) around 0
1538421374.181 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (/ 1 x)) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.181 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.181 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.181 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.181 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.181 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.181 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.181 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.181 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.181 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.181 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.181 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.181 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.181 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.181 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 x) (* 1/8 (pow x 3))) (/ 1 x)) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 x) (* 1/8 (pow x 3))) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of (* 1/2 x) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1538421374.181 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.181 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.181 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.181 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.181 * [misc]taylor:  Taking taylor expansion of (* 1/8 (pow x 3)) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1538421374.181 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.181 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.181 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.181 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.181 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538421374.181 * [misc]taylor:  Taking taylor expansion of x in x
1538421374.181 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.181 * [misc]backup-simplify:  Simplify 1 into 1
1538421374.181 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538421374.182 * [misc]backup-simplify:  Simplify (- 1) into -1
1538421374.182 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538421374.182 * [misc]backup-simplify:  Simplify -1 into -1
1538421374.182 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1538421374.182 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.182 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538421374.182 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.182 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.182 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.182 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1538421374.183 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538421374.183 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.183 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.183 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1538421374.183 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538421374.183 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1538421374.183 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.183 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.183 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.184 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538421374.184 * [misc]backup-simplify:  Simplify 0 into 0
1538421374.184 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538421374.184 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.184 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538421374.184 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1538421374.184 * [misc]backup-simplify:  Simplify (+ 0 1/8) into 1/8
1538421374.184 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538421374.185 * [misc]backup-simplify:  Simplify (- 0) into 0
1538421374.185 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1538421374.185 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1538421374.185 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow (/ 1 (- x)) 3)) (+ (* 1/2 (/ 1 (- x))) (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421374.185 * * * [misc]progress:  simplifying candidates
1538421374.185 * * * * [misc]progress:  [ 1 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (log1p (expm1 (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.185 * * * * [misc]progress:  [ 2 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (expm1 (log1p (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.185 * * * * [misc]progress:  [ 3 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (pow (/ (/ -1/8 x) (* x x)) 1) (+ x (/ -1/2 x))))))>
1538421374.185 * * * * [misc]progress:  [ 4 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (exp (- (log (/ -1/8 x)) (log (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.185 * [enter]simplify:  Simplifying (- (log (/ -1/8 x)) (log (* x x)))
1538421374.186 * * [misc]simplify:  iters left: 5 (7 enodes)
1538421374.187 * * [misc]simplify:  iters left: 4 (13 enodes)
1538421374.190 * * [misc]simplify:  iters left: 3 (23 enodes)
1538421374.194 * * [misc]simplify:  iters left: 2 (47 enodes)
1538421374.203 * * [misc]simplify:  iters left: 1 (64 enodes)
1538421374.212 * [exit]simplify:  Simplified to (- (log (/ -1/8 x)) (log (* x x)))
1538421374.212 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (exp (- (log (/ -1/8 x)) (log (* x x)))) (+ x (/ -1/2 x))))))
1538421374.212 * * * * [misc]progress:  [ 5 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (exp (log (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.212 * * * * [misc]progress:  [ 6 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (log (exp (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.212 * * * * [misc]progress:  [ 7 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (cbrt (/ (* (* (/ -1/8 x) (/ -1/8 x)) (/ -1/8 x)) (* (* (* x x) (* x x)) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.212 * [enter]simplify:  Simplifying (/ (* (* (/ -1/8 x) (/ -1/8 x)) (/ -1/8 x)) (* (* (* x x) (* x x)) (* x x)))
1538421374.212 * * [misc]simplify:  iters left: 6 (9 enodes)
1538421374.214 * * [misc]simplify:  iters left: 5 (30 enodes)
1538421374.222 * * [misc]simplify:  iters left: 4 (121 enodes)
1538421374.268 * * [misc]simplify:  iters left: 3 (479 enodes)
1538421374.746 * [exit]simplify:  Simplified to (pow (/ (/ -1/8 x) (* x x)) 3)
1538421374.746 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (cbrt (pow (/ (/ -1/8 x) (* x x)) 3)) (+ x (/ -1/2 x))))))
1538421374.747 * * * * [misc]progress:  [ 8 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (* (cbrt (/ (/ -1/8 x) (* x x))) (cbrt (/ (/ -1/8 x) (* x x)))) (cbrt (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.747 * * * * [misc]progress:  [ 9 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (cbrt (* (* (/ (/ -1/8 x) (* x x)) (/ (/ -1/8 x) (* x x))) (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.747 * * * * [misc]progress:  [ 10 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (sqrt (/ (/ -1/8 x) (* x x))) (sqrt (/ (/ -1/8 x) (* x x)))) (+ x (/ -1/2 x))))))>
1538421374.747 * * * * [misc]progress:  [ 11 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ (- (/ -1/8 x)) (- (* x x))) (+ x (/ -1/2 x))))))>
1538421374.747 * * * * [misc]progress:  [ 12 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) x) (/ (cbrt (/ -1/8 x)) x)) (+ x (/ -1/2 x))))))>
1538421374.747 * [enter]simplify:  Simplifying (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) x)
1538421374.747 * * [misc]simplify:  iters left: 6 (6 enodes)
1538421374.748 * * [misc]simplify:  iters left: 5 (8 enodes)
1538421374.749 * * [misc]simplify:  iters left: 4 (10 enodes)
1538421374.751 * * [misc]simplify:  iters left: 3 (11 enodes)
1538421374.752 * [exit]simplify:  Simplified to (/ (cbrt (/ -1/8 x)) (/ x (cbrt (/ -1/8 x))))
1538421374.752 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (* (/ (cbrt (/ -1/8 x)) (/ x (cbrt (/ -1/8 x)))) (/ (cbrt (/ -1/8 x)) x)) (+ x (/ -1/2 x))))))
1538421374.753 * [enter]simplify:  Simplifying (/ (cbrt (/ -1/8 x)) x)
1538421374.753 * * [misc]simplify:  iters left: 5 (5 enodes)
1538421374.753 * [exit]simplify:  Simplified to (/ (cbrt (/ -1/8 x)) x)
1538421374.753 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (log (+ x (+ (* (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) x) (/ (cbrt (/ -1/8 x)) x)) (+ x (/ -1/2 x))))))
1538421374.753 * * * * [misc]progress:  [ 13 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x)) (+ x (/ -1/2 x))))))>
1538421374.754 * [enter]simplify:  Simplifying (/ (sqrt (/ -1/8 x)) x)
1538421374.754 * * [misc]simplify:  iters left: 5 (5 enodes)
1538421374.754 * [exit]simplify:  Simplified to (/ (sqrt (/ -1/8 x)) x)
1538421374.754 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (* (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x)) (+ x (/ -1/2 x))))))
1538421374.755 * [enter]simplify:  Simplifying (/ (sqrt (/ -1/8 x)) x)
1538421374.755 * * [misc]simplify:  iters left: 5 (5 enodes)
1538421374.755 * [exit]simplify:  Simplified to (/ (sqrt (/ -1/8 x)) x)
1538421374.755 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (log (+ x (+ (* (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x)) (+ x (/ -1/2 x))))))
1538421374.755 * * * * [misc]progress:  [ 14 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (/ 1 x) (/ (/ -1/8 x) x)) (+ x (/ -1/2 x))))))>
1538421374.756 * [enter]simplify:  Simplifying (/ 1 x)
1538421374.756 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421374.756 * * [misc]simplify:  iters left: 1 (5 enodes)
1538421374.757 * [exit]simplify:  Simplified to (/ 1 x)
1538421374.757 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (* (/ 1 x) (/ (/ -1/8 x) x)) (+ x (/ -1/2 x))))))
1538421374.757 * [enter]simplify:  Simplifying (/ (/ -1/8 x) x)
1538421374.757 * * [misc]simplify:  iters left: 4 (4 enodes)
1538421374.758 * * [misc]simplify:  iters left: 3 (6 enodes)
1538421374.759 * [exit]simplify:  Simplified to (/ (/ -1/8 x) x)
1538421374.759 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (log (+ x (+ (* (/ 1 x) (/ (/ -1/8 x) x)) (+ x (/ -1/2 x))))))
1538421374.759 * * * * [misc]progress:  [ 15 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (/ -1/8 x) (/ (/ 1 x) x)) (+ x (/ -1/2 x))))))>
1538421374.759 * [enter]simplify:  Simplifying (/ -1/8 x)
1538421374.759 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421374.759 * [exit]simplify:  Simplified to (/ -1/8 x)
1538421374.759 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (* (/ -1/8 x) (/ (/ 1 x) x)) (+ x (/ -1/2 x))))))
1538421374.759 * [enter]simplify:  Simplifying (/ (/ 1 x) x)
1538421374.759 * * [misc]simplify:  iters left: 4 (4 enodes)
1538421374.760 * * [misc]simplify:  iters left: 3 (8 enodes)
1538421374.761 * [exit]simplify:  Simplified to (/ (/ 1 x) x)
1538421374.762 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (x) (log (+ x (+ (* (/ -1/8 x) (/ (/ 1 x) x)) (+ x (/ -1/2 x))))))
1538421374.762 * * * * [misc]progress:  [ 16 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1 (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x))))))>
1538421374.762 * * * * [misc]progress:  [ 17 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* (/ -1/8 x) (/ 1 (* x x))) (+ x (/ -1/2 x))))))>
1538421374.762 * * * * [misc]progress:  [ 18 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ 1 (/ (* x x) (/ -1/8 x))) (+ x (/ -1/2 x))))))>
1538421374.762 * * * * [misc]progress:  [ 19 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ (/ (/ -1/8 x) x) x) (+ x (/ -1/2 x))))))>
1538421374.762 * * * * [misc]progress:  [ 20 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (/ (* x x) (cbrt (/ -1/8 x)))) (+ x (/ -1/2 x))))))>
1538421374.762 * [enter]simplify:  Simplifying (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x)))
1538421374.762 * * [misc]simplify:  iters left: 5 (5 enodes)
1538421374.763 * [exit]simplify:  Simplified to (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x)))
1538421374.763 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (/ (* x x) (cbrt (/ -1/8 x)))) (+ x (/ -1/2 x))))))
1538421374.763 * * * * [misc]progress:  [ 21 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ (sqrt (/ -1/8 x)) (/ (* x x) (sqrt (/ -1/8 x)))) (+ x (/ -1/2 x))))))>
1538421374.763 * [enter]simplify:  Simplifying (sqrt (/ -1/8 x))
1538421374.763 * * [misc]simplify:  iters left: 3 (4 enodes)
1538421374.764 * [exit]simplify:  Simplified to (sqrt (/ -1/8 x))
1538421374.764 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ x (+ (/ (sqrt (/ -1/8 x)) (/ (* x x) (sqrt (/ -1/8 x)))) (+ x (/ -1/2 x))))))
1538421374.764 * * * * [misc]progress:  [ 22 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ 1 (/ (* x x) (/ -1/8 x))) (+ x (/ -1/2 x))))))>
1538421374.764 * * * * [misc]progress:  [ 23 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ -1/8 (/ (* x x) (/ 1 x))) (+ x (/ -1/2 x))))))>
1538421374.764 * * * * [misc]progress:  [ 24 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ -1/8 (* (* x x) x)) (+ x (/ -1/2 x))))))>
1538421374.764 * * * * [misc]progress:  [ 25 / 71 ] simplifiying candidate #<alt (λ (x) (log (log1p (expm1 (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 26 / 71 ] simplifiying candidate #<alt (λ (x) (log (expm1 (log1p (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 27 / 71 ] simplifiying candidate #<alt (λ (x) (log (pow (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) 1)))>
1538421374.764 * * * * [misc]progress:  [ 28 / 71 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 29 / 71 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 30 / 71 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))) (cbrt (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))) (cbrt (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 31 / 71 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))) (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 32 / 71 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))) (sqrt (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.764 * * * * [misc]progress:  [ 33 / 71 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow x 3) (pow (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) 3)) (+ (* x x) (- (* (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) (* x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))))>
1538421374.764 * * * * [misc]progress:  [ 34 / 71 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))>
1538421374.764 * * * * [misc]progress:  [ 35 / 71 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* x x) (* (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))) (- x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))>
1538421374.764 * * * * [misc]progress:  [ 36 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ (+ x (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x)))))>
1538421374.764 * [enter]simplify:  Simplifying (+ x (/ -1/2 x))
1538421374.764 * * [misc]simplify:  iters left: 4 (4 enodes)
1538421374.765 * * [misc]simplify:  iters left: 3 (5 enodes)
1538421374.766 * [exit]simplify:  Simplified to (+ x (/ -1/2 x))
1538421374.766 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ (+ x (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x)))))
1538421374.766 * * * * [misc]progress:  [ 37 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) x)))>
1538421374.766 * * * * [misc]progress:  [ 38 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (log1p (expm1 (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.766 * * * * [misc]progress:  [ 39 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (expm1 (log1p (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.766 * * * * [misc]progress:  [ 40 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (* (cbrt (/ (/ -1/8 x) (* x x))) (cbrt (/ (/ -1/8 x) (* x x)))) (cbrt (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x))))))>
1538421374.766 * [enter]simplify:  Simplifying (* (cbrt (/ (/ -1/8 x) (* x x))) (cbrt (/ (/ -1/8 x) (* x x))))
1538421374.766 * * [misc]simplify:  iters left: 6 (7 enodes)
1538421374.767 * * [misc]simplify:  iters left: 5 (11 enodes)
1538421374.769 * * [misc]simplify:  iters left: 4 (14 enodes)
1538421374.771 * * [misc]simplify:  iters left: 3 (16 enodes)
1538421374.773 * [exit]simplify:  Simplified to (* (cbrt (/ (/ -1/8 x) (* x x))) (cbrt (/ (/ -1/8 x) (* x x))))
1538421374.773 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (* (cbrt (/ (/ -1/8 x) (* x x))) (cbrt (/ (/ -1/8 x) (* x x)))) (cbrt (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x))))))
1538421374.773 * * * * [misc]progress:  [ 41 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (sqrt (/ (/ -1/8 x) (* x x))) (sqrt (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x))))))>
1538421374.774 * [enter]simplify:  Simplifying (sqrt (/ (/ -1/8 x) (* x x)))
1538421374.774 * * [misc]simplify:  iters left: 5 (6 enodes)
1538421374.775 * * [misc]simplify:  iters left: 4 (10 enodes)
1538421374.776 * * [misc]simplify:  iters left: 3 (13 enodes)
1538421374.778 * * [misc]simplify:  iters left: 2 (15 enodes)
1538421374.780 * [exit]simplify:  Simplified to (sqrt (/ (/ -1/8 x) (* x x)))
1538421374.780 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (sqrt (/ (/ -1/8 x) (* x x))) (sqrt (/ (/ -1/8 x) (* x x))) (+ x (/ -1/2 x))))))
1538421374.780 * * * * [misc]progress:  [ 42 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) x) (/ (cbrt (/ -1/8 x)) x) (+ x (/ -1/2 x))))))>
1538421374.780 * [enter]simplify:  Simplifying (/ (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) x)
1538421374.780 * * [misc]simplify:  iters left: 6 (6 enodes)
1538421374.781 * * [misc]simplify:  iters left: 5 (8 enodes)
1538421374.783 * * [misc]simplify:  iters left: 4 (10 enodes)
1538421374.784 * * [misc]simplify:  iters left: 3 (11 enodes)
1538421374.786 * [exit]simplify:  Simplified to (/ (cbrt (/ -1/8 x)) (/ x (cbrt (/ -1/8 x))))
1538421374.786 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (/ (cbrt (/ -1/8 x)) (/ x (cbrt (/ -1/8 x)))) (/ (cbrt (/ -1/8 x)) x) (+ x (/ -1/2 x))))))
1538421374.786 * * * * [misc]progress:  [ 43 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x) (+ x (/ -1/2 x))))))>
1538421374.786 * [enter]simplify:  Simplifying (/ (sqrt (/ -1/8 x)) x)
1538421374.786 * * [misc]simplify:  iters left: 5 (5 enodes)
1538421374.787 * [exit]simplify:  Simplified to (/ (sqrt (/ -1/8 x)) x)
1538421374.787 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (/ (sqrt (/ -1/8 x)) x) (/ (sqrt (/ -1/8 x)) x) (+ x (/ -1/2 x))))))
1538421374.787 * * * * [misc]progress:  [ 44 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (/ 1 x) (/ (/ -1/8 x) x) (+ x (/ -1/2 x))))))>
1538421374.787 * [enter]simplify:  Simplifying (/ 1 x)
1538421374.787 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421374.788 * * [misc]simplify:  iters left: 1 (5 enodes)
1538421374.788 * [exit]simplify:  Simplified to (/ 1 x)
1538421374.788 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (/ 1 x) (/ (/ -1/8 x) x) (+ x (/ -1/2 x))))))
1538421374.788 * * * * [misc]progress:  [ 45 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (/ -1/8 x) (/ (/ 1 x) x) (+ x (/ -1/2 x))))))>
1538421374.789 * [enter]simplify:  Simplifying (/ -1/8 x)
1538421374.789 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421374.789 * [exit]simplify:  Simplified to (/ -1/8 x)
1538421374.789 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (/ -1/8 x) (/ (/ 1 x) x) (+ x (/ -1/2 x))))))
1538421374.789 * * * * [misc]progress:  [ 46 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma 1 (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))>
1538421374.789 * * * * [misc]progress:  [ 47 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (fma (/ -1/8 x) (/ 1 (* x x)) (+ x (/ -1/2 x))))))>
1538421374.789 * [enter]simplify:  Simplifying (/ -1/8 x)
1538421374.789 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421374.790 * [exit]simplify:  Simplified to (/ -1/8 x)
1538421374.790 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (fma (/ -1/8 x) (/ 1 (* x x)) (+ x (/ -1/2 x))))))
1538421374.790 * * * * [misc]progress:  [ 48 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (* (exp (/ (/ -1/8 x) (* x x))) (exp (+ x (/ -1/2 x))))))))>
1538421374.790 * [enter]simplify:  Simplifying (* (exp (/ (/ -1/8 x) (* x x))) (exp (+ x (/ -1/2 x))))
1538421374.790 * * [misc]simplify:  iters left: 6 (11 enodes)
1538421374.792 * * [misc]simplify:  iters left: 5 (22 enodes)
1538421374.796 * * [misc]simplify:  iters left: 4 (36 enodes)
1538421374.803 * * [misc]simplify:  iters left: 3 (50 enodes)
1538421374.809 * * [misc]simplify:  iters left: 2 (58 enodes)
1538421374.818 * [exit]simplify:  Simplified to (exp (+ (+ (/ -1/2 x) x) (/ (/ -1/8 x) (* x x))))
1538421374.818 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (log (exp (+ (+ (/ -1/2 x) x) (/ (/ -1/8 x) (* x x))))))))
1538421374.818 * * * * [misc]progress:  [ 49 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) 1))))>
1538421374.818 * * * * [misc]progress:  [ 50 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (log (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.818 * * * * [misc]progress:  [ 51 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (exp (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.818 * * * * [misc]progress:  [ 52 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) (cbrt (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))) (cbrt (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.818 * * * * [misc]progress:  [ 53 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))) (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.818 * * * * [misc]progress:  [ 54 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))) (sqrt (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))))>
1538421374.818 * * * * [misc]progress:  [ 55 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (+ (* (/ -1/8 x) (+ (* x x) (- (* (/ -1/2 x) (/ -1/2 x)) (* x (/ -1/2 x))))) (* (* x x) (+ (pow x 3) (pow (/ -1/2 x) 3)))) (* (* x x) (+ (* x x) (- (* (/ -1/2 x) (/ -1/2 x)) (* x (/ -1/2 x)))))))))>
1538421374.819 * [enter]simplify:  Simplifying (+ (* (/ -1/8 x) (+ (* x x) (- (* (/ -1/2 x) (/ -1/2 x)) (* x (/ -1/2 x))))) (* (* x x) (+ (pow x 3) (pow (/ -1/2 x) 3))))
1538421374.819 * * [misc]simplify:  iters left: 6 (17 enodes)
1538421374.827 * * [misc]simplify:  iters left: 5 (60 enodes)
1538421374.851 * * [misc]simplify:  iters left: 4 (190 enodes)
1538421374.939 * [exit]simplify:  Simplified to (fma (+ (pow x 3) (/ -1/8 (pow x 3))) (* x x) (fma (* (/ -1/8 x) (/ -1/2 x)) (- (/ -1/2 x) x) (* (/ -1/8 x) (* x x))))
1538421374.939 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (fma (+ (pow x 3) (/ -1/8 (pow x 3))) (* x x) (fma (* (/ -1/8 x) (/ -1/2 x)) (- (/ -1/2 x) x) (* (/ -1/8 x) (* x x)))) (* (* x x) (+ (* x x) (- (* (/ -1/2 x) (/ -1/2 x)) (* x (/ -1/2 x)))))))))
1538421374.940 * [enter]simplify:  Simplifying (* (* x x) (+ (* x x) (- (* (/ -1/2 x) (/ -1/2 x)) (* x (/ -1/2 x)))))
1538421374.940 * * [misc]simplify:  iters left: 6 (9 enodes)
1538421374.944 * * [misc]simplify:  iters left: 5 (33 enodes)
1538421374.958 * * [misc]simplify:  iters left: 4 (92 enodes)
1538421375.002 * * [misc]simplify:  iters left: 3 (256 enodes)
1538421375.199 * [exit]simplify:  Simplified to (+ 1/4 (* (* x x) (fma x x 1/2)))
1538421375.200 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (fma (+ (pow x 3) (/ -1/8 (pow x 3))) (* x x) (fma (* (/ -1/8 x) (/ -1/2 x)) (- (/ -1/2 x) x) (* (/ -1/8 x) (* x x)))) (+ 1/4 (* (* x x) (fma x x 1/2)))))))
1538421375.200 * * * * [misc]progress:  [ 56 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (+ (* (/ -1/8 x) (- x (/ -1/2 x))) (* (* x x) (- (* x x) (* (/ -1/2 x) (/ -1/2 x))))) (* (* x x) (- x (/ -1/2 x)))))))>
1538421375.200 * [enter]simplify:  Simplifying (+ (* (/ -1/8 x) (- x (/ -1/2 x))) (* (* x x) (- (* x x) (* (/ -1/2 x) (/ -1/2 x)))))
1538421375.200 * * [misc]simplify:  iters left: 6 (12 enodes)
1538421375.203 * * [misc]simplify:  iters left: 5 (31 enodes)
1538421375.209 * * [misc]simplify:  iters left: 4 (95 enodes)
1538421375.243 * * [misc]simplify:  iters left: 3 (295 enodes)
1538421375.456 * [exit]simplify:  Simplified to (* (- x (/ -1/2 x)) (fma (* x x) (+ x (/ -1/2 x)) (/ -1/8 x)))
1538421375.456 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (- x (/ -1/2 x)) (fma (* x x) (+ x (/ -1/2 x)) (/ -1/8 x))) (* (* x x) (- x (/ -1/2 x)))))))
1538421375.456 * [enter]simplify:  Simplifying (* (* x x) (- x (/ -1/2 x)))
1538421375.456 * * [misc]simplify:  iters left: 6 (6 enodes)
1538421375.457 * * [misc]simplify:  iters left: 5 (11 enodes)
1538421375.460 * * [misc]simplify:  iters left: 4 (27 enodes)
1538421375.466 * * [misc]simplify:  iters left: 3 (61 enodes)
1538421375.480 * * [misc]simplify:  iters left: 2 (114 enodes)
1538421375.522 * * [misc]simplify:  iters left: 1 (166 enodes)
1538421375.555 * [exit]simplify:  Simplified to (* x (fma x x 1/2))
1538421375.556 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (- x (/ -1/2 x)) (fma (* x x) (+ x (/ -1/2 x)) (/ -1/8 x))) (* x (fma x x 1/2))))))
1538421375.556 * * * * [misc]progress:  [ 57 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (+ (pow (/ (/ -1/8 x) (* x x)) 3) (pow (+ x (/ -1/2 x)) 3)) (+ (* (/ (/ -1/8 x) (* x x)) (/ (/ -1/8 x) (* x x))) (- (* (+ x (/ -1/2 x)) (+ x (/ -1/2 x))) (* (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))))>
1538421375.556 * * * * [misc]progress:  [ 58 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))>
1538421375.556 * * * * [misc]progress:  [ 59 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (- (* (/ (/ -1/8 x) (* x x)) (/ (/ -1/8 x) (* x x))) (* (+ x (/ -1/2 x)) (+ x (/ -1/2 x)))) (- (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))>
1538421375.556 * * * * [misc]progress:  [ 60 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))))>
1538421375.556 * [enter]simplify:  Simplifying (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))
1538421375.556 * * [misc]simplify:  iters left: 6 (9 enodes)
1538421375.558 * * [misc]simplify:  iters left: 5 (17 enodes)
1538421375.561 * * [misc]simplify:  iters left: 4 (26 enodes)
1538421375.568 * * [misc]simplify:  iters left: 3 (29 enodes)
1538421375.575 * [exit]simplify:  Simplified to (+ (+ x (/ -1/2 x)) (/ (/ -1/8 x) (* x x)))
1538421375.575 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (* 1 (+ (+ x (/ -1/2 x)) (/ (/ -1/8 x) (* x x)))))))
1538421375.575 * * * * [misc]progress:  [ 61 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (+ (/ (/ -1/8 x) (* x x)) x) (/ -1/2 x)))))>
1538421375.575 * [enter]simplify:  Simplifying (/ -1/2 x)
1538421375.575 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421375.576 * [exit]simplify:  Simplified to (/ -1/2 x)
1538421375.577 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (log (+ x (+ (+ (/ (/ -1/8 x) (* x x)) x) (/ -1/2 x)))))
1538421375.577 * * * * [misc]progress:  [ 62 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (+ x (/ -1/2 x)) (/ (/ -1/8 x) (* x x))))))>
1538421375.577 * * * * [misc]progress:  [ 63 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ -1/8 (pow x 3)) (+ x (/ -1/2 x))))))>
1538421375.577 * [enter]simplify:  Simplifying (/ -1/8 (pow x 3))
1538421375.577 * * [misc]simplify:  iters left: 3 (5 enodes)
1538421375.578 * * [misc]simplify:  iters left: 2 (8 enodes)
1538421375.581 * * [misc]simplify:  iters left: 1 (12 enodes)
1538421375.584 * [exit]simplify:  Simplified to (/ (/ -1/8 x) (* x x))
1538421375.585 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421375.585 * * * * [misc]progress:  [ 64 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ -1/8 (pow x 3)) (+ x (/ -1/2 x))))))>
1538421375.585 * [enter]simplify:  Simplifying (/ -1/8 (pow x 3))
1538421375.585 * * [misc]simplify:  iters left: 3 (5 enodes)
1538421375.586 * * [misc]simplify:  iters left: 2 (8 enodes)
1538421375.589 * * [misc]simplify:  iters left: 1 (12 enodes)
1538421375.592 * [exit]simplify:  Simplified to (/ (/ -1/8 x) (* x x))
1538421375.592 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421375.592 * * * * [misc]progress:  [ 65 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (/ -1/8 (pow x 3)) (+ x (/ -1/2 x))))))>
1538421375.592 * [enter]simplify:  Simplifying (/ -1/8 (pow x 3))
1538421375.592 * * [misc]simplify:  iters left: 3 (5 enodes)
1538421375.593 * * [misc]simplify:  iters left: 2 (8 enodes)
1538421375.594 * * [misc]simplify:  iters left: 1 (12 enodes)
1538421375.596 * [exit]simplify:  Simplified to (/ (/ -1/8 x) (* x x))
1538421375.596 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421375.596 * * * * [misc]progress:  [ 66 / 71 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1538421375.596 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421375.597 * * [misc]simplify:  iters left: 6 (14 enodes)
1538421375.600 * * [misc]simplify:  iters left: 5 (33 enodes)
1538421375.606 * * [misc]simplify:  iters left: 4 (54 enodes)
1538421375.617 * * [misc]simplify:  iters left: 3 (100 enodes)
1538421375.673 * * [misc]simplify:  iters left: 2 (186 enodes)
1538421375.706 * * [misc]simplify:  iters left: 1 (275 enodes)
1538421375.839 * [exit]simplify:  Simplified to (- (fma 2 x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))
1538421375.839 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (fma 2 x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))))
1538421375.839 * * * * [misc]progress:  [ 67 / 71 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1538421375.840 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421375.840 * * [misc]simplify:  iters left: 6 (14 enodes)
1538421375.843 * * [misc]simplify:  iters left: 5 (33 enodes)
1538421375.851 * * [misc]simplify:  iters left: 4 (54 enodes)
1538421375.871 * * [misc]simplify:  iters left: 3 (100 enodes)
1538421375.924 * * [misc]simplify:  iters left: 2 (186 enodes)
1538421375.955 * * [misc]simplify:  iters left: 1 (275 enodes)
1538421376.094 * [exit]simplify:  Simplified to (- (fma 2 x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))
1538421376.094 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (fma 2 x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))))
1538421376.094 * * * * [misc]progress:  [ 68 / 71 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1538421376.094 * [enter]simplify:  Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421376.094 * * [misc]simplify:  iters left: 6 (14 enodes)
1538421376.101 * * [misc]simplify:  iters left: 5 (33 enodes)
1538421376.113 * * [misc]simplify:  iters left: 4 (54 enodes)
1538421376.133 * * [misc]simplify:  iters left: 3 (100 enodes)
1538421376.193 * * [misc]simplify:  iters left: 2 (186 enodes)
1538421376.248 * * [misc]simplify:  iters left: 1 (275 enodes)
1538421376.403 * [exit]simplify:  Simplified to (- (fma 2 x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))
1538421376.403 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (fma 2 x (/ -1/2 x)) (/ (/ 1/8 x) (* x x)))))
1538421376.403 * * * * [misc]progress:  [ 69 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1538421376.403 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421376.403 * * [misc]simplify:  iters left: 6 (12 enodes)
1538421376.406 * * [misc]simplify:  iters left: 5 (29 enodes)
1538421376.413 * * [misc]simplify:  iters left: 4 (47 enodes)
1538421376.434 * * [misc]simplify:  iters left: 3 (90 enodes)
1538421376.488 * * [misc]simplify:  iters left: 2 (177 enodes)
1538421376.527 * * [misc]simplify:  iters left: 1 (267 enodes)
1538421376.608 * [exit]simplify:  Simplified to (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))
1538421376.608 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421376.608 * * * * [misc]progress:  [ 70 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1538421376.609 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421376.609 * * [misc]simplify:  iters left: 6 (12 enodes)
1538421376.614 * * [misc]simplify:  iters left: 5 (29 enodes)
1538421376.619 * * [misc]simplify:  iters left: 4 (47 enodes)
1538421376.629 * * [misc]simplify:  iters left: 3 (90 enodes)
1538421376.672 * * [misc]simplify:  iters left: 2 (177 enodes)
1538421376.708 * * [misc]simplify:  iters left: 1 (267 enodes)
1538421376.796 * [exit]simplify:  Simplified to (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))
1538421376.796 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421376.796 * * * * [misc]progress:  [ 71 / 71 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1538421376.797 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1538421376.797 * * [misc]simplify:  iters left: 6 (12 enodes)
1538421376.800 * * [misc]simplify:  iters left: 5 (29 enodes)
1538421376.807 * * [misc]simplify:  iters left: 4 (47 enodes)
1538421376.825 * * [misc]simplify:  iters left: 3 (90 enodes)
1538421376.880 * * [misc]simplify:  iters left: 2 (177 enodes)
1538421376.949 * * [misc]simplify:  iters left: 1 (267 enodes)
1538421377.062 * [exit]simplify:  Simplified to (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))
1538421377.062 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))
1538421377.063 * * * [misc]progress:  adding candidates to table
1538421377.711 * [misc]progress:  [Phase 3 of 3] Extracting.
1538421377.711 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (+ x (sqrt (fma x x -1)))))> #<alt (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))>)
1538421377.712 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1538421377.712 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (+ x (sqrt (fma x x -1)))))> #<alt (λ (x) (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x))))))>)
1538421377.745 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1538421377.746 * [enter]simplify:  Simplifying (log (+ x (+ (/ (/ -1/8 x) (* x x)) (+ x (/ -1/2 x)))))
1538421377.746 * * [misc]simplify:  iters left: 6 (11 enodes)
1538421377.747 * * [misc]simplify:  iters left: 5 (14 enodes)
1538421377.748 * [exit]simplify:  Simplified to (log (+ x (+ (+ x (/ -1/2 x)) (/ (/ -1/8 x) (* x x)))))
1538421377.748 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538421377.785 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538421377.797 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.798 * * * * [misc]points:  Setting MPFR precision to 2368
1538421377.799 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538421377.810 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.812 * * * * [misc]points:  Setting MPFR precision to 2368
1538421377.813 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538421377.829 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.833 * * * * [misc]points:  Setting MPFR precision to 2368
1538421377.837 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538421377.847 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.853 * * * * [misc]points:  Setting MPFR precision to 2368
1538421377.856 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538421377.861 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.868 * * * * [misc]points:  Setting MPFR precision to 2368
1538421377.875 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538421377.887 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.901 * * * * [misc]points:  Setting MPFR precision to 2368
1538421377.915 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538421377.921 * * * * [misc]points:  Setting MPFR precision to 2112
1538421377.972 * * * * [misc]points:  Setting MPFR precision to 2368
1538421378.028 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538421378.040 * * * * [misc]points:  Setting MPFR precision to 2112
1538421378.152 * * * * [misc]points:  Setting MPFR precision to 2368
1538421378.238 * * * * [misc]points:  Computing exacts for 8000 points
1538421378.261 * * * * [misc]points:  Setting MPFR precision to 2112
1538421378.683 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.455 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421379.456 * * * * [misc]points:  Sampling 5988 additional inputs, on iter 1 have 2012 / 8000
1538421379.472 * * * * [misc]points:  Computing exacts on every 374 of 5988 points to ramp up precision
1538421379.478 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.478 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.479 * * * * [misc]points:  Computing exacts on every 187 of 5988 points to ramp up precision
1538421379.484 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.486 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.489 * * * * [misc]points:  Computing exacts on every 93 of 5988 points to ramp up precision
1538421379.512 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.516 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.520 * * * * [misc]points:  Computing exacts on every 46 of 5988 points to ramp up precision
1538421379.530 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.533 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.537 * * * * [misc]points:  Computing exacts on every 23 of 5988 points to ramp up precision
1538421379.543 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.550 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.567 * * * * [misc]points:  Computing exacts on every 11 of 5988 points to ramp up precision
1538421379.579 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.598 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.612 * * * * [misc]points:  Computing exacts on every 5 of 5988 points to ramp up precision
1538421379.620 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.693 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.728 * * * * [misc]points:  Computing exacts on every 2 of 5988 points to ramp up precision
1538421379.734 * * * * [misc]points:  Setting MPFR precision to 2112
1538421379.869 * * * * [misc]points:  Setting MPFR precision to 2368
1538421379.979 * * * * [misc]points:  Computing exacts for 5988 points
1538421380.023 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.264 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.614 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421380.616 * * * * [misc]points:  Sampling 4469 additional inputs, on iter 2 have 3531 / 8000
1538421380.634 * * * * [misc]points:  Computing exacts on every 279 of 4469 points to ramp up precision
1538421380.656 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.657 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.657 * * * * [misc]points:  Computing exacts on every 139 of 4469 points to ramp up precision
1538421380.664 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.665 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.666 * * * * [misc]points:  Computing exacts on every 69 of 4469 points to ramp up precision
1538421380.677 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.681 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.684 * * * * [misc]points:  Computing exacts on every 34 of 4469 points to ramp up precision
1538421380.698 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.702 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.705 * * * * [misc]points:  Computing exacts on every 17 of 4469 points to ramp up precision
1538421380.711 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.717 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.726 * * * * [misc]points:  Computing exacts on every 8 of 4469 points to ramp up precision
1538421380.737 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.763 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.795 * * * * [misc]points:  Computing exacts on every 4 of 4469 points to ramp up precision
1538421380.801 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.837 * * * * [misc]points:  Setting MPFR precision to 2368
1538421380.882 * * * * [misc]points:  Computing exacts on every 2 of 4469 points to ramp up precision
1538421380.918 * * * * [misc]points:  Setting MPFR precision to 2112
1538421380.973 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.477 * * * * [misc]points:  Computing exacts for 4469 points
1538421381.490 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.631 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.783 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421381.784 * * * * [misc]points:  Sampling 3383 additional inputs, on iter 3 have 4617 / 8000
1538421381.792 * * * * [misc]points:  Computing exacts on every 211 of 3383 points to ramp up precision
1538421381.826 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.828 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.829 * * * * [misc]points:  Computing exacts on every 105 of 3383 points to ramp up precision
1538421381.843 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.845 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.847 * * * * [misc]points:  Computing exacts on every 52 of 3383 points to ramp up precision
1538421381.857 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.859 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.861 * * * * [misc]points:  Computing exacts on every 26 of 3383 points to ramp up precision
1538421381.870 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.874 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.877 * * * * [misc]points:  Computing exacts on every 13 of 3383 points to ramp up precision
1538421381.883 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.889 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.899 * * * * [misc]points:  Computing exacts on every 6 of 3383 points to ramp up precision
1538421381.911 * * * * [misc]points:  Setting MPFR precision to 2112
1538421381.935 * * * * [misc]points:  Setting MPFR precision to 2368
1538421381.966 * * * * [misc]points:  Computing exacts on every 3 of 3383 points to ramp up precision
1538421381.971 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.009 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.054 * * * * [misc]points:  Computing exacts for 3383 points
1538421382.076 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.192 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.329 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421382.330 * * * * [misc]points:  Sampling 2556 additional inputs, on iter 4 have 5444 / 8000
1538421382.337 * * * * [misc]points:  Computing exacts on every 159 of 2556 points to ramp up precision
1538421382.343 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.343 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.344 * * * * [misc]points:  Computing exacts on every 79 of 2556 points to ramp up precision
1538421382.349 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.350 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.350 * * * * [misc]points:  Computing exacts on every 39 of 2556 points to ramp up precision
1538421382.361 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.362 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.364 * * * * [misc]points:  Computing exacts on every 19 of 2556 points to ramp up precision
1538421382.369 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.373 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.376 * * * * [misc]points:  Computing exacts on every 9 of 2556 points to ramp up precision
1538421382.381 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.389 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.396 * * * * [misc]points:  Computing exacts on every 4 of 2556 points to ramp up precision
1538421382.408 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.423 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.437 * * * * [misc]points:  Computing exacts on every 2 of 2556 points to ramp up precision
1538421382.443 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.467 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.507 * * * * [misc]points:  Computing exacts for 2556 points
1538421382.513 * * * * [misc]points:  Setting MPFR precision to 2112
1538421382.607 * * * * [misc]points:  Setting MPFR precision to 2368
1538421382.714 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421382.715 * * * * [misc]points:  Sampling 1909 additional inputs, on iter 5 have 6091 / 8000
1538421382.723 * * * * [misc]points:  Computing exacts on every 119 of 1909 points to ramp up precision
1538421383.092 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.093 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.093 * * * * [misc]points:  Computing exacts on every 59 of 1909 points to ramp up precision
1538421383.100 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.102 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.104 * * * * [misc]points:  Computing exacts on every 29 of 1909 points to ramp up precision
1538421383.115 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.119 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.122 * * * * [misc]points:  Computing exacts on every 14 of 1909 points to ramp up precision
1538421383.139 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.144 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.148 * * * * [misc]points:  Computing exacts on every 7 of 1909 points to ramp up precision
1538421383.153 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.159 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.166 * * * * [misc]points:  Computing exacts on every 3 of 1909 points to ramp up precision
1538421383.171 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.185 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.215 * * * * [misc]points:  Computing exacts for 1909 points
1538421383.226 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.321 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.447 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421383.448 * * * * [misc]points:  Sampling 1435 additional inputs, on iter 6 have 6565 / 8000
1538421383.452 * * * * [misc]points:  Computing exacts on every 89 of 1435 points to ramp up precision
1538421383.459 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.459 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.460 * * * * [misc]points:  Computing exacts on every 44 of 1435 points to ramp up precision
1538421383.484 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.486 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.488 * * * * [misc]points:  Computing exacts on every 22 of 1435 points to ramp up precision
1538421383.500 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.503 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.507 * * * * [misc]points:  Computing exacts on every 11 of 1435 points to ramp up precision
1538421383.518 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.523 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.529 * * * * [misc]points:  Computing exacts on every 5 of 1435 points to ramp up precision
1538421383.547 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.560 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.572 * * * * [misc]points:  Computing exacts on every 2 of 1435 points to ramp up precision
1538421383.583 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.600 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.614 * * * * [misc]points:  Computing exacts for 1435 points
1538421383.619 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.710 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.787 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421383.787 * * * * [misc]points:  Sampling 1094 additional inputs, on iter 7 have 6906 / 8000
1538421383.792 * * * * [misc]points:  Computing exacts on every 68 of 1094 points to ramp up precision
1538421383.835 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.836 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.837 * * * * [misc]points:  Computing exacts on every 34 of 1094 points to ramp up precision
1538421383.851 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.852 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.854 * * * * [misc]points:  Computing exacts on every 17 of 1094 points to ramp up precision
1538421383.864 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.868 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.871 * * * * [misc]points:  Computing exacts on every 8 of 1094 points to ramp up precision
1538421383.888 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.895 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.902 * * * * [misc]points:  Computing exacts on every 4 of 1094 points to ramp up precision
1538421383.912 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.924 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.935 * * * * [misc]points:  Computing exacts on every 2 of 1094 points to ramp up precision
1538421383.946 * * * * [misc]points:  Setting MPFR precision to 2112
1538421383.965 * * * * [misc]points:  Setting MPFR precision to 2368
1538421383.986 * * * * [misc]points:  Computing exacts for 1094 points
1538421384.011 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.065 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.125 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.125 * * * * [misc]points:  Sampling 819 additional inputs, on iter 8 have 7181 / 8000
1538421384.129 * * * * [misc]points:  Computing exacts on every 51 of 819 points to ramp up precision
1538421384.153 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.154 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.155 * * * * [misc]points:  Computing exacts on every 25 of 819 points to ramp up precision
1538421384.161 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.162 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.163 * * * * [misc]points:  Computing exacts on every 12 of 819 points to ramp up precision
1538421384.168 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.170 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.172 * * * * [misc]points:  Computing exacts on every 6 of 819 points to ramp up precision
1538421384.178 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.185 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.189 * * * * [misc]points:  Computing exacts on every 3 of 819 points to ramp up precision
1538421384.197 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.202 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.208 * * * * [misc]points:  Computing exacts for 819 points
1538421384.213 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.236 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.281 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.281 * * * * [misc]points:  Sampling 624 additional inputs, on iter 9 have 7376 / 8000
1538421384.284 * * * * [misc]points:  Computing exacts on every 39 of 624 points to ramp up precision
1538421384.293 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.294 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.295 * * * * [misc]points:  Computing exacts on every 19 of 624 points to ramp up precision
1538421384.300 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.301 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.302 * * * * [misc]points:  Computing exacts on every 9 of 624 points to ramp up precision
1538421384.315 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.319 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.323 * * * * [misc]points:  Computing exacts on every 4 of 624 points to ramp up precision
1538421384.333 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.336 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.340 * * * * [misc]points:  Computing exacts on every 2 of 624 points to ramp up precision
1538421384.345 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.352 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.358 * * * * [misc]points:  Computing exacts for 624 points
1538421384.370 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.393 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.425 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.426 * * * * [misc]points:  Sampling 460 additional inputs, on iter 10 have 7540 / 8000
1538421384.427 * * * * [misc]points:  Computing exacts on every 28 of 460 points to ramp up precision
1538421384.432 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.433 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.433 * * * * [misc]points:  Computing exacts on every 14 of 460 points to ramp up precision
1538421384.438 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.439 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.440 * * * * [misc]points:  Computing exacts on every 7 of 460 points to ramp up precision
1538421384.459 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.462 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.466 * * * * [misc]points:  Computing exacts on every 3 of 460 points to ramp up precision
1538421384.477 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.484 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.491 * * * * [misc]points:  Computing exacts for 460 points
1538421384.501 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.528 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.570 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.570 * * * * [misc]points:  Sampling 319 additional inputs, on iter 11 have 7681 / 8000
1538421384.572 * * * * [misc]points:  Computing exacts on every 19 of 319 points to ramp up precision
1538421384.583 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.584 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.585 * * * * [misc]points:  Computing exacts on every 9 of 319 points to ramp up precision
1538421384.596 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.598 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.600 * * * * [misc]points:  Computing exacts on every 4 of 319 points to ramp up precision
1538421384.611 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.615 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.618 * * * * [misc]points:  Computing exacts on every 2 of 319 points to ramp up precision
1538421384.631 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.635 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.638 * * * * [misc]points:  Computing exacts for 319 points
1538421384.643 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.653 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.668 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.668 * * * * [misc]points:  Sampling 232 additional inputs, on iter 12 have 7768 / 8000
1538421384.669 * * * * [misc]points:  Computing exacts on every 14 of 232 points to ramp up precision
1538421384.679 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.689 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.690 * * * * [misc]points:  Computing exacts on every 7 of 232 points to ramp up precision
1538421384.701 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.703 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.704 * * * * [misc]points:  Computing exacts on every 3 of 232 points to ramp up precision
1538421384.715 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.718 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.722 * * * * [misc]points:  Computing exacts for 232 points
1538421384.733 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.744 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.755 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.755 * * * * [misc]points:  Sampling 180 additional inputs, on iter 13 have 7820 / 8000
1538421384.756 * * * * [misc]points:  Computing exacts on every 11 of 180 points to ramp up precision
1538421384.769 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.770 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.770 * * * * [misc]points:  Computing exacts on every 5 of 180 points to ramp up precision
1538421384.776 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.776 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.777 * * * * [misc]points:  Computing exacts on every 2 of 180 points to ramp up precision
1538421384.782 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.784 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.786 * * * * [misc]points:  Computing exacts for 180 points
1538421384.796 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.806 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.816 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.816 * * * * [misc]points:  Sampling 143 additional inputs, on iter 14 have 7857 / 8000
1538421384.817 * * * * [misc]points:  Computing exacts on every 8 of 143 points to ramp up precision
1538421384.828 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.829 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.830 * * * * [misc]points:  Computing exacts on every 4 of 143 points to ramp up precision
1538421384.841 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.843 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.844 * * * * [misc]points:  Computing exacts on every 2 of 143 points to ramp up precision
1538421384.851 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.857 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.859 * * * * [misc]points:  Computing exacts for 143 points
1538421384.864 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.868 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.873 * * * * [misc]points:  Sampling 111 additional inputs, on iter 15 have 7889 / 8000
1538421384.873 * * * * [misc]points:  Computing exacts on every 6 of 111 points to ramp up precision
1538421384.879 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.879 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.880 * * * * [misc]points:  Computing exacts on every 3 of 111 points to ramp up precision
1538421384.885 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.886 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.887 * * * * [misc]points:  Computing exacts for 111 points
1538421384.904 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.910 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.917 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.917 * * * * [misc]points:  Sampling 85 additional inputs, on iter 16 have 7915 / 8000
1538421384.917 * * * * [misc]points:  Computing exacts on every 5 of 85 points to ramp up precision
1538421384.923 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.924 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.925 * * * * [misc]points:  Computing exacts on every 2 of 85 points to ramp up precision
1538421384.930 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.931 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.932 * * * * [misc]points:  Computing exacts for 85 points
1538421384.940 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.943 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.946 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.946 * * * * [misc]points:  Sampling 61 additional inputs, on iter 17 have 7939 / 8000
1538421384.946 * * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
1538421384.956 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.956 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.957 * * * * [misc]points:  Computing exacts for 61 points
1538421384.962 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.964 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.965 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.965 * * * * [misc]points:  Sampling 49 additional inputs, on iter 18 have 7951 / 8000
1538421384.965 * * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
1538421384.971 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.971 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.972 * * * * [misc]points:  Computing exacts for 49 points
1538421384.981 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.983 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.985 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421384.985 * * * * [misc]points:  Sampling 39 additional inputs, on iter 19 have 7961 / 8000
1538421384.985 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1538421384.996 * * * * [misc]points:  Setting MPFR precision to 2112
1538421384.997 * * * * [misc]points:  Setting MPFR precision to 2368
1538421384.998 * * * * [misc]points:  Computing exacts for 39 points
1538421385.009 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.012 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.014 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.014 * * * * [misc]points:  Sampling 27 additional inputs, on iter 20 have 7973 / 8000
1538421385.014 * * * * [misc]points:  Computing exacts for 27 points
1538421385.023 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.024 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.025 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.025 * * * * [misc]points:  Sampling 20 additional inputs, on iter 21 have 7980 / 8000
1538421385.025 * * * * [misc]points:  Computing exacts for 20 points
1538421385.030 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.031 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.032 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.032 * * * * [misc]points:  Sampling 14 additional inputs, on iter 22 have 7986 / 8000
1538421385.032 * * * * [misc]points:  Computing exacts for 14 points
1538421385.038 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.038 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.039 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.039 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1538421385.039 * * * * [misc]points:  Computing exacts for 12 points
1538421385.044 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.045 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.045 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.045 * * * * [misc]points:  Sampling 10 additional inputs, on iter 24 have 7990 / 8000
1538421385.045 * * * * [misc]points:  Computing exacts for 10 points
1538421385.053 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.053 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.053 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.054 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1538421385.054 * * * * [misc]points:  Computing exacts for 7 points
1538421385.059 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.059 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.060 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.060 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1538421385.060 * * * * [misc]points:  Computing exacts for 6 points
1538421385.065 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.065 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.066 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.066 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7999 / 8000
1538421385.066 * * * * [misc]points:  Computing exacts for 4 points
1538421385.071 * * * * [misc]points:  Setting MPFR precision to 2112
1538421385.071 * * * * [misc]points:  Setting MPFR precision to 2368
1538421385.072 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421385.072 * * * * [exit]points:  Sampled 8000 points with exact outputs
1538421385.279 * [misc]regime-testing:  Baseline error score: 0.2536237542815865
1538421385.279 * [misc]regime-testing:  End program error score: 0.2536237542815865
1538421385.281 * [misc]regime-testing:  Oracle error score: 0.04824003504379753