1544088177.845 * [misc]progress:  [Phase 1 of 3] Setting up.
1544088177.847 * * * [misc]progress:  [1/2] Preparing points
1544088177.847 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544088177.851 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544088177.918 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.919 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.920 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544088177.923 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.924 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.925 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544088177.927 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.929 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.931 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544088177.933 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.935 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.938 * * * * [misc]points:  Computing exacts for 256 points
1544088177.940 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.949 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.957 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088177.958 * * * * [misc]points:  Sampling 179 additional inputs, on iter 1 have 77 / 256
1544088177.959 * * * * [misc]points:  Computing exacts on every 11 of 179 points to ramp up precision
1544088177.961 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.962 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.962 * * * * [misc]points:  Computing exacts on every 5 of 179 points to ramp up precision
1544088177.965 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.966 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.967 * * * * [misc]points:  Computing exacts on every 2 of 179 points to ramp up precision
1544088177.969 * * * * [misc]points:  Setting MPFR precision to 64
1544088177.972 * * * * [misc]points:  Setting MPFR precision to 320
1544088177.974 * * * * [misc]points:  Computing exacts for 179 points
1544088177.977 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.031 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.038 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.038 * * * * [misc]points:  Sampling 130 additional inputs, on iter 2 have 126 / 256
1544088178.039 * * * * [misc]points:  Computing exacts on every 8 of 130 points to ramp up precision
1544088178.041 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.042 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.042 * * * * [misc]points:  Computing exacts on every 4 of 130 points to ramp up precision
1544088178.044 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.045 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.046 * * * * [misc]points:  Computing exacts on every 2 of 130 points to ramp up precision
1544088178.048 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.049 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.051 * * * * [misc]points:  Computing exacts for 130 points
1544088178.053 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.057 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.061 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.061 * * * * [misc]points:  Sampling 100 additional inputs, on iter 3 have 156 / 256
1544088178.062 * * * * [misc]points:  Computing exacts on every 6 of 100 points to ramp up precision
1544088178.063 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.064 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.065 * * * * [misc]points:  Computing exacts on every 3 of 100 points to ramp up precision
1544088178.066 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.067 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.068 * * * * [misc]points:  Computing exacts for 100 points
1544088178.070 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.073 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.077 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.077 * * * * [misc]points:  Sampling 76 additional inputs, on iter 4 have 180 / 256
1544088178.078 * * * * [misc]points:  Computing exacts on every 4 of 76 points to ramp up precision
1544088178.080 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.080 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.081 * * * * [misc]points:  Computing exacts on every 2 of 76 points to ramp up precision
1544088178.082 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.082 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.083 * * * * [misc]points:  Computing exacts for 76 points
1544088178.084 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.085 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.086 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.087 * * * * [misc]points:  Sampling 62 additional inputs, on iter 5 have 194 / 256
1544088178.087 * * * * [misc]points:  Computing exacts on every 3 of 62 points to ramp up precision
1544088178.088 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.088 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.089 * * * * [misc]points:  Computing exacts for 62 points
1544088178.090 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.091 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.092 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.092 * * * * [misc]points:  Sampling 41 additional inputs, on iter 6 have 215 / 256
1544088178.092 * * * * [misc]points:  Computing exacts on every 2 of 41 points to ramp up precision
1544088178.093 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.093 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.094 * * * * [misc]points:  Computing exacts for 41 points
1544088178.095 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.096 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.097 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.097 * * * * [misc]points:  Sampling 35 additional inputs, on iter 7 have 221 / 256
1544088178.097 * * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
1544088178.099 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.100 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.100 * * * * [misc]points:  Computing exacts for 35 points
1544088178.102 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.103 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.105 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.105 * * * * [misc]points:  Sampling 25 additional inputs, on iter 8 have 231 / 256
1544088178.105 * * * * [misc]points:  Computing exacts for 25 points
1544088178.107 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.107 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.108 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.108 * * * * [misc]points:  Sampling 21 additional inputs, on iter 9 have 235 / 256
1544088178.108 * * * * [misc]points:  Computing exacts for 21 points
1544088178.109 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.109 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.110 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.110 * * * * [misc]points:  Sampling 19 additional inputs, on iter 10 have 237 / 256
1544088178.110 * * * * [misc]points:  Computing exacts for 19 points
1544088178.111 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.111 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.112 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.112 * * * * [misc]points:  Sampling 13 additional inputs, on iter 11 have 243 / 256
1544088178.112 * * * * [misc]points:  Computing exacts for 13 points
1544088178.113 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.113 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.113 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.113 * * * * [misc]points:  Sampling 10 additional inputs, on iter 12 have 246 / 256
1544088178.114 * * * * [misc]points:  Computing exacts for 10 points
1544088178.115 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.115 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.115 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.115 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 246 / 256
1544088178.115 * * * * [misc]points:  Computing exacts for 10 points
1544088178.116 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.116 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.117 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.117 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1544088178.117 * * * * [misc]points:  Computing exacts for 6 points
1544088178.118 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.118 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.118 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.118 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1544088178.118 * * * * [misc]points:  Computing exacts for 5 points
1544088178.119 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.119 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.119 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.120 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 251 / 256
1544088178.120 * * * * [misc]points:  Computing exacts for 5 points
1544088178.121 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.121 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.121 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.121 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 252 / 256
1544088178.121 * * * * [misc]points:  Computing exacts for 4 points
1544088178.122 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.122 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.122 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.122 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 253 / 256
1544088178.122 * * * * [misc]points:  Computing exacts for 4 points
1544088178.123 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.123 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.123 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.123 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 253 / 256
1544088178.123 * * * * [misc]points:  Computing exacts for 4 points
1544088178.124 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.124 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.125 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.125 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 253 / 256
1544088178.125 * * * * [misc]points:  Computing exacts for 4 points
1544088178.126 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.126 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.126 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.126 * * * * [misc]points:  Sampling 4 additional inputs, on iter 21 have 254 / 256
1544088178.126 * * * * [misc]points:  Computing exacts for 4 points
1544088178.127 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.127 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.127 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.127 * * * * [misc]points:  Sampling 4 additional inputs, on iter 22 have 254 / 256
1544088178.127 * * * * [misc]points:  Computing exacts for 4 points
1544088178.128 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.128 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.129 * * * * [misc]points:  Sampling 4 additional inputs, on iter 23 have 254 / 256
1544088178.129 * * * * [misc]points:  Computing exacts for 4 points
1544088178.130 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.130 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.130 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.130 * * * * [misc]points:  Sampling 4 additional inputs, on iter 24 have 255 / 256
1544088178.130 * * * * [misc]points:  Computing exacts for 4 points
1544088178.131 * * * * [misc]points:  Setting MPFR precision to 64
1544088178.131 * * * * [misc]points:  Setting MPFR precision to 320
1544088178.131 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088178.132 * * * * [exit]points:  Sampled 257 points with exact outputs
1544088178.132 * * * [misc]progress:  [2/2] Setting up program.
1544088178.136 * [misc]progress:  [Phase 2 of 3] Improving.
1544088178.137 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1544088178.138 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088178.175 * * [misc]simplify:  iters left: 5 (11 enodes)
1544088178.177 * * [misc]simplify:  iters left: 4 (12 enodes)
1544088178.182 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1544088178.197 * * [misc]progress:  iteration 1 / 4
1544088178.197 * * * [misc]progress:  picking best candidate
1544088178.203 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544088178.203 * * * [misc]progress:  localizing error
1544088178.222 * * * [misc]progress:  generating rewritten candidates
1544088178.222 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
1544088178.227 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544088178.229 * * * [misc]progress:  generating series expansions
1544088178.229 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
1544088178.234 * [misc]backup-simplify:  Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
1544088178.234 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
1544088178.235 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544088178.235 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088178.235 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.235 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.235 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.235 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088178.235 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.235 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.236 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544088178.236 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088178.236 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.236 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.236 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.236 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088178.236 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.236 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.237 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.237 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.237 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088178.237 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.238 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088178.238 * [misc]backup-simplify:  Simplify -1 into -1
1544088178.238 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.238 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.238 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.238 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.238 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.238 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.238 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.238 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.239 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.239 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.239 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.239 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.239 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.240 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.240 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.240 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.240 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.240 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.240 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.240 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.241 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.241 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.241 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.241 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.241 * [misc]backup-simplify:  Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
1544088178.241 * [misc]backup-simplify:  Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
1544088178.241 * [misc]approximate:  Taking taylor expansion of (- x 1) in (x) around 0
1544088178.241 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544088178.241 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.241 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.241 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.241 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.241 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.241 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544088178.241 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.241 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.241 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.241 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.241 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.241 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.241 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088178.242 * [misc]backup-simplify:  Simplify -1 into -1
1544088178.242 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.242 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.242 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.242 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.242 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.242 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.243 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.243 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.243 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.243 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.243 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.243 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.243 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.243 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.243 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.243 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
1544088178.244 * [misc]backup-simplify:  Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
1544088178.244 * [misc]approximate:  Taking taylor expansion of (- (+ x 1)) in (x) around 0
1544088178.244 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544088178.244 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544088178.244 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.244 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.244 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.244 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.244 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.244 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544088178.244 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544088178.244 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.244 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.244 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.244 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.244 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.244 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544088178.244 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.244 * [misc]backup-simplify:  Simplify -1 into -1
1544088178.245 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.245 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.245 * [misc]backup-simplify:  Simplify -1 into -1
1544088178.245 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.245 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.245 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.245 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.245 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.245 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.245 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.245 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.245 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.245 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.246 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.246 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.246 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.246 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.246 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.246 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.246 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.246 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.246 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
1544088178.246 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544088178.246 * [misc]backup-simplify:  Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
1544088178.246 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1544088178.246 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1544088178.246 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544088178.246 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088178.247 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.247 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.247 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.247 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088178.247 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.247 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.247 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.247 * [misc]backup-simplify:  Simplify (log 1) into 0
1544088178.247 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1544088178.247 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1544088178.247 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088178.247 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.247 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.247 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.247 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088178.247 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.247 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.247 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.248 * [misc]backup-simplify:  Simplify (log 1) into 0
1544088178.248 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544088178.248 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544088178.248 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088178.248 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.249 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088178.250 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1544088178.250 * [misc]backup-simplify:  Simplify -1 into -1
1544088178.251 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088178.251 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.251 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.254 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544088178.254 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544088178.254 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1544088178.254 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
1544088178.254 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1544088178.254 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1544088178.254 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544088178.254 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.254 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.254 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.254 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.254 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.254 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.255 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088178.256 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544088178.256 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1544088178.256 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1544088178.256 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.256 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.256 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.256 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.256 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.256 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.257 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088178.257 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544088178.257 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544088178.257 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.257 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.260 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544088178.260 * [misc]backup-simplify:  Simplify -1 into -1
1544088178.261 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.261 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.265 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544088178.265 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544088178.265 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544088178.266 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
1544088178.266 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1544088178.266 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1544088178.266 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544088178.266 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544088178.266 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.266 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.266 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.266 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.266 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.266 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544088178.266 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.266 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.267 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544088178.267 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1544088178.267 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1544088178.267 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544088178.267 * [misc]taylor:  Taking taylor expansion of x in x
1544088178.267 * [misc]backup-simplify:  Simplify 0 into 0
1544088178.267 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.267 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088178.267 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.267 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544088178.267 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.267 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.268 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544088178.268 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544088178.268 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544088178.268 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.268 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.271 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1544088178.271 * [misc]backup-simplify:  Simplify 1 into 1
1544088178.271 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.271 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.271 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088178.272 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088178.272 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088178.276 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544088178.276 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544088178.276 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544088178.277 * * * [misc]progress:  simplifying candidates
1544088178.277 * * * * [misc]progress:  [ 1 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
1544088178.277 * * * * [misc]progress:  [ 2 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1544088178.277 * * * * [misc]progress:  [ 3 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
1544088178.277 * * * * [misc]progress:  [ 4 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
1544088178.277 * * * * [misc]progress:  [ 5 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
1544088178.277 * * * * [misc]progress:  [ 6 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
1544088178.277 * * * * [misc]progress:  [ 7 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
1544088178.278 * * * * [misc]progress:  [ 8 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
1544088178.278 * * * * [misc]progress:  [ 9 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
1544088178.278 * * * * [misc]progress:  [ 10 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
1544088178.278 * * * * [misc]progress:  [ 11 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088178.278 * [enter]simplify:  Simplifying (+ (sqrt (/ 1 x)) 1)
1544088178.278 * * [misc]simplify:  iters left: 5 (5 enodes)
1544088178.280 * * [misc]simplify:  iters left: 4 (8 enodes)
1544088178.282 * [exit]simplify:  Simplified to (+ (sqrt (/ 1 x)) 1)
1544088178.282 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
1544088178.282 * * * * [misc]progress:  [ 12 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
1544088178.282 * * * * [misc]progress:  [ 13 / 33 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
1544088178.282 * [enter]simplify:  Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544088178.282 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088178.285 * * [misc]simplify:  iters left: 5 (14 enodes)
1544088178.289 * * [misc]simplify:  iters left: 4 (15 enodes)
1544088178.292 * [exit]simplify:  Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1544088178.292 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))
1544088178.292 * * * * [misc]progress:  [ 14 / 33 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1544088178.293 * [enter]simplify:  Simplifying (log (sqrt (- (/ 1 x) 1)))
1544088178.293 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088178.306 * * [misc]simplify:  iters left: 5 (11 enodes)
1544088178.309 * * [misc]simplify:  iters left: 4 (12 enodes)
1544088178.312 * [exit]simplify:  Simplified to (log (sqrt (- (/ 1 x) 1)))
1544088178.312 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1544088178.312 * * * * [misc]progress:  [ 15 / 33 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
1544088178.312 * [enter]simplify:  Simplifying (log 1)
1544088178.312 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088178.313 * [exit]simplify:  Simplified to 0
1544088178.313 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
1544088178.314 * * * * [misc]progress:  [ 16 / 33 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
1544088178.314 * [enter]simplify:  Simplifying (log (+ (sqrt (/ 1 x)) 1))
1544088178.314 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088178.316 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088178.318 * [exit]simplify:  Simplified to (log (+ (sqrt (/ 1 x)) 1))
1544088178.318 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))
1544088178.318 * * * * [misc]progress:  [ 17 / 33 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
1544088178.318 * [enter]simplify:  Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
1544088178.318 * * [misc]simplify:  iters left: 6 (8 enodes)
1544088178.323 * * [misc]simplify:  iters left: 5 (20 enodes)
1544088178.328 * * [misc]simplify:  iters left: 4 (32 enodes)
1544088178.338 * * [misc]simplify:  iters left: 3 (41 enodes)
1544088178.350 * * [misc]simplify:  iters left: 2 (49 enodes)
1544088178.361 * * [misc]simplify:  iters left: 1 (56 enodes)
1544088178.376 * [exit]simplify:  Simplified to (log (- (/ (/ 1 x) (* x x)) 1))
1544088178.376 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))
1544088178.376 * * * * [misc]progress:  [ 18 / 33 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
1544088178.377 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1544088178.377 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088178.380 * * [misc]simplify:  iters left: 5 (16 enodes)
1544088178.384 * * [misc]simplify:  iters left: 4 (17 enodes)
1544088178.388 * * [misc]simplify:  iters left: 3 (24 enodes)
1544088178.391 * * [misc]simplify:  iters left: 2 (35 enodes)
1544088178.397 * * [misc]simplify:  iters left: 1 (57 enodes)
1544088178.413 * [exit]simplify:  Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1))
1544088178.413 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1)))))
1544088178.413 * * * * [misc]progress:  [ 19 / 33 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1544088178.413 * * * * [misc]progress:  [ 20 / 33 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
1544088178.413 * * * * [misc]progress:  [ 21 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544088178.413 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544088178.413 * * [misc]simplify:  iters left: 4 (4 enodes)
1544088178.415 * * [misc]simplify:  iters left: 3 (9 enodes)
1544088178.417 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088178.419 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544088178.419 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544088178.419 * * * * [misc]progress:  [ 22 / 33 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
1544088178.419 * * * * [misc]progress:  [ 23 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1544088178.420 * * * * [misc]progress:  [ 24 / 33 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
1544088178.420 * * * * [misc]progress:  [ 25 / 33 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
1544088178.420 * * * * [misc]progress:  [ 26 / 33 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1544088178.420 * * * * [misc]progress:  [ 27 / 33 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1544088178.420 * * * * [misc]progress:  [ 28 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544088178.420 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544088178.420 * * [misc]simplify:  iters left: 4 (4 enodes)
1544088178.422 * * [misc]simplify:  iters left: 3 (9 enodes)
1544088178.424 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088178.426 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544088178.426 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544088178.426 * * * * [misc]progress:  [ 29 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544088178.426 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544088178.427 * * [misc]simplify:  iters left: 4 (4 enodes)
1544088178.429 * * [misc]simplify:  iters left: 3 (9 enodes)
1544088178.431 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088178.433 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544088178.433 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544088178.433 * * * * [misc]progress:  [ 30 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1544088178.433 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1544088178.433 * * [misc]simplify:  iters left: 4 (4 enodes)
1544088178.435 * * [misc]simplify:  iters left: 3 (9 enodes)
1544088178.437 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088178.440 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544088178.440 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1544088178.440 * * * * [misc]progress:  [ 31 / 33 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
1544088178.440 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1544088178.440 * * [misc]simplify:  iters left: 6 (9 enodes)
1544088178.443 * * [misc]simplify:  iters left: 5 (18 enodes)
1544088178.451 * * [misc]simplify:  iters left: 4 (34 enodes)
1544088178.463 * * [misc]simplify:  iters left: 3 (75 enodes)
1544088178.487 * * [misc]simplify:  iters left: 2 (104 enodes)
1544088178.509 * * [misc]simplify:  iters left: 1 (140 enodes)
1544088178.549 * [exit]simplify:  Simplified to (- (* (* x x) -1/2) (+ x (log x)))
1544088178.549 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))
1544088178.549 * * * * [misc]progress:  [ 32 / 33 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1544088178.550 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544088178.550 * * [misc]simplify:  iters left: 6 (12 enodes)
1544088178.555 * * [misc]simplify:  iters left: 5 (23 enodes)
1544088178.562 * * [misc]simplify:  iters left: 4 (34 enodes)
1544088178.569 * * [misc]simplify:  iters left: 3 (62 enodes)
1544088178.579 * * [misc]simplify:  iters left: 2 (94 enodes)
1544088178.593 * * [misc]simplify:  iters left: 1 (125 enodes)
1544088178.623 * [exit]simplify:  Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))
1544088178.623 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))))
1544088178.623 * * * * [misc]progress:  [ 33 / 33 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1544088178.623 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1544088178.623 * * [misc]simplify:  iters left: 6 (12 enodes)
1544088178.626 * * [misc]simplify:  iters left: 5 (23 enodes)
1544088178.630 * * [misc]simplify:  iters left: 4 (34 enodes)
1544088178.637 * * [misc]simplify:  iters left: 3 (62 enodes)
1544088178.653 * * [misc]simplify:  iters left: 2 (94 enodes)
1544088178.678 * * [misc]simplify:  iters left: 1 (125 enodes)
1544088178.717 * [exit]simplify:  Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))
1544088178.717 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))))
1544088178.717 * * * [misc]progress:  adding candidates to table
1544088178.969 * * [misc]progress:  iteration 2 / 4
1544088178.969 * * * [misc]progress:  picking best candidate
1544088178.971 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088178.971 * * * [misc]progress:  localizing error
1544088178.987 * * * [misc]progress:  generating rewritten candidates
1544088178.987 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1544088179.007 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1)
1544088179.008 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1544088179.014 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1544088179.023 * * * [misc]progress:  generating series expansions
1544088179.023 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1544088179.024 * [misc]backup-simplify:  Simplify (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) into (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))
1544088179.024 * [misc]approximate:  Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in (x) around 0
1544088179.024 * [misc]taylor:  Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x
1544088179.024 * [misc]taylor:  Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x
1544088179.024 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.024 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.024 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.024 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.024 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.024 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.025 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.025 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.025 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.025 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.025 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x
1544088179.025 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.026 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.026 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.026 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.026 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.026 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.026 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.026 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.026 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.026 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.027 * [misc]taylor:  Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x
1544088179.027 * [misc]taylor:  Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x
1544088179.027 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.027 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.027 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.027 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.027 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.027 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.027 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.028 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.028 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.028 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.028 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x
1544088179.028 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.028 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.028 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.028 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.028 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.028 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.028 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.029 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.029 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.029 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088179.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088179.029 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544088179.029 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.030 * [misc]backup-simplify:  Simplify (+ +nan.0 1) into (- +nan.0)
1544088179.030 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088179.030 * [misc]backup-simplify:  Simplify (+ +nan.0 -1) into (- +nan.0)
1544088179.030 * [misc]backup-simplify:  Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0
1544088179.030 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.031 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088179.032 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.032 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.033 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088179.034 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.034 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.034 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.035 * [misc]backup-simplify:  Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0)
1544088179.036 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.036 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.037 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.037 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.038 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.039 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.039 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.039 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.042 * [misc]backup-simplify:  Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0)
1544088179.042 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.043 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.044 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.044 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.045 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.046 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.047 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.047 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.050 * [misc]backup-simplify:  Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))))) into (- +nan.0)
1544088179.050 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.051 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow x 2)) (+ (* (- +nan.0) x) (- +nan.0))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088179.051 * [misc]backup-simplify:  Simplify (* (+ (sqrt (/ 1 (/ 1 x))) 1) (- (sqrt (/ 1 (/ 1 x))) 1)) into (* (- (sqrt x) 1) (+ (sqrt x) 1))
1544088179.051 * [misc]approximate:  Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in (x) around 0
1544088179.051 * [misc]taylor:  Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x
1544088179.051 * [misc]taylor:  Taking taylor expansion of (- (sqrt x) 1) in x
1544088179.051 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.051 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.051 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.051 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.051 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.052 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.052 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.052 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.052 * [misc]taylor:  Taking taylor expansion of (+ (sqrt x) 1) in x
1544088179.052 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.052 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.052 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.052 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.052 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.053 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.053 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.053 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.053 * [misc]taylor:  Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x
1544088179.053 * [misc]taylor:  Taking taylor expansion of (- (sqrt x) 1) in x
1544088179.053 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.053 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.053 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.053 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.053 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.054 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.054 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.054 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.054 * [misc]taylor:  Taking taylor expansion of (+ (sqrt x) 1) in x
1544088179.054 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.054 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.054 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.054 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.054 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.055 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.055 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.055 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.055 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088179.055 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088179.055 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544088179.055 * [misc]backup-simplify:  Simplify (* -1 1) into -1
1544088179.055 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.056 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.056 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.056 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.057 * [misc]backup-simplify:  Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0)
1544088179.057 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.058 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.058 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.059 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.059 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.060 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.061 * [misc]backup-simplify:  Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0)
1544088179.061 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.062 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088179.062 * [misc]backup-simplify:  Simplify (* (+ (sqrt (/ 1 (/ 1 (- x)))) 1) (- (sqrt (/ 1 (/ 1 (- x)))) 1)) into (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))
1544088179.062 * [misc]approximate:  Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in (x) around 0
1544088179.062 * [misc]taylor:  Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x
1544088179.062 * [misc]taylor:  Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x
1544088179.062 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.062 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.062 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.062 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.062 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.062 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.062 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.063 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.063 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.063 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.063 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.063 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.063 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.063 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x
1544088179.063 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.063 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.063 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.063 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.064 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.064 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.064 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.064 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.064 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.064 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.064 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.064 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.064 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.064 * [misc]taylor:  Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x
1544088179.064 * [misc]taylor:  Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x
1544088179.064 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.064 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.064 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.064 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.064 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.064 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.064 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.064 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.065 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.065 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.065 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.065 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.065 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.065 * [misc]taylor:  Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x
1544088179.065 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.065 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.065 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.065 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.065 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.065 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.065 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.065 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.065 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.066 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.066 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.066 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.066 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.066 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088179.066 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088179.066 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544088179.066 * [misc]backup-simplify:  Simplify (* -1 1) into -1
1544088179.066 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.066 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.067 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.067 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.067 * [misc]backup-simplify:  Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0)
1544088179.067 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.069 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088179.069 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.070 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.070 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088179.070 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.070 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.071 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.072 * [misc]backup-simplify:  Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0)
1544088179.072 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.072 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088179.072 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1)
1544088179.072 * [misc]backup-simplify:  Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
1544088179.072 * [misc]approximate:  Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
1544088179.072 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.072 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.072 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.072 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.072 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.072 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.072 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.073 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.073 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.073 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.073 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.073 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.073 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.073 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.073 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.073 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.073 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.073 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.074 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088179.074 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.074 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.074 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.075 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.075 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.075 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088179.075 * [misc]backup-simplify:  Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x)
1544088179.076 * [misc]approximate:  Taking taylor expansion of (sqrt x) in (x) around 0
1544088179.076 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.076 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.076 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.076 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.076 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.076 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.076 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.076 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.076 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.076 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.076 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.076 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.076 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.076 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.077 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.077 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.078 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.078 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.078 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088179.078 * [misc]backup-simplify:  Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x))
1544088179.078 * [misc]approximate:  Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0
1544088179.078 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.078 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.078 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.078 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.078 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.078 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.078 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.079 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.079 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.079 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.079 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.079 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.079 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.079 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.079 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.079 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.079 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.079 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.079 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.079 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.080 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.080 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.080 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.080 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.080 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088179.081 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.081 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.081 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088179.082 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.082 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.082 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088179.082 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1544088179.082 * [misc]backup-simplify:  Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
1544088179.082 * [misc]approximate:  Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
1544088179.082 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.082 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.082 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.082 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.082 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.082 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.082 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.083 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.083 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.083 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.083 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.083 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.083 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.083 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.083 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.083 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.083 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.083 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.083 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088179.084 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.084 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.084 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.085 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.085 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.085 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088179.085 * [misc]backup-simplify:  Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x)
1544088179.085 * [misc]approximate:  Taking taylor expansion of (sqrt x) in (x) around 0
1544088179.085 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.085 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.085 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.085 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.086 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.086 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.086 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.086 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.086 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.086 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.086 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.086 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.086 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.086 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.087 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.087 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.088 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.088 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.088 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088179.088 * [misc]backup-simplify:  Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x))
1544088179.088 * [misc]approximate:  Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0
1544088179.088 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.088 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.088 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.088 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.088 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.088 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.088 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.088 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.088 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.089 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.089 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.089 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.089 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.089 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.089 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.089 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.089 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.089 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.089 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.089 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.089 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.090 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.090 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.090 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.090 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088179.090 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.091 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.091 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088179.091 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.091 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544088179.092 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088179.092 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1544088179.092 * [misc]backup-simplify:  Simplify (- (sqrt (/ 1 x)) 1) into (- (sqrt (/ 1 x)) 1)
1544088179.092 * [misc]approximate:  Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in (x) around 0
1544088179.092 * [misc]taylor:  Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x
1544088179.092 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.092 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.092 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.092 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.092 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.092 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.092 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.092 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.092 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.092 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.092 * [misc]taylor:  Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x
1544088179.093 * [misc]taylor:  Taking taylor expansion of (sqrt (/ 1 x)) in x
1544088179.093 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544088179.093 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.093 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.093 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.093 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088179.093 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.093 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.093 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.093 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.093 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544088179.093 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.093 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088179.093 * [misc]backup-simplify:  Simplify (+ +nan.0 -1) into (- +nan.0)
1544088179.094 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.094 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088179.094 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.094 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.095 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.095 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.095 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088179.096 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544088179.096 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.097 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.097 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.097 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow x 2)) (+ (* (- +nan.0) x) (- +nan.0))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088179.097 * [misc]backup-simplify:  Simplify (- (sqrt (/ 1 (/ 1 x))) 1) into (- (sqrt x) 1)
1544088179.098 * [misc]approximate:  Taking taylor expansion of (- (sqrt x) 1) in (x) around 0
1544088179.098 * [misc]taylor:  Taking taylor expansion of (- (sqrt x) 1) in x
1544088179.098 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.098 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.098 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.098 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.098 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.098 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.098 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.098 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.098 * [misc]taylor:  Taking taylor expansion of (- (sqrt x) 1) in x
1544088179.099 * [misc]taylor:  Taking taylor expansion of (sqrt x) in x
1544088179.099 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.099 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.099 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.099 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.099 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544088179.099 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.099 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.099 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088179.100 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088179.100 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.100 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.100 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.100 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.101 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.101 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.102 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.102 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.102 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088179.102 * [misc]backup-simplify:  Simplify (- (sqrt (/ 1 (/ 1 (- x)))) 1) into (- (sqrt (* -1 x)) 1)
1544088179.102 * [misc]approximate:  Taking taylor expansion of (- (sqrt (* -1 x)) 1) in (x) around 0
1544088179.102 * [misc]taylor:  Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x
1544088179.102 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.103 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.103 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.103 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.103 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.103 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.103 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.103 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.103 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.103 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.104 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.104 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.104 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.104 * [misc]taylor:  Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x
1544088179.104 * [misc]taylor:  Taking taylor expansion of (sqrt (* -1 x)) in x
1544088179.104 * [misc]taylor:  Taking taylor expansion of (* -1 x) in x
1544088179.104 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088179.104 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.104 * [misc]taylor:  Taking taylor expansion of x in x
1544088179.104 * [misc]backup-simplify:  Simplify 0 into 0
1544088179.104 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.104 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544088179.104 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088179.105 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544088179.105 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544088179.105 * [misc]taylor:  Taking taylor expansion of 1 in x
1544088179.105 * [misc]backup-simplify:  Simplify 1 into 1
1544088179.105 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088179.105 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544088179.106 * [misc]backup-simplify:  Simplify -1 into -1
1544088179.106 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.106 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.106 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.106 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088179.107 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544088179.108 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088179.108 * [misc]backup-simplify:  Simplify (+ +nan.0 0) into (- +nan.0)
1544088179.108 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1544088179.108 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088179.109 * * * [misc]progress:  simplifying candidates
1544088179.109 * * * * [misc]progress:  [ 1 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (pow (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1))))>
1544088179.109 * [enter]simplify:  Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))
1544088179.109 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088179.112 * * [misc]simplify:  iters left: 5 (14 enodes)
1544088179.116 * * [misc]simplify:  iters left: 4 (29 enodes)
1544088179.132 * * [misc]simplify:  iters left: 3 (60 enodes)
1544088179.155 * * [misc]simplify:  iters left: 2 (156 enodes)
1544088179.244 * * [misc]simplify:  iters left: 1 (354 enodes)
1544088179.419 * [exit]simplify:  Simplified to (+ -1 (/ 1 x))
1544088179.419 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (pow (+ -1 (/ 1 x)) 1))))
1544088179.419 * * * * [misc]progress:  [ 2 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (pow (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1))))>
1544088179.419 * * * * [misc]progress:  [ 3 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (exp (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))))>
1544088179.420 * [enter]simplify:  Simplifying (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))
1544088179.420 * * [misc]simplify:  iters left: 6 (9 enodes)
1544088179.422 * * [misc]simplify:  iters left: 5 (16 enodes)
1544088179.424 * * [misc]simplify:  iters left: 4 (17 enodes)
1544088179.425 * [exit]simplify:  Simplified to (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))
1544088179.426 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (exp (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))))
1544088179.426 * * * * [misc]progress:  [ 4 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
1544088179.426 * * * * [misc]progress:  [ 5 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
1544088179.426 * * * * [misc]progress:  [ 6 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) (+ (sqrt (/ 1 x)) 1)) (* (* (- (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))))))>
1544088179.426 * [enter]simplify:  Simplifying (* (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) (+ (sqrt (/ 1 x)) 1)) (* (* (- (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))
1544088179.426 * * [misc]simplify:  iters left: 6 (11 enodes)
1544088179.429 * * [misc]simplify:  iters left: 5 (36 enodes)
1544088179.439 * * [misc]simplify:  iters left: 4 (114 enodes)
1544088179.511 * [exit]simplify:  Simplified to (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3))
1544088179.511 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (cbrt (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3))))))
1544088179.511 * * * * [misc]progress:  [ 7 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))) (cbrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) (cbrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
1544088179.511 * * * * [misc]progress:  [ 8 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))) (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
1544088179.511 * * * * [misc]progress:  [ 9 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))) (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
1544088179.511 * * * * [misc]progress:  [ 10 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))))>
1544088179.511 * [enter]simplify:  Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))
1544088179.511 * * [misc]simplify:  iters left: 6 (10 enodes)
1544088179.514 * * [misc]simplify:  iters left: 5 (22 enodes)
1544088179.516 * * [misc]simplify:  iters left: 4 (39 enodes)
1544088179.533 * * [misc]simplify:  iters left: 3 (105 enodes)
1544088179.567 * * [misc]simplify:  iters left: 2 (211 enodes)
1544088179.672 * * [misc]simplify:  iters left: 1 (452 enodes)
1544088179.877 * [exit]simplify:  Simplified to (+ -1 (pow (/ 1 x) 3))
1544088179.877 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (+ -1 (pow (/ 1 x) 3)) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))))
1544088179.878 * [enter]simplify:  Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))
1544088179.878 * * [misc]simplify:  iters left: 6 (12 enodes)
1544088179.883 * * [misc]simplify:  iters left: 5 (32 enodes)
1544088179.890 * * [misc]simplify:  iters left: 4 (96 enodes)
1544088179.927 * * [misc]simplify:  iters left: 3 (369 enodes)
1544088180.201 * [exit]simplify:  Simplified to (* (- (+ (/ 1 x) 1) (sqrt (/ 1 x))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))))
1544088180.201 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (+ -1 (pow (/ 1 x) 3)) (* (- (+ (/ 1 x) 1) (sqrt (/ 1 x))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))))))))
1544088180.201 * * * * [misc]progress:  [ 11 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1))))))>
1544088180.201 * [enter]simplify:  Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))
1544088180.201 * * [misc]simplify:  iters left: 6 (12 enodes)
1544088180.206 * * [misc]simplify:  iters left: 5 (22 enodes)
1544088180.209 * * [misc]simplify:  iters left: 4 (40 enodes)
1544088180.218 * * [misc]simplify:  iters left: 3 (84 enodes)
1544088180.238 * * [misc]simplify:  iters left: 2 (234 enodes)
1544088180.480 * [exit]simplify:  Simplified to (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1))
1544088180.480 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1)) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1))))))
1544088180.480 * [enter]simplify:  Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1))
1544088180.480 * * [misc]simplify:  iters left: 6 (11 enodes)
1544088180.482 * * [misc]simplify:  iters left: 5 (28 enodes)
1544088180.489 * * [misc]simplify:  iters left: 4 (73 enodes)
1544088180.509 * * [misc]simplify:  iters left: 3 (196 enodes)
1544088180.628 * [exit]simplify:  Simplified to (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x))))
1544088180.628 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1)) (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x))))))))
1544088180.628 * * * * [misc]progress:  [ 12 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))))>
1544088180.628 * [enter]simplify:  Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))
1544088180.629 * * [misc]simplify:  iters left: 6 (12 enodes)
1544088180.634 * * [misc]simplify:  iters left: 5 (23 enodes)
1544088180.640 * * [misc]simplify:  iters left: 4 (38 enodes)
1544088180.647 * * [misc]simplify:  iters left: 3 (86 enodes)
1544088180.684 * * [misc]simplify:  iters left: 2 (274 enodes)
1544088181.005 * [exit]simplify:  Simplified to (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1))
1544088181.005 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))))
1544088181.005 * [enter]simplify:  Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))
1544088181.005 * * [misc]simplify:  iters left: 6 (11 enodes)
1544088181.008 * * [misc]simplify:  iters left: 5 (29 enodes)
1544088181.013 * * [misc]simplify:  iters left: 4 (76 enodes)
1544088181.054 * * [misc]simplify:  iters left: 3 (239 enodes)
1544088181.204 * [exit]simplify:  Simplified to (* (- (sqrt (/ 1 x)) 1) (+ (+ (/ 1 x) 1) (sqrt (/ 1 x))))
1544088181.204 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (+ (/ 1 x) 1) (sqrt (/ 1 x))))))))
1544088181.204 * * * * [misc]progress:  [ 13 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))))))>
1544088181.205 * [enter]simplify:  Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))
1544088181.205 * * [misc]simplify:  iters left: 6 (8 enodes)
1544088181.208 * * [misc]simplify:  iters left: 5 (13 enodes)
1544088181.211 * * [misc]simplify:  iters left: 4 (17 enodes)
1544088181.216 * * [misc]simplify:  iters left: 3 (24 enodes)
1544088181.223 * * [misc]simplify:  iters left: 2 (74 enodes)
1544088181.269 * * [misc]simplify:  iters left: 1 (310 enodes)
1544088181.538 * [exit]simplify:  Simplified to (* (- (/ 1 x) 1) (- (/ 1 x) 1))
1544088181.538 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))))))
1544088181.538 * [enter]simplify:  Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))
1544088181.538 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088181.541 * * [misc]simplify:  iters left: 5 (20 enodes)
1544088181.553 * * [misc]simplify:  iters left: 4 (40 enodes)
1544088181.567 * * [misc]simplify:  iters left: 3 (107 enodes)
1544088181.607 * * [misc]simplify:  iters left: 2 (255 enodes)
1544088181.700 * * [misc]simplify:  iters left: 1 (405 enodes)
1544088181.895 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1544088181.895 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1)))))
1544088181.895 * * * * [misc]progress:  [ 14 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))))>
1544088181.896 * * * * [misc]progress:  [ 15 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (* (+ (sqrt (/ 1 x)) 1) (- 1))))))>
1544088181.896 * [enter]simplify:  Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1))
1544088181.896 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088181.899 * * [misc]simplify:  iters left: 5 (14 enodes)
1544088181.902 * * [misc]simplify:  iters left: 4 (16 enodes)
1544088181.911 * * [misc]simplify:  iters left: 3 (35 enodes)
1544088181.921 * * [misc]simplify:  iters left: 2 (54 enodes)
1544088181.935 * [exit]simplify:  Simplified to (- -1 (sqrt (/ 1 x)))
1544088181.935 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (- -1 (sqrt (/ 1 x)))))))
1544088181.936 * * * * [misc]progress:  [ 16 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (* (+ (sqrt (/ 1 x)) 1) (- 1))))))>
1544088181.936 * [enter]simplify:  Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1))
1544088181.936 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088181.937 * * [misc]simplify:  iters left: 5 (14 enodes)
1544088181.939 * * [misc]simplify:  iters left: 4 (16 enodes)
1544088181.944 * * [misc]simplify:  iters left: 3 (35 enodes)
1544088181.948 * * [misc]simplify:  iters left: 2 (54 enodes)
1544088181.956 * [exit]simplify:  Simplified to (- -1 (sqrt (/ 1 x)))
1544088181.956 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (- -1 (sqrt (/ 1 x)))))))
1544088181.956 * * * * [misc]progress:  [ 17 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (* (- 1) (+ (sqrt (/ 1 x)) 1))))))>
1544088181.956 * [enter]simplify:  Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1))
1544088181.956 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088181.959 * * [misc]simplify:  iters left: 5 (20 enodes)
1544088181.965 * * [misc]simplify:  iters left: 4 (32 enodes)
1544088181.973 * * [misc]simplify:  iters left: 3 (39 enodes)
1544088181.983 * * [misc]simplify:  iters left: 2 (44 enodes)
1544088181.993 * * [misc]simplify:  iters left: 1 (45 enodes)
1544088182.001 * [exit]simplify:  Simplified to (- -1 (sqrt (/ 1 x)))
1544088182.001 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x)))))))
1544088182.001 * * * * [misc]progress:  [ 18 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (* (- 1) (+ (sqrt (/ 1 x)) 1))))))>
1544088182.001 * [enter]simplify:  Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1))
1544088182.001 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088182.006 * * [misc]simplify:  iters left: 5 (20 enodes)
1544088182.012 * * [misc]simplify:  iters left: 4 (32 enodes)
1544088182.021 * * [misc]simplify:  iters left: 3 (39 enodes)
1544088182.031 * * [misc]simplify:  iters left: 2 (44 enodes)
1544088182.039 * * [misc]simplify:  iters left: 1 (45 enodes)
1544088182.046 * [exit]simplify:  Simplified to (- -1 (sqrt (/ 1 x)))
1544088182.046 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x)))))))
1544088182.046 * * * * [misc]progress:  [ 19 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (* (cbrt (- (sqrt (/ 1 x)) 1)) (cbrt (- (sqrt (/ 1 x)) 1)))) (cbrt (- (sqrt (/ 1 x)) 1))))))>
1544088182.047 * [enter]simplify:  Simplifying (cbrt (- (sqrt (/ 1 x)) 1))
1544088182.047 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.049 * * [misc]simplify:  iters left: 5 (11 enodes)
1544088182.051 * * [misc]simplify:  iters left: 4 (12 enodes)
1544088182.054 * [exit]simplify:  Simplified to (cbrt (- (sqrt (/ 1 x)) 1))
1544088182.055 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (* (cbrt (- (sqrt (/ 1 x)) 1)) (cbrt (- (sqrt (/ 1 x)) 1)))) (cbrt (- (sqrt (/ 1 x)) 1))))))
1544088182.055 * * * * [misc]progress:  [ 20 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))))>
1544088182.055 * [enter]simplify:  Simplifying (sqrt (- (sqrt (/ 1 x)) 1))
1544088182.055 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.056 * * [misc]simplify:  iters left: 5 (11 enodes)
1544088182.058 * * [misc]simplify:  iters left: 4 (12 enodes)
1544088182.059 * [exit]simplify:  Simplified to (sqrt (- (sqrt (/ 1 x)) 1))
1544088182.059 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))))
1544088182.059 * * * * [misc]progress:  [ 21 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.059 * [enter]simplify:  Simplifying (- (sqrt (/ 1 x)) 1)
1544088182.059 * * [misc]simplify:  iters left: 5 (5 enodes)
1544088182.060 * * [misc]simplify:  iters left: 4 (10 enodes)
1544088182.061 * * [misc]simplify:  iters left: 3 (11 enodes)
1544088182.063 * [exit]simplify:  Simplified to (- (sqrt (/ 1 x)) 1)
1544088182.063 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.063 * * * * [misc]progress:  [ 22 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1)))))>
1544088182.063 * [enter]simplify:  Simplifying (- (sqrt (sqrt (/ 1 x))) 1)
1544088182.063 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.064 * * [misc]simplify:  iters left: 5 (11 enodes)
1544088182.065 * * [misc]simplify:  iters left: 4 (12 enodes)
1544088182.067 * [exit]simplify:  Simplified to (- (sqrt (sqrt (/ 1 x))) 1)
1544088182.067 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1)))))
1544088182.067 * * * * [misc]progress:  [ 23 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1)))))>
1544088182.067 * [enter]simplify:  Simplifying (- (sqrt (sqrt (/ 1 x))) 1)
1544088182.067 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.068 * * [misc]simplify:  iters left: 5 (11 enodes)
1544088182.069 * * [misc]simplify:  iters left: 4 (12 enodes)
1544088182.071 * [exit]simplify:  Simplified to (- (sqrt (sqrt (/ 1 x))) 1)
1544088182.071 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1)))))
1544088182.071 * * * * [misc]progress:  [ 24 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) (* (cbrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1))))))>
1544088182.071 * [enter]simplify:  Simplifying (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1)))
1544088182.071 * * [misc]simplify:  iters left: 6 (7 enodes)
1544088182.072 * * [misc]simplify:  iters left: 5 (10 enodes)
1544088182.073 * [exit]simplify:  Simplified to (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1)))
1544088182.073 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) (* (cbrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1))))))
1544088182.073 * * * * [misc]progress:  [ 25 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1))))))>
1544088182.074 * [enter]simplify:  Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
1544088182.074 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.074 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088182.075 * [exit]simplify:  Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
1544088182.075 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1))))))
1544088182.076 * * * * [misc]progress:  [ 26 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))))>
1544088182.076 * * * * [misc]progress:  [ 27 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))))))>
1544088182.076 * [enter]simplify:  Simplifying (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))
1544088182.076 * * [misc]simplify:  iters left: 6 (9 enodes)
1544088182.077 * * [misc]simplify:  iters left: 5 (17 enodes)
1544088182.080 * * [misc]simplify:  iters left: 4 (27 enodes)
1544088182.084 * * [misc]simplify:  iters left: 3 (35 enodes)
1544088182.089 * * [misc]simplify:  iters left: 2 (55 enodes)
1544088182.104 * * [misc]simplify:  iters left: 1 (82 enodes)
1544088182.115 * [exit]simplify:  Simplified to (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x)))
1544088182.115 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x)))))))
1544088182.115 * * * * [misc]progress:  [ 28 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (+ (sqrt (/ 1 x)) 1)))))>
1544088182.116 * [enter]simplify:  Simplifying (+ (sqrt (/ 1 x)) 1)
1544088182.116 * * [misc]simplify:  iters left: 5 (5 enodes)
1544088182.116 * * [misc]simplify:  iters left: 4 (8 enodes)
1544088182.117 * [exit]simplify:  Simplified to (+ (sqrt (/ 1 x)) 1)
1544088182.117 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (+ (sqrt (/ 1 x)) 1)))))
1544088182.117 * * * * [misc]progress:  [ 29 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (sqrt (/ 1 x)) 1)) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))))))>
1544088182.117 * [enter]simplify:  Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (sqrt (/ 1 x)) 1))
1544088182.118 * * [misc]simplify:  iters left: 6 (10 enodes)
1544088182.120 * * [misc]simplify:  iters left: 5 (22 enodes)
1544088182.122 * * [misc]simplify:  iters left: 4 (39 enodes)
1544088182.142 * * [misc]simplify:  iters left: 3 (94 enodes)
1544088182.183 * * [misc]simplify:  iters left: 2 (174 enodes)
1544088182.274 * * [misc]simplify:  iters left: 1 (347 enodes)
1544088182.452 * [exit]simplify:  Simplified to (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ 1 (/ -1 x))))
1544088182.452 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ 1 (/ -1 x)))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))))))
1544088182.452 * * * * [misc]progress:  [ 30 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (/ (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))))>
1544088182.453 * [enter]simplify:  Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (sqrt (/ 1 x)) 1))
1544088182.453 * * [misc]simplify:  iters left: 6 (9 enodes)
1544088182.457 * * [misc]simplify:  iters left: 5 (16 enodes)
1544088182.461 * * [misc]simplify:  iters left: 4 (26 enodes)
1544088182.470 * * [misc]simplify:  iters left: 3 (66 enodes)
1544088182.518 * * [misc]simplify:  iters left: 2 (195 enodes)
1544088182.587 * * [misc]simplify:  iters left: 1 (488 enodes)
1544088182.967 * [exit]simplify:  Simplified to (* (- (sqrt (/ 1 x)) 1) (- (/ 1 x) 1))
1544088182.967 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (sqrt (/ 1 x)) 1) (- (/ 1 x) 1)) (- (sqrt (/ 1 x)) 1)))))
1544088182.967 * * * * [misc]progress:  [ 31 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)))))>
1544088182.967 * * * * [misc]progress:  [ 32 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow (/ 1 x) 1/2) 1)))))>
1544088182.967 * * * * [misc]progress:  [ 33 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow (sqrt (/ 1 x)) 1) 1)))))>
1544088182.967 * * * * [misc]progress:  [ 34 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (sqrt (/ 1 x)))) 1)))))>
1544088182.967 * * * * [misc]progress:  [ 35 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (log (exp (sqrt (/ 1 x)))) 1)))))>
1544088182.967 * * * * [misc]progress:  [ 36 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (cbrt (sqrt (/ 1 x)))) 1)))))>
1544088182.967 * * * * [misc]progress:  [ 37 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (cbrt (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x)))) 1)))))>
1544088182.968 * * * * [misc]progress:  [ 38 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) (sqrt (cbrt (/ 1 x)))) 1)))))>
1544088182.968 * [enter]simplify:  Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))
1544088182.968 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.969 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088182.970 * [exit]simplify:  Simplified to (fabs (cbrt (/ 1 x)))
1544088182.970 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1)))))
1544088182.970 * * * * [misc]progress:  [ 39 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1)))))>
1544088182.970 * [enter]simplify:  Simplifying (sqrt (sqrt (/ 1 x)))
1544088182.970 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088182.971 * * [misc]simplify:  iters left: 3 (7 enodes)
1544088182.971 * [exit]simplify:  Simplified to (sqrt (sqrt (/ 1 x)))
1544088182.971 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1)))))
1544088182.971 * * * * [misc]progress:  [ 40 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt 1) (sqrt (/ 1 x))) 1)))))>
1544088182.972 * [enter]simplify:  Simplifying (sqrt 1)
1544088182.972 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088182.972 * [exit]simplify:  Simplified to 1
1544088182.972 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1)))))
1544088182.972 * * * * [misc]progress:  [ 41 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt 1) (sqrt (/ 1 x))) 1)))))>
1544088182.973 * [enter]simplify:  Simplifying (sqrt 1)
1544088182.973 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088182.973 * [exit]simplify:  Simplified to 1
1544088182.973 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1)))))
1544088182.973 * * * * [misc]progress:  [ 42 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
1544088182.973 * [enter]simplify:  Simplifying (sqrt 1)
1544088182.973 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088182.974 * [exit]simplify:  Simplified to 1
1544088182.974 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (/ 1 (sqrt x)) 1)))))
1544088182.974 * * * * [misc]progress:  [ 43 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1)))))>
1544088182.974 * * * * [misc]progress:  [ 44 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (fabs (sqrt (/ 1 x))) 1)))))>
1544088182.974 * [enter]simplify:  Simplifying (sqrt (/ 1 x))
1544088182.974 * * [misc]simplify:  iters left: 3 (4 enodes)
1544088182.975 * * [misc]simplify:  iters left: 2 (6 enodes)
1544088182.976 * [exit]simplify:  Simplified to (sqrt (/ 1 x))
1544088182.976 * [misc]simplify:  Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (fabs (sqrt (/ 1 x))) 1)))))
1544088182.976 * * * * [misc]progress:  [ 45 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 46 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (pow (/ 1 x) 1/2) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 47 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (pow (sqrt (/ 1 x)) 1) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 48 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (exp (log (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 49 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (log (exp (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 50 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (cbrt (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 51 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (cbrt (* (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * * * * [misc]progress:  [ 52 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) (sqrt (cbrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.976 * [enter]simplify:  Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x))))
1544088182.976 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.977 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088182.978 * [exit]simplify:  Simplified to (fabs (cbrt (/ 1 x)))
1544088182.978 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.978 * * * * [misc]progress:  [ 53 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.978 * [enter]simplify:  Simplifying (sqrt (sqrt (/ 1 x)))
1544088182.978 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088182.979 * * [misc]simplify:  iters left: 3 (7 enodes)
1544088182.980 * [exit]simplify:  Simplified to (sqrt (sqrt (/ 1 x)))
1544088182.980 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.980 * * * * [misc]progress:  [ 54 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* (sqrt 1) (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.980 * [enter]simplify:  Simplifying (sqrt 1)
1544088182.980 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088182.983 * [exit]simplify:  Simplified to 1
1544088182.983 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.983 * * * * [misc]progress:  [ 55 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* (sqrt 1) (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.983 * [enter]simplify:  Simplifying (sqrt 1)
1544088182.983 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088182.984 * [exit]simplify:  Simplified to 1
1544088182.984 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.984 * * * * [misc]progress:  [ 56 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.984 * [enter]simplify:  Simplifying (sqrt 1)
1544088182.984 * * [misc]simplify:  iters left: 1 (2 enodes)
1544088182.985 * [exit]simplify:  Simplified to 1
1544088182.985 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.985 * * * * [misc]progress:  [ 57 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.985 * * * * [misc]progress:  [ 58 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (fabs (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.985 * [enter]simplify:  Simplifying (sqrt (/ 1 x))
1544088182.985 * * [misc]simplify:  iters left: 3 (4 enodes)
1544088182.986 * * [misc]simplify:  iters left: 2 (6 enodes)
1544088182.986 * [exit]simplify:  Simplified to (sqrt (/ 1 x))
1544088182.986 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (fabs (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.986 * * * * [misc]progress:  [ 59 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.987 * * * * [misc]progress:  [ 60 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (pow (- (sqrt (/ 1 x)) 1) 1)))))>
1544088182.987 * * * * [misc]progress:  [ 61 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (exp (log (- (sqrt (/ 1 x)) 1)))))))>
1544088182.987 * * * * [misc]progress:  [ 62 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (log (exp (- (sqrt (/ 1 x)) 1)))))))>
1544088182.987 * * * * [misc]progress:  [ 63 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* (* (cbrt (- (sqrt (/ 1 x)) 1)) (cbrt (- (sqrt (/ 1 x)) 1))) (cbrt (- (sqrt (/ 1 x)) 1)))))))>
1544088182.987 * * * * [misc]progress:  [ 64 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (cbrt (* (* (- (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))))))>
1544088182.987 * * * * [misc]progress:  [ 65 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
1544088182.987 * * * * [misc]progress:  [ 66 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (/ (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))))>
1544088182.987 * * * * [misc]progress:  [ 67 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) (- 1))))))>
1544088182.987 * * * * [misc]progress:  [ 68 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* 1 (- (sqrt (/ 1 x)) 1))))))>
1544088182.987 * * * * [misc]progress:  [ 69 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (/ (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (+ (sqrt (/ 1 x)) 1))))))>
1544088182.987 * * * * [misc]progress:  [ 70 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* (+ (sqrt (sqrt (/ 1 x))) 1) (- (sqrt (sqrt (/ 1 x))) 1))))))>
1544088182.987 * [enter]simplify:  Simplifying (+ (sqrt (sqrt (/ 1 x))) 1)
1544088182.987 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.988 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088182.989 * [exit]simplify:  Simplified to (+ 1 (sqrt (sqrt (/ 1 x))))
1544088182.989 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* (+ 1 (sqrt (sqrt (/ 1 x)))) (- (sqrt (sqrt (/ 1 x))) 1))))))
1544088182.989 * * * * [misc]progress:  [ 71 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* (+ (sqrt (sqrt (/ 1 x))) 1) (- (sqrt (sqrt (/ 1 x))) 1))))))>
1544088182.989 * [enter]simplify:  Simplifying (+ (sqrt (sqrt (/ 1 x))) 1)
1544088182.989 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088182.990 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088182.991 * [exit]simplify:  Simplified to (+ 1 (sqrt (sqrt (/ 1 x))))
1544088182.991 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (* (+ 1 (sqrt (sqrt (/ 1 x)))) (- (sqrt (sqrt (/ 1 x))) 1))))))
1544088182.991 * * * * [misc]progress:  [ 72 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) (- 1))))))>
1544088182.991 * * * * [misc]progress:  [ 73 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))))))>
1544088182.992 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088182.992 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log +nan.0)))
1544088182.992 * * * * [misc]progress:  [ 74 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))))))>
1544088182.992 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088182.992 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log +nan.0)))
1544088182.992 * * * * [misc]progress:  [ 75 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))))))>
1544088182.992 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088182.992 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log +nan.0)))
1544088182.992 * * * * [misc]progress:  [ 76 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1)))))>
1544088182.992 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088182.992 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1)))))
1544088182.992 * * * * [misc]progress:  [ 77 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1)))))>
1544088182.992 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088182.992 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1)))))
1544088182.992 * * * * [misc]progress:  [ 78 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1)))))>
1544088182.992 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088182.992 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1)))))
1544088182.992 * * * * [misc]progress:  [ 79 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.993 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088182.993 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.993 * * * * [misc]progress:  [ 80 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.993 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088182.993 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.993 * * * * [misc]progress:  [ 81 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1) (- (sqrt (/ 1 x)) 1)))))>
1544088182.993 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
1544088182.993 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1)))))
1544088182.993 * * * * [misc]progress:  [ 82 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))))))>
1544088182.993 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1544088182.993 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) +nan.0))))
1544088182.993 * * * * [misc]progress:  [ 83 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))))))>
1544088182.993 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088182.993 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) +nan.0))))
1544088182.993 * * * * [misc]progress:  [ 84 / 84 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))))))>
1544088182.993 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x)))))
1544088182.993 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) +nan.0))))
1544088182.993 * * * [misc]progress:  adding candidates to table
1544088183.720 * [misc]progress:  [Phase 3 of 3] Extracting.
1544088183.720 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544088183.722 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
1544088183.722 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544088183.757 * * * * [misc]regimes:  Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544088183.794 * * * * [misc]regimes:  Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544088183.828 * * * * [misc]regimes:  Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544088183.872 * * * * [misc]regimes:  Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))> #<alt (λ (x) (- (log (- (/ 1 x) 1))))>)
1544088183.913 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1544088183.914 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1544088183.914 * * [misc]simplify:  iters left: 6 (6 enodes)
1544088183.914 * * [misc]simplify:  iters left: 5 (8 enodes)
1544088183.915 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1544088183.915 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544088183.952 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544088183.953 * * * * [misc]points:  Setting MPFR precision to 64
1544088183.954 * * * * [misc]points:  Setting MPFR precision to 320
1544088183.955 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544088183.957 * * * * [misc]points:  Setting MPFR precision to 64
1544088183.958 * * * * [misc]points:  Setting MPFR precision to 320
1544088183.959 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544088183.960 * * * * [misc]points:  Setting MPFR precision to 64
1544088183.962 * * * * [misc]points:  Setting MPFR precision to 320
1544088183.965 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544088183.972 * * * * [misc]points:  Setting MPFR precision to 64
1544088183.976 * * * * [misc]points:  Setting MPFR precision to 320
1544088183.979 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544088183.980 * * * * [misc]points:  Setting MPFR precision to 64
1544088183.984 * * * * [misc]points:  Setting MPFR precision to 320
1544088183.988 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544088183.989 * * * * [misc]points:  Setting MPFR precision to 64
1544088183.997 * * * * [misc]points:  Setting MPFR precision to 320
1544088184.006 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544088184.007 * * * * [misc]points:  Setting MPFR precision to 64
1544088184.029 * * * * [misc]points:  Setting MPFR precision to 320
1544088184.062 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544088184.064 * * * * [misc]points:  Setting MPFR precision to 64
1544088184.156 * * * * [misc]points:  Setting MPFR precision to 320
1544088184.212 * * * * [misc]points:  Computing exacts for 8000 points
1544088184.214 * * * * [misc]points:  Setting MPFR precision to 64
1544088184.853 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.184 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088185.186 * * * * [misc]points:  Sampling 5961 additional inputs, on iter 1 have 2039 / 8000
1544088185.215 * * * * [misc]points:  Computing exacts on every 372 of 5961 points to ramp up precision
1544088185.217 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.218 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.218 * * * * [misc]points:  Computing exacts on every 186 of 5961 points to ramp up precision
1544088185.220 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.221 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.222 * * * * [misc]points:  Computing exacts on every 93 of 5961 points to ramp up precision
1544088185.224 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.226 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.229 * * * * [misc]points:  Computing exacts on every 46 of 5961 points to ramp up precision
1544088185.231 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.235 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.239 * * * * [misc]points:  Computing exacts on every 23 of 5961 points to ramp up precision
1544088185.241 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.249 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.258 * * * * [misc]points:  Computing exacts on every 11 of 5961 points to ramp up precision
1544088185.260 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.294 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.305 * * * * [misc]points:  Computing exacts on every 5 of 5961 points to ramp up precision
1544088185.307 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.331 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.349 * * * * [misc]points:  Computing exacts on every 2 of 5961 points to ramp up precision
1544088185.350 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.396 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.492 * * * * [misc]points:  Computing exacts for 5961 points
1544088185.493 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.663 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.920 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088185.922 * * * * [misc]points:  Sampling 4412 additional inputs, on iter 2 have 3588 / 8000
1544088185.939 * * * * [misc]points:  Computing exacts on every 275 of 4412 points to ramp up precision
1544088185.941 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.941 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.941 * * * * [misc]points:  Computing exacts on every 137 of 4412 points to ramp up precision
1544088185.942 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.943 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.944 * * * * [misc]points:  Computing exacts on every 68 of 4412 points to ramp up precision
1544088185.945 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.946 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.947 * * * * [misc]points:  Computing exacts on every 34 of 4412 points to ramp up precision
1544088185.948 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.950 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.953 * * * * [misc]points:  Computing exacts on every 17 of 4412 points to ramp up precision
1544088185.954 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.958 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.962 * * * * [misc]points:  Computing exacts on every 8 of 4412 points to ramp up precision
1544088185.964 * * * * [misc]points:  Setting MPFR precision to 64
1544088185.979 * * * * [misc]points:  Setting MPFR precision to 320
1544088185.994 * * * * [misc]points:  Computing exacts on every 4 of 4412 points to ramp up precision
1544088185.995 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.040 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.069 * * * * [misc]points:  Computing exacts on every 2 of 4412 points to ramp up precision
1544088186.072 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.108 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.133 * * * * [misc]points:  Computing exacts for 4412 points
1544088186.134 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.271 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.396 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088186.397 * * * * [misc]points:  Sampling 3267 additional inputs, on iter 3 have 4733 / 8000
1544088186.412 * * * * [misc]points:  Computing exacts on every 204 of 3267 points to ramp up precision
1544088186.414 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.415 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.415 * * * * [misc]points:  Computing exacts on every 102 of 3267 points to ramp up precision
1544088186.417 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.418 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.420 * * * * [misc]points:  Computing exacts on every 51 of 3267 points to ramp up precision
1544088186.421 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.423 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.426 * * * * [misc]points:  Computing exacts on every 25 of 3267 points to ramp up precision
1544088186.428 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.432 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.436 * * * * [misc]points:  Computing exacts on every 12 of 3267 points to ramp up precision
1544088186.438 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.446 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.454 * * * * [misc]points:  Computing exacts on every 6 of 3267 points to ramp up precision
1544088186.456 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.471 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.501 * * * * [misc]points:  Computing exacts on every 3 of 3267 points to ramp up precision
1544088186.503 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.519 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.548 * * * * [misc]points:  Computing exacts for 3267 points
1544088186.550 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.649 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.746 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088186.747 * * * * [misc]points:  Sampling 2436 additional inputs, on iter 4 have 5564 / 8000
1544088186.755 * * * * [misc]points:  Computing exacts on every 152 of 2436 points to ramp up precision
1544088186.758 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.758 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.759 * * * * [misc]points:  Computing exacts on every 76 of 2436 points to ramp up precision
1544088186.761 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.762 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.763 * * * * [misc]points:  Computing exacts on every 38 of 2436 points to ramp up precision
1544088186.765 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.767 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.770 * * * * [misc]points:  Computing exacts on every 19 of 2436 points to ramp up precision
1544088186.772 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.776 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.780 * * * * [misc]points:  Computing exacts on every 9 of 2436 points to ramp up precision
1544088186.782 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.790 * * * * [misc]points:  Setting MPFR precision to 320
1544088186.798 * * * * [misc]points:  Computing exacts on every 4 of 2436 points to ramp up precision
1544088186.800 * * * * [misc]points:  Setting MPFR precision to 64
1544088186.815 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.209 * * * * [misc]points:  Computing exacts on every 2 of 2436 points to ramp up precision
1544088187.211 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.227 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.254 * * * * [misc]points:  Computing exacts for 2436 points
1544088187.256 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.323 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.411 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088187.411 * * * * [misc]points:  Sampling 1835 additional inputs, on iter 5 have 6165 / 8000
1544088187.419 * * * * [misc]points:  Computing exacts on every 114 of 1835 points to ramp up precision
1544088187.422 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.422 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.423 * * * * [misc]points:  Computing exacts on every 57 of 1835 points to ramp up precision
1544088187.425 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.426 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.427 * * * * [misc]points:  Computing exacts on every 28 of 1835 points to ramp up precision
1544088187.428 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.429 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.430 * * * * [misc]points:  Computing exacts on every 14 of 1835 points to ramp up precision
1544088187.431 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.433 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.435 * * * * [misc]points:  Computing exacts on every 7 of 1835 points to ramp up precision
1544088187.437 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.440 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.444 * * * * [misc]points:  Computing exacts on every 3 of 1835 points to ramp up precision
1544088187.445 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.453 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.462 * * * * [misc]points:  Computing exacts for 1835 points
1544088187.464 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.541 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.605 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088187.606 * * * * [misc]points:  Sampling 1384 additional inputs, on iter 6 have 6616 / 8000
1544088187.612 * * * * [misc]points:  Computing exacts on every 86 of 1384 points to ramp up precision
1544088187.614 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.615 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.615 * * * * [misc]points:  Computing exacts on every 43 of 1384 points to ramp up precision
1544088187.617 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.618 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.619 * * * * [misc]points:  Computing exacts on every 21 of 1384 points to ramp up precision
1544088187.620 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.622 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.623 * * * * [misc]points:  Computing exacts on every 10 of 1384 points to ramp up precision
1544088187.624 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.626 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.628 * * * * [misc]points:  Computing exacts on every 5 of 1384 points to ramp up precision
1544088187.629 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.633 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.637 * * * * [misc]points:  Computing exacts on every 2 of 1384 points to ramp up precision
1544088187.638 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.645 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.658 * * * * [misc]points:  Computing exacts for 1384 points
1544088187.660 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.737 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.768 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088187.768 * * * * [misc]points:  Sampling 1053 additional inputs, on iter 7 have 6947 / 8000
1544088187.773 * * * * [misc]points:  Computing exacts on every 65 of 1053 points to ramp up precision
1544088187.775 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.776 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.777 * * * * [misc]points:  Computing exacts on every 32 of 1053 points to ramp up precision
1544088187.779 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.780 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.781 * * * * [misc]points:  Computing exacts on every 16 of 1053 points to ramp up precision
1544088187.783 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.785 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.787 * * * * [misc]points:  Computing exacts on every 8 of 1053 points to ramp up precision
1544088187.789 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.792 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.794 * * * * [misc]points:  Computing exacts on every 4 of 1053 points to ramp up precision
1544088187.795 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.799 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.802 * * * * [misc]points:  Computing exacts on every 2 of 1053 points to ramp up precision
1544088187.803 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.809 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.816 * * * * [misc]points:  Computing exacts for 1053 points
1544088187.817 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.848 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.928 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088187.928 * * * * [misc]points:  Sampling 805 additional inputs, on iter 8 have 7195 / 8000
1544088187.932 * * * * [misc]points:  Computing exacts on every 50 of 805 points to ramp up precision
1544088187.934 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.935 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.935 * * * * [misc]points:  Computing exacts on every 25 of 805 points to ramp up precision
1544088187.937 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.938 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.939 * * * * [misc]points:  Computing exacts on every 12 of 805 points to ramp up precision
1544088187.941 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.943 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.945 * * * * [misc]points:  Computing exacts on every 6 of 805 points to ramp up precision
1544088187.947 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.951 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.955 * * * * [misc]points:  Computing exacts on every 3 of 805 points to ramp up precision
1544088187.957 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.963 * * * * [misc]points:  Setting MPFR precision to 320
1544088187.970 * * * * [misc]points:  Computing exacts for 805 points
1544088187.972 * * * * [misc]points:  Setting MPFR precision to 64
1544088187.994 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.008 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.008 * * * * [misc]points:  Sampling 619 additional inputs, on iter 9 have 7381 / 8000
1544088188.009 * * * * [misc]points:  Computing exacts on every 38 of 619 points to ramp up precision
1544088188.011 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.011 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.011 * * * * [misc]points:  Computing exacts on every 19 of 619 points to ramp up precision
1544088188.012 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.013 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.014 * * * * [misc]points:  Computing exacts on every 9 of 619 points to ramp up precision
1544088188.015 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.016 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.017 * * * * [misc]points:  Computing exacts on every 4 of 619 points to ramp up precision
1544088188.018 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.020 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.022 * * * * [misc]points:  Computing exacts on every 2 of 619 points to ramp up precision
1544088188.023 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.026 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.030 * * * * [misc]points:  Computing exacts for 619 points
1544088188.031 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.065 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.078 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.078 * * * * [misc]points:  Sampling 452 additional inputs, on iter 10 have 7548 / 8000
1544088188.079 * * * * [misc]points:  Computing exacts on every 28 of 452 points to ramp up precision
1544088188.081 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.081 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.081 * * * * [misc]points:  Computing exacts on every 14 of 452 points to ramp up precision
1544088188.082 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.083 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.083 * * * * [misc]points:  Computing exacts on every 7 of 452 points to ramp up precision
1544088188.084 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.085 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.086 * * * * [misc]points:  Computing exacts on every 3 of 452 points to ramp up precision
1544088188.087 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.089 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.091 * * * * [misc]points:  Computing exacts for 452 points
1544088188.092 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.099 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.115 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.115 * * * * [misc]points:  Sampling 323 additional inputs, on iter 11 have 7677 / 8000
1544088188.116 * * * * [misc]points:  Computing exacts on every 20 of 323 points to ramp up precision
1544088188.118 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.119 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.120 * * * * [misc]points:  Computing exacts on every 10 of 323 points to ramp up precision
1544088188.122 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.123 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.124 * * * * [misc]points:  Computing exacts on every 5 of 323 points to ramp up precision
1544088188.125 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.127 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.129 * * * * [misc]points:  Computing exacts on every 2 of 323 points to ramp up precision
1544088188.131 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.134 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.137 * * * * [misc]points:  Computing exacts for 323 points
1544088188.139 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.149 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.160 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.160 * * * * [misc]points:  Sampling 248 additional inputs, on iter 12 have 7752 / 8000
1544088188.161 * * * * [misc]points:  Computing exacts on every 15 of 248 points to ramp up precision
1544088188.164 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.164 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.165 * * * * [misc]points:  Computing exacts on every 7 of 248 points to ramp up precision
1544088188.166 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.167 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.168 * * * * [misc]points:  Computing exacts on every 3 of 248 points to ramp up precision
1544088188.171 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.173 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.175 * * * * [misc]points:  Computing exacts for 248 points
1544088188.177 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.184 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.193 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.193 * * * * [misc]points:  Sampling 191 additional inputs, on iter 13 have 7809 / 8000
1544088188.194 * * * * [misc]points:  Computing exacts on every 11 of 191 points to ramp up precision
1544088188.196 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.196 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.197 * * * * [misc]points:  Computing exacts on every 5 of 191 points to ramp up precision
1544088188.230 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.231 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.231 * * * * [misc]points:  Computing exacts on every 2 of 191 points to ramp up precision
1544088188.232 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.233 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.234 * * * * [misc]points:  Computing exacts for 191 points
1544088188.236 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.239 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.242 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.242 * * * * [misc]points:  Sampling 146 additional inputs, on iter 14 have 7854 / 8000
1544088188.242 * * * * [misc]points:  Computing exacts on every 9 of 146 points to ramp up precision
1544088188.245 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.246 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.246 * * * * [misc]points:  Computing exacts on every 4 of 146 points to ramp up precision
1544088188.247 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.247 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.248 * * * * [misc]points:  Computing exacts on every 2 of 146 points to ramp up precision
1544088188.249 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.250 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.251 * * * * [misc]points:  Computing exacts for 146 points
1544088188.252 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.254 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.258 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.258 * * * * [misc]points:  Sampling 113 additional inputs, on iter 15 have 7887 / 8000
1544088188.259 * * * * [misc]points:  Computing exacts on every 7 of 113 points to ramp up precision
1544088188.261 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.261 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.262 * * * * [misc]points:  Computing exacts on every 3 of 113 points to ramp up precision
1544088188.264 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.265 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.266 * * * * [misc]points:  Computing exacts for 113 points
1544088188.267 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.271 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.275 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.275 * * * * [misc]points:  Sampling 92 additional inputs, on iter 16 have 7908 / 8000
1544088188.276 * * * * [misc]points:  Computing exacts on every 5 of 92 points to ramp up precision
1544088188.278 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.278 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.279 * * * * [misc]points:  Computing exacts on every 2 of 92 points to ramp up precision
1544088188.281 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.282 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.283 * * * * [misc]points:  Computing exacts for 92 points
1544088188.285 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.288 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.292 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.292 * * * * [misc]points:  Sampling 71 additional inputs, on iter 17 have 7929 / 8000
1544088188.292 * * * * [misc]points:  Computing exacts on every 4 of 71 points to ramp up precision
1544088188.294 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.295 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.295 * * * * [misc]points:  Computing exacts on every 2 of 71 points to ramp up precision
1544088188.297 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.298 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.299 * * * * [misc]points:  Computing exacts for 71 points
1544088188.301 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.303 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.306 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.306 * * * * [misc]points:  Sampling 53 additional inputs, on iter 18 have 7947 / 8000
1544088188.306 * * * * [misc]points:  Computing exacts on every 3 of 53 points to ramp up precision
1544088188.308 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.308 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.309 * * * * [misc]points:  Computing exacts for 53 points
1544088188.311 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.312 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.314 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.314 * * * * [misc]points:  Sampling 39 additional inputs, on iter 19 have 7961 / 8000
1544088188.315 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1544088188.316 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.317 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.317 * * * * [misc]points:  Computing exacts for 39 points
1544088188.319 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.321 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.322 * * * * [misc]points:  Sampling 33 additional inputs, on iter 20 have 7967 / 8000
1544088188.322 * * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
1544088188.324 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.325 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.325 * * * * [misc]points:  Computing exacts for 33 points
1544088188.327 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.328 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.329 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.329 * * * * [misc]points:  Sampling 27 additional inputs, on iter 21 have 7973 / 8000
1544088188.329 * * * * [misc]points:  Computing exacts for 27 points
1544088188.331 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.332 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.333 * * * * [misc]points:  Sampling 19 additional inputs, on iter 22 have 7981 / 8000
1544088188.333 * * * * [misc]points:  Computing exacts for 19 points
1544088188.336 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.336 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.337 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.337 * * * * [misc]points:  Sampling 13 additional inputs, on iter 23 have 7987 / 8000
1544088188.337 * * * * [misc]points:  Computing exacts for 13 points
1544088188.339 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.340 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.341 * * * * [misc]points:  Sampling 9 additional inputs, on iter 24 have 7991 / 8000
1544088188.341 * * * * [misc]points:  Computing exacts for 9 points
1544088188.342 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.343 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.343 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.343 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1544088188.343 * * * * [misc]points:  Computing exacts for 7 points
1544088188.345 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.346 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.346 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.346 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7997 / 8000
1544088188.346 * * * * [misc]points:  Computing exacts for 4 points
1544088188.348 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.348 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.348 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.348 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1544088188.348 * * * * [misc]points:  Computing exacts for 4 points
1544088188.350 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.350 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.351 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.351 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1544088188.351 * * * * [misc]points:  Computing exacts for 4 points
1544088188.353 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.353 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.353 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.353 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1544088188.353 * * * * [misc]points:  Computing exacts for 4 points
1544088188.355 * * * * [misc]points:  Setting MPFR precision to 64
1544088188.355 * * * * [misc]points:  Setting MPFR precision to 320
1544088188.355 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088188.355 * * * * [exit]points:  Sampled 8001 points with exact outputs
1544088188.586 * [misc]regime-testing:  Baseline error score: 0.003969360937770434
1544088188.586 * [misc]regime-testing:  End program error score: 0.003969360937770434
1544088188.587 * [misc]regime-testing:  Oracle error score: 0.0031462406251802893