1546852980.088 * [misc]progress: [Phase 1 of 3] Setting up. 1546852980.089 * * * [misc]progress: [1/2] Preparing points 1546852980.089 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546852980.147 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.147 * * * * [misc]points: Sampling 197 additional inputs, on iter 1 have 59 / 256 1546852980.167 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.167 * * * * [misc]points: Sampling 152 additional inputs, on iter 2 have 104 / 256 1546852980.222 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.222 * * * * [misc]points: Sampling 121 additional inputs, on iter 3 have 135 / 256 1546852980.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.235 * * * * [misc]points: Sampling 91 additional inputs, on iter 4 have 165 / 256 1546852980.244 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.245 * * * * [misc]points: Sampling 68 additional inputs, on iter 5 have 188 / 256 1546852980.254 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.254 * * * * [misc]points: Sampling 58 additional inputs, on iter 6 have 198 / 256 1546852980.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.262 * * * * [misc]points: Sampling 43 additional inputs, on iter 7 have 213 / 256 1546852980.266 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.266 * * * * [misc]points: Sampling 33 additional inputs, on iter 8 have 223 / 256 1546852980.268 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.268 * * * * [misc]points: Sampling 31 additional inputs, on iter 9 have 225 / 256 1546852980.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.271 * * * * [misc]points: Sampling 25 additional inputs, on iter 10 have 231 / 256 1546852980.273 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.273 * * * * [misc]points: Sampling 20 additional inputs, on iter 11 have 236 / 256 1546852980.275 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.275 * * * * [misc]points: Sampling 16 additional inputs, on iter 12 have 240 / 256 1546852980.277 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.277 * * * * [misc]points: Sampling 13 additional inputs, on iter 13 have 243 / 256 1546852980.279 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.279 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 247 / 256 1546852980.281 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.281 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1546852980.282 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.282 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1546852980.283 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.283 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1546852980.285 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.285 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1546852980.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.286 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 253 / 256 1546852980.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.322 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 255 / 256 1546852980.325 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852980.325 * * * * [exit]points: Sampled 256 points with exact outputs 1546852980.326 * * * [misc]progress: [2/2] Setting up program. 1546852980.334 * [misc]progress: [Phase 2 of 3] Improving. 1546852980.335 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546852980.336 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1546852980.338 * * [misc]simplify: iters left: 6 (6 enodes) 1546852980.347 * * [misc]simplify: iters left: 5 (11 enodes) 1546852980.350 * * [misc]simplify: iters left: 4 (12 enodes) 1546852980.355 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1546852980.355 * [misc]simplify: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1)))) 1546852980.362 * * [misc]progress: iteration 1 / 4 1546852980.362 * * * [misc]progress: picking best candidate 1546852980.367 * * * * [misc]pick: Picked # 1546852980.367 * * * [misc]progress: localizing error 1546852980.491 * * * [misc]progress: generating rewritten candidates 1546852980.492 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) 1546852980.504 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1546852980.513 * * * [misc]progress: generating series expansions 1546852980.513 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1) 1546852980.521 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1546852980.521 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1546852980.523 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546852980.523 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852980.523 * [misc]taylor: Taking taylor expansion of x in x 1546852980.523 * [misc]backup-simplify: Simplify 0 into 0 1546852980.523 * [misc]backup-simplify: Simplify 1 into 1 1546852980.524 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852980.524 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.524 * [misc]backup-simplify: Simplify 1 into 1 1546852980.525 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546852980.525 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852980.525 * [misc]taylor: Taking taylor expansion of x in x 1546852980.525 * [misc]backup-simplify: Simplify 0 into 0 1546852980.525 * [misc]backup-simplify: Simplify 1 into 1 1546852980.525 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852980.525 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.525 * [misc]backup-simplify: Simplify 1 into 1 1546852980.526 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.526 * [misc]backup-simplify: Simplify 1 into 1 1546852980.527 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852980.528 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.528 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852980.528 * [misc]backup-simplify: Simplify -1 into -1 1546852980.528 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852980.528 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.529 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.529 * [misc]backup-simplify: Simplify 0 into 0 1546852980.529 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852980.529 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.529 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.529 * [misc]backup-simplify: Simplify 0 into 0 1546852980.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852980.530 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.531 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.531 * [misc]backup-simplify: Simplify 0 into 0 1546852980.531 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852980.531 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.531 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.532 * [misc]backup-simplify: Simplify 0 into 0 1546852980.532 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852980.532 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.532 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.532 * [misc]backup-simplify: Simplify 0 into 0 1546852980.533 * [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 1546852980.533 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.533 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.533 * [misc]backup-simplify: Simplify 0 into 0 1546852980.534 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1546852980.534 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1546852980.534 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1546852980.534 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546852980.534 * [misc]taylor: Taking taylor expansion of x in x 1546852980.534 * [misc]backup-simplify: Simplify 0 into 0 1546852980.534 * [misc]backup-simplify: Simplify 1 into 1 1546852980.534 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.534 * [misc]backup-simplify: Simplify 1 into 1 1546852980.534 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546852980.534 * [misc]taylor: Taking taylor expansion of x in x 1546852980.534 * [misc]backup-simplify: Simplify 0 into 0 1546852980.534 * [misc]backup-simplify: Simplify 1 into 1 1546852980.534 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.534 * [misc]backup-simplify: Simplify 1 into 1 1546852980.535 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.535 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852980.535 * [misc]backup-simplify: Simplify -1 into -1 1546852980.535 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.535 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.535 * [misc]backup-simplify: Simplify 1 into 1 1546852980.535 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.536 * [misc]backup-simplify: Simplify 0 into 0 1546852980.536 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.536 * [misc]backup-simplify: Simplify 0 into 0 1546852980.536 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.536 * [misc]backup-simplify: Simplify 0 into 0 1546852980.537 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.537 * [misc]backup-simplify: Simplify 0 into 0 1546852980.537 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.537 * [misc]backup-simplify: Simplify 0 into 0 1546852980.537 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.538 * [misc]backup-simplify: Simplify 0 into 0 1546852980.538 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1546852980.539 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1546852980.539 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1546852980.539 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1546852980.539 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546852980.539 * [misc]taylor: Taking taylor expansion of x in x 1546852980.539 * [misc]backup-simplify: Simplify 0 into 0 1546852980.539 * [misc]backup-simplify: Simplify 1 into 1 1546852980.539 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.539 * [misc]backup-simplify: Simplify 1 into 1 1546852980.539 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1546852980.539 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546852980.539 * [misc]taylor: Taking taylor expansion of x in x 1546852980.539 * [misc]backup-simplify: Simplify 0 into 0 1546852980.539 * [misc]backup-simplify: Simplify 1 into 1 1546852980.539 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.539 * [misc]backup-simplify: Simplify 1 into 1 1546852980.540 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852980.540 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.540 * [misc]backup-simplify: Simplify -1 into -1 1546852980.540 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.540 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.540 * [misc]backup-simplify: Simplify -1 into -1 1546852980.540 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.540 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.541 * [misc]backup-simplify: Simplify 0 into 0 1546852980.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.541 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.541 * [misc]backup-simplify: Simplify 0 into 0 1546852980.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.541 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.541 * [misc]backup-simplify: Simplify 0 into 0 1546852980.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.542 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.542 * [misc]backup-simplify: Simplify 0 into 0 1546852980.542 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.542 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.542 * [misc]backup-simplify: Simplify 0 into 0 1546852980.542 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.542 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.542 * [misc]backup-simplify: Simplify 0 into 0 1546852980.543 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1546852980.543 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1546852980.543 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1546852980.543 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1546852980.543 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1546852980.543 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546852980.543 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852980.543 * [misc]taylor: Taking taylor expansion of x in x 1546852980.543 * [misc]backup-simplify: Simplify 0 into 0 1546852980.543 * [misc]backup-simplify: Simplify 1 into 1 1546852980.543 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852980.543 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.543 * [misc]backup-simplify: Simplify 1 into 1 1546852980.544 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.544 * [misc]backup-simplify: Simplify (log 1) into 0 1546852980.544 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1546852980.544 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546852980.544 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852980.544 * [misc]taylor: Taking taylor expansion of x in x 1546852980.544 * [misc]backup-simplify: Simplify 0 into 0 1546852980.544 * [misc]backup-simplify: Simplify 1 into 1 1546852980.544 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852980.544 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.544 * [misc]backup-simplify: Simplify 1 into 1 1546852980.544 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.545 * [misc]backup-simplify: Simplify (log 1) into 0 1546852980.545 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1546852980.545 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1546852980.546 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852980.546 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.546 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852980.549 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1546852980.549 * [misc]backup-simplify: Simplify -1 into -1 1546852980.551 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852980.551 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.555 * [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 1546852980.555 * [misc]backup-simplify: Simplify -1/2 into -1/2 1546852980.556 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1546852980.556 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1546852980.556 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1546852980.556 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1546852980.556 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546852980.556 * [misc]taylor: Taking taylor expansion of x in x 1546852980.556 * [misc]backup-simplify: Simplify 0 into 0 1546852980.556 * [misc]backup-simplify: Simplify 1 into 1 1546852980.556 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.556 * [misc]backup-simplify: Simplify 1 into 1 1546852980.556 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.557 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852980.557 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546852980.557 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1546852980.557 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546852980.557 * [misc]taylor: Taking taylor expansion of x in x 1546852980.557 * [misc]backup-simplify: Simplify 0 into 0 1546852980.557 * [misc]backup-simplify: Simplify 1 into 1 1546852980.557 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.557 * [misc]backup-simplify: Simplify 1 into 1 1546852980.557 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.557 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852980.557 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546852980.558 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546852980.558 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.558 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.561 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1546852980.561 * [misc]backup-simplify: Simplify -1 into -1 1546852980.561 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.566 * [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 1546852980.566 * [misc]backup-simplify: Simplify -1/2 into -1/2 1546852980.566 * [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))))) 1546852980.567 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1546852980.567 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1546852980.567 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1546852980.567 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1546852980.567 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546852980.567 * [misc]taylor: Taking taylor expansion of x in x 1546852980.567 * [misc]backup-simplify: Simplify 0 into 0 1546852980.567 * [misc]backup-simplify: Simplify 1 into 1 1546852980.567 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.567 * [misc]backup-simplify: Simplify 1 into 1 1546852980.567 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852980.567 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.567 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.568 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546852980.568 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1546852980.568 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1546852980.568 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546852980.568 * [misc]taylor: Taking taylor expansion of x in x 1546852980.568 * [misc]backup-simplify: Simplify 0 into 0 1546852980.568 * [misc]backup-simplify: Simplify 1 into 1 1546852980.568 * [misc]taylor: Taking taylor expansion of 1 in x 1546852980.568 * [misc]backup-simplify: Simplify 1 into 1 1546852980.568 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852980.568 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.568 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.569 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546852980.569 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1546852980.569 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546852980.569 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.569 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.572 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1546852980.572 * [misc]backup-simplify: Simplify 1 into 1 1546852980.572 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.572 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.573 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852980.573 * [misc]backup-simplify: Simplify (- 0) into 0 1546852980.573 * [misc]backup-simplify: Simplify (- 1) into -1 1546852980.577 * [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 1546852980.577 * [misc]backup-simplify: Simplify -1/2 into -1/2 1546852980.578 * [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))))) 1546852980.578 * * * [misc]progress: simplifying candidates 1546852980.578 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1546852980.578 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1546852980.578 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1546852980.578 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1546852980.578 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1546852980.578 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1546852980.578 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1546852980.579 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1546852980.579 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1546852980.579 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1546852980.579 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1546852980.579 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1546852980.579 * * [misc]simplify: iters left: 5 (5 enodes) 1546852980.581 * * [misc]simplify: iters left: 4 (8 enodes) 1546852980.583 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1546852980.583 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1546852980.583 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1546852980.583 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1546852980.584 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1546852980.584 * * [misc]simplify: iters left: 6 (7 enodes) 1546852980.587 * * [misc]simplify: iters left: 5 (14 enodes) 1546852980.592 * * [misc]simplify: iters left: 4 (15 enodes) 1546852980.596 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1546852980.596 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1546852980.596 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1546852980.596 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1546852980.596 * * [misc]simplify: iters left: 6 (6 enodes) 1546852980.599 * * [misc]simplify: iters left: 5 (11 enodes) 1546852980.602 * * [misc]simplify: iters left: 4 (12 enodes) 1546852980.605 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1546852980.605 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1546852980.605 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1546852980.605 * [enter]simplify: Simplifying (log 1) 1546852980.605 * * [misc]simplify: iters left: 1 (2 enodes) 1546852980.608 * [exit]simplify: Simplified to 0 1546852980.608 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1546852980.608 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1546852980.608 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1546852980.608 * * [misc]simplify: iters left: 6 (6 enodes) 1546852980.610 * * [misc]simplify: iters left: 5 (9 enodes) 1546852980.613 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1546852980.613 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1546852980.613 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1546852980.613 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1546852980.613 * * [misc]simplify: iters left: 6 (8 enodes) 1546852980.618 * * [misc]simplify: iters left: 5 (20 enodes) 1546852980.623 * * [misc]simplify: iters left: 4 (32 enodes) 1546852980.633 * * [misc]simplify: iters left: 3 (41 enodes) 1546852980.644 * * [misc]simplify: iters left: 2 (49 enodes) 1546852980.665 * * [misc]simplify: iters left: 1 (56 enodes) 1546852980.679 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1546852980.679 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1546852980.679 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1546852980.679 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1546852980.679 * * [misc]simplify: iters left: 6 (7 enodes) 1546852980.683 * * [misc]simplify: iters left: 5 (16 enodes) 1546852980.686 * * [misc]simplify: iters left: 4 (17 enodes) 1546852980.690 * * [misc]simplify: iters left: 3 (24 enodes) 1546852980.697 * * [misc]simplify: iters left: 2 (35 enodes) 1546852980.707 * * [misc]simplify: iters left: 1 (57 enodes) 1546852980.730 * [exit]simplify: Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1)) 1546852980.730 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1))))) 1546852980.730 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1546852980.731 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1546852980.731 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1546852980.731 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1546852980.731 * * [misc]simplify: iters left: 4 (4 enodes) 1546852980.733 * * [misc]simplify: iters left: 3 (9 enodes) 1546852980.735 * * [misc]simplify: iters left: 2 (10 enodes) 1546852980.737 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1546852980.737 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1546852980.737 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1546852980.737 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1546852980.737 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1546852980.737 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1546852980.737 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate # 1546852980.737 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1546852980.737 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1546852980.738 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1546852980.738 * * [misc]simplify: iters left: 4 (4 enodes) 1546852980.740 * * [misc]simplify: iters left: 3 (9 enodes) 1546852980.742 * * [misc]simplify: iters left: 2 (10 enodes) 1546852980.744 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1546852980.744 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1546852980.744 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1546852980.744 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1546852980.744 * * [misc]simplify: iters left: 4 (4 enodes) 1546852980.746 * * [misc]simplify: iters left: 3 (9 enodes) 1546852980.748 * * [misc]simplify: iters left: 2 (10 enodes) 1546852980.750 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1546852980.750 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1546852980.750 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1546852980.751 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1546852980.751 * * [misc]simplify: iters left: 4 (4 enodes) 1546852980.753 * * [misc]simplify: iters left: 3 (9 enodes) 1546852980.755 * * [misc]simplify: iters left: 2 (10 enodes) 1546852980.757 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1546852980.757 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1546852980.757 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1546852980.757 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1546852980.758 * * [misc]simplify: iters left: 6 (9 enodes) 1546852980.760 * * [misc]simplify: iters left: 5 (18 enodes) 1546852980.766 * * [misc]simplify: iters left: 4 (34 enodes) 1546852980.777 * * [misc]simplify: iters left: 3 (75 enodes) 1546852980.794 * * [misc]simplify: iters left: 2 (104 enodes) 1546852980.809 * * [misc]simplify: iters left: 1 (140 enodes) 1546852980.847 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1546852980.847 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1546852980.847 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1546852980.847 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1546852980.847 * * [misc]simplify: iters left: 6 (12 enodes) 1546852980.852 * * [misc]simplify: iters left: 5 (23 enodes) 1546852980.859 * * [misc]simplify: iters left: 4 (34 enodes) 1546852980.871 * * [misc]simplify: iters left: 3 (62 enodes) 1546852980.890 * * [misc]simplify: iters left: 2 (94 enodes) 1546852980.913 * * [misc]simplify: iters left: 1 (125 enodes) 1546852980.949 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1546852980.949 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1546852980.949 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1546852980.950 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1546852980.950 * * [misc]simplify: iters left: 6 (12 enodes) 1546852980.956 * * [misc]simplify: iters left: 5 (23 enodes) 1546852980.963 * * [misc]simplify: iters left: 4 (34 enodes) 1546852980.975 * * [misc]simplify: iters left: 3 (62 enodes) 1546852980.994 * * [misc]simplify: iters left: 2 (94 enodes) 1546852981.015 * * [misc]simplify: iters left: 1 (125 enodes) 1546852981.057 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1546852981.058 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1546852981.058 * * * [misc]progress: adding candidates to table 1546852981.331 * * [misc]progress: iteration 2 / 4 1546852981.331 * * * [misc]progress: picking best candidate 1546852981.340 * * * * [misc]pick: Picked # 1546852981.340 * * * [misc]progress: localizing error 1546852981.372 * * * [misc]progress: generating rewritten candidates 1546852981.373 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1546852981.401 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1546852981.402 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1546852981.403 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1546852981.413 * * * [misc]progress: generating series expansions 1546852981.413 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1546852981.413 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) into (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) 1546852981.413 * [misc]approximate: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in (x) around 0 1546852981.414 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1546852981.414 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1546852981.414 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.414 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.414 * [misc]taylor: Taking taylor expansion of x in x 1546852981.414 * [misc]backup-simplify: Simplify 0 into 0 1546852981.414 * [misc]backup-simplify: Simplify 1 into 1 1546852981.414 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.414 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.415 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.415 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.415 * [misc]backup-simplify: Simplify 1 into 1 1546852981.415 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1546852981.415 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.415 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.415 * [misc]taylor: Taking taylor expansion of x in x 1546852981.415 * [misc]backup-simplify: Simplify 0 into 0 1546852981.415 * [misc]backup-simplify: Simplify 1 into 1 1546852981.415 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.415 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.416 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.416 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.416 * [misc]backup-simplify: Simplify 1 into 1 1546852981.416 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1546852981.416 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1546852981.416 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.416 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.416 * [misc]taylor: Taking taylor expansion of x in x 1546852981.416 * [misc]backup-simplify: Simplify 0 into 0 1546852981.416 * [misc]backup-simplify: Simplify 1 into 1 1546852981.416 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.416 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.417 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.417 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.417 * [misc]backup-simplify: Simplify 1 into 1 1546852981.417 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1546852981.417 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.417 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.417 * [misc]taylor: Taking taylor expansion of x in x 1546852981.417 * [misc]backup-simplify: Simplify 0 into 0 1546852981.417 * [misc]backup-simplify: Simplify 1 into 1 1546852981.417 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.417 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.418 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.418 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.418 * [misc]backup-simplify: Simplify 1 into 1 1546852981.418 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852981.419 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852981.419 * [misc]backup-simplify: Simplify (* 0 0) into 0 1546852981.419 * [misc]backup-simplify: Simplify 0 into 0 1546852981.419 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1546852981.419 * [misc]backup-simplify: Simplify (- 1) into -1 1546852981.419 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1546852981.420 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1546852981.420 * [misc]backup-simplify: Simplify 0 into 0 1546852981.420 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852981.421 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.422 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.422 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852981.423 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.423 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.423 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.424 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1546852981.425 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.425 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.426 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.426 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.427 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.428 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.428 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.428 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.430 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0) 1546852981.431 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.431 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.433 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.433 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.433 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.435 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.435 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.435 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.437 * [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) 1546852981.437 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.438 * [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))))) 1546852981.438 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 (/ 1 x))) 1) (- (sqrt (/ 1 (/ 1 x))) 1)) into (* (- (sqrt x) 1) (+ (sqrt x) 1)) 1546852981.438 * [misc]approximate: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in (x) around 0 1546852981.438 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1546852981.438 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1546852981.438 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.438 * [misc]taylor: Taking taylor expansion of x in x 1546852981.438 * [misc]backup-simplify: Simplify 0 into 0 1546852981.438 * [misc]backup-simplify: Simplify 1 into 1 1546852981.438 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.438 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.438 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.438 * [misc]backup-simplify: Simplify 1 into 1 1546852981.438 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1546852981.438 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.438 * [misc]taylor: Taking taylor expansion of x in x 1546852981.438 * [misc]backup-simplify: Simplify 0 into 0 1546852981.438 * [misc]backup-simplify: Simplify 1 into 1 1546852981.439 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.439 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.439 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.439 * [misc]backup-simplify: Simplify 1 into 1 1546852981.439 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1546852981.439 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1546852981.439 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.439 * [misc]taylor: Taking taylor expansion of x in x 1546852981.439 * [misc]backup-simplify: Simplify 0 into 0 1546852981.439 * [misc]backup-simplify: Simplify 1 into 1 1546852981.439 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.439 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.439 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.440 * [misc]backup-simplify: Simplify 1 into 1 1546852981.440 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1546852981.440 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.440 * [misc]taylor: Taking taylor expansion of x in x 1546852981.440 * [misc]backup-simplify: Simplify 0 into 0 1546852981.440 * [misc]backup-simplify: Simplify 1 into 1 1546852981.440 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.440 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.440 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.440 * [misc]backup-simplify: Simplify 1 into 1 1546852981.440 * [misc]backup-simplify: Simplify (- 1) into -1 1546852981.440 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852981.440 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852981.441 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546852981.441 * [misc]backup-simplify: Simplify -1 into -1 1546852981.441 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.441 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.441 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.441 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1546852981.442 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.442 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.442 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.443 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.443 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.443 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.444 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1546852981.444 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.445 * [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))))) 1546852981.445 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 (/ 1 (- x)))) 1) (- (sqrt (/ 1 (/ 1 (- x)))) 1)) into (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) 1546852981.445 * [misc]approximate: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in (x) around 0 1546852981.445 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1546852981.445 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1546852981.445 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.445 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.445 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.445 * [misc]backup-simplify: Simplify -1 into -1 1546852981.445 * [misc]taylor: Taking taylor expansion of x in x 1546852981.445 * [misc]backup-simplify: Simplify 0 into 0 1546852981.445 * [misc]backup-simplify: Simplify 1 into 1 1546852981.445 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.445 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.445 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.446 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.446 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.446 * [misc]backup-simplify: Simplify 1 into 1 1546852981.446 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.446 * [misc]backup-simplify: Simplify -1 into -1 1546852981.446 * [misc]taylor: Taking taylor expansion of x in x 1546852981.446 * [misc]backup-simplify: Simplify 0 into 0 1546852981.446 * [misc]backup-simplify: Simplify 1 into 1 1546852981.446 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.446 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.446 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.446 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.446 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.446 * [misc]backup-simplify: Simplify 1 into 1 1546852981.446 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.446 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.446 * [misc]backup-simplify: Simplify -1 into -1 1546852981.447 * [misc]taylor: Taking taylor expansion of x in x 1546852981.447 * [misc]backup-simplify: Simplify 0 into 0 1546852981.447 * [misc]backup-simplify: Simplify 1 into 1 1546852981.447 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.447 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.447 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.447 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.447 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.447 * [misc]backup-simplify: Simplify 1 into 1 1546852981.447 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1546852981.447 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.447 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.447 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.447 * [misc]backup-simplify: Simplify -1 into -1 1546852981.447 * [misc]taylor: Taking taylor expansion of x in x 1546852981.447 * [misc]backup-simplify: Simplify 0 into 0 1546852981.447 * [misc]backup-simplify: Simplify 1 into 1 1546852981.447 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.448 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.448 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.448 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.448 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.448 * [misc]backup-simplify: Simplify 1 into 1 1546852981.448 * [misc]backup-simplify: Simplify (- 1) into -1 1546852981.448 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852981.448 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852981.448 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546852981.448 * [misc]backup-simplify: Simplify -1 into -1 1546852981.449 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.449 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.449 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.449 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1546852981.449 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.450 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852981.450 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.450 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.450 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852981.451 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.451 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.454 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.456 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1546852981.456 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.456 * [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))))) 1546852981.456 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2 1) 1546852981.456 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1546852981.456 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1546852981.456 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.456 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.456 * [misc]taylor: Taking taylor expansion of x in x 1546852981.456 * [misc]backup-simplify: Simplify 0 into 0 1546852981.456 * [misc]backup-simplify: Simplify 1 into 1 1546852981.457 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.457 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.457 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.457 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.457 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.457 * [misc]taylor: Taking taylor expansion of x in x 1546852981.457 * [misc]backup-simplify: Simplify 0 into 0 1546852981.457 * [misc]backup-simplify: Simplify 1 into 1 1546852981.457 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.457 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.457 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.458 * [misc]backup-simplify: Simplify 0 into 0 1546852981.458 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.458 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852981.458 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.458 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.459 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.459 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.459 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.460 * [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))))) 1546852981.460 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1546852981.460 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1546852981.460 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.460 * [misc]taylor: Taking taylor expansion of x in x 1546852981.460 * [misc]backup-simplify: Simplify 0 into 0 1546852981.460 * [misc]backup-simplify: Simplify 1 into 1 1546852981.460 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.460 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.460 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.460 * [misc]taylor: Taking taylor expansion of x in x 1546852981.460 * [misc]backup-simplify: Simplify 0 into 0 1546852981.460 * [misc]backup-simplify: Simplify 1 into 1 1546852981.460 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.461 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.461 * [misc]backup-simplify: Simplify 0 into 0 1546852981.461 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.461 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.461 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.462 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.462 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.462 * [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))))))) 1546852981.462 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1546852981.462 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1546852981.462 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.462 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.462 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.462 * [misc]backup-simplify: Simplify -1 into -1 1546852981.462 * [misc]taylor: Taking taylor expansion of x in x 1546852981.462 * [misc]backup-simplify: Simplify 0 into 0 1546852981.462 * [misc]backup-simplify: Simplify 1 into 1 1546852981.463 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.463 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.463 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.463 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.464 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.464 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.464 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.464 * [misc]backup-simplify: Simplify -1 into -1 1546852981.464 * [misc]taylor: Taking taylor expansion of x in x 1546852981.464 * [misc]backup-simplify: Simplify 0 into 0 1546852981.464 * [misc]backup-simplify: Simplify 1 into 1 1546852981.464 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.464 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.464 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.464 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.464 * [misc]backup-simplify: Simplify 0 into 0 1546852981.464 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.465 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852981.465 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.465 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.465 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852981.466 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.466 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.467 * [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))))))) 1546852981.467 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1) 1546852981.467 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1546852981.467 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1546852981.467 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.467 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.467 * [misc]taylor: Taking taylor expansion of x in x 1546852981.467 * [misc]backup-simplify: Simplify 0 into 0 1546852981.467 * [misc]backup-simplify: Simplify 1 into 1 1546852981.467 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.467 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.467 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.467 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.467 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.467 * [misc]taylor: Taking taylor expansion of x in x 1546852981.467 * [misc]backup-simplify: Simplify 0 into 0 1546852981.467 * [misc]backup-simplify: Simplify 1 into 1 1546852981.467 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.468 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.468 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.468 * [misc]backup-simplify: Simplify 0 into 0 1546852981.468 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.468 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852981.469 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.469 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.469 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.470 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.470 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.470 * [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))))) 1546852981.470 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1546852981.470 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1546852981.470 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.470 * [misc]taylor: Taking taylor expansion of x in x 1546852981.470 * [misc]backup-simplify: Simplify 0 into 0 1546852981.470 * [misc]backup-simplify: Simplify 1 into 1 1546852981.470 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.470 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.470 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.470 * [misc]taylor: Taking taylor expansion of x in x 1546852981.470 * [misc]backup-simplify: Simplify 0 into 0 1546852981.470 * [misc]backup-simplify: Simplify 1 into 1 1546852981.471 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.471 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.471 * [misc]backup-simplify: Simplify 0 into 0 1546852981.471 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.472 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.472 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.473 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.473 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.474 * [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))))))) 1546852981.474 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1546852981.474 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1546852981.474 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.474 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.474 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.474 * [misc]backup-simplify: Simplify -1 into -1 1546852981.474 * [misc]taylor: Taking taylor expansion of x in x 1546852981.474 * [misc]backup-simplify: Simplify 0 into 0 1546852981.474 * [misc]backup-simplify: Simplify 1 into 1 1546852981.474 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.474 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.474 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.475 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.475 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.475 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.475 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.475 * [misc]backup-simplify: Simplify -1 into -1 1546852981.475 * [misc]taylor: Taking taylor expansion of x in x 1546852981.475 * [misc]backup-simplify: Simplify 0 into 0 1546852981.475 * [misc]backup-simplify: Simplify 1 into 1 1546852981.475 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.476 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.476 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.476 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.476 * [misc]backup-simplify: Simplify 0 into 0 1546852981.476 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.477 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852981.478 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.478 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.478 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852981.479 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.479 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852981.480 * [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))))))) 1546852981.480 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1546852981.480 * [misc]backup-simplify: Simplify (- (sqrt (/ 1 x)) 1) into (- (sqrt (/ 1 x)) 1) 1546852981.480 * [misc]approximate: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in (x) around 0 1546852981.480 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1546852981.480 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.480 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.480 * [misc]taylor: Taking taylor expansion of x in x 1546852981.480 * [misc]backup-simplify: Simplify 0 into 0 1546852981.480 * [misc]backup-simplify: Simplify 1 into 1 1546852981.480 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.481 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.481 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.481 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.481 * [misc]backup-simplify: Simplify 1 into 1 1546852981.481 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1546852981.481 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852981.481 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852981.481 * [misc]taylor: Taking taylor expansion of x in x 1546852981.481 * [misc]backup-simplify: Simplify 0 into 0 1546852981.481 * [misc]backup-simplify: Simplify 1 into 1 1546852981.481 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852981.481 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.482 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.482 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.482 * [misc]backup-simplify: Simplify 1 into 1 1546852981.482 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852981.482 * [misc]backup-simplify: Simplify 0 into 0 1546852981.482 * [misc]backup-simplify: Simplify (- 1) into -1 1546852981.483 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1546852981.483 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.483 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852981.484 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.484 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.484 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.485 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.485 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852981.486 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852981.486 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.486 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.487 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.487 * [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))))) 1546852981.487 * [misc]backup-simplify: Simplify (- (sqrt (/ 1 (/ 1 x))) 1) into (- (sqrt x) 1) 1546852981.487 * [misc]approximate: Taking taylor expansion of (- (sqrt x) 1) in (x) around 0 1546852981.487 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1546852981.487 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.487 * [misc]taylor: Taking taylor expansion of x in x 1546852981.488 * [misc]backup-simplify: Simplify 0 into 0 1546852981.488 * [misc]backup-simplify: Simplify 1 into 1 1546852981.488 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.488 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.488 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.488 * [misc]backup-simplify: Simplify 1 into 1 1546852981.488 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1546852981.488 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852981.488 * [misc]taylor: Taking taylor expansion of x in x 1546852981.488 * [misc]backup-simplify: Simplify 0 into 0 1546852981.488 * [misc]backup-simplify: Simplify 1 into 1 1546852981.489 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.489 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852981.489 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.489 * [misc]backup-simplify: Simplify 1 into 1 1546852981.489 * [misc]backup-simplify: Simplify (- 1) into -1 1546852981.489 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852981.489 * [misc]backup-simplify: Simplify -1 into -1 1546852981.490 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.490 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.490 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.491 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.491 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.492 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.492 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.492 * [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))))) 1546852981.492 * [misc]backup-simplify: Simplify (- (sqrt (/ 1 (/ 1 (- x)))) 1) into (- (sqrt (* -1 x)) 1) 1546852981.493 * [misc]approximate: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in (x) around 0 1546852981.493 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1546852981.493 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.493 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.493 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.493 * [misc]backup-simplify: Simplify -1 into -1 1546852981.493 * [misc]taylor: Taking taylor expansion of x in x 1546852981.493 * [misc]backup-simplify: Simplify 0 into 0 1546852981.493 * [misc]backup-simplify: Simplify 1 into 1 1546852981.493 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.493 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.493 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.494 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.494 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.494 * [misc]backup-simplify: Simplify 1 into 1 1546852981.494 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1546852981.494 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852981.494 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852981.494 * [misc]taylor: Taking taylor expansion of -1 in x 1546852981.494 * [misc]backup-simplify: Simplify -1 into -1 1546852981.494 * [misc]taylor: Taking taylor expansion of x in x 1546852981.494 * [misc]backup-simplify: Simplify 0 into 0 1546852981.494 * [misc]backup-simplify: Simplify 1 into 1 1546852981.494 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852981.494 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852981.495 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852981.495 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852981.495 * [misc]taylor: Taking taylor expansion of 1 in x 1546852981.495 * [misc]backup-simplify: Simplify 1 into 1 1546852981.495 * [misc]backup-simplify: Simplify (- 1) into -1 1546852981.495 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852981.495 * [misc]backup-simplify: Simplify -1 into -1 1546852981.496 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.496 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.496 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.496 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852981.497 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852981.498 * [misc]backup-simplify: Simplify (- 0) into 0 1546852981.498 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852981.498 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852981.498 * [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))))) 1546852981.499 * * * [misc]progress: simplifying candidates 1546852981.499 * * * * [misc]progress: [ 1 / 84 ] simplifiying candidate # 1546852981.499 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1546852981.499 * * [misc]simplify: iters left: 6 (7 enodes) 1546852981.502 * * [misc]simplify: iters left: 5 (14 enodes) 1546852981.506 * * [misc]simplify: iters left: 4 (29 enodes) 1546852981.522 * * [misc]simplify: iters left: 3 (60 enodes) 1546852981.541 * * [misc]simplify: iters left: 2 (156 enodes) 1546852981.635 * * [misc]simplify: iters left: 1 (354 enodes) 1546852981.734 * [exit]simplify: Simplified to (+ -1 (/ 1 x)) 1546852981.734 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (pow (+ -1 (/ 1 x)) 1)))) 1546852981.734 * * * * [misc]progress: [ 2 / 84 ] simplifiying candidate # 1546852981.734 * * * * [misc]progress: [ 3 / 84 ] simplifiying candidate # 1546852981.735 * [enter]simplify: Simplifying (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))) 1546852981.735 * * [misc]simplify: iters left: 6 (9 enodes) 1546852981.738 * * [misc]simplify: iters left: 5 (16 enodes) 1546852981.742 * * [misc]simplify: iters left: 4 (17 enodes) 1546852981.746 * [exit]simplify: Simplified to (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))) 1546852981.746 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (exp (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))))) 1546852981.746 * * * * [misc]progress: [ 4 / 84 ] simplifiying candidate # 1546852981.746 * * * * [misc]progress: [ 5 / 84 ] simplifiying candidate # 1546852981.746 * * * * [misc]progress: [ 6 / 84 ] simplifiying candidate # 1546852981.746 * [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))) 1546852981.747 * * [misc]simplify: iters left: 6 (11 enodes) 1546852981.751 * * [misc]simplify: iters left: 5 (36 enodes) 1546852981.767 * * [misc]simplify: iters left: 4 (114 enodes) 1546852981.826 * [exit]simplify: Simplified to (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3)) 1546852981.826 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (cbrt (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3)))))) 1546852981.826 * * * * [misc]progress: [ 7 / 84 ] simplifiying candidate # 1546852981.826 * * * * [misc]progress: [ 8 / 84 ] simplifiying candidate # 1546852981.826 * * * * [misc]progress: [ 9 / 84 ] simplifiying candidate # 1546852981.826 * * * * [misc]progress: [ 10 / 84 ] simplifiying candidate # 1546852981.827 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) 1546852981.827 * * [misc]simplify: iters left: 6 (10 enodes) 1546852981.829 * * [misc]simplify: iters left: 5 (22 enodes) 1546852981.831 * * [misc]simplify: iters left: 4 (39 enodes) 1546852981.846 * * [misc]simplify: iters left: 3 (105 enodes) 1546852981.868 * * [misc]simplify: iters left: 2 (211 enodes) 1546852981.958 * * [misc]simplify: iters left: 1 (452 enodes) 1546852982.167 * [exit]simplify: Simplified to (+ -1 (pow (/ 1 x) 3)) 1546852982.167 * [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)))))))) 1546852982.168 * [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)))) 1546852982.168 * * [misc]simplify: iters left: 6 (12 enodes) 1546852982.173 * * [misc]simplify: iters left: 5 (32 enodes) 1546852982.185 * * [misc]simplify: iters left: 4 (96 enodes) 1546852982.232 * * [misc]simplify: iters left: 3 (369 enodes) 1546852982.491 * [exit]simplify: Simplified to (* (- (+ (/ 1 x) 1) (sqrt (/ 1 x))) (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x)))) 1546852982.491 * [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)))))))) 1546852982.491 * * * * [misc]progress: [ 11 / 84 ] simplifiying candidate # 1546852982.491 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) 1546852982.491 * * [misc]simplify: iters left: 6 (12 enodes) 1546852982.494 * * [misc]simplify: iters left: 5 (22 enodes) 1546852982.496 * * [misc]simplify: iters left: 4 (40 enodes) 1546852982.509 * * [misc]simplify: iters left: 3 (84 enodes) 1546852982.541 * * [misc]simplify: iters left: 2 (234 enodes) 1546852982.783 * [exit]simplify: Simplified to (* (+ (* (/ 1 x) (sqrt (/ 1 x))) 1) (- (/ 1 x) 1)) 1546852982.783 * [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)))))) 1546852982.783 * [enter]simplify: Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (sqrt (/ 1 x)) 1)) 1546852982.783 * * [misc]simplify: iters left: 6 (11 enodes) 1546852982.785 * * [misc]simplify: iters left: 5 (28 enodes) 1546852982.790 * * [misc]simplify: iters left: 4 (73 enodes) 1546852982.829 * * [misc]simplify: iters left: 3 (196 enodes) 1546852982.933 * [exit]simplify: Simplified to (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) 1546852982.933 * [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)))))))) 1546852982.933 * * * * [misc]progress: [ 12 / 84 ] simplifiying candidate # 1546852982.933 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (pow (sqrt (/ 1 x)) 3) (pow 1 3))) 1546852982.933 * * [misc]simplify: iters left: 6 (12 enodes) 1546852982.936 * * [misc]simplify: iters left: 5 (23 enodes) 1546852982.938 * * [misc]simplify: iters left: 4 (38 enodes) 1546852982.951 * * [misc]simplify: iters left: 3 (86 enodes) 1546852983.011 * * [misc]simplify: iters left: 2 (274 enodes) 1546852983.302 * [exit]simplify: Simplified to (- (* (* (sqrt (/ 1 x)) (- (/ 1 x) 1)) (/ 1 x)) (- (/ 1 x) 1)) 1546852983.302 * [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)))))))) 1546852983.302 * [enter]simplify: Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))) 1546852983.302 * * [misc]simplify: iters left: 6 (11 enodes) 1546852983.307 * * [misc]simplify: iters left: 5 (29 enodes) 1546852983.317 * * [misc]simplify: iters left: 4 (76 enodes) 1546852983.373 * * [misc]simplify: iters left: 3 (239 enodes) 1546852983.465 * [exit]simplify: Simplified to (* (- (sqrt (/ 1 x)) 1) (+ (+ (/ 1 x) 1) (sqrt (/ 1 x)))) 1546852983.465 * [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)))))))) 1546852983.465 * * * * [misc]progress: [ 13 / 84 ] simplifiying candidate # 1546852983.465 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) 1546852983.465 * * [misc]simplify: iters left: 6 (8 enodes) 1546852983.467 * * [misc]simplify: iters left: 5 (13 enodes) 1546852983.468 * * [misc]simplify: iters left: 4 (17 enodes) 1546852983.470 * * [misc]simplify: iters left: 3 (24 enodes) 1546852983.474 * * [misc]simplify: iters left: 2 (74 enodes) 1546852983.532 * * [misc]simplify: iters left: 1 (310 enodes) 1546852983.786 * [exit]simplify: Simplified to (* (- (/ 1 x) 1) (- (/ 1 x) 1)) 1546852983.786 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)))))) 1546852983.786 * [enter]simplify: Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) 1546852983.787 * * [misc]simplify: iters left: 6 (7 enodes) 1546852983.790 * * [misc]simplify: iters left: 5 (20 enodes) 1546852983.795 * * [misc]simplify: iters left: 4 (40 enodes) 1546852983.802 * * [misc]simplify: iters left: 3 (107 enodes) 1546852983.846 * * [misc]simplify: iters left: 2 (255 enodes) 1546852983.957 * * [misc]simplify: iters left: 1 (405 enodes) 1546852984.184 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1546852984.184 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))) 1546852984.184 * * * * [misc]progress: [ 14 / 84 ] simplifiying candidate # 1546852984.184 * * * * [misc]progress: [ 15 / 84 ] simplifiying candidate # 1546852984.185 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1)) 1546852984.185 * * [misc]simplify: iters left: 6 (7 enodes) 1546852984.188 * * [misc]simplify: iters left: 5 (14 enodes) 1546852984.191 * * [misc]simplify: iters left: 4 (16 enodes) 1546852984.199 * * [misc]simplify: iters left: 3 (35 enodes) 1546852984.207 * * [misc]simplify: iters left: 2 (54 enodes) 1546852984.218 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852984.218 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (- -1 (sqrt (/ 1 x))))))) 1546852984.218 * * * * [misc]progress: [ 16 / 84 ] simplifiying candidate # 1546852984.218 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1)) 1546852984.218 * * [misc]simplify: iters left: 6 (7 enodes) 1546852984.220 * * [misc]simplify: iters left: 5 (14 enodes) 1546852984.221 * * [misc]simplify: iters left: 4 (16 enodes) 1546852984.225 * * [misc]simplify: iters left: 3 (35 enodes) 1546852984.230 * * [misc]simplify: iters left: 2 (54 enodes) 1546852984.237 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852984.237 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (sqrt (/ 1 x))) (- -1 (sqrt (/ 1 x))))))) 1546852984.237 * * * * [misc]progress: [ 17 / 84 ] simplifiying candidate # 1546852984.237 * [enter]simplify: Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1)) 1546852984.237 * * [misc]simplify: iters left: 6 (7 enodes) 1546852984.239 * * [misc]simplify: iters left: 5 (20 enodes) 1546852984.243 * * [misc]simplify: iters left: 4 (32 enodes) 1546852984.247 * * [misc]simplify: iters left: 3 (39 enodes) 1546852984.251 * * [misc]simplify: iters left: 2 (44 enodes) 1546852984.255 * * [misc]simplify: iters left: 1 (45 enodes) 1546852984.258 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852984.258 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x))))))) 1546852984.258 * * * * [misc]progress: [ 18 / 84 ] simplifiying candidate # 1546852984.259 * [enter]simplify: Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1)) 1546852984.259 * * [misc]simplify: iters left: 6 (7 enodes) 1546852984.261 * * [misc]simplify: iters left: 5 (20 enodes) 1546852984.264 * * [misc]simplify: iters left: 4 (32 enodes) 1546852984.268 * * [misc]simplify: iters left: 3 (39 enodes) 1546852984.277 * * [misc]simplify: iters left: 2 (44 enodes) 1546852984.285 * * [misc]simplify: iters left: 1 (45 enodes) 1546852984.292 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852984.292 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (sqrt (/ 1 x)) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x))))))) 1546852984.292 * * * * [misc]progress: [ 19 / 84 ] simplifiying candidate # 1546852984.292 * [enter]simplify: Simplifying (cbrt (- (sqrt (/ 1 x)) 1)) 1546852984.292 * * [misc]simplify: iters left: 6 (6 enodes) 1546852984.295 * * [misc]simplify: iters left: 5 (11 enodes) 1546852984.299 * * [misc]simplify: iters left: 4 (12 enodes) 1546852984.301 * [exit]simplify: Simplified to (cbrt (- (sqrt (/ 1 x)) 1)) 1546852984.302 * [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)))))) 1546852984.302 * * * * [misc]progress: [ 20 / 84 ] simplifiying candidate # 1546852984.302 * [enter]simplify: Simplifying (sqrt (- (sqrt (/ 1 x)) 1)) 1546852984.302 * * [misc]simplify: iters left: 6 (6 enodes) 1546852984.304 * * [misc]simplify: iters left: 5 (11 enodes) 1546852984.307 * * [misc]simplify: iters left: 4 (12 enodes) 1546852984.309 * [exit]simplify: Simplified to (sqrt (- (sqrt (/ 1 x)) 1)) 1546852984.310 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1)))))) 1546852984.310 * * * * [misc]progress: [ 21 / 84 ] simplifiying candidate # 1546852984.310 * [enter]simplify: Simplifying (- (sqrt (/ 1 x)) 1) 1546852984.310 * * [misc]simplify: iters left: 5 (5 enodes) 1546852984.312 * * [misc]simplify: iters left: 4 (10 enodes) 1546852984.314 * * [misc]simplify: iters left: 3 (11 enodes) 1546852984.317 * [exit]simplify: Simplified to (- (sqrt (/ 1 x)) 1) 1546852984.317 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) 1) (- (sqrt (/ 1 x)) 1))))) 1546852984.317 * * * * [misc]progress: [ 22 / 84 ] simplifiying candidate # 1546852984.317 * [enter]simplify: Simplifying (- (sqrt (sqrt (/ 1 x))) 1) 1546852984.317 * * [misc]simplify: iters left: 6 (6 enodes) 1546852984.319 * * [misc]simplify: iters left: 5 (11 enodes) 1546852984.322 * * [misc]simplify: iters left: 4 (12 enodes) 1546852984.325 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1546852984.325 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1546852984.325 * * * * [misc]progress: [ 23 / 84 ] simplifiying candidate # 1546852984.325 * [enter]simplify: Simplifying (- (sqrt (sqrt (/ 1 x))) 1) 1546852984.325 * * [misc]simplify: iters left: 6 (6 enodes) 1546852984.327 * * [misc]simplify: iters left: 5 (11 enodes) 1546852984.330 * * [misc]simplify: iters left: 4 (12 enodes) 1546852984.333 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1546852984.333 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (sqrt (/ 1 x))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1546852984.333 * * * * [misc]progress: [ 24 / 84 ] simplifiying candidate # 1546852984.333 * [enter]simplify: Simplifying (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) 1546852984.333 * * [misc]simplify: iters left: 6 (7 enodes) 1546852984.335 * * [misc]simplify: iters left: 5 (10 enodes) 1546852984.338 * [exit]simplify: Simplified to (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) 1546852984.338 * [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)))))) 1546852984.338 * * * * [misc]progress: [ 25 / 84 ] simplifiying candidate # 1546852984.338 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1546852984.338 * * [misc]simplify: iters left: 6 (6 enodes) 1546852984.340 * * [misc]simplify: iters left: 5 (9 enodes) 1546852984.342 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1546852984.343 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)))))) 1546852984.343 * * * * [misc]progress: [ 26 / 84 ] simplifiying candidate # 1546852984.343 * * * * [misc]progress: [ 27 / 84 ] simplifiying candidate # 1546852984.343 * [enter]simplify: Simplifying (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))) 1546852984.343 * * [misc]simplify: iters left: 6 (9 enodes) 1546852984.347 * * [misc]simplify: iters left: 5 (17 enodes) 1546852984.352 * * [misc]simplify: iters left: 4 (27 enodes) 1546852984.359 * * [misc]simplify: iters left: 3 (35 enodes) 1546852984.368 * * [misc]simplify: iters left: 2 (55 enodes) 1546852984.378 * * [misc]simplify: iters left: 1 (82 enodes) 1546852984.388 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))) 1546852984.388 * [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))))))) 1546852984.388 * * * * [misc]progress: [ 28 / 84 ] simplifiying candidate # 1546852984.388 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1546852984.388 * * [misc]simplify: iters left: 5 (5 enodes) 1546852984.389 * * [misc]simplify: iters left: 4 (8 enodes) 1546852984.390 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1546852984.390 * [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))))) 1546852984.390 * * * * [misc]progress: [ 29 / 84 ] simplifiying candidate # 1546852984.390 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (sqrt (/ 1 x)) 1)) 1546852984.390 * * [misc]simplify: iters left: 6 (10 enodes) 1546852984.392 * * [misc]simplify: iters left: 5 (22 enodes) 1546852984.395 * * [misc]simplify: iters left: 4 (39 enodes) 1546852984.422 * * [misc]simplify: iters left: 3 (94 enodes) 1546852984.458 * * [misc]simplify: iters left: 2 (174 enodes) 1546852984.504 * * [misc]simplify: iters left: 1 (347 enodes) 1546852984.630 * [exit]simplify: Simplified to (+ (+ -1 (* (/ 1 x) (/ 1 x))) (* (sqrt (/ 1 x)) (+ 1 (/ -1 x)))) 1546852984.631 * [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))))))) 1546852984.631 * * * * [misc]progress: [ 30 / 84 ] simplifiying candidate # 1546852984.631 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (sqrt (/ 1 x)) 1)) 1546852984.631 * * [misc]simplify: iters left: 6 (9 enodes) 1546852984.634 * * [misc]simplify: iters left: 5 (16 enodes) 1546852984.638 * * [misc]simplify: iters left: 4 (26 enodes) 1546852984.650 * * [misc]simplify: iters left: 3 (66 enodes) 1546852984.692 * * [misc]simplify: iters left: 2 (195 enodes) 1546852984.783 * * [misc]simplify: iters left: 1 (488 enodes) 1546852985.129 * [exit]simplify: Simplified to (* (- (sqrt (/ 1 x)) 1) (- (/ 1 x) 1)) 1546852985.129 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (sqrt (/ 1 x)) 1) (- (/ 1 x) 1)) (- (sqrt (/ 1 x)) 1))))) 1546852985.129 * * * * [misc]progress: [ 31 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 32 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 33 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 34 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 35 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 36 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 37 / 84 ] simplifiying candidate # 1546852985.129 * * * * [misc]progress: [ 38 / 84 ] simplifiying candidate # 1546852985.129 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1546852985.129 * * [misc]simplify: iters left: 6 (6 enodes) 1546852985.130 * * [misc]simplify: iters left: 5 (9 enodes) 1546852985.131 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1546852985.131 * [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))))) 1546852985.131 * * * * [misc]progress: [ 39 / 84 ] simplifiying candidate # 1546852985.131 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1546852985.131 * * [misc]simplify: iters left: 4 (5 enodes) 1546852985.132 * * [misc]simplify: iters left: 3 (7 enodes) 1546852985.133 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1546852985.133 * [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))))) 1546852985.133 * * * * [misc]progress: [ 40 / 84 ] simplifiying candidate # 1546852985.133 * [enter]simplify: Simplifying (sqrt 1) 1546852985.133 * * [misc]simplify: iters left: 1 (2 enodes) 1546852985.134 * [exit]simplify: Simplified to 1 1546852985.134 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1))))) 1546852985.134 * * * * [misc]progress: [ 41 / 84 ] simplifiying candidate # 1546852985.134 * [enter]simplify: Simplifying (sqrt 1) 1546852985.134 * * [misc]simplify: iters left: 1 (2 enodes) 1546852985.135 * [exit]simplify: Simplified to 1 1546852985.135 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (sqrt (/ 1 x))) 1))))) 1546852985.135 * * * * [misc]progress: [ 42 / 84 ] simplifiying candidate # 1546852985.135 * [enter]simplify: Simplifying (sqrt 1) 1546852985.135 * * [misc]simplify: iters left: 1 (2 enodes) 1546852985.135 * [exit]simplify: Simplified to 1 1546852985.135 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (/ 1 (sqrt x)) 1))))) 1546852985.135 * * * * [misc]progress: [ 43 / 84 ] simplifiying candidate # 1546852985.135 * * * * [misc]progress: [ 44 / 84 ] simplifiying candidate # 1546852985.136 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1546852985.136 * * [misc]simplify: iters left: 3 (4 enodes) 1546852985.136 * * [misc]simplify: iters left: 2 (6 enodes) 1546852985.137 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1546852985.137 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (fabs (sqrt (/ 1 x))) 1))))) 1546852985.137 * * * * [misc]progress: [ 45 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 46 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 47 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 48 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 49 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 50 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 51 / 84 ] simplifiying candidate # 1546852985.137 * * * * [misc]progress: [ 52 / 84 ] simplifiying candidate # 1546852985.137 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1546852985.137 * * [misc]simplify: iters left: 6 (6 enodes) 1546852985.138 * * [misc]simplify: iters left: 5 (9 enodes) 1546852985.139 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1546852985.139 * [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))))) 1546852985.139 * * * * [misc]progress: [ 53 / 84 ] simplifiying candidate # 1546852985.140 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1546852985.140 * * [misc]simplify: iters left: 4 (5 enodes) 1546852985.140 * * [misc]simplify: iters left: 3 (7 enodes) 1546852985.141 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1546852985.141 * [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))))) 1546852985.141 * * * * [misc]progress: [ 54 / 84 ] simplifiying candidate # 1546852985.141 * [enter]simplify: Simplifying (sqrt 1) 1546852985.141 * * [misc]simplify: iters left: 1 (2 enodes) 1546852985.142 * [exit]simplify: Simplified to 1 1546852985.142 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.142 * * * * [misc]progress: [ 55 / 84 ] simplifiying candidate # 1546852985.142 * [enter]simplify: Simplifying (sqrt 1) 1546852985.142 * * [misc]simplify: iters left: 1 (2 enodes) 1546852985.143 * [exit]simplify: Simplified to 1 1546852985.143 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.143 * * * * [misc]progress: [ 56 / 84 ] simplifiying candidate # 1546852985.143 * [enter]simplify: Simplifying (sqrt 1) 1546852985.143 * * [misc]simplify: iters left: 1 (2 enodes) 1546852985.144 * [exit]simplify: Simplified to 1 1546852985.144 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.144 * * * * [misc]progress: [ 57 / 84 ] simplifiying candidate # 1546852985.144 * * * * [misc]progress: [ 58 / 84 ] simplifiying candidate # 1546852985.144 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1546852985.144 * * [misc]simplify: iters left: 3 (4 enodes) 1546852985.145 * * [misc]simplify: iters left: 2 (6 enodes) 1546852985.145 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1546852985.145 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (fabs (sqrt (/ 1 x))) 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.145 * * * * [misc]progress: [ 59 / 84 ] simplifiying candidate # 1546852985.145 * * * * [misc]progress: [ 60 / 84 ] simplifiying candidate # 1546852985.145 * * * * [misc]progress: [ 61 / 84 ] simplifiying candidate # 1546852985.145 * * * * [misc]progress: [ 62 / 84 ] simplifiying candidate # 1546852985.145 * * * * [misc]progress: [ 63 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 64 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 65 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 66 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 67 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 68 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 69 / 84 ] simplifiying candidate # 1546852985.146 * * * * [misc]progress: [ 70 / 84 ] simplifiying candidate # 1546852985.146 * [enter]simplify: Simplifying (+ (sqrt (sqrt (/ 1 x))) 1) 1546852985.146 * * [misc]simplify: iters left: 6 (6 enodes) 1546852985.147 * * [misc]simplify: iters left: 5 (9 enodes) 1546852985.148 * [exit]simplify: Simplified to (+ 1 (sqrt (sqrt (/ 1 x)))) 1546852985.148 * [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)))))) 1546852985.148 * * * * [misc]progress: [ 71 / 84 ] simplifiying candidate # 1546852985.148 * [enter]simplify: Simplifying (+ (sqrt (sqrt (/ 1 x))) 1) 1546852985.148 * * [misc]simplify: iters left: 6 (6 enodes) 1546852985.149 * * [misc]simplify: iters left: 5 (9 enodes) 1546852985.150 * [exit]simplify: Simplified to (+ 1 (sqrt (sqrt (/ 1 x)))) 1546852985.150 * [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)))))) 1546852985.150 * * * * [misc]progress: [ 72 / 84 ] simplifiying candidate # 1546852985.150 * * * * [misc]progress: [ 73 / 84 ] simplifiying candidate # 1546852985.150 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852985.150 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1546852985.150 * * * * [misc]progress: [ 74 / 84 ] simplifiying candidate # 1546852985.150 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1546852985.150 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1546852985.150 * * * * [misc]progress: [ 75 / 84 ] simplifiying candidate # 1546852985.151 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1546852985.151 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1546852985.151 * * * * [misc]progress: [ 76 / 84 ] simplifiying candidate # 1546852985.151 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852985.151 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1546852985.151 * * * * [misc]progress: [ 77 / 84 ] simplifiying candidate # 1546852985.151 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852985.151 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1546852985.151 * * * * [misc]progress: [ 78 / 84 ] simplifiying candidate # 1546852985.151 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852985.151 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1546852985.151 * * * * [misc]progress: [ 79 / 84 ] simplifiying candidate # 1546852985.151 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852985.151 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.151 * * * * [misc]progress: [ 80 / 84 ] simplifiying candidate # 1546852985.152 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852985.152 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.152 * * * * [misc]progress: [ 81 / 84 ] simplifiying candidate # 1546852985.152 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852985.152 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (sqrt (/ 1 x)) 1))))) 1546852985.152 * * * * [misc]progress: [ 82 / 84 ] simplifiying candidate # 1546852985.152 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852985.152 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) +nan.0)))) 1546852985.152 * * * * [misc]progress: [ 83 / 84 ] simplifiying candidate # 1546852985.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1546852985.153 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) +nan.0)))) 1546852985.153 * * * * [misc]progress: [ 84 / 84 ] simplifiying candidate # 1546852985.153 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1546852985.153 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) +nan.0)))) 1546852985.153 * * * [misc]progress: adding candidates to table 1546852985.916 * * [misc]progress: iteration 3 / 4 1546852985.916 * * * [misc]progress: picking best candidate 1546852985.919 * * * * [misc]pick: Picked # 1546852985.919 * * * [misc]progress: localizing error 1546852985.936 * * * [misc]progress: generating rewritten candidates 1546852985.936 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1) 1546852985.938 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1546852985.962 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 1546852985.963 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1546852985.964 * * * [misc]progress: generating series expansions 1546852985.964 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1) 1546852985.964 * [misc]backup-simplify: Simplify (exp (log (sqrt (/ 1 x)))) into (sqrt (/ 1 x)) 1546852985.964 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1546852985.964 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852985.964 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852985.964 * [misc]taylor: Taking taylor expansion of x in x 1546852985.964 * [misc]backup-simplify: Simplify 0 into 0 1546852985.964 * [misc]backup-simplify: Simplify 1 into 1 1546852985.964 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852985.965 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.965 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.965 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852985.965 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852985.965 * [misc]taylor: Taking taylor expansion of x in x 1546852985.965 * [misc]backup-simplify: Simplify 0 into 0 1546852985.965 * [misc]backup-simplify: Simplify 1 into 1 1546852985.965 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852985.965 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.965 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.966 * [misc]backup-simplify: Simplify 0 into 0 1546852985.966 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.966 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852985.966 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.966 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.967 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852985.967 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.967 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.968 * [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))))) 1546852985.968 * [misc]backup-simplify: Simplify (exp (log (sqrt (/ 1 (/ 1 x))))) into (sqrt x) 1546852985.968 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1546852985.968 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852985.968 * [misc]taylor: Taking taylor expansion of x in x 1546852985.968 * [misc]backup-simplify: Simplify 0 into 0 1546852985.968 * [misc]backup-simplify: Simplify 1 into 1 1546852985.968 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.968 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.968 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852985.968 * [misc]taylor: Taking taylor expansion of x in x 1546852985.968 * [misc]backup-simplify: Simplify 0 into 0 1546852985.968 * [misc]backup-simplify: Simplify 1 into 1 1546852985.968 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.968 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.969 * [misc]backup-simplify: Simplify 0 into 0 1546852985.969 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.969 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.969 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.970 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.970 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.970 * [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))))))) 1546852985.970 * [misc]backup-simplify: Simplify (exp (log (sqrt (/ 1 (/ 1 (- x)))))) into (sqrt (* -1 x)) 1546852985.970 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1546852985.970 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852985.970 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852985.970 * [misc]taylor: Taking taylor expansion of -1 in x 1546852985.971 * [misc]backup-simplify: Simplify -1 into -1 1546852985.971 * [misc]taylor: Taking taylor expansion of x in x 1546852985.971 * [misc]backup-simplify: Simplify 0 into 0 1546852985.971 * [misc]backup-simplify: Simplify 1 into 1 1546852985.971 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852985.971 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852985.971 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.971 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852985.971 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852985.971 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852985.971 * [misc]taylor: Taking taylor expansion of -1 in x 1546852985.971 * [misc]backup-simplify: Simplify -1 into -1 1546852985.971 * [misc]taylor: Taking taylor expansion of x in x 1546852985.971 * [misc]backup-simplify: Simplify 0 into 0 1546852985.971 * [misc]backup-simplify: Simplify 1 into 1 1546852985.971 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852985.972 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852985.972 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.972 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852985.972 * [misc]backup-simplify: Simplify 0 into 0 1546852985.972 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.972 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852985.973 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.973 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.973 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852985.974 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.974 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852985.974 * [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))))))) 1546852985.974 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1546852985.974 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (sqrt (/ 1 x)))) 1)) into (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) 1546852985.974 * [misc]approximate: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in (x) around 0 1546852985.974 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1546852985.974 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1546852985.974 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852985.974 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852985.974 * [misc]taylor: Taking taylor expansion of x in x 1546852985.974 * [misc]backup-simplify: Simplify 0 into 0 1546852985.974 * [misc]backup-simplify: Simplify 1 into 1 1546852985.974 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852985.975 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.975 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.975 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.975 * [misc]backup-simplify: Simplify 1 into 1 1546852985.975 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1546852985.975 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852985.975 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852985.975 * [misc]taylor: Taking taylor expansion of x in x 1546852985.975 * [misc]backup-simplify: Simplify 0 into 0 1546852985.975 * [misc]backup-simplify: Simplify 1 into 1 1546852985.975 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852985.975 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.975 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.975 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.975 * [misc]backup-simplify: Simplify 1 into 1 1546852985.975 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1546852985.975 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1546852985.976 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852985.976 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852985.976 * [misc]taylor: Taking taylor expansion of x in x 1546852985.976 * [misc]backup-simplify: Simplify 0 into 0 1546852985.976 * [misc]backup-simplify: Simplify 1 into 1 1546852985.976 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852985.976 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.976 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.976 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.976 * [misc]backup-simplify: Simplify 1 into 1 1546852985.976 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1546852985.976 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852985.976 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852985.976 * [misc]taylor: Taking taylor expansion of x in x 1546852985.976 * [misc]backup-simplify: Simplify 0 into 0 1546852985.976 * [misc]backup-simplify: Simplify 1 into 1 1546852985.976 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852985.976 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.977 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.977 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.977 * [misc]backup-simplify: Simplify 1 into 1 1546852985.977 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852985.977 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546852985.977 * [misc]backup-simplify: Simplify (* 0 0) into 0 1546852985.977 * [misc]backup-simplify: Simplify 0 into 0 1546852985.977 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1546852985.977 * [misc]backup-simplify: Simplify (- 1) into -1 1546852985.977 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1546852985.977 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1546852985.978 * [misc]backup-simplify: Simplify 0 into 0 1546852985.978 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852985.978 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.978 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.979 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852985.979 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.979 * [misc]backup-simplify: Simplify (- 0) into 0 1546852985.979 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.980 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1546852985.980 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852985.981 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852985.984 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.984 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.984 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852985.985 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.985 * [misc]backup-simplify: Simplify (- 0) into 0 1546852985.985 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.986 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0) 1546852985.986 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852985.987 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852985.988 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.988 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.988 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852985.989 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852985.989 * [misc]backup-simplify: Simplify (- 0) into 0 1546852985.989 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.991 * [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) 1546852985.991 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852985.992 * [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))))) 1546852985.992 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 (/ 1 x))) 1) (- (exp (log (sqrt (/ 1 (/ 1 x))))) 1)) into (* (- (sqrt x) 1) (+ (sqrt x) 1)) 1546852985.992 * [misc]approximate: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in (x) around 0 1546852985.992 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1546852985.992 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1546852985.992 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852985.992 * [misc]taylor: Taking taylor expansion of x in x 1546852985.992 * [misc]backup-simplify: Simplify 0 into 0 1546852985.992 * [misc]backup-simplify: Simplify 1 into 1 1546852985.992 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.992 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.992 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.993 * [misc]backup-simplify: Simplify 1 into 1 1546852985.993 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1546852985.993 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852985.993 * [misc]taylor: Taking taylor expansion of x in x 1546852985.993 * [misc]backup-simplify: Simplify 0 into 0 1546852985.993 * [misc]backup-simplify: Simplify 1 into 1 1546852985.993 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.993 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.993 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.993 * [misc]backup-simplify: Simplify 1 into 1 1546852985.993 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1546852985.993 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1546852985.993 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852985.993 * [misc]taylor: Taking taylor expansion of x in x 1546852985.993 * [misc]backup-simplify: Simplify 0 into 0 1546852985.993 * [misc]backup-simplify: Simplify 1 into 1 1546852985.993 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.993 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.993 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.994 * [misc]backup-simplify: Simplify 1 into 1 1546852985.994 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1546852985.994 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852985.994 * [misc]taylor: Taking taylor expansion of x in x 1546852985.994 * [misc]backup-simplify: Simplify 0 into 0 1546852985.994 * [misc]backup-simplify: Simplify 1 into 1 1546852985.994 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.994 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852985.994 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.994 * [misc]backup-simplify: Simplify 1 into 1 1546852985.994 * [misc]backup-simplify: Simplify (- 1) into -1 1546852985.994 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852985.994 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852985.994 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546852985.994 * [misc]backup-simplify: Simplify -1 into -1 1546852985.995 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.995 * [misc]backup-simplify: Simplify (- 0) into 0 1546852985.995 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.995 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1546852985.995 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852985.996 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.996 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.997 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852985.997 * [misc]backup-simplify: Simplify (- 0) into 0 1546852985.997 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852985.998 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1546852985.998 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852985.998 * [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))))) 1546852985.999 * [misc]backup-simplify: Simplify (* (+ (sqrt (/ 1 (/ 1 (- x)))) 1) (- (exp (log (sqrt (/ 1 (/ 1 (- x)))))) 1)) into (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) 1546852985.999 * [misc]approximate: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in (x) around 0 1546852985.999 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1546852985.999 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1546852985.999 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852985.999 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852985.999 * [misc]taylor: Taking taylor expansion of -1 in x 1546852985.999 * [misc]backup-simplify: Simplify -1 into -1 1546852985.999 * [misc]taylor: Taking taylor expansion of x in x 1546852985.999 * [misc]backup-simplify: Simplify 0 into 0 1546852985.999 * [misc]backup-simplify: Simplify 1 into 1 1546852985.999 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852985.999 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852985.999 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852985.999 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852985.999 * [misc]taylor: Taking taylor expansion of 1 in x 1546852985.999 * [misc]backup-simplify: Simplify 1 into 1 1546852986.000 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1546852986.000 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.000 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.000 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.000 * [misc]backup-simplify: Simplify -1 into -1 1546852986.000 * [misc]taylor: Taking taylor expansion of x in x 1546852986.000 * [misc]backup-simplify: Simplify 0 into 0 1546852986.000 * [misc]backup-simplify: Simplify 1 into 1 1546852986.000 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.000 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.000 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.001 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.001 * [misc]taylor: Taking taylor expansion of 1 in x 1546852986.001 * [misc]backup-simplify: Simplify 1 into 1 1546852986.001 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1546852986.001 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1546852986.001 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.001 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.001 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.001 * [misc]backup-simplify: Simplify -1 into -1 1546852986.001 * [misc]taylor: Taking taylor expansion of x in x 1546852986.001 * [misc]backup-simplify: Simplify 0 into 0 1546852986.001 * [misc]backup-simplify: Simplify 1 into 1 1546852986.001 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.001 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.001 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.002 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.002 * [misc]taylor: Taking taylor expansion of 1 in x 1546852986.002 * [misc]backup-simplify: Simplify 1 into 1 1546852986.002 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1546852986.002 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.002 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.002 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.002 * [misc]backup-simplify: Simplify -1 into -1 1546852986.002 * [misc]taylor: Taking taylor expansion of x in x 1546852986.002 * [misc]backup-simplify: Simplify 0 into 0 1546852986.002 * [misc]backup-simplify: Simplify 1 into 1 1546852986.002 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.002 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.002 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.003 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.003 * [misc]taylor: Taking taylor expansion of 1 in x 1546852986.003 * [misc]backup-simplify: Simplify 1 into 1 1546852986.003 * [misc]backup-simplify: Simplify (- 1) into -1 1546852986.003 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546852986.003 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546852986.003 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546852986.003 * [misc]backup-simplify: Simplify -1 into -1 1546852986.003 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852986.004 * [misc]backup-simplify: Simplify (- 0) into 0 1546852986.004 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852986.004 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1546852986.004 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852986.004 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852986.005 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.005 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852986.005 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852986.006 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.006 * [misc]backup-simplify: Simplify (- 0) into 0 1546852986.006 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1546852986.007 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1546852986.007 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1546852986.008 * [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))))) 1546852986.008 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 1546852986.008 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1546852986.008 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1546852986.008 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852986.008 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852986.008 * [misc]taylor: Taking taylor expansion of x in x 1546852986.008 * [misc]backup-simplify: Simplify 0 into 0 1546852986.008 * [misc]backup-simplify: Simplify 1 into 1 1546852986.008 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852986.008 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.008 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.008 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852986.009 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852986.009 * [misc]taylor: Taking taylor expansion of x in x 1546852986.009 * [misc]backup-simplify: Simplify 0 into 0 1546852986.009 * [misc]backup-simplify: Simplify 1 into 1 1546852986.009 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852986.009 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.009 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.009 * [misc]backup-simplify: Simplify 0 into 0 1546852986.009 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.009 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852986.010 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.010 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.010 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852986.011 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852986.011 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.011 * [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))))) 1546852986.011 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1546852986.011 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1546852986.011 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852986.011 * [misc]taylor: Taking taylor expansion of x in x 1546852986.011 * [misc]backup-simplify: Simplify 0 into 0 1546852986.011 * [misc]backup-simplify: Simplify 1 into 1 1546852986.011 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.012 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.012 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852986.012 * [misc]taylor: Taking taylor expansion of x in x 1546852986.012 * [misc]backup-simplify: Simplify 0 into 0 1546852986.012 * [misc]backup-simplify: Simplify 1 into 1 1546852986.012 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.012 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.012 * [misc]backup-simplify: Simplify 0 into 0 1546852986.012 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.013 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.013 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.014 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852986.014 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.014 * [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))))))) 1546852986.014 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1546852986.014 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1546852986.014 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.014 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.014 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.014 * [misc]backup-simplify: Simplify -1 into -1 1546852986.014 * [misc]taylor: Taking taylor expansion of x in x 1546852986.014 * [misc]backup-simplify: Simplify 0 into 0 1546852986.014 * [misc]backup-simplify: Simplify 1 into 1 1546852986.014 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.015 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.015 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.015 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.015 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.015 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.015 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.015 * [misc]backup-simplify: Simplify -1 into -1 1546852986.015 * [misc]taylor: Taking taylor expansion of x in x 1546852986.015 * [misc]backup-simplify: Simplify 0 into 0 1546852986.015 * [misc]backup-simplify: Simplify 1 into 1 1546852986.015 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.015 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.015 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.016 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.016 * [misc]backup-simplify: Simplify 0 into 0 1546852986.016 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.016 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852986.017 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.017 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.017 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852986.018 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852986.018 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.018 * [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))))))) 1546852986.018 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1) 1546852986.018 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1546852986.018 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1546852986.018 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852986.018 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852986.018 * [misc]taylor: Taking taylor expansion of x in x 1546852986.018 * [misc]backup-simplify: Simplify 0 into 0 1546852986.018 * [misc]backup-simplify: Simplify 1 into 1 1546852986.018 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852986.018 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.019 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.019 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1546852986.019 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546852986.019 * [misc]taylor: Taking taylor expansion of x in x 1546852986.019 * [misc]backup-simplify: Simplify 0 into 0 1546852986.019 * [misc]backup-simplify: Simplify 1 into 1 1546852986.019 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546852986.019 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.019 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.019 * [misc]backup-simplify: Simplify 0 into 0 1546852986.019 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.020 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546852986.020 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.020 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.020 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546852986.021 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852986.021 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.021 * [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))))) 1546852986.021 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1546852986.021 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1546852986.021 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852986.021 * [misc]taylor: Taking taylor expansion of x in x 1546852986.021 * [misc]backup-simplify: Simplify 0 into 0 1546852986.021 * [misc]backup-simplify: Simplify 1 into 1 1546852986.021 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.022 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.022 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1546852986.022 * [misc]taylor: Taking taylor expansion of x in x 1546852986.022 * [misc]backup-simplify: Simplify 0 into 0 1546852986.022 * [misc]backup-simplify: Simplify 1 into 1 1546852986.022 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.022 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1546852986.022 * [misc]backup-simplify: Simplify 0 into 0 1546852986.022 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.023 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.023 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.024 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852986.024 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.024 * [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))))))) 1546852986.024 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1546852986.024 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1546852986.024 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.024 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.024 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.024 * [misc]backup-simplify: Simplify -1 into -1 1546852986.024 * [misc]taylor: Taking taylor expansion of x in x 1546852986.024 * [misc]backup-simplify: Simplify 0 into 0 1546852986.024 * [misc]backup-simplify: Simplify 1 into 1 1546852986.024 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.024 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.024 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.025 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.025 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1546852986.025 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1546852986.025 * [misc]taylor: Taking taylor expansion of -1 in x 1546852986.025 * [misc]backup-simplify: Simplify -1 into -1 1546852986.025 * [misc]taylor: Taking taylor expansion of x in x 1546852986.025 * [misc]backup-simplify: Simplify 0 into 0 1546852986.025 * [misc]backup-simplify: Simplify 1 into 1 1546852986.025 * [misc]backup-simplify: Simplify (* -1 0) into 0 1546852986.025 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1546852986.025 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1546852986.025 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1546852986.026 * [misc]backup-simplify: Simplify 0 into 0 1546852986.026 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.026 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1546852986.026 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1546852986.026 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.027 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1546852986.027 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1546852986.027 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1546852986.028 * [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))))))) 1546852986.028 * * * [misc]progress: simplifying candidates 1546852986.028 * * * * [misc]progress: [ 1 / 93 ] simplifiying candidate # 1546852986.028 * * * * [misc]progress: [ 2 / 93 ] simplifiying candidate # 1546852986.028 * [enter]simplify: Simplifying (exp 1/2) 1546852986.028 * * [misc]simplify: iters left: 1 (2 enodes) 1546852986.029 * [exit]simplify: Simplified to (exp 1/2) 1546852986.029 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow (exp 1/2) (log (/ 1 x))) 1))))) 1546852986.029 * * * * [misc]progress: [ 3 / 93 ] simplifiying candidate # 1546852986.029 * [enter]simplify: Simplifying (exp 1) 1546852986.029 * * [misc]simplify: iters left: 1 (2 enodes) 1546852986.029 * [exit]simplify: Simplified to E 1546852986.029 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow E (log (sqrt (/ 1 x)))) 1))))) 1546852986.029 * * * * [misc]progress: [ 4 / 93 ] simplifiying candidate # 1546852986.030 * [enter]simplify: Simplifying (exp (* (cbrt (log (sqrt (/ 1 x)))) (cbrt (log (sqrt (/ 1 x)))))) 1546852986.030 * * [misc]simplify: iters left: 6 (8 enodes) 1546852986.031 * * [misc]simplify: iters left: 5 (12 enodes) 1546852986.032 * [exit]simplify: Simplified to (exp (* (cbrt (log (sqrt (/ 1 x)))) (cbrt (log (sqrt (/ 1 x)))))) 1546852986.032 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow (exp (* (cbrt (log (sqrt (/ 1 x)))) (cbrt (log (sqrt (/ 1 x)))))) (cbrt (log (sqrt (/ 1 x))))) 1))))) 1546852986.032 * * * * [misc]progress: [ 5 / 93 ] simplifiying candidate # 1546852986.032 * [enter]simplify: Simplifying (exp (sqrt (log (sqrt (/ 1 x))))) 1546852986.032 * * [misc]simplify: iters left: 6 (7 enodes) 1546852986.033 * * [misc]simplify: iters left: 5 (9 enodes) 1546852986.034 * [exit]simplify: Simplified to (exp (sqrt (log (sqrt (/ 1 x))))) 1546852986.034 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow (exp (sqrt (log (sqrt (/ 1 x))))) (sqrt (log (sqrt (/ 1 x))))) 1))))) 1546852986.034 * * * * [misc]progress: [ 6 / 93 ] simplifiying candidate # 1546852986.035 * [enter]simplify: Simplifying (exp 1) 1546852986.035 * * [misc]simplify: iters left: 1 (2 enodes) 1546852986.035 * [exit]simplify: Simplified to E 1546852986.035 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (pow E (log (sqrt (/ 1 x)))) 1))))) 1546852986.035 * * * * [misc]progress: [ 7 / 93 ] simplifiying candidate # 1546852986.035 * [enter]simplify: Simplifying (exp (log (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))))) 1546852986.035 * * [misc]simplify: iters left: 6 (8 enodes) 1546852986.036 * * [misc]simplify: iters left: 5 (12 enodes) 1546852986.038 * * [misc]simplify: iters left: 4 (14 enodes) 1546852986.039 * [exit]simplify: Simplified to (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) 1546852986.039 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (* (cbrt (sqrt (/ 1 x))) (cbrt (sqrt (/ 1 x)))) (exp (log (cbrt (sqrt (/ 1 x)))))) 1))))) 1546852986.039 * * * * [misc]progress: [ 8 / 93 ] simplifiying candidate # 1546852986.040 * [enter]simplify: Simplifying (exp (log (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))))) 1546852986.040 * * [misc]simplify: iters left: 6 (8 enodes) 1546852986.041 * * [misc]simplify: iters left: 5 (11 enodes) 1546852986.042 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1546852986.042 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (fabs (cbrt (/ 1 x))) (exp (log (sqrt (cbrt (/ 1 x)))))) 1))))) 1546852986.042 * * * * [misc]progress: [ 9 / 93 ] simplifiying candidate # 1546852986.042 * [enter]simplify: Simplifying (exp (log (sqrt (sqrt (/ 1 x))))) 1546852986.042 * * [misc]simplify: iters left: 6 (7 enodes) 1546852986.043 * * [misc]simplify: iters left: 5 (9 enodes) 1546852986.044 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1546852986.044 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (sqrt (/ 1 x))) (exp (log (sqrt (sqrt (/ 1 x)))))) 1))))) 1546852986.044 * * * * [misc]progress: [ 10 / 93 ] simplifiying candidate # 1546852986.044 * [enter]simplify: Simplifying (exp (log (sqrt 1))) 1546852986.044 * * [misc]simplify: iters left: 3 (4 enodes) 1546852986.045 * * [misc]simplify: iters left: 2 (6 enodes) 1546852986.046 * [exit]simplify: Simplified to 1 1546852986.046 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (exp (log (sqrt (/ 1 x))))) 1))))) 1546852986.046 * * * * [misc]progress: [ 11 / 93 ] simplifiying candidate # 1546852986.046 * [enter]simplify: Simplifying (exp (log (sqrt 1))) 1546852986.046 * * [misc]simplify: iters left: 3 (4 enodes) 1546852986.047 * * [misc]simplify: iters left: 2 (6 enodes) 1546852986.048 * [exit]simplify: Simplified to 1 1546852986.048 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (exp (log (sqrt (/ 1 x))))) 1))))) 1546852986.048 * * * * [misc]progress: [ 12 / 93 ] simplifiying candidate # 1546852986.048 * [enter]simplify: Simplifying (exp (log (sqrt (sqrt (/ 1 x))))) 1546852986.048 * * [misc]simplify: iters left: 6 (7 enodes) 1546852986.049 * * [misc]simplify: iters left: 5 (9 enodes) 1546852986.050 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1546852986.050 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* (sqrt (sqrt (/ 1 x))) (exp (log (sqrt (sqrt (/ 1 x)))))) 1))))) 1546852986.050 * * * * [misc]progress: [ 13 / 93 ] simplifiying candidate # 1546852986.050 * [enter]simplify: Simplifying (exp (log 1)) 1546852986.050 * * [misc]simplify: iters left: 2 (3 enodes) 1546852986.051 * * [misc]simplify: iters left: 1 (5 enodes) 1546852986.051 * [exit]simplify: Simplified to 1 1546852986.051 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (* 1 (exp (log (sqrt (/ 1 x))))) 1))))) 1546852986.051 * * * * [misc]progress: [ 14 / 93 ] simplifiying candidate # 1546852986.052 * [enter]simplify: Simplifying (exp (log (sqrt 1))) 1546852986.052 * * [misc]simplify: iters left: 3 (4 enodes) 1546852986.053 * * [misc]simplify: iters left: 2 (6 enodes) 1546852986.055 * [exit]simplify: Simplified to 1 1546852986.055 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (/ 1 (exp (log (sqrt x)))) 1))))) 1546852986.055 * * * * [misc]progress: [ 15 / 93 ] simplifiying candidate # 1546852986.055 * [enter]simplify: Simplifying (/ 1 x) 1546852986.055 * * [misc]simplify: iters left: 2 (3 enodes) 1546852986.056 * * [misc]simplify: iters left: 1 (5 enodes) 1546852986.057 * [exit]simplify: Simplified to (/ 1 x) 1546852986.057 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1546852986.057 * * * * [misc]progress: [ 16 / 93 ] simplifiying candidate # 1546852986.057 * * * * [misc]progress: [ 17 / 93 ] simplifiying candidate # 1546852986.057 * * * * [misc]progress: [ 18 / 93 ] simplifiying candidate # 1546852986.057 * * * * [misc]progress: [ 19 / 93 ] simplifiying candidate # 1546852986.057 * * * * [misc]progress: [ 20 / 93 ] simplifiying candidate # 1546852986.058 * * * * [misc]progress: [ 21 / 93 ] simplifiying candidate # 1546852986.058 * * * * [misc]progress: [ 22 / 93 ] simplifiying candidate # 1546852986.058 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (sqrt (/ 1 x)))) 1)) 1546852986.058 * * [misc]simplify: iters left: 6 (9 enodes) 1546852986.061 * * [misc]simplify: iters left: 5 (16 enodes) 1546852986.065 * * [misc]simplify: iters left: 4 (31 enodes) 1546852986.077 * * [misc]simplify: iters left: 3 (70 enodes) 1546852986.090 * * [misc]simplify: iters left: 2 (127 enodes) 1546852986.146 * * [misc]simplify: iters left: 1 (279 enodes) 1546852986.262 * [exit]simplify: Simplified to (+ -1 (/ 1 x)) 1546852986.262 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (pow (+ -1 (/ 1 x)) 1)))) 1546852986.262 * * * * [misc]progress: [ 23 / 93 ] simplifiying candidate # 1546852986.263 * * * * [misc]progress: [ 24 / 93 ] simplifiying candidate # 1546852986.263 * [enter]simplify: Simplifying (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (exp (log (sqrt (/ 1 x)))) 1))) 1546852986.263 * * [misc]simplify: iters left: 6 (11 enodes) 1546852986.265 * * [misc]simplify: iters left: 5 (18 enodes) 1546852986.267 * * [misc]simplify: iters left: 4 (19 enodes) 1546852986.269 * [exit]simplify: Simplified to (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))) 1546852986.269 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (exp (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))))) 1546852986.269 * * * * [misc]progress: [ 25 / 93 ] simplifiying candidate # 1546852986.269 * * * * [misc]progress: [ 26 / 93 ] simplifiying candidate # 1546852986.269 * * * * [misc]progress: [ 27 / 93 ] simplifiying candidate # 1546852986.269 * [enter]simplify: Simplifying (* (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) (+ (sqrt (/ 1 x)) 1)) (* (* (- (exp (log (sqrt (/ 1 x)))) 1) (- (exp (log (sqrt (/ 1 x)))) 1)) (- (exp (log (sqrt (/ 1 x)))) 1))) 1546852986.269 * * [misc]simplify: iters left: 6 (13 enodes) 1546852986.272 * * [misc]simplify: iters left: 5 (38 enodes) 1546852986.286 * * [misc]simplify: iters left: 4 (153 enodes) 1546852986.357 * [exit]simplify: Simplified to (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3)) 1546852986.357 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (cbrt (* (pow (- (sqrt (/ 1 x)) 1) 3) (pow (+ 1 (sqrt (/ 1 x))) 3)))))) 1546852986.357 * * * * [misc]progress: [ 28 / 93 ] simplifiying candidate # 1546852986.357 * * * * [misc]progress: [ 29 / 93 ] simplifiying candidate # 1546852986.357 * * * * [misc]progress: [ 30 / 93 ] simplifiying candidate # 1546852986.357 * * * * [misc]progress: [ 31 / 93 ] simplifiying candidate # 1546852986.357 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (pow (exp (log (sqrt (/ 1 x)))) 3) (pow 1 3))) 1546852986.357 * * [misc]simplify: iters left: 6 (13 enodes) 1546852986.361 * * [misc]simplify: iters left: 5 (27 enodes) 1546852986.367 * * [misc]simplify: iters left: 4 (50 enodes) 1546852986.390 * * [misc]simplify: iters left: 3 (118 enodes) 1546852986.419 * * [misc]simplify: iters left: 2 (240 enodes) 1546852986.540 * [exit]simplify: Simplified to (* (- (* (sqrt (/ 1 x)) (/ 1 x)) 1) (+ 1 (* (sqrt (/ 1 x)) (/ 1 x)))) 1546852986.541 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (* (sqrt (/ 1 x)) (/ 1 x)) 1) (+ 1 (* (sqrt (/ 1 x)) (/ 1 x)))) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (+ (* 1 1) (* (exp (log (sqrt (/ 1 x)))) 1)))))))) 1546852986.541 * [enter]simplify: Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (+ (* 1 1) (* (exp (log (sqrt (/ 1 x)))) 1)))) 1546852986.541 * * [misc]simplify: iters left: 6 (16 enodes) 1546852986.547 * * [misc]simplify: iters left: 5 (38 enodes) 1546852986.561 * * [misc]simplify: iters left: 4 (114 enodes) 1546852986.630 * * [misc]simplify: iters left: 3 (366 enodes) 1546852986.930 * [exit]simplify: Simplified to (* (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) 1546852986.930 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (- (* (sqrt (/ 1 x)) (/ 1 x)) 1) (+ 1 (* (sqrt (/ 1 x)) (/ 1 x)))) (* (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))))))) 1546852986.930 * * * * [misc]progress: [ 32 / 93 ] simplifiying candidate # 1546852986.930 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (* 1 1))) 1546852986.930 * * [misc]simplify: iters left: 6 (14 enodes) 1546852986.936 * * [misc]simplify: iters left: 5 (28 enodes) 1546852986.942 * * [misc]simplify: iters left: 4 (47 enodes) 1546852986.959 * * [misc]simplify: iters left: 3 (92 enodes) 1546852986.996 * * [misc]simplify: iters left: 2 (244 enodes) 1546852987.248 * [exit]simplify: Simplified to (+ (* (/ 1 x) (* (sqrt (/ 1 x)) (- (/ 1 x) 1))) (- (/ 1 x) 1)) 1546852987.248 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (+ (* (/ 1 x) (* (sqrt (/ 1 x)) (- (/ 1 x) 1))) (- (/ 1 x) 1)) (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (exp (log (sqrt (/ 1 x)))) 1)))))) 1546852987.248 * [enter]simplify: Simplifying (* (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))) (+ (exp (log (sqrt (/ 1 x)))) 1)) 1546852987.249 * * [misc]simplify: iters left: 6 (13 enodes) 1546852987.253 * * [misc]simplify: iters left: 5 (30 enodes) 1546852987.265 * * [misc]simplify: iters left: 4 (80 enodes) 1546852987.302 * * [misc]simplify: iters left: 3 (205 enodes) 1546852987.381 * [exit]simplify: Simplified to (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) 1546852987.382 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (+ (* (/ 1 x) (* (sqrt (/ 1 x)) (- (/ 1 x) 1))) (- (/ 1 x) 1)) (* (+ 1 (sqrt (/ 1 x))) (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))))))) 1546852987.382 * * * * [misc]progress: [ 33 / 93 ] simplifiying candidate # 1546852987.382 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (pow (exp (log (sqrt (/ 1 x)))) 3) (pow 1 3))) 1546852987.382 * * [misc]simplify: iters left: 6 (14 enodes) 1546852987.385 * * [misc]simplify: iters left: 5 (27 enodes) 1546852987.388 * * [misc]simplify: iters left: 4 (44 enodes) 1546852987.403 * * [misc]simplify: iters left: 3 (97 enodes) 1546852987.437 * * [misc]simplify: iters left: 2 (301 enodes) 1546852987.670 * [exit]simplify: Simplified to (- (* (* (- (/ 1 x) 1) (sqrt (/ 1 x))) (/ 1 x)) (- (/ 1 x) 1)) 1546852987.670 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (* (* (- (/ 1 x) 1) (sqrt (/ 1 x))) (/ 1 x)) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (+ (* 1 1) (* (exp (log (sqrt (/ 1 x)))) 1)))))))) 1546852987.670 * [enter]simplify: Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (+ (* 1 1) (* (exp (log (sqrt (/ 1 x)))) 1)))) 1546852987.670 * * [misc]simplify: iters left: 6 (13 enodes) 1546852987.673 * * [misc]simplify: iters left: 5 (32 enodes) 1546852987.678 * * [misc]simplify: iters left: 4 (81 enodes) 1546852987.728 * * [misc]simplify: iters left: 3 (237 enodes) 1546852987.819 * [exit]simplify: Simplified to (* (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x))) (- (sqrt (/ 1 x)) 1)) 1546852987.820 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (* (* (- (/ 1 x) 1) (sqrt (/ 1 x))) (/ 1 x)) (- (/ 1 x) 1)) (* (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x))) (- (sqrt (/ 1 x)) 1)))))) 1546852987.820 * * * * [misc]progress: [ 34 / 93 ] simplifiying candidate # 1546852987.820 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (* 1 1))) 1546852987.820 * * [misc]simplify: iters left: 6 (12 enodes) 1546852987.823 * * [misc]simplify: iters left: 5 (23 enodes) 1546852987.825 * * [misc]simplify: iters left: 4 (27 enodes) 1546852987.827 * * [misc]simplify: iters left: 3 (36 enodes) 1546852987.832 * * [misc]simplify: iters left: 2 (86 enodes) 1546852987.864 * * [misc]simplify: iters left: 1 (312 enodes) 1546852988.005 * [exit]simplify: Simplified to (* (- (/ 1 x) 1) (- (/ 1 x) 1)) 1546852988.006 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (* (- (sqrt (/ 1 x)) 1) (+ (exp (log (sqrt (/ 1 x)))) 1)))))) 1546852988.006 * [enter]simplify: Simplifying (* (- (sqrt (/ 1 x)) 1) (+ (exp (log (sqrt (/ 1 x)))) 1)) 1546852988.006 * * [misc]simplify: iters left: 6 (9 enodes) 1546852988.010 * * [misc]simplify: iters left: 5 (22 enodes) 1546852988.018 * * [misc]simplify: iters left: 4 (42 enodes) 1546852988.036 * * [misc]simplify: iters left: 3 (84 enodes) 1546852988.062 * * [misc]simplify: iters left: 2 (180 enodes) 1546852988.155 * * [misc]simplify: iters left: 1 (307 enodes) 1546852988.284 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1546852988.284 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))) 1546852988.284 * * * * [misc]progress: [ 35 / 93 ] simplifiying candidate # 1546852988.284 * * * * [misc]progress: [ 36 / 93 ] simplifiying candidate # 1546852988.285 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1)) 1546852988.285 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.288 * * [misc]simplify: iters left: 5 (14 enodes) 1546852988.291 * * [misc]simplify: iters left: 4 (16 enodes) 1546852988.302 * * [misc]simplify: iters left: 3 (35 enodes) 1546852988.307 * * [misc]simplify: iters left: 2 (54 enodes) 1546852988.314 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852988.314 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (exp (log (sqrt (/ 1 x))))) (- -1 (sqrt (/ 1 x))))))) 1546852988.314 * * * * [misc]progress: [ 37 / 93 ] simplifiying candidate # 1546852988.314 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- 1)) 1546852988.314 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.316 * * [misc]simplify: iters left: 5 (14 enodes) 1546852988.318 * * [misc]simplify: iters left: 4 (16 enodes) 1546852988.322 * * [misc]simplify: iters left: 3 (35 enodes) 1546852988.326 * * [misc]simplify: iters left: 2 (54 enodes) 1546852988.333 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852988.333 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (+ (sqrt (/ 1 x)) 1) (exp (log (sqrt (/ 1 x))))) (- -1 (sqrt (/ 1 x))))))) 1546852988.333 * * * * [misc]progress: [ 38 / 93 ] simplifiying candidate # 1546852988.333 * [enter]simplify: Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1)) 1546852988.334 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.336 * * [misc]simplify: iters left: 5 (20 enodes) 1546852988.339 * * [misc]simplify: iters left: 4 (32 enodes) 1546852988.343 * * [misc]simplify: iters left: 3 (39 enodes) 1546852988.352 * * [misc]simplify: iters left: 2 (44 enodes) 1546852988.360 * * [misc]simplify: iters left: 1 (45 enodes) 1546852988.367 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852988.368 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (exp (log (sqrt (/ 1 x)))) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x))))))) 1546852988.368 * * * * [misc]progress: [ 39 / 93 ] simplifiying candidate # 1546852988.368 * [enter]simplify: Simplifying (* (- 1) (+ (sqrt (/ 1 x)) 1)) 1546852988.368 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.372 * * [misc]simplify: iters left: 5 (20 enodes) 1546852988.378 * * [misc]simplify: iters left: 4 (32 enodes) 1546852988.386 * * [misc]simplify: iters left: 3 (39 enodes) 1546852988.394 * * [misc]simplify: iters left: 2 (44 enodes) 1546852988.403 * * [misc]simplify: iters left: 1 (45 enodes) 1546852988.410 * [exit]simplify: Simplified to (- -1 (sqrt (/ 1 x))) 1546852988.410 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (+ (* (exp (log (sqrt (/ 1 x)))) (+ (sqrt (/ 1 x)) 1)) (- -1 (sqrt (/ 1 x))))))) 1546852988.410 * * * * [misc]progress: [ 40 / 93 ] simplifiying candidate # 1546852988.411 * [enter]simplify: Simplifying (cbrt (- (exp (log (sqrt (/ 1 x)))) 1)) 1546852988.411 * * [misc]simplify: iters left: 6 (8 enodes) 1546852988.414 * * [misc]simplify: iters left: 5 (13 enodes) 1546852988.416 * * [misc]simplify: iters left: 4 (14 enodes) 1546852988.419 * [exit]simplify: Simplified to (cbrt (- (sqrt (/ 1 x)) 1)) 1546852988.419 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (* (cbrt (- (exp (log (sqrt (/ 1 x)))) 1)) (cbrt (- (exp (log (sqrt (/ 1 x)))) 1)))) (cbrt (- (sqrt (/ 1 x)) 1)))))) 1546852988.420 * * * * [misc]progress: [ 41 / 93 ] simplifiying candidate # 1546852988.420 * [enter]simplify: Simplifying (sqrt (- (exp (log (sqrt (/ 1 x)))) 1)) 1546852988.420 * * [misc]simplify: iters left: 6 (8 enodes) 1546852988.423 * * [misc]simplify: iters left: 5 (13 enodes) 1546852988.425 * * [misc]simplify: iters left: 4 (14 enodes) 1546852988.428 * [exit]simplify: Simplified to (sqrt (- (sqrt (/ 1 x)) 1)) 1546852988.429 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (sqrt (- (exp (log (sqrt (/ 1 x)))) 1))) (sqrt (- (sqrt (/ 1 x)) 1)))))) 1546852988.429 * * * * [misc]progress: [ 42 / 93 ] simplifiying candidate # 1546852988.429 * [enter]simplify: Simplifying (- (exp (log (sqrt (/ 1 x)))) 1) 1546852988.429 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.432 * * [misc]simplify: iters left: 5 (12 enodes) 1546852988.434 * * [misc]simplify: iters left: 4 (13 enodes) 1546852988.437 * [exit]simplify: Simplified to (- (sqrt (/ 1 x)) 1) 1546852988.437 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) 1) (- (sqrt (/ 1 x)) 1))))) 1546852988.437 * * * * [misc]progress: [ 43 / 93 ] simplifiying candidate # 1546852988.437 * [enter]simplify: Simplifying (- (exp (log (sqrt (sqrt (/ 1 x))))) 1) 1546852988.437 * * [misc]simplify: iters left: 6 (8 enodes) 1546852988.440 * * [misc]simplify: iters left: 5 (13 enodes) 1546852988.443 * * [misc]simplify: iters left: 4 (14 enodes) 1546852988.446 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1546852988.446 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (exp (log (sqrt (sqrt (/ 1 x))))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1546852988.446 * * * * [misc]progress: [ 44 / 93 ] simplifiying candidate # 1546852988.447 * [enter]simplify: Simplifying (- (exp (log (sqrt (sqrt (/ 1 x))))) 1) 1546852988.447 * * [misc]simplify: iters left: 6 (8 enodes) 1546852988.450 * * [misc]simplify: iters left: 5 (13 enodes) 1546852988.452 * * [misc]simplify: iters left: 4 (14 enodes) 1546852988.456 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1546852988.456 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (exp (log (sqrt (sqrt (/ 1 x))))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1546852988.456 * * * * [misc]progress: [ 45 / 93 ] simplifiying candidate # 1546852988.456 * [enter]simplify: Simplifying (- (sqrt (exp (log (sqrt (/ 1 x))))) 1) 1546852988.456 * * [misc]simplify: iters left: 6 (8 enodes) 1546852988.459 * * [misc]simplify: iters left: 5 (13 enodes) 1546852988.462 * * [misc]simplify: iters left: 4 (14 enodes) 1546852988.465 * [exit]simplify: Simplified to (- (sqrt (sqrt (/ 1 x))) 1) 1546852988.465 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (+ (sqrt (/ 1 x)) 1) (+ (sqrt (exp (log (sqrt (/ 1 x))))) 1)) (- (sqrt (sqrt (/ 1 x))) 1))))) 1546852988.465 * * * * [misc]progress: [ 46 / 93 ] simplifiying candidate # 1546852988.466 * [enter]simplify: Simplifying (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) 1546852988.466 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.468 * * [misc]simplify: iters left: 5 (10 enodes) 1546852988.470 * [exit]simplify: Simplified to (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1))) 1546852988.470 * [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)) (- (exp (log (sqrt (/ 1 x)))) 1)))))) 1546852988.470 * * * * [misc]progress: [ 47 / 93 ] simplifiying candidate # 1546852988.471 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1546852988.471 * * [misc]simplify: iters left: 6 (6 enodes) 1546852988.472 * * [misc]simplify: iters left: 5 (9 enodes) 1546852988.474 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1546852988.474 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (- (exp (log (sqrt (/ 1 x)))) 1)))))) 1546852988.474 * * * * [misc]progress: [ 48 / 93 ] simplifiying candidate # 1546852988.474 * * * * [misc]progress: [ 49 / 93 ] simplifiying candidate # 1546852988.475 * [enter]simplify: Simplifying (+ (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (+ (* 1 1) (* (exp (log (sqrt (/ 1 x)))) 1))) 1546852988.475 * * [misc]simplify: iters left: 6 (11 enodes) 1546852988.478 * * [misc]simplify: iters left: 5 (20 enodes) 1546852988.484 * * [misc]simplify: iters left: 4 (34 enodes) 1546852988.495 * * [misc]simplify: iters left: 3 (47 enodes) 1546852988.507 * * [misc]simplify: iters left: 2 (54 enodes) 1546852988.518 * [exit]simplify: Simplified to (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x))) 1546852988.518 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (pow (exp (log (sqrt (/ 1 x)))) 3) (pow 1 3))) (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x))))))) 1546852988.518 * * * * [misc]progress: [ 50 / 93 ] simplifiying candidate # 1546852988.518 * [enter]simplify: Simplifying (+ (exp (log (sqrt (/ 1 x)))) 1) 1546852988.518 * * [misc]simplify: iters left: 6 (7 enodes) 1546852988.519 * * [misc]simplify: iters left: 5 (10 enodes) 1546852988.520 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1546852988.520 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (log (/ (* (+ (sqrt (/ 1 x)) 1) (- (* (exp (log (sqrt (/ 1 x)))) (exp (log (sqrt (/ 1 x))))) (* 1 1))) (+ (sqrt (/ 1 x)) 1))))) 1546852988.520 * * * * [misc]progress: [ 51 / 93 ] simplifiying candidate # 1546852988.521 * [enter]simplify: Simplifying (* (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)) (- (exp (log (sqrt (/ 1 x)))) 1)) 1546852988.521 * * [misc]simplify: iters left: 6 (12 enodes) 1546852988.523 * * [misc]simplify: iters left: 5 (25 enodes) 1546852988.526 * * [misc]simplify: iters left: 4 (46 enodes) 1546852988.541 * * [misc]simplify: iters left: 3 (106 enodes) 1546852988.580 * * [misc]simplify: iters left: 2 (197 enodes) 1546852988.642 * * [misc]simplify: iters left: 1 (392 enodes) 1546852988.854 * [exit]simplify: Simplified to (- (* (+ (/ -1 x) 1) (sqrt (/ 1 x))) (- 1 (/ (/ 1 x) x))) 1546852988.854 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (* (+ (/ -1 x) 1) (sqrt (/ 1 x))) (- 1 (/ (/ 1 x) x))) (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1))))))) 1546852988.854 * * * * [misc]progress: [ 52 / 93 ] simplifiying candidate # 1546852988.854 * [enter]simplify: Simplifying (* (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)) (- (exp (log (sqrt (/ 1 x)))) 1)) 1546852988.854 * * [misc]simplify: iters left: 6 (11 enodes) 1546852988.859 * * [misc]simplify: iters left: 5 (19 enodes) 1546852988.863 * * [misc]simplify: iters left: 4 (31 enodes) 1546852988.868 * * [misc]simplify: iters left: 3 (68 enodes) 1546852988.890 * * [misc]simplify: iters left: 2 (194 enodes) 1546852988.964 * * [misc]simplify: iters left: 1 (467 enodes) 1546852989.219 * [exit]simplify: Simplified to (- (* (- (/ 1 x) 1) (sqrt (/ 1 x))) (- (/ 1 x) 1)) 1546852989.219 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (* (- (/ 1 x) 1) (sqrt (/ 1 x))) (- (/ 1 x) 1)) (- (sqrt (/ 1 x)) 1))))) 1546852989.219 * * * * [misc]progress: [ 53 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 54 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 55 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 56 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 57 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 58 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 59 / 93 ] simplifiying candidate # 1546852989.219 * * * * [misc]progress: [ 60 / 93 ] simplifiying candidate # 1546852989.220 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1546852989.220 * * [misc]simplify: iters left: 6 (6 enodes) 1546852989.221 * * [misc]simplify: iters left: 5 (9 enodes) 1546852989.224 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1546852989.224 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))))) 1))))) 1546852989.224 * * * * [misc]progress: [ 61 / 93 ] simplifiying candidate # 1546852989.224 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1546852989.224 * * [misc]simplify: iters left: 4 (5 enodes) 1546852989.225 * * [misc]simplify: iters left: 3 (7 enodes) 1546852989.227 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1546852989.227 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))))) 1))))) 1546852989.227 * * * * [misc]progress: [ 62 / 93 ] simplifiying candidate # 1546852989.228 * [enter]simplify: Simplifying (sqrt 1) 1546852989.228 * * [misc]simplify: iters left: 1 (2 enodes) 1546852989.229 * [exit]simplify: Simplified to 1 1546852989.229 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (* 1 (sqrt (/ 1 x))))) 1))))) 1546852989.229 * * * * [misc]progress: [ 63 / 93 ] simplifiying candidate # 1546852989.229 * [enter]simplify: Simplifying (sqrt 1) 1546852989.229 * * [misc]simplify: iters left: 1 (2 enodes) 1546852989.230 * [exit]simplify: Simplified to 1 1546852989.230 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (* 1 (sqrt (/ 1 x))))) 1))))) 1546852989.230 * * * * [misc]progress: [ 64 / 93 ] simplifiying candidate # 1546852989.230 * [enter]simplify: Simplifying (sqrt 1) 1546852989.231 * * [misc]simplify: iters left: 1 (2 enodes) 1546852989.232 * [exit]simplify: Simplified to 1 1546852989.232 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (/ 1 (sqrt x)))) 1))))) 1546852989.232 * * * * [misc]progress: [ 65 / 93 ] simplifiying candidate # 1546852989.232 * * * * [misc]progress: [ 66 / 93 ] simplifiying candidate # 1546852989.232 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1546852989.232 * * [misc]simplify: iters left: 3 (4 enodes) 1546852989.233 * * [misc]simplify: iters left: 2 (6 enodes) 1546852989.235 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1546852989.235 * [misc]simplify: Simplified (2 1 1 2 1 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (fabs (sqrt (/ 1 x))))) 1))))) 1546852989.235 * * * * [misc]progress: [ 67 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 68 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 69 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 70 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 71 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 72 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 73 / 93 ] simplifiying candidate # 1546852989.235 * * * * [misc]progress: [ 74 / 93 ] simplifiying candidate # 1546852989.236 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1546852989.236 * * [misc]simplify: iters left: 6 (6 enodes) 1546852989.237 * * [misc]simplify: iters left: 5 (9 enodes) 1546852989.240 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1546852989.240 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.240 * * * * [misc]progress: [ 75 / 93 ] simplifiying candidate # 1546852989.240 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1546852989.240 * * [misc]simplify: iters left: 4 (5 enodes) 1546852989.242 * * [misc]simplify: iters left: 3 (7 enodes) 1546852989.243 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1546852989.243 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.243 * * * * [misc]progress: [ 76 / 93 ] simplifiying candidate # 1546852989.244 * [enter]simplify: Simplifying (sqrt 1) 1546852989.244 * * [misc]simplify: iters left: 1 (2 enodes) 1546852989.245 * [exit]simplify: Simplified to 1 1546852989.245 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.245 * * * * [misc]progress: [ 77 / 93 ] simplifiying candidate # 1546852989.245 * [enter]simplify: Simplifying (sqrt 1) 1546852989.245 * * [misc]simplify: iters left: 1 (2 enodes) 1546852989.246 * [exit]simplify: Simplified to 1 1546852989.246 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (* 1 (sqrt (/ 1 x))) 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.246 * * * * [misc]progress: [ 78 / 93 ] simplifiying candidate # 1546852989.247 * [enter]simplify: Simplifying (sqrt 1) 1546852989.247 * * [misc]simplify: iters left: 1 (2 enodes) 1546852989.248 * [exit]simplify: Simplified to 1 1546852989.248 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.248 * * * * [misc]progress: [ 79 / 93 ] simplifiying candidate # 1546852989.248 * * * * [misc]progress: [ 80 / 93 ] simplifiying candidate # 1546852989.248 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1546852989.248 * * [misc]simplify: iters left: 3 (4 enodes) 1546852989.249 * * [misc]simplify: iters left: 2 (6 enodes) 1546852989.251 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1546852989.251 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (log (* (+ (fabs (sqrt (/ 1 x))) 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.251 * * * * [misc]progress: [ 81 / 93 ] simplifiying candidate # 1546852989.251 * * * * [misc]progress: [ 82 / 93 ] simplifiying candidate # 1546852989.251 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852989.251 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1546852989.251 * * * * [misc]progress: [ 83 / 93 ] simplifiying candidate # 1546852989.251 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852989.252 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1546852989.252 * * * * [misc]progress: [ 84 / 93 ] simplifiying candidate # 1546852989.252 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852989.252 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- +nan.0 1))))) 1546852989.252 * * * * [misc]progress: [ 85 / 93 ] simplifiying candidate # 1546852989.252 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852989.252 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1546852989.252 * * * * [misc]progress: [ 86 / 93 ] simplifiying candidate # 1546852989.252 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1546852989.252 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1546852989.252 * * * * [misc]progress: [ 87 / 93 ] simplifiying candidate # 1546852989.253 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- 1 (* +nan.0 (/ 1 x))))) 1546852989.253 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log +nan.0))) 1546852989.253 * * * * [misc]progress: [ 88 / 93 ] simplifiying candidate # 1546852989.253 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852989.253 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log +nan.0)) 1))))) 1546852989.253 * * * * [misc]progress: [ 89 / 93 ] simplifiying candidate # 1546852989.253 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852989.253 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log +nan.0)) 1))))) 1546852989.253 * * * * [misc]progress: [ 90 / 93 ] simplifiying candidate # 1546852989.254 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852989.254 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log +nan.0)) 1))))) 1546852989.254 * * * * [misc]progress: [ 91 / 93 ] simplifiying candidate # 1546852989.254 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1546852989.254 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.254 * * * * [misc]progress: [ 92 / 93 ] simplifiying candidate # 1546852989.254 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852989.254 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.254 * * * * [misc]progress: [ 93 / 93 ] simplifiying candidate # 1546852989.254 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1546852989.255 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (log (* (+ +nan.0 1) (- (exp (log (sqrt (/ 1 x)))) 1))))) 1546852989.255 * * * [misc]progress: adding candidates to table 1546852990.211 * [misc]progress: [Phase 3 of 3] Extracting. 1546852990.217 * [enter]simplify: Simplifying (- (log (* (+ (sqrt (/ 1 x)) 1) (- (exp (log (sqrt (/ 1 x)))) 1)))) 1546852990.218 * * [misc]simplify: iters left: 6 (11 enodes) 1546852990.219 * * [misc]simplify: iters left: 5 (15 enodes) 1546852990.220 * [exit]simplify: Simplified to (- (log (* (- (exp (log (sqrt (/ 1 x)))) 1) (+ (sqrt (/ 1 x)) 1)))) 1546852990.220 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546852990.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852990.864 * * * * [misc]points: Sampling 6035 additional inputs, on iter 1 have 1965 / 8000 1546852991.404 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852991.406 * * * * [misc]points: Sampling 4496 additional inputs, on iter 2 have 3504 / 8000 1546852992.140 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852992.142 * * * * [misc]points: Sampling 3365 additional inputs, on iter 3 have 4635 / 8000 1546852992.439 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852992.440 * * * * [misc]points: Sampling 2527 additional inputs, on iter 4 have 5473 / 8000 1546852992.635 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852992.636 * * * * [misc]points: Sampling 1919 additional inputs, on iter 5 have 6081 / 8000 1546852992.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852992.764 * * * * [misc]points: Sampling 1460 additional inputs, on iter 6 have 6540 / 8000 1546852992.893 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852992.894 * * * * [misc]points: Sampling 1123 additional inputs, on iter 7 have 6877 / 8000 1546852993.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.006 * * * * [misc]points: Sampling 857 additional inputs, on iter 8 have 7143 / 8000 1546852993.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.047 * * * * [misc]points: Sampling 652 additional inputs, on iter 9 have 7348 / 8000 1546852993.101 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.102 * * * * [misc]points: Sampling 498 additional inputs, on iter 10 have 7502 / 8000 1546852993.153 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.153 * * * * [misc]points: Sampling 381 additional inputs, on iter 11 have 7619 / 8000 1546852993.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.182 * * * * [misc]points: Sampling 269 additional inputs, on iter 12 have 7731 / 8000 1546852993.210 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.210 * * * * [misc]points: Sampling 203 additional inputs, on iter 13 have 7797 / 8000 1546852993.222 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.222 * * * * [misc]points: Sampling 140 additional inputs, on iter 14 have 7860 / 8000 1546852993.230 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.230 * * * * [misc]points: Sampling 105 additional inputs, on iter 15 have 7895 / 8000 1546852993.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.236 * * * * [misc]points: Sampling 71 additional inputs, on iter 16 have 7929 / 8000 1546852993.242 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.242 * * * * [misc]points: Sampling 47 additional inputs, on iter 17 have 7953 / 8000 1546852993.248 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.248 * * * * [misc]points: Sampling 35 additional inputs, on iter 18 have 7965 / 8000 1546852993.253 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.253 * * * * [misc]points: Sampling 25 additional inputs, on iter 19 have 7975 / 8000 1546852993.289 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.289 * * * * [misc]points: Sampling 22 additional inputs, on iter 20 have 7978 / 8000 1546852993.294 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.294 * * * * [misc]points: Sampling 17 additional inputs, on iter 21 have 7983 / 8000 1546852993.297 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.297 * * * * [misc]points: Sampling 13 additional inputs, on iter 22 have 7987 / 8000 1546852993.301 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.301 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1546852993.307 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.307 * * * * [misc]points: Sampling 8 additional inputs, on iter 24 have 7992 / 8000 1546852993.310 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.310 * * * * [misc]points: Sampling 6 additional inputs, on iter 25 have 7994 / 8000 1546852993.312 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.312 * * * * [misc]points: Sampling 5 additional inputs, on iter 26 have 7995 / 8000 1546852993.314 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.315 * * * * [misc]points: Sampling 5 additional inputs, on iter 27 have 7995 / 8000 1546852993.317 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.317 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7997 / 8000 1546852993.319 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.319 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7997 / 8000 1546852993.321 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.321 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7999 / 8000 1546852993.323 * * * * [misc]points: Filtering points with unrepresentable outputs 1546852993.324 * * * * [exit]points: Sampled 8000 points with exact outputs 1546852993.613 * [misc]regime-testing: Baseline error score: 0.013815403567547544 1546852993.614 * [misc]regime-testing: Oracle error score: 0.013815403567547544 1546852993.614 * [misc]regime-testing: End program error score: 0.013815403567547544