1544004715.035 * [misc]progress:  [Phase 1 of 3] Setting up.
1544004715.035 * * * [misc]progress:  [1/2] Preparing points
1544004715.035 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544004715.036 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544004715.038 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.038 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.038 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544004715.040 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.041 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.041 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544004715.043 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.044 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.045 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544004715.047 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.049 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.050 * * * * [misc]points:  Computing exacts for 256 points
1544004715.052 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.062 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.067 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.067 * * * * [misc]points:  Sampling 208 additional inputs, on iter 1 have 48 / 256
1544004715.068 * * * * [misc]points:  Computing exacts on every 13 of 208 points to ramp up precision
1544004715.069 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.070 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.070 * * * * [misc]points:  Computing exacts on every 6 of 208 points to ramp up precision
1544004715.072 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.072 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.073 * * * * [misc]points:  Computing exacts on every 3 of 208 points to ramp up precision
1544004715.075 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.076 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.077 * * * * [misc]points:  Computing exacts for 208 points
1544004715.078 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.082 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.087 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.087 * * * * [misc]points:  Sampling 153 additional inputs, on iter 2 have 103 / 256
1544004715.087 * * * * [misc]points:  Computing exacts on every 9 of 153 points to ramp up precision
1544004715.089 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.089 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.090 * * * * [misc]points:  Computing exacts on every 4 of 153 points to ramp up precision
1544004715.091 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.092 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.093 * * * * [misc]points:  Computing exacts on every 2 of 153 points to ramp up precision
1544004715.094 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.095 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.096 * * * * [misc]points:  Computing exacts for 153 points
1544004715.098 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.101 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.105 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.105 * * * * [misc]points:  Sampling 107 additional inputs, on iter 3 have 149 / 256
1544004715.105 * * * * [misc]points:  Computing exacts on every 6 of 107 points to ramp up precision
1544004715.107 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.107 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.108 * * * * [misc]points:  Computing exacts on every 3 of 107 points to ramp up precision
1544004715.109 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.110 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.110 * * * * [misc]points:  Computing exacts for 107 points
1544004715.112 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.114 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.116 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.116 * * * * [misc]points:  Sampling 84 additional inputs, on iter 4 have 172 / 256
1544004715.116 * * * * [misc]points:  Computing exacts on every 5 of 84 points to ramp up precision
1544004715.118 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.118 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.119 * * * * [misc]points:  Computing exacts on every 2 of 84 points to ramp up precision
1544004715.120 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.121 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.122 * * * * [misc]points:  Computing exacts for 84 points
1544004715.123 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.125 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.127 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.127 * * * * [misc]points:  Sampling 64 additional inputs, on iter 5 have 192 / 256
1544004715.127 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1544004715.128 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.129 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.129 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1544004715.131 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.131 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.132 * * * * [misc]points:  Computing exacts for 64 points
1544004715.133 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.134 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.156 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.156 * * * * [misc]points:  Sampling 45 additional inputs, on iter 6 have 211 / 256
1544004715.156 * * * * [misc]points:  Computing exacts on every 2 of 45 points to ramp up precision
1544004715.158 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.159 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.159 * * * * [misc]points:  Computing exacts for 45 points
1544004715.160 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.161 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.162 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.162 * * * * [misc]points:  Sampling 32 additional inputs, on iter 7 have 224 / 256
1544004715.162 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1544004715.164 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.164 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.165 * * * * [misc]points:  Computing exacts for 32 points
1544004715.168 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.169 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.170 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.170 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 232 / 256
1544004715.170 * * * * [misc]points:  Computing exacts for 24 points
1544004715.171 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.172 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.172 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.172 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 238 / 256
1544004715.172 * * * * [misc]points:  Computing exacts for 18 points
1544004715.174 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.174 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.175 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.175 * * * * [misc]points:  Sampling 15 additional inputs, on iter 10 have 241 / 256
1544004715.175 * * * * [misc]points:  Computing exacts for 15 points
1544004715.177 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.177 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.177 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.177 * * * * [misc]points:  Sampling 13 additional inputs, on iter 11 have 243 / 256
1544004715.177 * * * * [misc]points:  Computing exacts for 13 points
1544004715.179 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.179 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.179 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.179 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1544004715.180 * * * * [misc]points:  Computing exacts for 9 points
1544004715.181 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.181 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.182 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.182 * * * * [misc]points:  Sampling 5 additional inputs, on iter 13 have 251 / 256
1544004715.182 * * * * [misc]points:  Computing exacts for 5 points
1544004715.183 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.183 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.183 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.183 * * * * [misc]points:  Sampling 5 additional inputs, on iter 14 have 251 / 256
1544004715.183 * * * * [misc]points:  Computing exacts for 5 points
1544004715.185 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.185 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.185 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.185 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1544004715.185 * * * * [misc]points:  Computing exacts for 5 points
1544004715.187 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.187 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.187 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.187 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 252 / 256
1544004715.187 * * * * [misc]points:  Computing exacts for 4 points
1544004715.189 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.189 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.189 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 253 / 256
1544004715.189 * * * * [misc]points:  Computing exacts for 4 points
1544004715.191 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.191 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.191 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.191 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 253 / 256
1544004715.191 * * * * [misc]points:  Computing exacts for 4 points
1544004715.192 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.193 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.193 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.193 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 253 / 256
1544004715.193 * * * * [misc]points:  Computing exacts for 4 points
1544004715.194 * * * * [misc]points:  Setting MPFR precision to 64
1544004715.194 * * * * [misc]points:  Setting MPFR precision to 320
1544004715.195 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004715.195 * * * * [exit]points:  Sampled 256 points with exact outputs
1544004715.195 * * * [misc]progress:  [2/2] Setting up program.
1544004715.197 * [misc]progress:  [Phase 2 of 3] Improving.
1544004715.197 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1544004715.197 * * [misc]simplify:  iters left: 6 (9 enodes)
1544004715.199 * * [misc]simplify:  iters left: 5 (14 enodes)
1544004715.201 * * [misc]simplify:  iters left: 4 (18 enodes)
1544004715.203 * * [misc]simplify:  iters left: 3 (20 enodes)
1544004715.206 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1544004715.211 * * [misc]progress:  iteration 1 / 4
1544004715.211 * * * [misc]progress:  picking best candidate
1544004715.213 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1544004715.213 * * * [misc]progress:  localizing error
1544004715.241 * * * [misc]progress:  generating rewritten candidates
1544004715.241 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 2 1)
1544004715.243 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544004715.252 * * * [misc]progress:  generating series expansions
1544004715.252 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 2 1)
1544004715.252 * [misc]backup-simplify:  Simplify (sqrt (- 1 (* x x))) into (sqrt (- 1 (pow x 2)))
1544004715.252 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in (x) around 0
1544004715.252 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1544004715.252 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1544004715.252 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.252 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.252 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.252 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.252 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.252 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.253 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.253 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544004715.253 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.253 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1544004715.253 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1544004715.253 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1544004715.253 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.253 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.253 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.253 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.253 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.253 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.253 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.253 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544004715.253 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.254 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1544004715.254 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.254 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.254 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.254 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.254 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.255 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1544004715.255 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544004715.255 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.255 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.255 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.256 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1544004715.256 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.256 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544004715.256 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.256 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.257 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1544004715.257 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1544004715.257 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
1544004715.257 * [misc]backup-simplify:  Simplify (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1 (/ 1 (pow x 2))))
1544004715.257 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0
1544004715.257 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.257 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.257 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.257 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.257 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.257 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.257 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.257 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.257 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.257 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.257 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.258 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.258 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.258 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.258 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.258 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.258 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.258 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.258 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.258 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.258 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.258 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.259 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.259 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.259 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.259 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.259 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.259 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.259 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.259 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.259 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.259 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.259 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.259 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.259 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.260 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.260 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.260 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.260 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.260 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544004715.260 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.260 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.260 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.261 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544004715.262 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544004715.262 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544004715.262 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.262 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.262 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.262 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1544004715.262 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.263 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544004715.263 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.263 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.263 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.264 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544004715.265 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544004715.265 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1544004715.266 * [misc]backup-simplify:  Simplify (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1 (/ 1 (pow x 2))))
1544004715.266 * [misc]approximate:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0
1544004715.266 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.266 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.266 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.266 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.266 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.266 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.266 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.266 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.266 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.266 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.266 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.266 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.266 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.266 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.266 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.267 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.267 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.267 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.267 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.267 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.267 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.267 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.267 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.267 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.267 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.267 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.267 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.267 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.267 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.267 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.267 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.268 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.268 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.268 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.268 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.268 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.268 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.268 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.268 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.268 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.269 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544004715.269 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.269 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.270 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544004715.270 * [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1544004715.270 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544004715.270 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.271 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.271 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.271 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1544004715.271 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.271 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544004715.271 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.272 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.272 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.273 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1544004715.273 * [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
1544004715.274 * [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))))
1544004715.274 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544004715.274 * [misc]backup-simplify:  Simplify (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) into (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))
1544004715.274 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in (x) around 0
1544004715.274 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1544004715.274 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544004715.274 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.274 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.274 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.275 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.275 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.275 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.275 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.275 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.275 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.275 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.275 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.275 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.275 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544004715.275 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.275 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1544004715.275 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544004715.275 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.275 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.276 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.276 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1544004715.276 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544004715.276 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.276 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.276 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.276 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1544004715.276 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1544004715.276 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.276 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.276 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.276 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.276 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.276 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.276 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.276 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544004715.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.277 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1544004715.277 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.277 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1544004715.277 * [misc]backup-simplify:  Simplify 2 into 2
1544004715.277 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.278 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.278 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.278 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.278 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.278 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.279 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.279 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.279 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.280 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1544004715.280 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.281 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2
1544004715.281 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1544004715.281 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544004715.281 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.281 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.281 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.282 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.282 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1544004715.282 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.283 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0
1544004715.283 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.283 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.283 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.283 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544004715.284 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.284 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.285 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1544004715.285 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.286 * [misc]backup-simplify:  Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8
1544004715.286 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1544004715.286 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1544004715.286 * [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 3)) (+ (* -1/2 x) (* 2 (/ 1 x)))) into (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))
1544004715.287 * [misc]backup-simplify:  Simplify (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))
1544004715.287 * [misc]approximate:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0
1544004715.287 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1544004715.287 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.287 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.287 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.287 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1544004715.287 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.287 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.287 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.287 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.287 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.287 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.287 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.287 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.287 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.287 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.287 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.287 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.287 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.287 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.288 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.288 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.288 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.288 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.288 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.288 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.288 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.288 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.288 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1544004715.288 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.288 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.289 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.289 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1544004715.289 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.289 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.289 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.289 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.289 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.289 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.289 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.289 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.289 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.289 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.289 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.289 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.289 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.289 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.289 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.289 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.289 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.289 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.289 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.290 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.290 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.290 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.290 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1544004715.290 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.290 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.291 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1544004715.291 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1544004715.291 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.291 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544004715.291 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.291 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.291 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.292 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544004715.292 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1544004715.293 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.293 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.293 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544004715.293 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.293 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.293 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.293 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1544004715.294 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1544004715.295 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1544004715.295 * [misc]backup-simplify:  Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544004715.296 * [misc]backup-simplify:  Simplify (+ (* (/ 1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (sqrt -1))) into (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x)))
1544004715.296 * [misc]backup-simplify:  Simplify (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))
1544004715.296 * [misc]approximate:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0
1544004715.296 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.296 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.296 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.296 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.296 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.296 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.296 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.296 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.296 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.296 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.296 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.296 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.296 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.296 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.296 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.297 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.297 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.297 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.297 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.297 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.297 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.297 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.297 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1544004715.297 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1544004715.297 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.297 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.297 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.297 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1544004715.297 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.297 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.297 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.297 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1544004715.297 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1544004715.297 * [misc]taylor:  Taking taylor expansion of 1 in x
1544004715.297 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.298 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1544004715.298 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544004715.298 * [misc]taylor:  Taking taylor expansion of x in x
1544004715.298 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.298 * [misc]backup-simplify:  Simplify 1 into 1
1544004715.298 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544004715.298 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544004715.298 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.298 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544004715.298 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1544004715.298 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544004715.298 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544004715.298 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.299 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.299 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1544004715.299 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1544004715.299 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.299 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.299 * [misc]backup-simplify:  Simplify 0 into 0
1544004715.299 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1544004715.300 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1544004715.300 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1544004715.300 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1544004715.300 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544004715.300 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.300 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.301 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.302 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1544004715.302 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1544004715.302 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544004715.302 * [misc]backup-simplify:  Simplify (- 1) into -1
1544004715.302 * [misc]backup-simplify:  Simplify -1 into -1
1544004715.302 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544004715.302 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544004715.303 * [misc]backup-simplify:  Simplify (- 0) into 0
1544004715.303 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544004715.303 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1544004715.304 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1544004715.304 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1544004715.305 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1544004715.305 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1544004715.306 * [misc]backup-simplify:  Simplify (+ (* (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (sqrt -1)))) into (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))
1544004715.306 * * * [misc]progress:  simplifying candidates
1544004715.306 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (log1p (expm1 (sqrt (- 1 (* x x))))) x))))>
1544004715.306 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (expm1 (log1p (sqrt (- 1 (* x x))))) x))))>
1544004715.306 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (pow (- 1 (* x x)) 1/2) x))))>
1544004715.306 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (pow (sqrt (- 1 (* x x))) 1) x))))>
1544004715.306 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (exp (log (sqrt (- 1 (* x x))))) x))))>
1544004715.306 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (log (exp (sqrt (- 1 (* x x))))) x))))>
1544004715.306 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) (cbrt (sqrt (- 1 (* x x))))) x))))>
1544004715.306 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (cbrt (* (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (sqrt (- 1 (* x x))))) x))))>
1544004715.306 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (sqrt (cbrt (- 1 (* x x))))) x))))>
1544004715.306 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
1544004715.307 * * [misc]simplify:  iters left: 6 (7 enodes)
1544004715.308 * * [misc]simplify:  iters left: 5 (12 enodes)
1544004715.309 * * [misc]simplify:  iters left: 4 (16 enodes)
1544004715.311 * * [misc]simplify:  iters left: 3 (18 enodes)
1544004715.313 * [exit]simplify:  Simplified to (fabs (cbrt (- 1 (* x x))))
1544004715.313 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (fabs (cbrt (- 1 (* x x)))) (sqrt (cbrt (- 1 (* x x))))) x))))
1544004715.313 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x))))>
1544004715.314 * [enter]simplify:  Simplifying (sqrt (sqrt (- 1 (* x x))))
1544004715.314 * * [misc]simplify:  iters left: 6 (6 enodes)
1544004715.314 * * [misc]simplify:  iters left: 5 (10 enodes)
1544004715.316 * * [misc]simplify:  iters left: 4 (14 enodes)
1544004715.318 * * [misc]simplify:  iters left: 3 (16 enodes)
1544004715.322 * [exit]simplify:  Simplified to (sqrt (sqrt (- 1 (* x x))))
1544004715.322 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x))))
1544004715.322 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt 1) (sqrt (- 1 (* x x)))) x))))>
1544004715.322 * [enter]simplify:  Simplifying (sqrt 1)
1544004715.322 * * [misc]simplify:  iters left: 1 (2 enodes)
1544004715.323 * [exit]simplify:  Simplified to 1
1544004715.323 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x))))
1544004715.323 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- (pow 1 3) (pow (* x x) 3))) (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x))))>
1544004715.323 * [enter]simplify:  Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3)))
1544004715.323 * * [misc]simplify:  iters left: 6 (8 enodes)
1544004715.325 * * [misc]simplify:  iters left: 5 (19 enodes)
1544004715.327 * * [misc]simplify:  iters left: 4 (37 enodes)
1544004715.334 * * [misc]simplify:  iters left: 3 (76 enodes)
1544004715.347 * * [misc]simplify:  iters left: 2 (83 enodes)
1544004715.359 * * [misc]simplify:  iters left: 1 (86 enodes)
1544004715.372 * [exit]simplify:  Simplified to (sqrt (- 1 (pow x 6)))
1544004715.372 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 6))) (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x))))
1544004715.372 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- (* 1 1) (* (* x x) (* x x)))) (sqrt (+ 1 (* x x)))) x))))>
1544004715.373 * [enter]simplify:  Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x))))
1544004715.373 * * [misc]simplify:  iters left: 6 (7 enodes)
1544004715.375 * * [misc]simplify:  iters left: 5 (16 enodes)
1544004715.379 * * [misc]simplify:  iters left: 4 (29 enodes)
1544004715.386 * * [misc]simplify:  iters left: 3 (50 enodes)
1544004715.392 * * [misc]simplify:  iters left: 2 (54 enodes)
1544004715.396 * [exit]simplify:  Simplified to (sqrt (- 1 (pow x 4)))
1544004715.397 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 4))) (sqrt (+ 1 (* x x)))) x))))
1544004715.397 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x))))>
1544004715.397 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (fabs (sqrt (- 1 (* x x)))) x))))>
1544004715.397 * [enter]simplify:  Simplifying (sqrt (- 1 (* x x)))
1544004715.397 * * [misc]simplify:  iters left: 5 (5 enodes)
1544004715.398 * * [misc]simplify:  iters left: 4 (9 enodes)
1544004715.399 * * [misc]simplify:  iters left: 3 (13 enodes)
1544004715.400 * * [misc]simplify:  iters left: 2 (15 enodes)
1544004715.402 * [exit]simplify:  Simplified to (sqrt (- 1 (* x x)))
1544004715.402 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (fabs (sqrt (- 1 (* x x)))) x))))
1544004715.402 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x))))>
1544004715.402 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (x) (log (log1p (expm1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.402 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (x) (log (expm1 (log1p (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.402 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (x) (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (/ (sqrt (- 1 (* x x))) x))))>
1544004715.403 * [enter]simplify:  Simplifying (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))
1544004715.403 * * [misc]simplify:  iters left: 5 (5 enodes)
1544004715.403 * * [misc]simplify:  iters left: 4 (7 enodes)
1544004715.404 * [exit]simplify:  Simplified to (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))
1544004715.404 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (/ (sqrt (- 1 (* x x))) x))))
1544004715.404 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (x) (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (/ (sqrt (- 1 (* x x))) x))))>
1544004715.404 * [enter]simplify:  Simplifying (sqrt (/ 1 x))
1544004715.404 * * [misc]simplify:  iters left: 3 (4 enodes)
1544004715.405 * * [misc]simplify:  iters left: 2 (6 enodes)
1544004715.406 * [exit]simplify:  Simplified to (sqrt (/ 1 x))
1544004715.406 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (/ (sqrt (- 1 (* x x))) x))))
1544004715.406 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (x) (log (fma 1 (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1544004715.406 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (x) (log (fma 1 (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1544004715.406 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (x) (log (log (* (exp (/ 1 x)) (exp (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.406 * [enter]simplify:  Simplifying (* (exp (/ 1 x)) (exp (/ (sqrt (- 1 (* x x))) x)))
1544004715.407 * * [misc]simplify:  iters left: 6 (10 enodes)
1544004715.408 * * [misc]simplify:  iters left: 5 (17 enodes)
1544004715.411 * * [misc]simplify:  iters left: 4 (23 enodes)
1544004715.413 * * [misc]simplify:  iters left: 3 (25 enodes)
1544004715.416 * [exit]simplify:  Simplified to (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x)))
1544004715.416 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x))))))
1544004715.417 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (x) (log (pow (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1)))>
1544004715.417 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.417 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.417 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.417 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.417 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1544004715.417 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (* 1 x) (* x (sqrt (- 1 (* x x))))) (* x x))))>
1544004715.417 * [enter]simplify:  Simplifying (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))
1544004715.417 * * [misc]simplify:  iters left: 6 (8 enodes)
1544004715.418 * * [misc]simplify:  iters left: 5 (15 enodes)
1544004715.420 * * [misc]simplify:  iters left: 4 (23 enodes)
1544004715.423 * * [misc]simplify:  iters left: 3 (27 enodes)
1544004715.426 * * [misc]simplify:  iters left: 2 (30 enodes)
1544004715.431 * * [misc]simplify:  iters left: 1 (33 enodes)
1544004715.434 * [exit]simplify:  Simplified to (fma x (sqrt (- 1 (* x x))) x)
1544004715.434 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (/ (fma x (sqrt (- 1 (* x x))) x) (* x x))))
1544004715.434 * [enter]simplify:  Simplifying (* x x)
1544004715.434 * * [misc]simplify:  iters left: 2 (2 enodes)
1544004715.435 * [exit]simplify:  Simplified to (* x x)
1544004715.435 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (fma x (sqrt (- 1 (* x x))) x) (* x x))))
1544004715.435 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3)) (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))>
1544004715.435 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1544004715.435 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))) (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1544004715.435 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1544004715.435 * [enter]simplify:  Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1544004715.435 * * [misc]simplify:  iters left: 6 (8 enodes)
1544004715.436 * * [misc]simplify:  iters left: 5 (13 enodes)
1544004715.438 * * [misc]simplify:  iters left: 4 (17 enodes)
1544004715.440 * * [misc]simplify:  iters left: 3 (19 enodes)
1544004715.443 * [exit]simplify:  Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1544004715.443 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1544004715.443 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1544004715.443 * [enter]simplify:  Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1544004715.443 * * [misc]simplify:  iters left: 6 (8 enodes)
1544004715.444 * * [misc]simplify:  iters left: 5 (13 enodes)
1544004715.446 * * [misc]simplify:  iters left: 4 (17 enodes)
1544004715.448 * * [misc]simplify:  iters left: 3 (19 enodes)
1544004715.450 * [exit]simplify:  Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1544004715.450 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1544004715.450 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))>
1544004715.451 * [enter]simplify:  Simplifying (/ 1 x)
1544004715.451 * * [misc]simplify:  iters left: 2 (3 enodes)
1544004715.451 * * [misc]simplify:  iters left: 1 (5 enodes)
1544004715.452 * [exit]simplify:  Simplified to (/ 1 x)
1544004715.452 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))
1544004715.452 * [enter]simplify:  Simplifying (+ 1 (sqrt (- 1 (* x x))))
1544004715.452 * * [misc]simplify:  iters left: 6 (6 enodes)
1544004715.453 * * [misc]simplify:  iters left: 5 (11 enodes)
1544004715.454 * * [misc]simplify:  iters left: 4 (15 enodes)
1544004715.456 * * [misc]simplify:  iters left: 3 (17 enodes)
1544004715.458 * [exit]simplify:  Simplified to (+ 1 (sqrt (- 1 (* x x))))
1544004715.459 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))
1544004715.459 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))>
1544004715.459 * [enter]simplify:  Simplifying (/ 1 x)
1544004715.459 * * [misc]simplify:  iters left: 2 (3 enodes)
1544004715.459 * * [misc]simplify:  iters left: 1 (5 enodes)
1544004715.460 * [exit]simplify:  Simplified to (/ 1 x)
1544004715.460 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))
1544004715.460 * [enter]simplify:  Simplifying (+ 1 (sqrt (- 1 (* x x))))
1544004715.460 * * [misc]simplify:  iters left: 6 (6 enodes)
1544004715.461 * * [misc]simplify:  iters left: 5 (11 enodes)
1544004715.462 * * [misc]simplify:  iters left: 4 (15 enodes)
1544004715.464 * * [misc]simplify:  iters left: 3 (17 enodes)
1544004715.466 * [exit]simplify:  Simplified to (+ 1 (sqrt (- 1 (* x x))))
1544004715.466 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x)))))))
1544004715.466 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (x) (log (* (+ (sqrt (- 1 (* x x))) 1) (/ 1 x))))>
1544004715.467 * [enter]simplify:  Simplifying (/ 1 x)
1544004715.467 * * [misc]simplify:  iters left: 2 (3 enodes)
1544004715.467 * * [misc]simplify:  iters left: 1 (5 enodes)
1544004715.468 * [exit]simplify:  Simplified to (/ 1 x)
1544004715.468 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (* (+ (sqrt (- 1 (* x x))) 1) (/ 1 x))))
1544004715.468 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x))))>
1544004715.468 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) x))))>
1544004715.468 * [enter]simplify:  Simplifying (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
1544004715.468 * * [misc]simplify:  iters left: 6 (12 enodes)
1544004715.470 * * [misc]simplify:  iters left: 5 (23 enodes)
1544004715.473 * * [misc]simplify:  iters left: 4 (38 enodes)
1544004715.479 * * [misc]simplify:  iters left: 3 (71 enodes)
1544004715.493 * * [misc]simplify:  iters left: 2 (134 enodes)
1544004715.512 * * [misc]simplify:  iters left: 1 (174 enodes)
1544004715.542 * [exit]simplify:  Simplified to (fma (pow x 4) -1/8 (fma x (* x -1/2) 1))
1544004715.542 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma (pow x 4) -1/8 (fma x (* x -1/2) 1)) x))))
1544004715.542 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) x))))>
1544004715.543 * [enter]simplify:  Simplifying (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1544004715.543 * * [misc]simplify:  iters left: 6 (17 enodes)
1544004715.548 * * [misc]simplify:  iters left: 5 (43 enodes)
1544004715.557 * * [misc]simplify:  iters left: 4 (100 enodes)
1544004715.579 * * [misc]simplify:  iters left: 3 (198 enodes)
1544004715.615 * * [misc]simplify:  iters left: 2 (336 enodes)
1544004715.722 * [exit]simplify:  Simplified to (fma (sqrt -1) x (fma (/ -1/8 (sqrt -1)) (/ (/ -1 x) (* x x)) (/ (/ 1/2 x) (sqrt -1))))
1544004715.722 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma (sqrt -1) x (fma (/ -1/8 (sqrt -1)) (/ (/ -1 x) (* x x)) (/ (/ 1/2 x) (sqrt -1)))) x))))
1544004715.722 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1)))))) x))))>
1544004715.722 * [enter]simplify:  Simplifying (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))))
1544004715.722 * * [misc]simplify:  iters left: 6 (17 enodes)
1544004715.726 * * [misc]simplify:  iters left: 5 (44 enodes)
1544004715.735 * * [misc]simplify:  iters left: 4 (91 enodes)
1544004715.755 * * [misc]simplify:  iters left: 3 (199 enodes)
1544004715.815 * * [misc]simplify:  iters left: 2 (416 enodes)
1544004716.007 * [exit]simplify:  Simplified to (fma -1/8 (/ (/ (/ 1 x) x) (* x (sqrt -1))) (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1))))
1544004716.007 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma -1/8 (/ (/ (/ 1 x) x) (* x (sqrt -1))) (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1)))) x))))
1544004716.007 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))))>
1544004716.007 * [enter]simplify:  Simplifying (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3))))
1544004716.007 * * [misc]simplify:  iters left: 6 (13 enodes)
1544004716.010 * * [misc]simplify:  iters left: 5 (30 enodes)
1544004716.015 * * [misc]simplify:  iters left: 4 (54 enodes)
1544004716.026 * * [misc]simplify:  iters left: 3 (120 enodes)
1544004716.051 * * [misc]simplify:  iters left: 2 (260 enodes)
1544004716.101 * * [misc]simplify:  iters left: 1 (377 enodes)
1544004716.213 * [exit]simplify:  Simplified to (fma x (fma -1/8 (* x x) -1/2) (/ 2 x))
1544004716.213 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (fma x (fma -1/8 (* x x) -1/2) (/ 2 x))))
1544004716.213 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (x) (log (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x)))))>
1544004716.214 * [enter]simplify:  Simplifying (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x)))
1544004716.214 * * [misc]simplify:  iters left: 6 (13 enodes)
1544004716.218 * * [misc]simplify:  iters left: 5 (27 enodes)
1544004716.227 * * [misc]simplify:  iters left: 4 (47 enodes)
1544004716.243 * * [misc]simplify:  iters left: 3 (68 enodes)
1544004716.264 * * [misc]simplify:  iters left: 2 (104 enodes)
1544004716.286 * * [misc]simplify:  iters left: 1 (162 enodes)
1544004716.326 * [exit]simplify:  Simplified to (fma (/ 1/2 x) (/ (/ 1 x) (sqrt -1)) (+ (/ 1 x) (sqrt -1)))
1544004716.326 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (fma (/ 1/2 x) (/ (/ 1 x) (sqrt -1)) (+ (/ 1 x) (sqrt -1)))))
1544004716.326 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (x) (log (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))))>
1544004716.326 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)))
1544004716.327 * * [misc]simplify:  iters left: 6 (13 enodes)
1544004716.329 * * [misc]simplify:  iters left: 5 (28 enodes)
1544004716.336 * * [misc]simplify:  iters left: 4 (48 enodes)
1544004716.345 * * [misc]simplify:  iters left: 3 (89 enodes)
1544004716.373 * * [misc]simplify:  iters left: 2 (173 enodes)
1544004716.416 * * [misc]simplify:  iters left: 1 (294 enodes)
1544004716.522 * [exit]simplify:  Simplified to (fma -1/2 (/ (/ (/ 1 x) x) (sqrt -1)) (- (/ 1 x) (sqrt -1)))
1544004716.523 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (fma -1/2 (/ (/ (/ 1 x) x) (sqrt -1)) (- (/ 1 x) (sqrt -1)))))
1544004716.523 * * * [misc]progress:  adding candidates to table
1544004716.889 * [misc]progress:  [Phase 3 of 3] Extracting.
1544004716.892 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1544004716.892 * * [misc]simplify:  iters left: 6 (9 enodes)
1544004716.892 * * [misc]simplify:  iters left: 5 (12 enodes)
1544004716.893 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1544004716.893 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544004716.931 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544004716.932 * * * * [misc]points:  Setting MPFR precision to 64
1544004716.933 * * * * [misc]points:  Setting MPFR precision to 320
1544004716.934 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544004716.935 * * * * [misc]points:  Setting MPFR precision to 64
1544004716.936 * * * * [misc]points:  Setting MPFR precision to 320
1544004716.937 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544004716.939 * * * * [misc]points:  Setting MPFR precision to 64
1544004716.940 * * * * [misc]points:  Setting MPFR precision to 320
1544004716.941 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544004716.943 * * * * [misc]points:  Setting MPFR precision to 64
1544004716.946 * * * * [misc]points:  Setting MPFR precision to 320
1544004716.949 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544004716.950 * * * * [misc]points:  Setting MPFR precision to 64
1544004716.956 * * * * [misc]points:  Setting MPFR precision to 320
1544004716.966 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544004716.970 * * * * [misc]points:  Setting MPFR precision to 64
1544004716.981 * * * * [misc]points:  Setting MPFR precision to 320
1544004716.992 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544004716.994 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.022 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.079 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544004717.088 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.140 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.244 * * * * [misc]points:  Computing exacts for 8000 points
1544004717.246 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.518 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.890 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004717.892 * * * * [misc]points:  Sampling 6004 additional inputs, on iter 1 have 1996 / 8000
1544004717.957 * * * * [misc]points:  Computing exacts on every 375 of 6004 points to ramp up precision
1544004717.960 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.960 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.960 * * * * [misc]points:  Computing exacts on every 187 of 6004 points to ramp up precision
1544004717.962 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.963 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.964 * * * * [misc]points:  Computing exacts on every 93 of 6004 points to ramp up precision
1544004717.965 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.966 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.968 * * * * [misc]points:  Computing exacts on every 46 of 6004 points to ramp up precision
1544004717.970 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.972 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.975 * * * * [misc]points:  Computing exacts on every 23 of 6004 points to ramp up precision
1544004717.977 * * * * [misc]points:  Setting MPFR precision to 64
1544004717.982 * * * * [misc]points:  Setting MPFR precision to 320
1544004717.988 * * * * [misc]points:  Computing exacts on every 11 of 6004 points to ramp up precision
1544004717.989 * * * * [misc]points:  Setting MPFR precision to 64
1544004718.008 * * * * [misc]points:  Setting MPFR precision to 320
1544004718.030 * * * * [misc]points:  Computing exacts on every 5 of 6004 points to ramp up precision
1544004718.033 * * * * [misc]points:  Setting MPFR precision to 64
1544004718.079 * * * * [misc]points:  Setting MPFR precision to 320
1544004718.111 * * * * [misc]points:  Computing exacts on every 2 of 6004 points to ramp up precision
1544004718.113 * * * * [misc]points:  Setting MPFR precision to 64
1544004718.154 * * * * [misc]points:  Setting MPFR precision to 320
1544004718.263 * * * * [misc]points:  Computing exacts for 6004 points
1544004718.267 * * * * [misc]points:  Setting MPFR precision to 64
1544004718.833 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.083 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004719.084 * * * * [misc]points:  Sampling 4503 additional inputs, on iter 2 have 3497 / 8000
1544004719.102 * * * * [misc]points:  Computing exacts on every 281 of 4503 points to ramp up precision
1544004719.105 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.106 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.107 * * * * [misc]points:  Computing exacts on every 140 of 4503 points to ramp up precision
1544004719.110 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.112 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.113 * * * * [misc]points:  Computing exacts on every 70 of 4503 points to ramp up precision
1544004719.116 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.119 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.122 * * * * [misc]points:  Computing exacts on every 35 of 4503 points to ramp up precision
1544004719.125 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.131 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.136 * * * * [misc]points:  Computing exacts on every 17 of 4503 points to ramp up precision
1544004719.139 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.150 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.191 * * * * [misc]points:  Computing exacts on every 8 of 4503 points to ramp up precision
1544004719.194 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.220 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.241 * * * * [misc]points:  Computing exacts on every 4 of 4503 points to ramp up precision
1544004719.244 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.279 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.317 * * * * [misc]points:  Computing exacts on every 2 of 4503 points to ramp up precision
1544004719.320 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.391 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.441 * * * * [misc]points:  Computing exacts for 4503 points
1544004719.443 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.570 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.791 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004719.793 * * * * [misc]points:  Sampling 3324 additional inputs, on iter 3 have 4676 / 8000
1544004719.808 * * * * [misc]points:  Computing exacts on every 207 of 3324 points to ramp up precision
1544004719.812 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.812 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.813 * * * * [misc]points:  Computing exacts on every 103 of 3324 points to ramp up precision
1544004719.814 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.815 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.816 * * * * [misc]points:  Computing exacts on every 51 of 3324 points to ramp up precision
1544004719.817 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.819 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.821 * * * * [misc]points:  Computing exacts on every 25 of 3324 points to ramp up precision
1544004719.823 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.851 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.854 * * * * [misc]points:  Computing exacts on every 12 of 3324 points to ramp up precision
1544004719.856 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.863 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.868 * * * * [misc]points:  Computing exacts on every 6 of 3324 points to ramp up precision
1544004719.870 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.881 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.900 * * * * [misc]points:  Computing exacts on every 3 of 3324 points to ramp up precision
1544004719.903 * * * * [misc]points:  Setting MPFR precision to 64
1544004719.934 * * * * [misc]points:  Setting MPFR precision to 320
1544004719.954 * * * * [misc]points:  Computing exacts for 3324 points
1544004719.956 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.083 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004720.274 * * * * [misc]points:  Sampling 2473 additional inputs, on iter 4 have 5527 / 8000
1544004720.280 * * * * [misc]points:  Computing exacts on every 154 of 2473 points to ramp up precision
1544004720.282 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.282 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.282 * * * * [misc]points:  Computing exacts on every 77 of 2473 points to ramp up precision
1544004720.284 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.285 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.285 * * * * [misc]points:  Computing exacts on every 38 of 2473 points to ramp up precision
1544004720.287 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.288 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.290 * * * * [misc]points:  Computing exacts on every 19 of 2473 points to ramp up precision
1544004720.291 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.294 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.297 * * * * [misc]points:  Computing exacts on every 9 of 2473 points to ramp up precision
1544004720.301 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.310 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.320 * * * * [misc]points:  Computing exacts on every 4 of 2473 points to ramp up precision
1544004720.346 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.365 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.387 * * * * [misc]points:  Computing exacts on every 2 of 2473 points to ramp up precision
1544004720.391 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.424 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.458 * * * * [misc]points:  Computing exacts for 2473 points
1544004720.462 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.561 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.628 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004720.630 * * * * [misc]points:  Sampling 1870 additional inputs, on iter 5 have 6130 / 8000
1544004720.638 * * * * [misc]points:  Computing exacts on every 116 of 1870 points to ramp up precision
1544004720.642 * * * * [misc]points:  Setting MPFR precision to 64
1544004720.642 * * * * [misc]points:  Setting MPFR precision to 320
1544004720.643 * * * * [misc]points:  Computing exacts on every 58 of 1870 points to ramp up precision
1544004720.647 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.025 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.026 * * * * [misc]points:  Computing exacts on every 29 of 1870 points to ramp up precision
1544004721.030 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.032 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.035 * * * * [misc]points:  Computing exacts on every 14 of 1870 points to ramp up precision
1544004721.038 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.048 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.053 * * * * [misc]points:  Computing exacts on every 7 of 1870 points to ramp up precision
1544004721.056 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.066 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.076 * * * * [misc]points:  Computing exacts on every 3 of 1870 points to ramp up precision
1544004721.079 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.097 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.117 * * * * [misc]points:  Computing exacts for 1870 points
1544004721.120 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.184 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004721.278 * * * * [misc]points:  Sampling 1428 additional inputs, on iter 6 have 6572 / 8000
1544004721.284 * * * * [misc]points:  Computing exacts on every 89 of 1428 points to ramp up precision
1544004721.288 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.289 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.289 * * * * [misc]points:  Computing exacts on every 44 of 1428 points to ramp up precision
1544004721.292 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.293 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.295 * * * * [misc]points:  Computing exacts on every 22 of 1428 points to ramp up precision
1544004721.298 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.301 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.303 * * * * [misc]points:  Computing exacts on every 11 of 1428 points to ramp up precision
1544004721.306 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.311 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.316 * * * * [misc]points:  Computing exacts on every 5 of 1428 points to ramp up precision
1544004721.317 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.322 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.327 * * * * [misc]points:  Computing exacts on every 2 of 1428 points to ramp up precision
1544004721.329 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.380 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.405 * * * * [misc]points:  Computing exacts for 1428 points
1544004721.409 * * * * [misc]points:  Setting MPFR precision to 64
1544004721.446 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.475 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.562 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004721.563 * * * * [misc]points:  Sampling 1093 additional inputs, on iter 7 have 6907 / 8000
1544004721.568 * * * * [misc]points:  Computing exacts on every 68 of 1093 points to ramp up precision
1544004721.573 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.574 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.575 * * * * [misc]points:  Computing exacts on every 34 of 1093 points to ramp up precision
1544004721.580 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.581 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.583 * * * * [misc]points:  Computing exacts on every 17 of 1093 points to ramp up precision
1544004721.587 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.590 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.593 * * * * [misc]points:  Computing exacts on every 8 of 1093 points to ramp up precision
1544004721.597 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.603 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.608 * * * * [misc]points:  Computing exacts on every 4 of 1093 points to ramp up precision
1544004721.612 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.621 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.631 * * * * [misc]points:  Computing exacts on every 2 of 1093 points to ramp up precision
1544004721.636 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.652 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.660 * * * * [misc]points:  Computing exacts for 1093 points
1544004721.662 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.721 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.754 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004721.754 * * * * [misc]points:  Sampling 836 additional inputs, on iter 8 have 7164 / 8000
1544004721.756 * * * * [misc]points:  Computing exacts on every 52 of 836 points to ramp up precision
1544004721.758 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.759 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.759 * * * * [misc]points:  Computing exacts on every 26 of 836 points to ramp up precision
1544004721.761 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.762 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.763 * * * * [misc]points:  Computing exacts on every 13 of 836 points to ramp up precision
1544004721.766 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.769 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.772 * * * * [misc]points:  Computing exacts on every 6 of 836 points to ramp up precision
1544004721.776 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.781 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.785 * * * * [misc]points:  Computing exacts on every 3 of 836 points to ramp up precision
1544004721.787 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.817 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.827 * * * * [misc]points:  Computing exacts for 836 points
1544004721.835 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.871 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.910 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004721.910 * * * * [misc]points:  Sampling 627 additional inputs, on iter 9 have 7373 / 8000
1544004721.913 * * * * [misc]points:  Computing exacts on every 39 of 627 points to ramp up precision
1544004721.918 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.919 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.919 * * * * [misc]points:  Computing exacts on every 19 of 627 points to ramp up precision
1544004721.922 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.922 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.923 * * * * [misc]points:  Computing exacts on every 9 of 627 points to ramp up precision
1544004721.925 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.927 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.928 * * * * [misc]points:  Computing exacts on every 4 of 627 points to ramp up precision
1544004721.930 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.933 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.936 * * * * [misc]points:  Computing exacts on every 2 of 627 points to ramp up precision
1544004721.938 * * * * [misc]points:  Setting MPFR precision to 320
1544004721.943 * * * * [misc]points:  Setting MPFR precision to 576
1544004721.975 * * * * [misc]points:  Computing exacts for 627 points
1544004721.979 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.011 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.040 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.041 * * * * [misc]points:  Sampling 466 additional inputs, on iter 10 have 7534 / 8000
1544004722.043 * * * * [misc]points:  Computing exacts on every 29 of 466 points to ramp up precision
1544004722.047 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.048 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.049 * * * * [misc]points:  Computing exacts on every 14 of 466 points to ramp up precision
1544004722.053 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.054 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.056 * * * * [misc]points:  Computing exacts on every 7 of 466 points to ramp up precision
1544004722.060 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.063 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.066 * * * * [misc]points:  Computing exacts on every 3 of 466 points to ramp up precision
1544004722.069 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.071 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.074 * * * * [misc]points:  Computing exacts for 466 points
1544004722.076 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.086 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.096 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.097 * * * * [misc]points:  Sampling 359 additional inputs, on iter 11 have 7641 / 8000
1544004722.097 * * * * [misc]points:  Computing exacts on every 22 of 359 points to ramp up precision
1544004722.122 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.123 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.123 * * * * [misc]points:  Computing exacts on every 11 of 359 points to ramp up precision
1544004722.126 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.126 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.127 * * * * [misc]points:  Computing exacts on every 5 of 359 points to ramp up precision
1544004722.129 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.132 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.134 * * * * [misc]points:  Computing exacts on every 2 of 359 points to ramp up precision
1544004722.137 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.142 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.147 * * * * [misc]points:  Computing exacts for 359 points
1544004722.151 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.165 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.180 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.180 * * * * [misc]points:  Sampling 274 additional inputs, on iter 12 have 7726 / 8000
1544004722.181 * * * * [misc]points:  Computing exacts on every 17 of 274 points to ramp up precision
1544004722.186 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.187 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.187 * * * * [misc]points:  Computing exacts on every 8 of 274 points to ramp up precision
1544004722.193 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.194 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.195 * * * * [misc]points:  Computing exacts on every 4 of 274 points to ramp up precision
1544004722.200 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.202 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.205 * * * * [misc]points:  Computing exacts on every 2 of 274 points to ramp up precision
1544004722.210 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.214 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.218 * * * * [misc]points:  Computing exacts for 274 points
1544004722.223 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.229 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.255 * * * * [misc]points:  Sampling 200 additional inputs, on iter 13 have 7800 / 8000
1544004722.256 * * * * [misc]points:  Computing exacts on every 12 of 200 points to ramp up precision
1544004722.258 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.259 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.259 * * * * [misc]points:  Computing exacts on every 6 of 200 points to ramp up precision
1544004722.261 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.262 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.264 * * * * [misc]points:  Computing exacts on every 3 of 200 points to ramp up precision
1544004722.266 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.268 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.269 * * * * [misc]points:  Computing exacts for 200 points
1544004722.271 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.275 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.280 * * * * [misc]points:  Sampling 149 additional inputs, on iter 14 have 7851 / 8000
1544004722.280 * * * * [misc]points:  Computing exacts on every 9 of 149 points to ramp up precision
1544004722.283 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.283 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.284 * * * * [misc]points:  Computing exacts on every 4 of 149 points to ramp up precision
1544004722.286 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.286 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.287 * * * * [misc]points:  Computing exacts on every 2 of 149 points to ramp up precision
1544004722.289 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.291 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.292 * * * * [misc]points:  Computing exacts for 149 points
1544004722.294 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.297 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.302 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.302 * * * * [misc]points:  Sampling 119 additional inputs, on iter 15 have 7881 / 8000
1544004722.303 * * * * [misc]points:  Computing exacts on every 7 of 119 points to ramp up precision
1544004722.308 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.308 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.309 * * * * [misc]points:  Computing exacts on every 3 of 119 points to ramp up precision
1544004722.314 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.315 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.317 * * * * [misc]points:  Computing exacts for 119 points
1544004722.321 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.327 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.332 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.332 * * * * [misc]points:  Sampling 95 additional inputs, on iter 16 have 7905 / 8000
1544004722.333 * * * * [misc]points:  Computing exacts on every 5 of 95 points to ramp up precision
1544004722.337 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.338 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.362 * * * * [misc]points:  Computing exacts on every 2 of 95 points to ramp up precision
1544004722.367 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.368 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.369 * * * * [misc]points:  Computing exacts for 95 points
1544004722.371 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.374 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.376 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.376 * * * * [misc]points:  Sampling 72 additional inputs, on iter 17 have 7928 / 8000
1544004722.377 * * * * [misc]points:  Computing exacts on every 4 of 72 points to ramp up precision
1544004722.379 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.379 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.380 * * * * [misc]points:  Computing exacts on every 2 of 72 points to ramp up precision
1544004722.382 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.382 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.383 * * * * [misc]points:  Computing exacts for 72 points
1544004722.385 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.387 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.389 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.389 * * * * [misc]points:  Sampling 49 additional inputs, on iter 18 have 7951 / 8000
1544004722.389 * * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
1544004722.391 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.391 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.392 * * * * [misc]points:  Computing exacts for 49 points
1544004722.394 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.395 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.397 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.397 * * * * [misc]points:  Sampling 36 additional inputs, on iter 19 have 7964 / 8000
1544004722.398 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1544004722.402 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.403 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.403 * * * * [misc]points:  Computing exacts for 36 points
1544004722.408 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.410 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.411 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.411 * * * * [misc]points:  Sampling 28 additional inputs, on iter 20 have 7972 / 8000
1544004722.412 * * * * [misc]points:  Computing exacts for 28 points
1544004722.417 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.418 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.419 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.419 * * * * [misc]points:  Sampling 19 additional inputs, on iter 21 have 7981 / 8000
1544004722.420 * * * * [misc]points:  Computing exacts for 19 points
1544004722.424 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.425 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.426 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.426 * * * * [misc]points:  Sampling 11 additional inputs, on iter 22 have 7989 / 8000
1544004722.427 * * * * [misc]points:  Computing exacts for 11 points
1544004722.431 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.432 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.432 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.432 * * * * [misc]points:  Sampling 8 additional inputs, on iter 23 have 7992 / 8000
1544004722.433 * * * * [misc]points:  Computing exacts for 8 points
1544004722.437 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.438 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.438 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.438 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1544004722.438 * * * * [misc]points:  Computing exacts for 6 points
1544004722.443 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.443 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.444 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.444 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7996 / 8000
1544004722.444 * * * * [misc]points:  Computing exacts for 4 points
1544004722.449 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.449 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.449 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.449 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1544004722.449 * * * * [misc]points:  Computing exacts for 4 points
1544004722.469 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.469 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.469 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.469 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1544004722.469 * * * * [misc]points:  Computing exacts for 4 points
1544004722.472 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.472 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.472 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.472 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1544004722.472 * * * * [misc]points:  Computing exacts for 4 points
1544004722.474 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.474 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.475 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1544004722.475 * * * * [misc]points:  Computing exacts for 4 points
1544004722.477 * * * * [misc]points:  Setting MPFR precision to 320
1544004722.477 * * * * [misc]points:  Setting MPFR precision to 576
1544004722.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544004722.478 * * * * [exit]points:  Sampled 8000 points with exact outputs
1544004722.720 * [misc]regime-testing:  Baseline error score: 0.034066475973892674
1544004722.721 * [misc]regime-testing:  End program error score: 0.034066475973892674
1544004722.722 * [misc]regime-testing:  Oracle error score: 0.034066475973892674