1550699717.705 * [misc]progress: [Phase 1 of 3] Setting up. 1550699717.706 * * * [misc]progress: [1/2] Preparing points 1550699718.201 * * * [misc]progress: [2/2] Setting up program. 1550699718.210 * [misc]progress: [Phase 2 of 3] Improving. 1550699718.210 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550699718.213 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1550699718.215 * * [misc]simplify: iters left: 6 (6 enodes) 1550699718.235 * * [misc]simplify: iters left: 5 (23 enodes) 1550699718.243 * * [misc]simplify: iters left: 4 (27 enodes) 1550699718.253 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.253 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699718.253 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550699718.253 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550699718.254 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550699718.254 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550699718.254 * * [misc]simplify: Extracting #6: cost 1 inf + 747 1550699718.254 * * [misc]simplify: Extracting #7: cost 0 inf + 939 1550699718.255 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1550699718.255 * [misc]simplify: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550699718.262 * * [misc]progress: iteration 1 / 4 1550699718.263 * * * [misc]progress: picking best candidate 1550699718.268 * * * * [misc]pick: Picked # 1550699718.268 * * * [misc]progress: localizing error 1550699718.296 * * * [misc]progress: generating rewritten candidates 1550699718.296 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) 1550699718.304 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1550699718.328 * * * [misc]progress: generating series expansions 1550699718.328 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1) 1550699718.333 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1550699718.333 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1550699718.334 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699718.334 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699718.334 * [misc]taylor: Taking taylor expansion of x in x 1550699718.334 * [misc]backup-simplify: Simplify 0 into 0 1550699718.334 * [misc]backup-simplify: Simplify 1 into 1 1550699718.334 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699718.334 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.334 * [misc]backup-simplify: Simplify 1 into 1 1550699718.335 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699718.335 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699718.335 * [misc]taylor: Taking taylor expansion of x in x 1550699718.335 * [misc]backup-simplify: Simplify 0 into 0 1550699718.335 * [misc]backup-simplify: Simplify 1 into 1 1550699718.335 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699718.335 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.335 * [misc]backup-simplify: Simplify 1 into 1 1550699718.336 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.336 * [misc]backup-simplify: Simplify 1 into 1 1550699718.336 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550699718.337 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.337 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699718.337 * [misc]backup-simplify: Simplify -1 into -1 1550699718.337 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699718.337 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.338 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.338 * [misc]backup-simplify: Simplify 0 into 0 1550699718.338 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699718.338 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.338 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.338 * [misc]backup-simplify: Simplify 0 into 0 1550699718.339 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699718.339 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.339 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.339 * [misc]backup-simplify: Simplify 0 into 0 1550699718.339 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699718.339 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.340 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.340 * [misc]backup-simplify: Simplify 0 into 0 1550699718.340 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699718.340 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.342 * [misc]backup-simplify: Simplify 0 into 0 1550699718.342 * [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 1550699718.342 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.342 * [misc]backup-simplify: Simplify 0 into 0 1550699718.342 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1550699718.343 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1550699718.343 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1550699718.343 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699718.343 * [misc]taylor: Taking taylor expansion of x in x 1550699718.343 * [misc]backup-simplify: Simplify 0 into 0 1550699718.343 * [misc]backup-simplify: Simplify 1 into 1 1550699718.343 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.343 * [misc]backup-simplify: Simplify 1 into 1 1550699718.343 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699718.343 * [misc]taylor: Taking taylor expansion of x in x 1550699718.343 * [misc]backup-simplify: Simplify 0 into 0 1550699718.343 * [misc]backup-simplify: Simplify 1 into 1 1550699718.343 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.343 * [misc]backup-simplify: Simplify 1 into 1 1550699718.343 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.343 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699718.343 * [misc]backup-simplify: Simplify -1 into -1 1550699718.343 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.343 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.343 * [misc]backup-simplify: Simplify 1 into 1 1550699718.344 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify 0 into 0 1550699718.344 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify 0 into 0 1550699718.344 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify 0 into 0 1550699718.344 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.344 * [misc]backup-simplify: Simplify 0 into 0 1550699718.344 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.345 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.345 * [misc]backup-simplify: Simplify 0 into 0 1550699718.345 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.345 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.345 * [misc]backup-simplify: Simplify 0 into 0 1550699718.345 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1550699718.346 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1550699718.346 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1550699718.346 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699718.346 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699718.346 * [misc]taylor: Taking taylor expansion of x in x 1550699718.346 * [misc]backup-simplify: Simplify 0 into 0 1550699718.346 * [misc]backup-simplify: Simplify 1 into 1 1550699718.346 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.346 * [misc]backup-simplify: Simplify 1 into 1 1550699718.346 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699718.346 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699718.346 * [misc]taylor: Taking taylor expansion of x in x 1550699718.346 * [misc]backup-simplify: Simplify 0 into 0 1550699718.346 * [misc]backup-simplify: Simplify 1 into 1 1550699718.346 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.346 * [misc]backup-simplify: Simplify 1 into 1 1550699718.346 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699718.346 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.346 * [misc]backup-simplify: Simplify -1 into -1 1550699718.346 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.347 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.347 * [misc]backup-simplify: Simplify -1 into -1 1550699718.347 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify 0 into 0 1550699718.347 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify 0 into 0 1550699718.347 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify 0 into 0 1550699718.347 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.347 * [misc]backup-simplify: Simplify 0 into 0 1550699718.348 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.348 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.348 * [misc]backup-simplify: Simplify 0 into 0 1550699718.348 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.348 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.348 * [misc]backup-simplify: Simplify 0 into 0 1550699718.348 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1550699718.348 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1550699718.348 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1550699718.348 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1550699718.348 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1550699718.348 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699718.348 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699718.348 * [misc]taylor: Taking taylor expansion of x in x 1550699718.348 * [misc]backup-simplify: Simplify 0 into 0 1550699718.348 * [misc]backup-simplify: Simplify 1 into 1 1550699718.349 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699718.349 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.349 * [misc]backup-simplify: Simplify 1 into 1 1550699718.349 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.349 * [misc]backup-simplify: Simplify (log 1) into 0 1550699718.349 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1550699718.349 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699718.349 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699718.349 * [misc]taylor: Taking taylor expansion of x in x 1550699718.349 * [misc]backup-simplify: Simplify 0 into 0 1550699718.349 * [misc]backup-simplify: Simplify 1 into 1 1550699718.349 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699718.349 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.349 * [misc]backup-simplify: Simplify 1 into 1 1550699718.349 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.349 * [misc]backup-simplify: Simplify (log 1) into 0 1550699718.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1550699718.350 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1550699718.350 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550699718.350 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.350 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699718.352 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1550699718.352 * [misc]backup-simplify: Simplify -1 into -1 1550699718.353 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699718.353 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.354 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.356 * [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 1550699718.356 * [misc]backup-simplify: Simplify -1/2 into -1/2 1550699718.356 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1550699718.356 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1550699718.356 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1550699718.357 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1550699718.357 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699718.357 * [misc]taylor: Taking taylor expansion of x in x 1550699718.357 * [misc]backup-simplify: Simplify 0 into 0 1550699718.357 * [misc]backup-simplify: Simplify 1 into 1 1550699718.357 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.357 * [misc]backup-simplify: Simplify 1 into 1 1550699718.357 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.357 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699718.357 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550699718.357 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1550699718.357 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699718.357 * [misc]taylor: Taking taylor expansion of x in x 1550699718.357 * [misc]backup-simplify: Simplify 0 into 0 1550699718.357 * [misc]backup-simplify: Simplify 1 into 1 1550699718.357 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.357 * [misc]backup-simplify: Simplify 1 into 1 1550699718.358 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.358 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699718.358 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550699718.358 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550699718.358 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.358 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.360 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1550699718.360 * [misc]backup-simplify: Simplify -1 into -1 1550699718.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.360 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.362 * [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 1550699718.363 * [misc]backup-simplify: Simplify -1/2 into -1/2 1550699718.363 * [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))))) 1550699718.363 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1550699718.363 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1550699718.363 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1550699718.363 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699718.363 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699718.363 * [misc]taylor: Taking taylor expansion of x in x 1550699718.363 * [misc]backup-simplify: Simplify 0 into 0 1550699718.363 * [misc]backup-simplify: Simplify 1 into 1 1550699718.363 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.363 * [misc]backup-simplify: Simplify 1 into 1 1550699718.363 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699718.363 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.363 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.364 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550699718.364 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1550699718.364 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699718.364 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699718.364 * [misc]taylor: Taking taylor expansion of x in x 1550699718.364 * [misc]backup-simplify: Simplify 0 into 0 1550699718.364 * [misc]backup-simplify: Simplify 1 into 1 1550699718.364 * [misc]taylor: Taking taylor expansion of 1 in x 1550699718.364 * [misc]backup-simplify: Simplify 1 into 1 1550699718.364 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699718.364 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.364 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.364 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550699718.364 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1550699718.365 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699718.365 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.365 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.366 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1550699718.366 * [misc]backup-simplify: Simplify 1 into 1 1550699718.366 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.367 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699718.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550699718.367 * [misc]backup-simplify: Simplify (- 1) into -1 1550699718.369 * [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 1550699718.370 * [misc]backup-simplify: Simplify -1/2 into -1/2 1550699718.370 * [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))))) 1550699718.370 * * * [misc]progress: simplifying candidates 1550699718.370 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1550699718.370 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1550699718.371 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1550699718.371 * * [misc]simplify: iters left: 5 (5 enodes) 1550699718.373 * * [misc]simplify: iters left: 4 (18 enodes) 1550699718.379 * * [misc]simplify: iters left: 3 (20 enodes) 1550699718.386 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.386 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550699718.386 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550699718.386 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550699718.386 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1550699718.387 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1550699718.387 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1550699718.387 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1550699718.387 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate #real (real->posit16 (- (/ 1 x) 1))))))> 1550699718.387 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1550699718.387 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550699718.387 * * [misc]simplify: iters left: 6 (7 enodes) 1550699718.392 * * [misc]simplify: iters left: 5 (28 enodes) 1550699718.400 * * [misc]simplify: iters left: 4 (34 enodes) 1550699718.410 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.410 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550699718.410 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699718.410 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550699718.410 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1550699718.411 * * [misc]simplify: Extracting #5: cost 13 inf + 2 1550699718.411 * * [misc]simplify: Extracting #6: cost 12 inf + 3 1550699718.411 * * [misc]simplify: Extracting #7: cost 9 inf + 169 1550699718.411 * * [misc]simplify: Extracting #8: cost 4 inf + 1079 1550699718.411 * * [misc]simplify: Extracting #9: cost 0 inf + 1987 1550699718.412 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550699718.412 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1550699718.412 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1550699718.413 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1550699718.413 * * [misc]simplify: iters left: 6 (6 enodes) 1550699718.416 * * [misc]simplify: iters left: 5 (23 enodes) 1550699718.424 * * [misc]simplify: iters left: 4 (27 enodes) 1550699718.433 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.433 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699718.433 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550699718.433 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550699718.433 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550699718.433 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550699718.433 * * [misc]simplify: Extracting #6: cost 1 inf + 687 1550699718.434 * * [misc]simplify: Extracting #7: cost 0 inf + 879 1550699718.434 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1550699718.434 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699718.434 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1550699718.434 * [enter]simplify: Simplifying (log 1) 1550699718.435 * * [misc]simplify: iters left: 1 (2 enodes) 1550699718.437 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.437 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550699718.437 * [exit]simplify: Simplified to 0 1550699718.437 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1550699718.438 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1550699718.438 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1550699718.438 * * [misc]simplify: iters left: 6 (6 enodes) 1550699718.441 * * [misc]simplify: iters left: 5 (21 enodes) 1550699718.448 * * [misc]simplify: iters left: 4 (23 enodes) 1550699718.455 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.455 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699718.455 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699718.455 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550699718.455 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550699718.455 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550699718.455 * * [misc]simplify: Extracting #6: cost 1 inf + 686 1550699718.455 * * [misc]simplify: Extracting #7: cost 0 inf + 878 1550699718.456 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1550699718.456 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1550699718.456 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1550699718.456 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1550699718.456 * * [misc]simplify: iters left: 6 (8 enodes) 1550699718.464 * * [misc]simplify: iters left: 5 (34 enodes) 1550699718.481 * * [misc]simplify: iters left: 4 (55 enodes) 1550699718.497 * * [misc]simplify: iters left: 3 (67 enodes) 1550699718.519 * * [misc]simplify: iters left: 2 (73 enodes) 1550699718.539 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.539 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699718.539 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699718.539 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1550699718.539 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1550699718.540 * * [misc]simplify: Extracting #5: cost 2 inf + 1214 1550699718.540 * * [misc]simplify: Extracting #6: cost 0 inf + 1528 1550699718.541 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1550699718.541 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1550699718.542 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1550699718.542 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1550699718.542 * * [misc]simplify: iters left: 6 (7 enodes) 1550699718.546 * * [misc]simplify: iters left: 5 (28 enodes) 1550699718.556 * * [misc]simplify: iters left: 4 (39 enodes) 1550699718.566 * * [misc]simplify: iters left: 3 (56 enodes) 1550699718.576 * * [misc]simplify: iters left: 2 (82 enodes) 1550699718.605 * * [misc]simplify: iters left: 1 (128 enodes) 1550699718.655 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.655 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550699718.656 * * [misc]simplify: Extracting #2: cost 35 inf + 1 1550699718.656 * * [misc]simplify: Extracting #3: cost 45 inf + 3 1550699718.656 * * [misc]simplify: Extracting #4: cost 45 inf + 4 1550699718.657 * * [misc]simplify: Extracting #5: cost 21 inf + 2997 1550699718.660 * * [misc]simplify: Extracting #6: cost 0 inf + 5804 1550699718.663 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) x) 1)) 1550699718.663 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) x) 1)) (log (+ (/ 1 x) 1))))) 1550699718.664 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1550699718.664 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1550699718.664 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1550699718.664 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699718.664 * * [misc]simplify: iters left: 4 (4 enodes) 1550699718.667 * * [misc]simplify: iters left: 3 (17 enodes) 1550699718.674 * * [misc]simplify: iters left: 2 (21 enodes) 1550699718.681 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.682 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699718.682 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699718.682 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699718.682 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699718.682 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550699718.682 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1550699718.682 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1550699718.682 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1550699718.682 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1550699718.682 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1550699718.682 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1550699718.682 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate #real (real->posit16 (log (- (/ 1 x) 1))))))> 1550699718.683 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1550699718.683 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699718.683 * * [misc]simplify: iters left: 4 (4 enodes) 1550699718.686 * * [misc]simplify: iters left: 3 (17 enodes) 1550699718.693 * * [misc]simplify: iters left: 2 (21 enodes) 1550699718.699 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.699 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699718.699 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699718.700 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699718.700 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699718.700 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550699718.700 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1550699718.700 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699718.700 * * [misc]simplify: iters left: 4 (4 enodes) 1550699718.703 * * [misc]simplify: iters left: 3 (17 enodes) 1550699718.709 * * [misc]simplify: iters left: 2 (21 enodes) 1550699718.716 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.716 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699718.716 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699718.716 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699718.716 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699718.716 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550699718.717 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1550699718.717 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699718.717 * * [misc]simplify: iters left: 4 (4 enodes) 1550699718.720 * * [misc]simplify: iters left: 3 (17 enodes) 1550699718.726 * * [misc]simplify: iters left: 2 (21 enodes) 1550699718.733 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.733 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699718.733 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699718.733 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699718.733 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699718.733 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1550699718.733 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1550699718.734 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1550699718.734 * * [misc]simplify: iters left: 6 (9 enodes) 1550699718.739 * * [misc]simplify: iters left: 5 (36 enodes) 1550699718.751 * * [misc]simplify: iters left: 4 (60 enodes) 1550699718.771 * * [misc]simplify: iters left: 3 (111 enodes) 1550699718.809 * * [misc]simplify: iters left: 2 (151 enodes) 1550699718.858 * * [misc]simplify: iters left: 1 (194 enodes) 1550699718.918 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699718.918 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699718.918 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1550699718.919 * * [misc]simplify: Extracting #3: cost 45 inf + 1135 1550699718.921 * * [misc]simplify: Extracting #4: cost 18 inf + 4091 1550699718.923 * * [misc]simplify: Extracting #5: cost 2 inf + 6417 1550699718.926 * * [misc]simplify: Extracting #6: cost 0 inf + 6731 1550699718.929 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ (log x) x)) 1550699718.929 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ (log x) x)))) 1550699718.930 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1550699718.930 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1550699718.930 * * [misc]simplify: iters left: 6 (12 enodes) 1550699718.938 * * [misc]simplify: iters left: 5 (47 enodes) 1550699718.954 * * [misc]simplify: iters left: 4 (65 enodes) 1550699718.975 * * [misc]simplify: iters left: 3 (95 enodes) 1550699719.003 * * [misc]simplify: iters left: 2 (125 enodes) 1550699719.038 * * [misc]simplify: iters left: 1 (165 enodes) 1550699719.087 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.087 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550699719.087 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1550699719.087 * * [misc]simplify: Extracting #3: cost 41 inf + 531 1550699719.088 * * [misc]simplify: Extracting #4: cost 9 inf + 4488 1550699719.090 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550699719.091 * * [misc]simplify: Extracting #6: cost 0 inf + 5989 1550699719.093 * [exit]simplify: Simplified to (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)) 1550699719.093 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)))) 1550699719.093 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1550699719.093 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1550699719.093 * * [misc]simplify: iters left: 6 (12 enodes) 1550699719.097 * * [misc]simplify: iters left: 5 (47 enodes) 1550699719.111 * * [misc]simplify: iters left: 4 (65 enodes) 1550699719.132 * * [misc]simplify: iters left: 3 (95 enodes) 1550699719.162 * * [misc]simplify: iters left: 2 (125 enodes) 1550699719.202 * * [misc]simplify: iters left: 1 (165 enodes) 1550699719.257 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.257 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550699719.257 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1550699719.258 * * [misc]simplify: Extracting #3: cost 41 inf + 531 1550699719.260 * * [misc]simplify: Extracting #4: cost 9 inf + 4488 1550699719.263 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550699719.266 * * [misc]simplify: Extracting #6: cost 0 inf + 5989 1550699719.269 * [exit]simplify: Simplified to (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)) 1550699719.269 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)))) 1550699719.270 * * * [misc]progress: adding candidates to table 1550699719.605 * * [misc]progress: iteration 2 / 4 1550699719.605 * * * [misc]progress: picking best candidate 1550699719.609 * * * * [misc]pick: Picked # 1550699719.610 * * * [misc]progress: localizing error 1550699719.632 * * * [misc]progress: generating rewritten candidates 1550699719.632 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1) 1550699719.639 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1550699719.646 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1550699719.653 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1550699719.664 * * * [misc]progress: generating series expansions 1550699719.664 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1) 1550699719.664 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1550699719.664 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1550699719.664 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550699719.664 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.664 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.664 * [misc]taylor: Taking taylor expansion of x in x 1550699719.664 * [misc]backup-simplify: Simplify 0 into 0 1550699719.664 * [misc]backup-simplify: Simplify 1 into 1 1550699719.665 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.665 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.665 * [misc]backup-simplify: Simplify 1 into 1 1550699719.665 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.666 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550699719.666 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550699719.666 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550699719.666 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.666 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.666 * [misc]taylor: Taking taylor expansion of x in x 1550699719.666 * [misc]backup-simplify: Simplify 0 into 0 1550699719.666 * [misc]backup-simplify: Simplify 1 into 1 1550699719.667 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.667 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.667 * [misc]backup-simplify: Simplify 1 into 1 1550699719.667 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.667 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550699719.667 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550699719.668 * [misc]backup-simplify: Simplify 0 into 0 1550699719.668 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550699719.668 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550699719.668 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.668 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.670 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1550699719.670 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550699719.670 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.670 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.671 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1550699719.671 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550699719.671 * [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))))) 1550699719.671 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1550699719.671 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1550699719.671 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550699719.671 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.671 * [misc]taylor: Taking taylor expansion of x in x 1550699719.671 * [misc]backup-simplify: Simplify 0 into 0 1550699719.671 * [misc]backup-simplify: Simplify 1 into 1 1550699719.671 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.671 * [misc]backup-simplify: Simplify 1 into 1 1550699719.672 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.672 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.672 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.672 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.672 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.672 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550699719.672 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550699719.672 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.672 * [misc]taylor: Taking taylor expansion of x in x 1550699719.672 * [misc]backup-simplify: Simplify 0 into 0 1550699719.672 * [misc]backup-simplify: Simplify 1 into 1 1550699719.672 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.672 * [misc]backup-simplify: Simplify 1 into 1 1550699719.673 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.673 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.673 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.673 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.673 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.673 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550699719.673 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.674 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1550699719.674 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.675 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.676 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.677 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699719.677 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1550699719.677 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1550699719.677 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550699719.677 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.677 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.677 * [misc]taylor: Taking taylor expansion of x in x 1550699719.677 * [misc]backup-simplify: Simplify 0 into 0 1550699719.677 * [misc]backup-simplify: Simplify 1 into 1 1550699719.677 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.677 * [misc]backup-simplify: Simplify 1 into 1 1550699719.677 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699719.677 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.677 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.677 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.677 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.677 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.678 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.678 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550699719.678 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550699719.678 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.678 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.678 * [misc]taylor: Taking taylor expansion of x in x 1550699719.678 * [misc]backup-simplify: Simplify 0 into 0 1550699719.678 * [misc]backup-simplify: Simplify 1 into 1 1550699719.678 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.678 * [misc]backup-simplify: Simplify 1 into 1 1550699719.678 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699719.678 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.678 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.678 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.679 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.679 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.679 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.679 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550699719.679 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.679 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1550699719.680 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.680 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.681 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.681 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.682 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699719.682 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1550699719.682 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1550699719.682 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1550699719.682 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550699719.682 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.683 * [misc]taylor: Taking taylor expansion of x in x 1550699719.683 * [misc]backup-simplify: Simplify 0 into 0 1550699719.683 * [misc]backup-simplify: Simplify 1 into 1 1550699719.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.683 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.683 * [misc]backup-simplify: Simplify 1 into 1 1550699719.683 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.683 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550699719.683 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550699719.683 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1550699719.683 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.683 * [misc]taylor: Taking taylor expansion of x in x 1550699719.683 * [misc]backup-simplify: Simplify 0 into 0 1550699719.683 * [misc]backup-simplify: Simplify 1 into 1 1550699719.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.684 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.684 * [misc]backup-simplify: Simplify 1 into 1 1550699719.684 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.684 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1550699719.684 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1550699719.684 * [misc]backup-simplify: Simplify 0 into 0 1550699719.684 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550699719.684 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550699719.684 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.684 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.685 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1550699719.685 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550699719.685 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.686 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.686 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1550699719.686 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1550699719.687 * [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))))) 1550699719.687 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1550699719.687 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1550699719.687 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550699719.687 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.687 * [misc]taylor: Taking taylor expansion of x in x 1550699719.687 * [misc]backup-simplify: Simplify 0 into 0 1550699719.687 * [misc]backup-simplify: Simplify 1 into 1 1550699719.687 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.687 * [misc]backup-simplify: Simplify 1 into 1 1550699719.687 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.687 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.687 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.687 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.687 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.688 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550699719.688 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1550699719.688 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.688 * [misc]taylor: Taking taylor expansion of x in x 1550699719.688 * [misc]backup-simplify: Simplify 0 into 0 1550699719.688 * [misc]backup-simplify: Simplify 1 into 1 1550699719.688 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.688 * [misc]backup-simplify: Simplify 1 into 1 1550699719.688 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.688 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.688 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.688 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.688 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.689 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1550699719.689 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.689 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1550699719.689 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.690 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.691 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.692 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699719.692 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1550699719.692 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1550699719.692 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550699719.692 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.692 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.692 * [misc]taylor: Taking taylor expansion of x in x 1550699719.692 * [misc]backup-simplify: Simplify 0 into 0 1550699719.692 * [misc]backup-simplify: Simplify 1 into 1 1550699719.692 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.692 * [misc]backup-simplify: Simplify 1 into 1 1550699719.692 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699719.692 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.692 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.692 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.692 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.693 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.693 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.693 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550699719.693 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1550699719.693 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.693 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.693 * [misc]taylor: Taking taylor expansion of x in x 1550699719.693 * [misc]backup-simplify: Simplify 0 into 0 1550699719.693 * [misc]backup-simplify: Simplify 1 into 1 1550699719.693 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.693 * [misc]backup-simplify: Simplify 1 into 1 1550699719.693 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699719.693 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.693 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.694 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.694 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.694 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.694 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.694 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1550699719.694 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1550699719.694 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1550699719.695 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.695 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.696 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.696 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1550699719.697 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699719.697 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1) 1550699719.697 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1550699719.697 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1550699719.697 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.697 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.697 * [misc]taylor: Taking taylor expansion of x in x 1550699719.697 * [misc]backup-simplify: Simplify 0 into 0 1550699719.698 * [misc]backup-simplify: Simplify 1 into 1 1550699719.698 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.698 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.698 * [misc]backup-simplify: Simplify 1 into 1 1550699719.698 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.698 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.698 * [misc]taylor: Taking taylor expansion of x in x 1550699719.698 * [misc]backup-simplify: Simplify 0 into 0 1550699719.698 * [misc]backup-simplify: Simplify 1 into 1 1550699719.698 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.698 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.698 * [misc]backup-simplify: Simplify 1 into 1 1550699719.698 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.698 * [misc]backup-simplify: Simplify 1 into 1 1550699719.698 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550699719.698 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.698 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.698 * [misc]backup-simplify: Simplify -1 into -1 1550699719.699 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.699 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.699 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.699 * [misc]backup-simplify: Simplify 0 into 0 1550699719.699 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.699 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.699 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.699 * [misc]backup-simplify: Simplify 0 into 0 1550699719.700 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.700 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.700 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.700 * [misc]backup-simplify: Simplify 0 into 0 1550699719.700 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.700 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.700 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.700 * [misc]backup-simplify: Simplify 0 into 0 1550699719.701 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.701 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.701 * [misc]backup-simplify: Simplify 0 into 0 1550699719.701 * [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 1550699719.701 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.701 * [misc]backup-simplify: Simplify 0 into 0 1550699719.701 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1550699719.702 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1550699719.702 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1550699719.702 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.702 * [misc]taylor: Taking taylor expansion of x in x 1550699719.702 * [misc]backup-simplify: Simplify 0 into 0 1550699719.702 * [misc]backup-simplify: Simplify 1 into 1 1550699719.702 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.702 * [misc]backup-simplify: Simplify 1 into 1 1550699719.702 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.702 * [misc]taylor: Taking taylor expansion of x in x 1550699719.702 * [misc]backup-simplify: Simplify 0 into 0 1550699719.702 * [misc]backup-simplify: Simplify 1 into 1 1550699719.702 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.702 * [misc]backup-simplify: Simplify 1 into 1 1550699719.702 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.702 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.702 * [misc]backup-simplify: Simplify -1 into -1 1550699719.702 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.702 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.702 * [misc]backup-simplify: Simplify 1 into 1 1550699719.702 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify 0 into 0 1550699719.703 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify 0 into 0 1550699719.703 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify 0 into 0 1550699719.703 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify 0 into 0 1550699719.703 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.703 * [misc]backup-simplify: Simplify 0 into 0 1550699719.704 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.704 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.704 * [misc]backup-simplify: Simplify 0 into 0 1550699719.704 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1550699719.704 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1550699719.704 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1550699719.704 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.704 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.704 * [misc]taylor: Taking taylor expansion of x in x 1550699719.704 * [misc]backup-simplify: Simplify 0 into 0 1550699719.704 * [misc]backup-simplify: Simplify 1 into 1 1550699719.704 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.704 * [misc]backup-simplify: Simplify 1 into 1 1550699719.704 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.704 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.704 * [misc]taylor: Taking taylor expansion of x in x 1550699719.704 * [misc]backup-simplify: Simplify 0 into 0 1550699719.704 * [misc]backup-simplify: Simplify 1 into 1 1550699719.704 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.704 * [misc]backup-simplify: Simplify 1 into 1 1550699719.705 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699719.705 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.705 * [misc]backup-simplify: Simplify -1 into -1 1550699719.705 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.705 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.705 * [misc]backup-simplify: Simplify -1 into -1 1550699719.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.706 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.706 * [misc]backup-simplify: Simplify 0 into 0 1550699719.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.706 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.706 * [misc]backup-simplify: Simplify 0 into 0 1550699719.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.706 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.706 * [misc]backup-simplify: Simplify 0 into 0 1550699719.707 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.707 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.707 * [misc]backup-simplify: Simplify 0 into 0 1550699719.707 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.707 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.707 * [misc]backup-simplify: Simplify 0 into 0 1550699719.707 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.707 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.708 * [misc]backup-simplify: Simplify 0 into 0 1550699719.708 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1550699719.708 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1) 1550699719.708 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1550699719.708 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1550699719.708 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.708 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.708 * [misc]taylor: Taking taylor expansion of x in x 1550699719.708 * [misc]backup-simplify: Simplify 0 into 0 1550699719.708 * [misc]backup-simplify: Simplify 1 into 1 1550699719.708 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.708 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.708 * [misc]backup-simplify: Simplify 1 into 1 1550699719.708 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1550699719.708 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550699719.708 * [misc]taylor: Taking taylor expansion of x in x 1550699719.708 * [misc]backup-simplify: Simplify 0 into 0 1550699719.709 * [misc]backup-simplify: Simplify 1 into 1 1550699719.709 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550699719.709 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.709 * [misc]backup-simplify: Simplify 1 into 1 1550699719.709 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.709 * [misc]backup-simplify: Simplify 1 into 1 1550699719.709 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550699719.709 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.710 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.710 * [misc]backup-simplify: Simplify -1 into -1 1550699719.710 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.710 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.710 * [misc]backup-simplify: Simplify 0 into 0 1550699719.711 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.711 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.711 * [misc]backup-simplify: Simplify 0 into 0 1550699719.711 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.712 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.712 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.712 * [misc]backup-simplify: Simplify 0 into 0 1550699719.712 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.713 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.713 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.713 * [misc]backup-simplify: Simplify 0 into 0 1550699719.713 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550699719.713 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.714 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.714 * [misc]backup-simplify: Simplify 0 into 0 1550699719.714 * [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 1550699719.714 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.715 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.715 * [misc]backup-simplify: Simplify 0 into 0 1550699719.715 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1550699719.715 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1550699719.715 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1550699719.715 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.715 * [misc]taylor: Taking taylor expansion of x in x 1550699719.715 * [misc]backup-simplify: Simplify 0 into 0 1550699719.715 * [misc]backup-simplify: Simplify 1 into 1 1550699719.715 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.715 * [misc]backup-simplify: Simplify 1 into 1 1550699719.715 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1550699719.715 * [misc]taylor: Taking taylor expansion of x in x 1550699719.715 * [misc]backup-simplify: Simplify 0 into 0 1550699719.715 * [misc]backup-simplify: Simplify 1 into 1 1550699719.715 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.715 * [misc]backup-simplify: Simplify 1 into 1 1550699719.715 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.716 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550699719.716 * [misc]backup-simplify: Simplify -1 into -1 1550699719.716 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.716 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.716 * [misc]backup-simplify: Simplify 1 into 1 1550699719.716 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.716 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.716 * [misc]backup-simplify: Simplify 0 into 0 1550699719.717 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.717 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.717 * [misc]backup-simplify: Simplify 0 into 0 1550699719.717 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.717 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.717 * [misc]backup-simplify: Simplify 0 into 0 1550699719.717 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.717 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.717 * [misc]backup-simplify: Simplify 0 into 0 1550699719.718 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.718 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.718 * [misc]backup-simplify: Simplify 0 into 0 1550699719.718 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.718 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.718 * [misc]backup-simplify: Simplify 0 into 0 1550699719.718 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1550699719.718 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1550699719.718 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1550699719.718 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.718 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.719 * [misc]taylor: Taking taylor expansion of x in x 1550699719.719 * [misc]backup-simplify: Simplify 0 into 0 1550699719.719 * [misc]backup-simplify: Simplify 1 into 1 1550699719.719 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.719 * [misc]backup-simplify: Simplify 1 into 1 1550699719.719 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1550699719.719 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1550699719.719 * [misc]taylor: Taking taylor expansion of x in x 1550699719.719 * [misc]backup-simplify: Simplify 0 into 0 1550699719.719 * [misc]backup-simplify: Simplify 1 into 1 1550699719.719 * [misc]taylor: Taking taylor expansion of 1 in x 1550699719.719 * [misc]backup-simplify: Simplify 1 into 1 1550699719.719 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550699719.720 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.720 * [misc]backup-simplify: Simplify -1 into -1 1550699719.720 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550699719.720 * [misc]backup-simplify: Simplify (- 1) into -1 1550699719.720 * [misc]backup-simplify: Simplify -1 into -1 1550699719.720 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.720 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.720 * [misc]backup-simplify: Simplify 0 into 0 1550699719.721 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.721 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.721 * [misc]backup-simplify: Simplify 0 into 0 1550699719.721 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.721 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.721 * [misc]backup-simplify: Simplify 0 into 0 1550699719.721 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.721 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.722 * [misc]backup-simplify: Simplify 0 into 0 1550699719.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.722 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.722 * [misc]backup-simplify: Simplify 0 into 0 1550699719.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550699719.722 * [misc]backup-simplify: Simplify (- 0) into 0 1550699719.722 * [misc]backup-simplify: Simplify 0 into 0 1550699719.722 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1550699719.722 * * * [misc]progress: simplifying candidates 1550699719.722 * * * * [misc]progress: [ 1 / 70 ] simplifiying candidate # 1550699719.723 * * * * [misc]progress: [ 2 / 70 ] simplifiying candidate # 1550699719.723 * * * * [misc]progress: [ 3 / 70 ] simplifiying candidate # 1550699719.723 * * * * [misc]progress: [ 4 / 70 ] simplifiying candidate # 1550699719.723 * * * * [misc]progress: [ 5 / 70 ] simplifiying candidate # 1550699719.723 * * * * [misc]progress: [ 6 / 70 ] simplifiying candidate # 1550699719.723 * * * * [misc]progress: [ 7 / 70 ] simplifiying candidate # 1550699719.723 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550699719.723 * * [misc]simplify: iters left: 6 (7 enodes) 1550699719.728 * * [misc]simplify: iters left: 5 (27 enodes) 1550699719.736 * * [misc]simplify: iters left: 4 (31 enodes) 1550699719.745 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.745 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550699719.745 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699719.745 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550699719.745 * * [misc]simplify: Extracting #4: cost 11 inf + 2 1550699719.745 * * [misc]simplify: Extracting #5: cost 10 inf + 3 1550699719.746 * * [misc]simplify: Extracting #6: cost 7 inf + 169 1550699719.746 * * [misc]simplify: Extracting #7: cost 1 inf + 1181 1550699719.746 * * [misc]simplify: Extracting #8: cost 0 inf + 1383 1550699719.747 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1550699719.747 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1)))))))) 1550699719.747 * * * * [misc]progress: [ 8 / 70 ] simplifiying candidate # 1550699719.747 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1550699719.748 * * [misc]simplify: iters left: 6 (6 enodes) 1550699719.752 * * [misc]simplify: iters left: 5 (23 enodes) 1550699719.759 * * [misc]simplify: iters left: 4 (27 enodes) 1550699719.768 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.768 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699719.768 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550699719.768 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550699719.768 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550699719.768 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550699719.768 * * [misc]simplify: Extracting #6: cost 1 inf + 657 1550699719.769 * * [misc]simplify: Extracting #7: cost 0 inf + 819 1550699719.769 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1550699719.769 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))))))) 1550699719.769 * * * * [misc]progress: [ 9 / 70 ] simplifiying candidate # 1550699719.770 * [enter]simplify: Simplifying (sqrt 1) 1550699719.770 * * [misc]simplify: iters left: 1 (2 enodes) 1550699719.773 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.773 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550699719.773 * [exit]simplify: Simplified to 1 1550699719.773 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1))))))) 1550699719.773 * * * * [misc]progress: [ 10 / 70 ] simplifiying candidate # 1550699719.774 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1550699719.774 * * [misc]simplify: iters left: 6 (6 enodes) 1550699719.777 * * [misc]simplify: iters left: 5 (21 enodes) 1550699719.784 * * [misc]simplify: iters left: 4 (23 enodes) 1550699719.790 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.790 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699719.791 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699719.791 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550699719.791 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550699719.791 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550699719.791 * * [misc]simplify: Extracting #6: cost 1 inf + 656 1550699719.791 * * [misc]simplify: Extracting #7: cost 0 inf + 818 1550699719.792 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1550699719.792 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))))) 1550699719.792 * * * * [misc]progress: [ 11 / 70 ] simplifiying candidate # 1550699719.792 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1550699719.792 * * [misc]simplify: iters left: 6 (8 enodes) 1550699719.798 * * [misc]simplify: iters left: 5 (34 enodes) 1550699719.809 * * [misc]simplify: iters left: 4 (55 enodes) 1550699719.829 * * [misc]simplify: iters left: 3 (67 enodes) 1550699719.850 * * [misc]simplify: iters left: 2 (73 enodes) 1550699719.871 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.871 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699719.871 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699719.871 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1550699719.871 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1550699719.872 * * [misc]simplify: Extracting #5: cost 2 inf + 1184 1550699719.872 * * [misc]simplify: Extracting #6: cost 0 inf + 1468 1550699719.873 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1550699719.873 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1550699719.874 * * * * [misc]progress: [ 12 / 70 ] simplifiying candidate # 1550699719.874 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1550699719.874 * * [misc]simplify: iters left: 6 (7 enodes) 1550699719.879 * * [misc]simplify: iters left: 5 (28 enodes) 1550699719.888 * * [misc]simplify: iters left: 4 (39 enodes) 1550699719.900 * * [misc]simplify: iters left: 3 (53 enodes) 1550699719.916 * * [misc]simplify: iters left: 2 (72 enodes) 1550699719.944 * * [misc]simplify: iters left: 1 (114 enodes) 1550699719.994 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699719.995 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699719.995 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550699719.995 * * [misc]simplify: Extracting #3: cost 41 inf + 2 1550699719.995 * * [misc]simplify: Extracting #4: cost 40 inf + 45 1550699719.997 * * [misc]simplify: Extracting #5: cost 17 inf + 2614 1550699719.999 * * [misc]simplify: Extracting #6: cost 0 inf + 5215 1550699720.002 * [exit]simplify: Simplified to (sqrt (- (/ 1 (* x x)) 1)) 1550699720.002 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ 1 (* x x)) 1)) (sqrt (+ (/ 1 x) 1))))))) 1550699720.002 * * * * [misc]progress: [ 13 / 70 ] simplifiying candidate # 1550699720.002 * * * * [misc]progress: [ 14 / 70 ] simplifiying candidate # 1550699720.003 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1550699720.003 * * [misc]simplify: iters left: 5 (5 enodes) 1550699720.006 * * [misc]simplify: iters left: 4 (20 enodes) 1550699720.013 * * [misc]simplify: iters left: 3 (24 enodes) 1550699720.021 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.021 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699720.021 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699720.021 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550699720.021 * * [misc]simplify: Extracting #4: cost 0 inf + 495 1550699720.021 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1550699720.021 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1))))))) 1550699720.022 * * * * [misc]progress: [ 15 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 16 / 70 ] simplifiying candidate #real (real->posit16 (sqrt (- (/ 1 x) 1))))))))> 1550699720.022 * * * * [misc]progress: [ 17 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 18 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 19 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 20 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 21 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 22 / 70 ] simplifiying candidate # 1550699720.022 * * * * [misc]progress: [ 23 / 70 ] simplifiying candidate # 1550699720.022 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1550699720.023 * * [misc]simplify: iters left: 6 (7 enodes) 1550699720.027 * * [misc]simplify: iters left: 5 (27 enodes) 1550699720.036 * * [misc]simplify: iters left: 4 (31 enodes) 1550699720.045 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.045 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550699720.045 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699720.045 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550699720.045 * * [misc]simplify: Extracting #4: cost 11 inf + 2 1550699720.045 * * [misc]simplify: Extracting #5: cost 10 inf + 3 1550699720.045 * * [misc]simplify: Extracting #6: cost 7 inf + 169 1550699720.045 * * [misc]simplify: Extracting #7: cost 1 inf + 1181 1550699720.046 * * [misc]simplify: Extracting #8: cost 0 inf + 1383 1550699720.046 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1550699720.046 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.046 * * * * [misc]progress: [ 24 / 70 ] simplifiying candidate # 1550699720.047 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1550699720.047 * * [misc]simplify: iters left: 6 (6 enodes) 1550699720.051 * * [misc]simplify: iters left: 5 (23 enodes) 1550699720.059 * * [misc]simplify: iters left: 4 (27 enodes) 1550699720.067 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.067 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699720.067 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550699720.067 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550699720.067 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1550699720.067 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1550699720.068 * * [misc]simplify: Extracting #6: cost 1 inf + 657 1550699720.068 * * [misc]simplify: Extracting #7: cost 0 inf + 819 1550699720.068 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1550699720.068 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.069 * * * * [misc]progress: [ 25 / 70 ] simplifiying candidate # 1550699720.069 * [enter]simplify: Simplifying (sqrt 1) 1550699720.069 * * [misc]simplify: iters left: 1 (2 enodes) 1550699720.072 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.072 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550699720.072 * [exit]simplify: Simplified to 1 1550699720.072 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.072 * * * * [misc]progress: [ 26 / 70 ] simplifiying candidate # 1550699720.073 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1550699720.073 * * [misc]simplify: iters left: 6 (6 enodes) 1550699720.076 * * [misc]simplify: iters left: 5 (21 enodes) 1550699720.083 * * [misc]simplify: iters left: 4 (23 enodes) 1550699720.090 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.091 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699720.091 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699720.091 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550699720.091 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550699720.091 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550699720.091 * * [misc]simplify: Extracting #6: cost 1 inf + 656 1550699720.091 * * [misc]simplify: Extracting #7: cost 0 inf + 818 1550699720.092 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1550699720.092 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.092 * * * * [misc]progress: [ 27 / 70 ] simplifiying candidate # 1550699720.092 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1550699720.092 * * [misc]simplify: iters left: 6 (8 enodes) 1550699720.098 * * [misc]simplify: iters left: 5 (34 enodes) 1550699720.109 * * [misc]simplify: iters left: 4 (55 enodes) 1550699720.129 * * [misc]simplify: iters left: 3 (67 enodes) 1550699720.151 * * [misc]simplify: iters left: 2 (73 enodes) 1550699720.172 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.172 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699720.172 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699720.172 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1550699720.172 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1550699720.173 * * [misc]simplify: Extracting #5: cost 2 inf + 1184 1550699720.174 * * [misc]simplify: Extracting #6: cost 0 inf + 1468 1550699720.174 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1550699720.175 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.175 * * * * [misc]progress: [ 28 / 70 ] simplifiying candidate # 1550699720.175 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1550699720.175 * * [misc]simplify: iters left: 6 (7 enodes) 1550699720.180 * * [misc]simplify: iters left: 5 (28 enodes) 1550699720.190 * * [misc]simplify: iters left: 4 (39 enodes) 1550699720.202 * * [misc]simplify: iters left: 3 (53 enodes) 1550699720.218 * * [misc]simplify: iters left: 2 (72 enodes) 1550699720.245 * * [misc]simplify: iters left: 1 (114 enodes) 1550699720.296 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.296 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699720.296 * * [misc]simplify: Extracting #2: cost 31 inf + 0 1550699720.297 * * [misc]simplify: Extracting #3: cost 41 inf + 2 1550699720.297 * * [misc]simplify: Extracting #4: cost 40 inf + 45 1550699720.298 * * [misc]simplify: Extracting #5: cost 17 inf + 2614 1550699720.301 * * [misc]simplify: Extracting #6: cost 0 inf + 5215 1550699720.302 * [exit]simplify: Simplified to (sqrt (- (/ 1 (* x x)) 1)) 1550699720.302 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ 1 (* x x)) 1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.302 * * * * [misc]progress: [ 29 / 70 ] simplifiying candidate # 1550699720.302 * * * * [misc]progress: [ 30 / 70 ] simplifiying candidate # 1550699720.302 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1550699720.302 * * [misc]simplify: iters left: 5 (5 enodes) 1550699720.304 * * [misc]simplify: iters left: 4 (20 enodes) 1550699720.308 * * [misc]simplify: iters left: 3 (24 enodes) 1550699720.312 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.312 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699720.312 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550699720.312 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1550699720.312 * * [misc]simplify: Extracting #4: cost 0 inf + 495 1550699720.312 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1550699720.312 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.312 * * * * [misc]progress: [ 31 / 70 ] simplifiying candidate # 1550699720.312 * * * * [misc]progress: [ 32 / 70 ] simplifiying candidate #real (real->posit16 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))> 1550699720.312 * * * * [misc]progress: [ 33 / 70 ] simplifiying candidate # 1550699720.312 * * * * [misc]progress: [ 34 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 35 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 36 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 37 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 38 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 39 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 40 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 41 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 42 / 70 ] simplifiying candidate # 1550699720.313 * * * * [misc]progress: [ 43 / 70 ] simplifiying candidate # 1550699720.313 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1550699720.313 * * [misc]simplify: iters left: 5 (5 enodes) 1550699720.315 * * [misc]simplify: iters left: 4 (18 enodes) 1550699720.318 * * [misc]simplify: iters left: 3 (20 enodes) 1550699720.322 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.322 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550699720.322 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550699720.322 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550699720.322 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1550699720.322 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1550699720.322 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))))) 1550699720.322 * * * * [misc]progress: [ 44 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 45 / 70 ] simplifiying candidate #real (real->posit16 (- (/ 1 x) 1))))))))> 1550699720.322 * * * * [misc]progress: [ 46 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 47 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 48 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 49 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 50 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 51 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 52 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 53 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 54 / 70 ] simplifiying candidate # 1550699720.322 * * * * [misc]progress: [ 55 / 70 ] simplifiying candidate # 1550699720.323 * * * * [misc]progress: [ 56 / 70 ] simplifiying candidate # 1550699720.323 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1550699720.323 * * [misc]simplify: iters left: 5 (5 enodes) 1550699720.324 * * [misc]simplify: iters left: 4 (18 enodes) 1550699720.328 * * [misc]simplify: iters left: 3 (20 enodes) 1550699720.333 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.333 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550699720.333 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550699720.333 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550699720.334 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1550699720.334 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1550699720.334 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (+ (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1550699720.334 * * * * [misc]progress: [ 57 / 70 ] simplifiying candidate # 1550699720.334 * * * * [misc]progress: [ 58 / 70 ] simplifiying candidate #real (real->posit16 (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))> 1550699720.334 * * * * [misc]progress: [ 59 / 70 ] simplifiying candidate # 1550699720.335 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1550699720.335 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0)))) 1550699720.335 * * * * [misc]progress: [ 60 / 70 ] simplifiying candidate # 1550699720.335 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699720.335 * * [misc]simplify: iters left: 6 (18 enodes) 1550699720.348 * * [misc]simplify: iters left: 5 (77 enodes) 1550699720.376 * * [misc]simplify: iters left: 4 (137 enodes) 1550699720.426 * * [misc]simplify: iters left: 3 (240 enodes) 1550699720.507 * * [misc]simplify: iters left: 2 (392 enodes) 1550699720.701 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699720.701 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550699720.702 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550699720.704 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550699720.710 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550699720.721 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550699720.733 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550699720.744 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550699720.744 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))))))) 1550699720.745 * * * * [misc]progress: [ 61 / 70 ] simplifiying candidate # 1550699720.745 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699720.745 * * [misc]simplify: iters left: 6 (18 enodes) 1550699720.756 * * [misc]simplify: iters left: 5 (77 enodes) 1550699720.786 * * [misc]simplify: iters left: 4 (137 enodes) 1550699720.832 * * [misc]simplify: iters left: 3 (240 enodes) 1550699720.914 * * [misc]simplify: iters left: 2 (392 enodes) 1550699721.109 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699721.109 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550699721.110 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550699721.111 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550699721.118 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550699721.130 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550699721.144 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550699721.160 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550699721.161 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))))))) 1550699721.161 * * * * [misc]progress: [ 62 / 70 ] simplifiying candidate # 1550699721.161 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1550699721.161 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1550699721.161 * * * * [misc]progress: [ 63 / 70 ] simplifiying candidate # 1550699721.162 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699721.162 * * [misc]simplify: iters left: 6 (18 enodes) 1550699721.175 * * [misc]simplify: iters left: 5 (77 enodes) 1550699721.202 * * [misc]simplify: iters left: 4 (137 enodes) 1550699721.245 * * [misc]simplify: iters left: 3 (240 enodes) 1550699721.330 * * [misc]simplify: iters left: 2 (392 enodes) 1550699721.554 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699721.554 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550699721.555 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550699721.556 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550699721.563 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550699721.576 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550699721.589 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550699721.601 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550699721.601 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x))))) (log (sqrt (- (/ 1 x) 1)))))) 1550699721.602 * * * * [misc]progress: [ 64 / 70 ] simplifiying candidate # 1550699721.602 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1550699721.602 * * [misc]simplify: iters left: 6 (18 enodes) 1550699721.615 * * [misc]simplify: iters left: 5 (77 enodes) 1550699721.644 * * [misc]simplify: iters left: 4 (137 enodes) 1550699721.692 * * [misc]simplify: iters left: 3 (240 enodes) 1550699721.776 * * [misc]simplify: iters left: 2 (392 enodes) 1550699721.957 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699721.957 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550699721.958 * * [misc]simplify: Extracting #2: cost 123 inf + 0 1550699721.958 * * [misc]simplify: Extracting #3: cost 171 inf + 912 1550699721.962 * * [misc]simplify: Extracting #4: cost 74 inf + 12195 1550699721.968 * * [misc]simplify: Extracting #5: cost 2 inf + 22224 1550699721.974 * * [misc]simplify: Extracting #6: cost 0 inf + 22425 1550699721.986 * [exit]simplify: Simplified to (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x)))) 1550699721.986 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (- (sqrt -1) (+ (/ -1/2 (* (sqrt -1) x)) (/ (/ -1/8 (sqrt -1)) (* x x))))) (log (sqrt (- (/ 1 x) 1)))))) 1550699721.987 * * * * [misc]progress: [ 65 / 70 ] simplifiying candidate # 1550699721.987 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699721.987 * * [misc]simplify: iters left: 4 (4 enodes) 1550699721.990 * * [misc]simplify: iters left: 3 (17 enodes) 1550699721.996 * * [misc]simplify: iters left: 2 (21 enodes) 1550699722.003 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.003 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699722.003 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699722.003 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699722.003 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699722.003 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699722.004 * * * * [misc]progress: [ 66 / 70 ] simplifiying candidate # 1550699722.004 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699722.004 * * [misc]simplify: iters left: 4 (4 enodes) 1550699722.007 * * [misc]simplify: iters left: 3 (17 enodes) 1550699722.014 * * [misc]simplify: iters left: 2 (21 enodes) 1550699722.020 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.020 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699722.020 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699722.020 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699722.020 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699722.020 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699722.021 * * * * [misc]progress: [ 67 / 70 ] simplifiying candidate # 1550699722.021 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699722.021 * * [misc]simplify: iters left: 4 (4 enodes) 1550699722.022 * * [misc]simplify: iters left: 3 (17 enodes) 1550699722.026 * * [misc]simplify: iters left: 2 (21 enodes) 1550699722.029 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.029 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699722.029 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699722.029 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699722.030 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699722.030 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699722.030 * * * * [misc]progress: [ 68 / 70 ] simplifiying candidate # 1550699722.030 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699722.030 * * [misc]simplify: iters left: 4 (4 enodes) 1550699722.032 * * [misc]simplify: iters left: 3 (17 enodes) 1550699722.037 * * [misc]simplify: iters left: 2 (21 enodes) 1550699722.041 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.041 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699722.041 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699722.041 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699722.041 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699722.041 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699722.041 * * * * [misc]progress: [ 69 / 70 ] simplifiying candidate # 1550699722.042 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699722.042 * * [misc]simplify: iters left: 4 (4 enodes) 1550699722.043 * * [misc]simplify: iters left: 3 (17 enodes) 1550699722.047 * * [misc]simplify: iters left: 2 (21 enodes) 1550699722.050 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.050 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699722.050 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699722.050 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699722.050 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699722.050 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699722.050 * * * * [misc]progress: [ 70 / 70 ] simplifiying candidate # 1550699722.051 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1550699722.051 * * [misc]simplify: iters left: 4 (4 enodes) 1550699722.052 * * [misc]simplify: iters left: 3 (17 enodes) 1550699722.056 * * [misc]simplify: iters left: 2 (21 enodes) 1550699722.062 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.062 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550699722.062 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1550699722.062 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1550699722.063 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1550699722.063 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1550699722.063 * * * [misc]progress: adding candidates to table 1550699722.766 * [misc]progress: [Phase 3 of 3] Extracting. 1550699722.771 * [enter]simplify: Simplifying (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))) 1550699722.771 * * [misc]simplify: iters left: 6 (8 enodes) 1550699722.772 * * [misc]simplify: iters left: 5 (12 enodes) 1550699722.773 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699722.773 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699722.773 * * [misc]simplify: Extracting #2: cost 4 inf + 0 1550699722.773 * * [misc]simplify: Extracting #3: cost 5 inf + 0 1550699722.773 * * [misc]simplify: Extracting #4: cost 6 inf + 0 1550699722.773 * * [misc]simplify: Extracting #5: cost 8 inf + 0 1550699722.773 * * [misc]simplify: Extracting #6: cost 8 inf + 1 1550699722.773 * * [misc]simplify: Extracting #7: cost 0 inf + 1176 1550699722.774 * [exit]simplify: Simplified to (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))) 1550699727.009 * [misc]regime-testing: Baseline error score: 0.023634234464367333 1550699727.011 * [misc]regime-testing: Oracle error score: 0.023634234464367333 1550699727.011 * [misc]regime-testing: End program error score: 0.023634234464367333