1540327129.252 * [misc]progress: [Phase 1 of 3] Setting up. 1540327129.253 * * * [misc]progress: [1/2] Preparing points 1540327129.254 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540327129.377 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.378 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1540327129.397 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.397 * * * * [misc]points: Sampling 156 additional inputs, on iter 2 have 100 / 256 1540327129.411 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.411 * * * * [misc]points: Sampling 113 additional inputs, on iter 3 have 143 / 256 1540327129.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.427 * * * * [misc]points: Sampling 86 additional inputs, on iter 4 have 170 / 256 1540327129.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.495 * * * * [misc]points: Sampling 73 additional inputs, on iter 5 have 183 / 256 1540327129.509 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.509 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1540327129.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.520 * * * * [misc]points: Sampling 44 additional inputs, on iter 7 have 212 / 256 1540327129.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.529 * * * * [misc]points: Sampling 31 additional inputs, on iter 8 have 225 / 256 1540327129.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.535 * * * * [misc]points: Sampling 24 additional inputs, on iter 9 have 232 / 256 1540327129.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.541 * * * * [misc]points: Sampling 21 additional inputs, on iter 10 have 235 / 256 1540327129.547 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.547 * * * * [misc]points: Sampling 12 additional inputs, on iter 11 have 244 / 256 1540327129.551 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.551 * * * * [misc]points: Sampling 8 additional inputs, on iter 12 have 248 / 256 1540327129.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.554 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 253 / 256 1540327129.556 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.556 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 254 / 256 1540327129.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.559 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1540327129.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.561 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 254 / 256 1540327129.564 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.564 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1540327129.567 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.567 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 1540327129.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1540327129.569 * * * * [exit]points: Sampled 256 points with exact outputs 1540327129.569 * * * [misc]progress: [2/2] Setting up program. 1540327129.578 * [misc]progress: [Phase 2 of 3] Improving. 1540327129.579 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1540327129.581 * * [misc]simplify: iters left: 6 (6 enodes) 1540327129.590 * * [misc]simplify: iters left: 5 (11 enodes) 1540327129.594 * * [misc]simplify: iters left: 4 (12 enodes) 1540327129.599 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1540327129.616 * * [misc]progress: iteration 1 / 4 1540327129.616 * * * [misc]progress: picking best candidate 1540327129.623 * * * * [misc]pick: Picked # 1540327129.623 * * * [misc]progress: localizing error 1540327129.662 * * * [misc]progress: generating rewritten candidates 1540327129.662 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1540327129.674 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1540327129.686 * * * [misc]progress: generating series expansions 1540327129.687 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1540327129.692 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1540327129.692 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1540327129.692 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327129.692 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327129.693 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327129.693 * [misc]taylor: Taking taylor expansion of x in x 1540327129.693 * [misc]backup-simplify: Simplify 0 into 0 1540327129.693 * [misc]backup-simplify: Simplify 1 into 1 1540327129.693 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327129.693 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.693 * [misc]backup-simplify: Simplify 1 into 1 1540327129.694 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.694 * [misc]backup-simplify: Simplify (log 1) into 0 1540327129.694 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327129.694 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327129.694 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327129.694 * [misc]taylor: Taking taylor expansion of x in x 1540327129.694 * [misc]backup-simplify: Simplify 0 into 0 1540327129.694 * [misc]backup-simplify: Simplify 1 into 1 1540327129.694 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327129.694 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.694 * [misc]backup-simplify: Simplify 1 into 1 1540327129.694 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.694 * [misc]backup-simplify: Simplify (log 1) into 0 1540327129.695 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327129.695 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1540327129.696 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327129.696 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.696 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327129.698 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540327129.698 * [misc]backup-simplify: Simplify -1 into -1 1540327129.699 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327129.699 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.699 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.702 * [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 1540327129.702 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327129.702 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540327129.702 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1540327129.702 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1540327129.702 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327129.702 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327129.702 * [misc]taylor: Taking taylor expansion of x in x 1540327129.702 * [misc]backup-simplify: Simplify 0 into 0 1540327129.702 * [misc]backup-simplify: Simplify 1 into 1 1540327129.702 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.703 * [misc]backup-simplify: Simplify 1 into 1 1540327129.703 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.703 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327129.703 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327129.703 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327129.703 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327129.703 * [misc]taylor: Taking taylor expansion of x in x 1540327129.703 * [misc]backup-simplify: Simplify 0 into 0 1540327129.703 * [misc]backup-simplify: Simplify 1 into 1 1540327129.703 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.703 * [misc]backup-simplify: Simplify 1 into 1 1540327129.703 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.703 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327129.703 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327129.703 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327129.704 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.704 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.705 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540327129.706 * [misc]backup-simplify: Simplify -1 into -1 1540327129.706 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.708 * [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 1540327129.708 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327129.709 * [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))))) 1540327129.709 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1540327129.709 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1540327129.709 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327129.709 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327129.709 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327129.709 * [misc]taylor: Taking taylor expansion of x in x 1540327129.709 * [misc]backup-simplify: Simplify 0 into 0 1540327129.709 * [misc]backup-simplify: Simplify 1 into 1 1540327129.709 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.709 * [misc]backup-simplify: Simplify 1 into 1 1540327129.709 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327129.709 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.709 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.710 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327129.710 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327129.710 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327129.710 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327129.710 * [misc]taylor: Taking taylor expansion of x in x 1540327129.710 * [misc]backup-simplify: Simplify 0 into 0 1540327129.710 * [misc]backup-simplify: Simplify 1 into 1 1540327129.710 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.710 * [misc]backup-simplify: Simplify 1 into 1 1540327129.710 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327129.710 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.710 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.710 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327129.710 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327129.710 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.711 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.711 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.713 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1540327129.713 * [misc]backup-simplify: Simplify 1 into 1 1540327129.713 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.713 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.713 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.714 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.714 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.718 * [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 1540327129.719 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327129.719 * [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))))) 1540327129.719 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1540327129.720 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1540327129.720 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1540327129.720 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327129.720 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327129.720 * [misc]taylor: Taking taylor expansion of x in x 1540327129.720 * [misc]backup-simplify: Simplify 0 into 0 1540327129.720 * [misc]backup-simplify: Simplify 1 into 1 1540327129.720 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327129.720 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.720 * [misc]backup-simplify: Simplify 1 into 1 1540327129.720 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327129.720 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327129.720 * [misc]taylor: Taking taylor expansion of x in x 1540327129.720 * [misc]backup-simplify: Simplify 0 into 0 1540327129.720 * [misc]backup-simplify: Simplify 1 into 1 1540327129.720 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327129.720 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.720 * [misc]backup-simplify: Simplify 1 into 1 1540327129.721 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.721 * [misc]backup-simplify: Simplify 1 into 1 1540327129.721 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327129.721 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.721 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327129.721 * [misc]backup-simplify: Simplify -1 into -1 1540327129.722 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327129.722 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.722 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.722 * [misc]backup-simplify: Simplify 0 into 0 1540327129.722 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327129.722 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.723 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.723 * [misc]backup-simplify: Simplify 0 into 0 1540327129.723 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327129.723 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.724 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.724 * [misc]backup-simplify: Simplify 0 into 0 1540327129.724 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327129.724 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.724 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.724 * [misc]backup-simplify: Simplify 0 into 0 1540327129.725 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327129.725 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.725 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.725 * [misc]backup-simplify: Simplify 0 into 0 1540327129.726 * [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 1540327129.726 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.726 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.726 * [misc]backup-simplify: Simplify 0 into 0 1540327129.726 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1540327129.727 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1540327129.727 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1540327129.727 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327129.727 * [misc]taylor: Taking taylor expansion of x in x 1540327129.727 * [misc]backup-simplify: Simplify 0 into 0 1540327129.727 * [misc]backup-simplify: Simplify 1 into 1 1540327129.727 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.727 * [misc]backup-simplify: Simplify 1 into 1 1540327129.727 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327129.727 * [misc]taylor: Taking taylor expansion of x in x 1540327129.727 * [misc]backup-simplify: Simplify 0 into 0 1540327129.727 * [misc]backup-simplify: Simplify 1 into 1 1540327129.727 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.727 * [misc]backup-simplify: Simplify 1 into 1 1540327129.727 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.727 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327129.727 * [misc]backup-simplify: Simplify -1 into -1 1540327129.727 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.728 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.728 * [misc]backup-simplify: Simplify 1 into 1 1540327129.728 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.728 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.728 * [misc]backup-simplify: Simplify 0 into 0 1540327129.728 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.728 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.728 * [misc]backup-simplify: Simplify 0 into 0 1540327129.729 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.729 * [misc]backup-simplify: Simplify 0 into 0 1540327129.729 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.729 * [misc]backup-simplify: Simplify 0 into 0 1540327129.729 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.730 * [misc]backup-simplify: Simplify 0 into 0 1540327129.730 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.730 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.730 * [misc]backup-simplify: Simplify 0 into 0 1540327129.730 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1540327129.730 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1540327129.730 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1540327129.730 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327129.730 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327129.730 * [misc]taylor: Taking taylor expansion of x in x 1540327129.730 * [misc]backup-simplify: Simplify 0 into 0 1540327129.730 * [misc]backup-simplify: Simplify 1 into 1 1540327129.730 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.730 * [misc]backup-simplify: Simplify 1 into 1 1540327129.730 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327129.730 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327129.731 * [misc]taylor: Taking taylor expansion of x in x 1540327129.731 * [misc]backup-simplify: Simplify 0 into 0 1540327129.731 * [misc]backup-simplify: Simplify 1 into 1 1540327129.731 * [misc]taylor: Taking taylor expansion of 1 in x 1540327129.731 * [misc]backup-simplify: Simplify 1 into 1 1540327129.731 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327129.731 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.731 * [misc]backup-simplify: Simplify -1 into -1 1540327129.731 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327129.731 * [misc]backup-simplify: Simplify (- 1) into -1 1540327129.731 * [misc]backup-simplify: Simplify -1 into -1 1540327129.732 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.732 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.732 * [misc]backup-simplify: Simplify 0 into 0 1540327129.732 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.732 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.732 * [misc]backup-simplify: Simplify 0 into 0 1540327129.732 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.732 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.732 * [misc]backup-simplify: Simplify 0 into 0 1540327129.733 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.733 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.733 * [misc]backup-simplify: Simplify 0 into 0 1540327129.733 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.733 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.733 * [misc]backup-simplify: Simplify 0 into 0 1540327129.733 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327129.734 * [misc]backup-simplify: Simplify (- 0) into 0 1540327129.734 * [misc]backup-simplify: Simplify 0 into 0 1540327129.734 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1540327129.734 * * * [misc]progress: simplifying candidates 1540327129.734 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1540327129.735 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540327129.736 * * [misc]simplify: iters left: 6 (7 enodes) 1540327129.739 * * [misc]simplify: iters left: 5 (14 enodes) 1540327129.743 * * [misc]simplify: iters left: 4 (15 enodes) 1540327129.748 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540327129.748 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1540327129.754 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1540327129.754 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1540327129.755 * * [misc]simplify: iters left: 6 (6 enodes) 1540327129.757 * * [misc]simplify: iters left: 5 (11 enodes) 1540327129.758 * * [misc]simplify: iters left: 4 (12 enodes) 1540327129.760 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1540327129.760 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327129.760 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1540327129.760 * [enter]simplify: Simplifying (log 1) 1540327129.760 * * [misc]simplify: iters left: 1 (2 enodes) 1540327129.761 * [exit]simplify: Simplified to 0 1540327129.761 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1540327129.761 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1540327129.762 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1540327129.762 * * [misc]simplify: iters left: 6 (6 enodes) 1540327129.763 * * [misc]simplify: iters left: 5 (9 enodes) 1540327129.764 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1540327129.764 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1540327129.765 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1540327129.765 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1540327129.765 * * [misc]simplify: iters left: 6 (8 enodes) 1540327129.769 * * [misc]simplify: iters left: 5 (20 enodes) 1540327129.773 * * [misc]simplify: iters left: 4 (32 enodes) 1540327129.779 * * [misc]simplify: iters left: 3 (41 enodes) 1540327129.785 * * [misc]simplify: iters left: 2 (49 enodes) 1540327129.792 * * [misc]simplify: iters left: 1 (56 enodes) 1540327129.806 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1540327129.806 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1540327129.806 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1540327129.806 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540327129.807 * * [misc]simplify: iters left: 6 (7 enodes) 1540327129.812 * * [misc]simplify: iters left: 5 (16 enodes) 1540327129.817 * * [misc]simplify: iters left: 4 (17 enodes) 1540327129.822 * * [misc]simplify: iters left: 3 (24 enodes) 1540327129.831 * * [misc]simplify: iters left: 2 (35 enodes) 1540327129.847 * * [misc]simplify: iters left: 1 (57 enodes) 1540327129.886 * [exit]simplify: Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1)) 1540327129.886 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1))))) 1540327129.886 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1540327129.886 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1540327129.886 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1540327129.886 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327129.887 * * [misc]simplify: iters left: 4 (4 enodes) 1540327129.889 * * [misc]simplify: iters left: 3 (9 enodes) 1540327129.891 * * [misc]simplify: iters left: 2 (10 enodes) 1540327129.893 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327129.893 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540327129.893 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1540327129.893 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate # 1540327129.893 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1540327129.894 * * [misc]simplify: iters left: 5 (5 enodes) 1540327129.895 * * [misc]simplify: iters left: 4 (8 enodes) 1540327129.896 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1540327129.896 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1540327129.896 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1540327129.896 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1540327129.896 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540327129.897 * * [misc]simplify: iters left: 6 (9 enodes) 1540327129.899 * * [misc]simplify: iters left: 5 (18 enodes) 1540327129.903 * * [misc]simplify: iters left: 4 (34 enodes) 1540327129.913 * * [misc]simplify: iters left: 3 (75 enodes) 1540327129.931 * * [misc]simplify: iters left: 2 (104 enodes) 1540327129.972 * * [misc]simplify: iters left: 1 (140 enodes) 1540327130.029 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1540327130.029 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1540327130.029 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1540327130.030 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540327130.030 * * [misc]simplify: iters left: 6 (12 enodes) 1540327130.034 * * [misc]simplify: iters left: 5 (23 enodes) 1540327130.040 * * [misc]simplify: iters left: 4 (34 enodes) 1540327130.050 * * [misc]simplify: iters left: 3 (62 enodes) 1540327130.071 * * [misc]simplify: iters left: 2 (94 enodes) 1540327130.099 * * [misc]simplify: iters left: 1 (125 enodes) 1540327130.157 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540327130.157 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1540327130.157 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1540327130.158 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540327130.159 * * [misc]simplify: iters left: 6 (12 enodes) 1540327130.166 * * [misc]simplify: iters left: 5 (23 enodes) 1540327130.176 * * [misc]simplify: iters left: 4 (34 enodes) 1540327130.198 * * [misc]simplify: iters left: 3 (62 enodes) 1540327130.220 * * [misc]simplify: iters left: 2 (94 enodes) 1540327130.235 * * [misc]simplify: iters left: 1 (125 enodes) 1540327130.273 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540327130.273 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1540327130.273 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1540327130.273 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327130.273 * * [misc]simplify: iters left: 4 (4 enodes) 1540327130.275 * * [misc]simplify: iters left: 3 (9 enodes) 1540327130.276 * * [misc]simplify: iters left: 2 (10 enodes) 1540327130.278 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327130.278 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540327130.278 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1540327130.278 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327130.278 * * [misc]simplify: iters left: 4 (4 enodes) 1540327130.282 * * [misc]simplify: iters left: 3 (9 enodes) 1540327130.283 * * [misc]simplify: iters left: 2 (10 enodes) 1540327130.284 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327130.284 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540327130.284 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1540327130.285 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327130.285 * * [misc]simplify: iters left: 4 (4 enodes) 1540327130.287 * * [misc]simplify: iters left: 3 (9 enodes) 1540327130.288 * * [misc]simplify: iters left: 2 (10 enodes) 1540327130.289 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327130.289 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540327130.289 * * * [misc]progress: adding candidates to table 1540327130.747 * * [misc]progress: iteration 2 / 4 1540327130.747 * * * [misc]progress: picking best candidate 1540327130.756 * * * * [misc]pick: Picked # 1540327130.756 * * * [misc]progress: localizing error 1540327130.768 * * * [misc]progress: generating rewritten candidates 1540327130.768 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1) 1540327130.787 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1540327130.813 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1540327130.826 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1540327130.838 * * * [misc]progress: generating series expansions 1540327130.838 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1) 1540327130.839 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1540327130.839 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1540327130.839 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540327130.839 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.839 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.839 * [misc]taylor: Taking taylor expansion of x in x 1540327130.839 * [misc]backup-simplify: Simplify 0 into 0 1540327130.839 * [misc]backup-simplify: Simplify 1 into 1 1540327130.839 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.839 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.839 * [misc]backup-simplify: Simplify 1 into 1 1540327130.839 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.839 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540327130.840 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540327130.840 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540327130.840 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.840 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.840 * [misc]taylor: Taking taylor expansion of x in x 1540327130.840 * [misc]backup-simplify: Simplify 0 into 0 1540327130.840 * [misc]backup-simplify: Simplify 1 into 1 1540327130.840 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.840 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.840 * [misc]backup-simplify: Simplify 1 into 1 1540327130.840 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.840 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540327130.841 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540327130.841 * [misc]backup-simplify: Simplify 0 into 0 1540327130.841 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540327130.841 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327130.841 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.841 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.842 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1540327130.842 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540327130.842 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.842 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.843 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.843 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1540327130.843 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540327130.843 * [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))))) 1540327130.844 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1540327130.844 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1540327130.844 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540327130.844 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.844 * [misc]taylor: Taking taylor expansion of x in x 1540327130.844 * [misc]backup-simplify: Simplify 0 into 0 1540327130.844 * [misc]backup-simplify: Simplify 1 into 1 1540327130.844 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.844 * [misc]backup-simplify: Simplify 1 into 1 1540327130.844 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.844 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.844 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.844 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.844 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.845 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540327130.845 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540327130.845 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.845 * [misc]taylor: Taking taylor expansion of x in x 1540327130.845 * [misc]backup-simplify: Simplify 0 into 0 1540327130.845 * [misc]backup-simplify: Simplify 1 into 1 1540327130.845 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.845 * [misc]backup-simplify: Simplify 1 into 1 1540327130.845 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.845 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.845 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.845 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.845 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.846 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540327130.846 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.846 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1540327130.846 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.846 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.848 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.848 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.849 * [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))))) 1540327130.850 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1540327130.850 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1540327130.850 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540327130.850 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.850 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.850 * [misc]taylor: Taking taylor expansion of x in x 1540327130.850 * [misc]backup-simplify: Simplify 0 into 0 1540327130.850 * [misc]backup-simplify: Simplify 1 into 1 1540327130.850 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.850 * [misc]backup-simplify: Simplify 1 into 1 1540327130.850 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327130.850 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.850 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.850 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.850 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.850 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.850 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.851 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540327130.851 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540327130.851 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.851 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.851 * [misc]taylor: Taking taylor expansion of x in x 1540327130.851 * [misc]backup-simplify: Simplify 0 into 0 1540327130.851 * [misc]backup-simplify: Simplify 1 into 1 1540327130.851 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.851 * [misc]backup-simplify: Simplify 1 into 1 1540327130.851 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327130.851 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.851 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.851 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.851 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.852 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.852 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.852 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540327130.852 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.852 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1540327130.852 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.853 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.854 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.855 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.856 * [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))))) 1540327130.856 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1540327130.856 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1540327130.856 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1540327130.856 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540327130.856 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.856 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.856 * [misc]taylor: Taking taylor expansion of x in x 1540327130.856 * [misc]backup-simplify: Simplify 0 into 0 1540327130.856 * [misc]backup-simplify: Simplify 1 into 1 1540327130.856 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.856 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.856 * [misc]backup-simplify: Simplify 1 into 1 1540327130.857 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.857 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540327130.857 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540327130.857 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1540327130.857 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.857 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.857 * [misc]taylor: Taking taylor expansion of x in x 1540327130.857 * [misc]backup-simplify: Simplify 0 into 0 1540327130.857 * [misc]backup-simplify: Simplify 1 into 1 1540327130.857 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.857 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.857 * [misc]backup-simplify: Simplify 1 into 1 1540327130.857 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.857 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1540327130.858 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1540327130.858 * [misc]backup-simplify: Simplify 0 into 0 1540327130.858 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540327130.858 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327130.858 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.858 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.859 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1540327130.859 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540327130.859 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.859 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.859 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.860 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1540327130.860 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1540327130.860 * [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))))) 1540327130.860 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1540327130.860 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1540327130.860 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540327130.860 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.860 * [misc]taylor: Taking taylor expansion of x in x 1540327130.860 * [misc]backup-simplify: Simplify 0 into 0 1540327130.860 * [misc]backup-simplify: Simplify 1 into 1 1540327130.860 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.860 * [misc]backup-simplify: Simplify 1 into 1 1540327130.860 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.861 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.861 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.861 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.861 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.861 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540327130.861 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1540327130.861 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.861 * [misc]taylor: Taking taylor expansion of x in x 1540327130.861 * [misc]backup-simplify: Simplify 0 into 0 1540327130.861 * [misc]backup-simplify: Simplify 1 into 1 1540327130.861 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.861 * [misc]backup-simplify: Simplify 1 into 1 1540327130.861 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.861 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.862 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.862 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.862 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.862 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1540327130.862 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.862 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1540327130.863 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.863 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.865 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.866 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.868 * [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))))) 1540327130.868 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1540327130.868 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1540327130.868 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540327130.868 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.869 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.869 * [misc]taylor: Taking taylor expansion of x in x 1540327130.869 * [misc]backup-simplify: Simplify 0 into 0 1540327130.869 * [misc]backup-simplify: Simplify 1 into 1 1540327130.869 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.869 * [misc]backup-simplify: Simplify 1 into 1 1540327130.869 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327130.869 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.869 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.869 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.869 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.870 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.870 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.870 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540327130.870 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1540327130.870 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.870 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.870 * [misc]taylor: Taking taylor expansion of x in x 1540327130.870 * [misc]backup-simplify: Simplify 0 into 0 1540327130.870 * [misc]backup-simplify: Simplify 1 into 1 1540327130.870 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.870 * [misc]backup-simplify: Simplify 1 into 1 1540327130.871 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327130.871 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.871 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.871 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.871 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.871 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.872 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.872 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1540327130.872 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1540327130.873 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1540327130.873 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.873 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.876 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.877 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1540327130.879 * [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))))) 1540327130.879 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1) 1540327130.879 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1540327130.879 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1540327130.879 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.879 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.879 * [misc]taylor: Taking taylor expansion of x in x 1540327130.879 * [misc]backup-simplify: Simplify 0 into 0 1540327130.879 * [misc]backup-simplify: Simplify 1 into 1 1540327130.879 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.879 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.879 * [misc]backup-simplify: Simplify 1 into 1 1540327130.879 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.879 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.879 * [misc]taylor: Taking taylor expansion of x in x 1540327130.879 * [misc]backup-simplify: Simplify 0 into 0 1540327130.879 * [misc]backup-simplify: Simplify 1 into 1 1540327130.880 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.880 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.880 * [misc]backup-simplify: Simplify 1 into 1 1540327130.880 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.880 * [misc]backup-simplify: Simplify 1 into 1 1540327130.880 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327130.880 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.881 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.881 * [misc]backup-simplify: Simplify -1 into -1 1540327130.881 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.881 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.881 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.881 * [misc]backup-simplify: Simplify 0 into 0 1540327130.882 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.882 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.882 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.882 * [misc]backup-simplify: Simplify 0 into 0 1540327130.882 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.883 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.883 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.883 * [misc]backup-simplify: Simplify 0 into 0 1540327130.883 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.883 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.884 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.884 * [misc]backup-simplify: Simplify 0 into 0 1540327130.884 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.884 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.884 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.885 * [misc]backup-simplify: Simplify 0 into 0 1540327130.885 * [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 1540327130.885 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.885 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.885 * [misc]backup-simplify: Simplify 0 into 0 1540327130.886 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1540327130.886 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1540327130.886 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1540327130.886 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.886 * [misc]taylor: Taking taylor expansion of x in x 1540327130.886 * [misc]backup-simplify: Simplify 0 into 0 1540327130.886 * [misc]backup-simplify: Simplify 1 into 1 1540327130.886 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.886 * [misc]backup-simplify: Simplify 1 into 1 1540327130.886 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.886 * [misc]taylor: Taking taylor expansion of x in x 1540327130.886 * [misc]backup-simplify: Simplify 0 into 0 1540327130.886 * [misc]backup-simplify: Simplify 1 into 1 1540327130.886 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.886 * [misc]backup-simplify: Simplify 1 into 1 1540327130.886 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.886 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.886 * [misc]backup-simplify: Simplify -1 into -1 1540327130.887 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.887 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.887 * [misc]backup-simplify: Simplify 1 into 1 1540327130.887 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.887 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.887 * [misc]backup-simplify: Simplify 0 into 0 1540327130.887 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.888 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.888 * [misc]backup-simplify: Simplify 0 into 0 1540327130.888 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.888 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.888 * [misc]backup-simplify: Simplify 0 into 0 1540327130.888 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.888 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.888 * [misc]backup-simplify: Simplify 0 into 0 1540327130.888 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.889 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.889 * [misc]backup-simplify: Simplify 0 into 0 1540327130.889 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.889 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.889 * [misc]backup-simplify: Simplify 0 into 0 1540327130.889 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1540327130.889 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1540327130.889 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1540327130.889 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.889 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.889 * [misc]taylor: Taking taylor expansion of x in x 1540327130.889 * [misc]backup-simplify: Simplify 0 into 0 1540327130.889 * [misc]backup-simplify: Simplify 1 into 1 1540327130.890 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.890 * [misc]backup-simplify: Simplify 1 into 1 1540327130.890 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.890 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.890 * [misc]taylor: Taking taylor expansion of x in x 1540327130.890 * [misc]backup-simplify: Simplify 0 into 0 1540327130.890 * [misc]backup-simplify: Simplify 1 into 1 1540327130.890 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.890 * [misc]backup-simplify: Simplify 1 into 1 1540327130.890 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327130.890 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.890 * [misc]backup-simplify: Simplify -1 into -1 1540327130.890 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.890 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.890 * [misc]backup-simplify: Simplify -1 into -1 1540327130.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.891 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.891 * [misc]backup-simplify: Simplify 0 into 0 1540327130.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.891 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.891 * [misc]backup-simplify: Simplify 0 into 0 1540327130.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.892 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.892 * [misc]backup-simplify: Simplify 0 into 0 1540327130.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.892 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.892 * [misc]backup-simplify: Simplify 0 into 0 1540327130.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.892 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.892 * [misc]backup-simplify: Simplify 0 into 0 1540327130.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.893 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.893 * [misc]backup-simplify: Simplify 0 into 0 1540327130.893 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1540327130.893 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1) 1540327130.893 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1540327130.893 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1540327130.893 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.893 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.893 * [misc]taylor: Taking taylor expansion of x in x 1540327130.893 * [misc]backup-simplify: Simplify 0 into 0 1540327130.893 * [misc]backup-simplify: Simplify 1 into 1 1540327130.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.894 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.894 * [misc]backup-simplify: Simplify 1 into 1 1540327130.894 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327130.894 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327130.894 * [misc]taylor: Taking taylor expansion of x in x 1540327130.894 * [misc]backup-simplify: Simplify 0 into 0 1540327130.894 * [misc]backup-simplify: Simplify 1 into 1 1540327130.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327130.894 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.894 * [misc]backup-simplify: Simplify 1 into 1 1540327130.894 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.894 * [misc]backup-simplify: Simplify 1 into 1 1540327130.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327130.895 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.895 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.895 * [misc]backup-simplify: Simplify -1 into -1 1540327130.895 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.895 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.895 * [misc]backup-simplify: Simplify 0 into 0 1540327130.896 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.896 * [misc]backup-simplify: Simplify 0 into 0 1540327130.896 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.896 * [misc]backup-simplify: Simplify 0 into 0 1540327130.897 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.897 * [misc]backup-simplify: Simplify 0 into 0 1540327130.897 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327130.897 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.897 * [misc]backup-simplify: Simplify 0 into 0 1540327130.898 * [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 1540327130.898 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.898 * [misc]backup-simplify: Simplify 0 into 0 1540327130.898 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1540327130.898 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1540327130.898 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1540327130.898 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.898 * [misc]taylor: Taking taylor expansion of x in x 1540327130.898 * [misc]backup-simplify: Simplify 0 into 0 1540327130.898 * [misc]backup-simplify: Simplify 1 into 1 1540327130.898 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.898 * [misc]backup-simplify: Simplify 1 into 1 1540327130.898 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327130.898 * [misc]taylor: Taking taylor expansion of x in x 1540327130.898 * [misc]backup-simplify: Simplify 0 into 0 1540327130.898 * [misc]backup-simplify: Simplify 1 into 1 1540327130.898 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.898 * [misc]backup-simplify: Simplify 1 into 1 1540327130.898 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.899 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327130.899 * [misc]backup-simplify: Simplify -1 into -1 1540327130.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.899 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.899 * [misc]backup-simplify: Simplify 1 into 1 1540327130.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.899 * [misc]backup-simplify: Simplify 0 into 0 1540327130.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.899 * [misc]backup-simplify: Simplify 0 into 0 1540327130.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify 0 into 0 1540327130.900 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify 0 into 0 1540327130.900 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify 0 into 0 1540327130.900 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.900 * [misc]backup-simplify: Simplify 0 into 0 1540327130.900 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1540327130.901 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1540327130.901 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1540327130.901 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.901 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.901 * [misc]taylor: Taking taylor expansion of x in x 1540327130.901 * [misc]backup-simplify: Simplify 0 into 0 1540327130.901 * [misc]backup-simplify: Simplify 1 into 1 1540327130.901 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.901 * [misc]backup-simplify: Simplify 1 into 1 1540327130.901 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327130.901 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327130.901 * [misc]taylor: Taking taylor expansion of x in x 1540327130.901 * [misc]backup-simplify: Simplify 0 into 0 1540327130.901 * [misc]backup-simplify: Simplify 1 into 1 1540327130.901 * [misc]taylor: Taking taylor expansion of 1 in x 1540327130.901 * [misc]backup-simplify: Simplify 1 into 1 1540327130.901 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327130.901 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.901 * [misc]backup-simplify: Simplify -1 into -1 1540327130.901 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327130.901 * [misc]backup-simplify: Simplify (- 1) into -1 1540327130.901 * [misc]backup-simplify: Simplify -1 into -1 1540327130.901 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.901 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify 0 into 0 1540327130.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify 0 into 0 1540327130.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify 0 into 0 1540327130.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify 0 into 0 1540327130.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.902 * [misc]backup-simplify: Simplify 0 into 0 1540327130.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327130.903 * [misc]backup-simplify: Simplify (- 0) into 0 1540327130.903 * [misc]backup-simplify: Simplify 0 into 0 1540327130.903 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1540327130.903 * * * [misc]progress: simplifying candidates 1540327130.903 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1540327130.903 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1540327130.903 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1540327130.903 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1540327130.903 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1540327130.903 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1540327130.903 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1540327130.903 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540327130.904 * * [misc]simplify: iters left: 6 (7 enodes) 1540327130.906 * * [misc]simplify: iters left: 5 (13 enodes) 1540327130.907 * * [misc]simplify: iters left: 4 (14 enodes) 1540327130.909 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1540327130.909 * [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)))))))) 1540327130.909 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1540327130.910 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1540327130.913 * * [misc]simplify: iters left: 6 (6 enodes) 1540327130.915 * * [misc]simplify: iters left: 5 (11 enodes) 1540327130.916 * * [misc]simplify: iters left: 4 (12 enodes) 1540327130.918 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1540327130.918 * [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)))))))) 1540327130.918 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1540327130.919 * [enter]simplify: Simplifying (sqrt 1) 1540327130.919 * * [misc]simplify: iters left: 1 (2 enodes) 1540327130.920 * [exit]simplify: Simplified to 1 1540327130.920 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1))))))) 1540327130.920 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1540327130.920 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1540327130.920 * * [misc]simplify: iters left: 6 (6 enodes) 1540327130.922 * * [misc]simplify: iters left: 5 (9 enodes) 1540327130.923 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1540327130.923 * [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))))))) 1540327130.923 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1540327130.923 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1540327130.924 * * [misc]simplify: iters left: 6 (8 enodes) 1540327130.927 * * [misc]simplify: iters left: 5 (20 enodes) 1540327130.930 * * [misc]simplify: iters left: 4 (32 enodes) 1540327130.941 * * [misc]simplify: iters left: 3 (41 enodes) 1540327130.954 * * [misc]simplify: iters left: 2 (49 enodes) 1540327130.966 * * [misc]simplify: iters left: 1 (56 enodes) 1540327130.974 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1540327130.974 * [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))))))))) 1540327130.974 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1540327130.974 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540327130.975 * * [misc]simplify: iters left: 6 (7 enodes) 1540327130.977 * * [misc]simplify: iters left: 5 (16 enodes) 1540327130.979 * * [misc]simplify: iters left: 4 (17 enodes) 1540327130.982 * * [misc]simplify: iters left: 3 (24 enodes) 1540327130.986 * * [misc]simplify: iters left: 2 (32 enodes) 1540327130.993 * * [misc]simplify: iters left: 1 (51 enodes) 1540327131.021 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1540327131.021 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1))))))) 1540327131.021 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1540327131.021 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1540327131.022 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1540327131.022 * * [misc]simplify: iters left: 5 (5 enodes) 1540327131.025 * * [misc]simplify: iters left: 4 (10 enodes) 1540327131.028 * * [misc]simplify: iters left: 3 (11 enodes) 1540327131.031 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1540327131.031 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1))))))) 1540327131.031 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1540327131.031 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1540327131.031 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1540327131.032 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1540327131.032 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1540327131.032 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1540327131.032 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1540327131.032 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1540327131.032 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540327131.033 * * [misc]simplify: iters left: 6 (7 enodes) 1540327131.037 * * [misc]simplify: iters left: 5 (13 enodes) 1540327131.040 * * [misc]simplify: iters left: 4 (14 enodes) 1540327131.044 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1540327131.044 * [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)))))) 1540327131.044 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1540327131.044 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1540327131.045 * * [misc]simplify: iters left: 6 (6 enodes) 1540327131.048 * * [misc]simplify: iters left: 5 (11 enodes) 1540327131.051 * * [misc]simplify: iters left: 4 (12 enodes) 1540327131.054 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1540327131.054 * [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)))))) 1540327131.054 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1540327131.054 * [enter]simplify: Simplifying (sqrt 1) 1540327131.055 * * [misc]simplify: iters left: 1 (2 enodes) 1540327131.056 * [exit]simplify: Simplified to 1 1540327131.056 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540327131.056 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1540327131.057 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1540327131.057 * * [misc]simplify: iters left: 6 (6 enodes) 1540327131.059 * * [misc]simplify: iters left: 5 (9 enodes) 1540327131.062 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1540327131.062 * [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)))))) 1540327131.062 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1540327131.063 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1540327131.063 * * [misc]simplify: iters left: 6 (8 enodes) 1540327131.069 * * [misc]simplify: iters left: 5 (20 enodes) 1540327131.076 * * [misc]simplify: iters left: 4 (32 enodes) 1540327131.088 * * [misc]simplify: iters left: 3 (41 enodes) 1540327131.101 * * [misc]simplify: iters left: 2 (49 enodes) 1540327131.114 * * [misc]simplify: iters left: 1 (56 enodes) 1540327131.132 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1540327131.132 * [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)))))) 1540327131.132 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1540327131.132 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540327131.133 * * [misc]simplify: iters left: 6 (7 enodes) 1540327131.140 * * [misc]simplify: iters left: 5 (16 enodes) 1540327131.145 * * [misc]simplify: iters left: 4 (17 enodes) 1540327131.150 * * [misc]simplify: iters left: 3 (24 enodes) 1540327131.159 * * [misc]simplify: iters left: 2 (32 enodes) 1540327131.172 * * [misc]simplify: iters left: 1 (51 enodes) 1540327131.189 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1540327131.189 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540327131.189 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1540327131.189 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1540327131.190 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1540327131.190 * * [misc]simplify: iters left: 5 (5 enodes) 1540327131.192 * * [misc]simplify: iters left: 4 (10 enodes) 1540327131.193 * * [misc]simplify: iters left: 3 (11 enodes) 1540327131.194 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1540327131.195 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540327131.195 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1540327131.195 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1540327131.195 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1540327131.196 * * [misc]simplify: iters left: 5 (5 enodes) 1540327131.197 * * [misc]simplify: iters left: 4 (8 enodes) 1540327131.198 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1540327131.198 * [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))))))) 1540327131.198 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1540327131.198 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1540327131.198 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1540327131.199 * * [misc]simplify: iters left: 5 (5 enodes) 1540327131.200 * * [misc]simplify: iters left: 4 (8 enodes) 1540327131.201 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1540327131.201 * [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)))))) 1540327131.201 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1540327131.201 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1540327131.201 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1540327131.201 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0)))) 1540327131.201 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1540327131.202 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540327131.203 * * [misc]simplify: iters left: 6 (18 enodes) 1540327131.209 * * [misc]simplify: iters left: 5 (41 enodes) 1540327131.230 * * [misc]simplify: iters left: 4 (85 enodes) 1540327131.261 * * [misc]simplify: iters left: 3 (151 enodes) 1540327131.298 * * [misc]simplify: iters left: 2 (240 enodes) 1540327131.517 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540327131.517 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1540327131.517 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1540327131.518 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540327131.519 * * [misc]simplify: iters left: 6 (18 enodes) 1540327131.529 * * [misc]simplify: iters left: 5 (41 enodes) 1540327131.541 * * [misc]simplify: iters left: 4 (85 enodes) 1540327131.579 * * [misc]simplify: iters left: 3 (151 enodes) 1540327131.627 * * [misc]simplify: iters left: 2 (240 enodes) 1540327131.872 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540327131.872 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1540327131.872 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1540327131.873 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1540327131.873 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1540327131.873 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1540327131.873 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540327131.874 * * [misc]simplify: iters left: 6 (18 enodes) 1540327131.881 * * [misc]simplify: iters left: 5 (41 enodes) 1540327131.893 * * [misc]simplify: iters left: 4 (85 enodes) 1540327131.924 * * [misc]simplify: iters left: 3 (151 enodes) 1540327131.983 * * [misc]simplify: iters left: 2 (240 enodes) 1540327132.189 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540327132.189 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.189 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1540327132.190 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1540327132.191 * * [misc]simplify: iters left: 6 (18 enodes) 1540327132.203 * * [misc]simplify: iters left: 5 (41 enodes) 1540327132.216 * * [misc]simplify: iters left: 4 (85 enodes) 1540327132.249 * * [misc]simplify: iters left: 3 (151 enodes) 1540327132.317 * * [misc]simplify: iters left: 2 (240 enodes) 1540327132.502 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1540327132.502 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.502 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1540327132.503 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327132.503 * * [misc]simplify: iters left: 4 (4 enodes) 1540327132.507 * * [misc]simplify: iters left: 3 (9 enodes) 1540327132.508 * * [misc]simplify: iters left: 2 (10 enodes) 1540327132.509 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327132.509 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.509 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1540327132.509 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327132.510 * * [misc]simplify: iters left: 4 (4 enodes) 1540327132.511 * * [misc]simplify: iters left: 3 (9 enodes) 1540327132.512 * * [misc]simplify: iters left: 2 (10 enodes) 1540327132.513 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327132.513 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.513 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1540327132.514 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327132.514 * * [misc]simplify: iters left: 4 (4 enodes) 1540327132.515 * * [misc]simplify: iters left: 3 (9 enodes) 1540327132.516 * * [misc]simplify: iters left: 2 (10 enodes) 1540327132.518 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327132.518 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.518 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1540327132.518 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327132.518 * * [misc]simplify: iters left: 4 (4 enodes) 1540327132.519 * * [misc]simplify: iters left: 3 (9 enodes) 1540327132.521 * * [misc]simplify: iters left: 2 (10 enodes) 1540327132.522 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327132.522 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.522 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1540327132.522 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327132.522 * * [misc]simplify: iters left: 4 (4 enodes) 1540327132.524 * * [misc]simplify: iters left: 3 (9 enodes) 1540327132.525 * * [misc]simplify: iters left: 2 (10 enodes) 1540327132.526 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327132.526 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.526 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1540327132.526 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327132.526 * * [misc]simplify: iters left: 4 (4 enodes) 1540327132.528 * * [misc]simplify: iters left: 3 (9 enodes) 1540327132.529 * * [misc]simplify: iters left: 2 (10 enodes) 1540327132.530 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327132.530 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1540327132.530 * * * [misc]progress: adding candidates to table 1540327134.340 * * [misc]progress: iteration 3 / 4 1540327134.340 * * * [misc]progress: picking best candidate 1540327134.345 * * * * [misc]pick: Picked # 1540327134.345 * * * [misc]progress: localizing error 1540327134.358 * * * [misc]progress: generating rewritten candidates 1540327134.358 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1) 1540327134.438 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1540327134.495 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1540327134.606 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1540327134.620 * * * [misc]progress: generating series expansions 1540327134.620 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1) 1540327134.621 * [misc]backup-simplify: Simplify (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) into (pow (log (- (/ 1 x) 1)) 2) 1540327134.621 * [misc]approximate: Taking taylor expansion of (pow (log (- (/ 1 x) 1)) 2) in (x) around 0 1540327134.621 * [misc]taylor: Taking taylor expansion of (pow (log (- (/ 1 x) 1)) 2) in x 1540327134.621 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.621 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.621 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.621 * [misc]taylor: Taking taylor expansion of x in x 1540327134.621 * [misc]backup-simplify: Simplify 0 into 0 1540327134.621 * [misc]backup-simplify: Simplify 1 into 1 1540327134.622 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.622 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.622 * [misc]backup-simplify: Simplify 1 into 1 1540327134.622 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.622 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.622 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.623 * [misc]taylor: Taking taylor expansion of (pow (log (- (/ 1 x) 1)) 2) in x 1540327134.623 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.623 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.623 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.623 * [misc]taylor: Taking taylor expansion of x in x 1540327134.623 * [misc]backup-simplify: Simplify 0 into 0 1540327134.623 * [misc]backup-simplify: Simplify 1 into 1 1540327134.623 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.623 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.623 * [misc]backup-simplify: Simplify 1 into 1 1540327134.623 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.623 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.624 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.624 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.624 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.625 * [misc]backup-simplify: Simplify (* (- (log x)) (- (log x))) into (pow (log x) 2) 1540327134.625 * [misc]backup-simplify: Simplify (pow (log x) 2) into (pow (log x) 2) 1540327134.625 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327134.626 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.626 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.629 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540327134.629 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.629 * [misc]backup-simplify: Simplify (+ (* (- (log x)) -1) (* -1 (- (log x)))) into (* 2 (log x)) 1540327134.629 * [misc]backup-simplify: Simplify (* 2 (log x)) into (* 2 (log x)) 1540327134.629 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.630 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327134.630 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.630 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.635 * [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 1540327134.635 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.635 * [misc]backup-simplify: Simplify (+ (* (- (log x)) -1/2) (+ (* -1 -1) (* -1/2 (- (log x))))) into (+ 1 (log x)) 1540327134.635 * [misc]backup-simplify: Simplify (+ 1 (log x)) into (+ 1 (log x)) 1540327134.637 * [misc]backup-simplify: Simplify (+ (* (+ 1 (log x)) (pow x 2)) (+ (* (* 2 (log x)) x) (pow (log x) 2))) into (+ (* 2 (* x (log x))) (+ (pow (log x) 2) (+ (pow x 2) (* (pow x 2) (log x))))) 1540327134.637 * [misc]backup-simplify: Simplify (* (log (- (/ 1 (/ 1 x)) 1)) (log (- (/ 1 (/ 1 x)) 1))) into (pow (log (- x 1)) 2) 1540327134.637 * [misc]approximate: Taking taylor expansion of (pow (log (- x 1)) 2) in (x) around 0 1540327134.637 * [misc]taylor: Taking taylor expansion of (pow (log (- x 1)) 2) in x 1540327134.637 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.637 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.637 * [misc]taylor: Taking taylor expansion of x in x 1540327134.637 * [misc]backup-simplify: Simplify 0 into 0 1540327134.637 * [misc]backup-simplify: Simplify 1 into 1 1540327134.637 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.637 * [misc]backup-simplify: Simplify 1 into 1 1540327134.638 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.638 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.638 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.638 * [misc]taylor: Taking taylor expansion of (pow (log (- x 1)) 2) in x 1540327134.638 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.638 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.638 * [misc]taylor: Taking taylor expansion of x in x 1540327134.638 * [misc]backup-simplify: Simplify 0 into 0 1540327134.638 * [misc]backup-simplify: Simplify 1 into 1 1540327134.638 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.638 * [misc]backup-simplify: Simplify 1 into 1 1540327134.639 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.639 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.639 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.640 * [misc]backup-simplify: Simplify (* (log -1) (log -1)) into (pow (log -1) 2) 1540327134.640 * [misc]backup-simplify: Simplify (pow (log -1) 2) into (pow (log -1) 2) 1540327134.640 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.641 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.643 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540327134.644 * [misc]backup-simplify: Simplify (+ (* (log -1) -1) (* -1 (log -1))) into (- (* 2 (log -1))) 1540327134.644 * [misc]backup-simplify: Simplify (- (* 2 (log -1))) into (- (* 2 (log -1))) 1540327134.645 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.645 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.650 * [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 1540327134.652 * [misc]backup-simplify: Simplify (+ (* (log -1) -1/2) (+ (* -1 -1) (* -1/2 (log -1)))) into (- 1 (log -1)) 1540327134.652 * [misc]backup-simplify: Simplify (- 1 (log -1)) into (- 1 (log -1)) 1540327134.654 * [misc]backup-simplify: Simplify (+ (* (- 1 (log -1)) (pow (/ 1 x) 2)) (+ (* (- (* 2 (log -1))) (/ 1 x)) (pow (log -1) 2))) into (- (+ (/ 1 (pow x 2)) (pow (log -1) 2)) (+ (* 2 (/ (log -1) x)) (/ (log -1) (pow x 2)))) 1540327134.655 * [misc]backup-simplify: Simplify (* (log (- (/ 1 (/ 1 (- x))) 1)) (log (- (/ 1 (/ 1 (- x))) 1))) into (pow (log (- (+ x 1))) 2) 1540327134.655 * [misc]approximate: Taking taylor expansion of (pow (log (- (+ x 1))) 2) in (x) around 0 1540327134.655 * [misc]taylor: Taking taylor expansion of (pow (log (- (+ x 1))) 2) in x 1540327134.655 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.655 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.655 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.655 * [misc]taylor: Taking taylor expansion of x in x 1540327134.655 * [misc]backup-simplify: Simplify 0 into 0 1540327134.655 * [misc]backup-simplify: Simplify 1 into 1 1540327134.655 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.655 * [misc]backup-simplify: Simplify 1 into 1 1540327134.655 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.655 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.656 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.656 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.656 * [misc]taylor: Taking taylor expansion of (pow (log (- (+ x 1))) 2) in x 1540327134.656 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.656 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.656 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.656 * [misc]taylor: Taking taylor expansion of x in x 1540327134.656 * [misc]backup-simplify: Simplify 0 into 0 1540327134.656 * [misc]backup-simplify: Simplify 1 into 1 1540327134.656 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.656 * [misc]backup-simplify: Simplify 1 into 1 1540327134.656 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.656 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.656 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.657 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.657 * [misc]backup-simplify: Simplify (* (log -1) (log -1)) into (pow (log -1) 2) 1540327134.658 * [misc]backup-simplify: Simplify (pow (log -1) 2) into (pow (log -1) 2) 1540327134.658 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.658 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.658 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.661 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1540327134.662 * [misc]backup-simplify: Simplify (+ (* (log -1) 1) (* 1 (log -1))) into (* 2 (log -1)) 1540327134.662 * [misc]backup-simplify: Simplify (* 2 (log -1)) into (* 2 (log -1)) 1540327134.662 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.662 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.663 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.663 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.663 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.667 * [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 1540327134.669 * [misc]backup-simplify: Simplify (+ (* (log -1) -1/2) (+ (* 1 1) (* -1/2 (log -1)))) into (- 1 (log -1)) 1540327134.669 * [misc]backup-simplify: Simplify (- 1 (log -1)) into (- 1 (log -1)) 1540327134.671 * [misc]backup-simplify: Simplify (+ (* (- 1 (log -1)) (pow (/ 1 (- x)) 2)) (+ (* (* 2 (log -1)) (/ 1 (- x))) (pow (log -1) 2))) into (- (+ (/ 1 (pow x 2)) (pow (log -1) 2)) (+ (* 2 (/ (log -1) x)) (/ (log -1) (pow x 2)))) 1540327134.671 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1540327134.672 * [misc]backup-simplify: Simplify (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) into (log (- (/ 1 x) 1)) 1540327134.672 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1540327134.672 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.672 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.672 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.672 * [misc]taylor: Taking taylor expansion of x in x 1540327134.672 * [misc]backup-simplify: Simplify 0 into 0 1540327134.672 * [misc]backup-simplify: Simplify 1 into 1 1540327134.672 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.672 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.672 * [misc]backup-simplify: Simplify 1 into 1 1540327134.672 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.673 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.673 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.673 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.673 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.673 * [misc]taylor: Taking taylor expansion of x in x 1540327134.673 * [misc]backup-simplify: Simplify 0 into 0 1540327134.673 * [misc]backup-simplify: Simplify 1 into 1 1540327134.673 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.673 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.673 * [misc]backup-simplify: Simplify 1 into 1 1540327134.673 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.673 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.674 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.674 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1540327134.674 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327134.674 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.674 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.677 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540327134.677 * [misc]backup-simplify: Simplify -1 into -1 1540327134.677 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327134.677 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.678 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.682 * [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 1540327134.682 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327134.682 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540327134.683 * [misc]backup-simplify: Simplify (cbrt (* (* (log (- (/ 1 (/ 1 x)) 1)) (log (- (/ 1 (/ 1 x)) 1))) (log (- (/ 1 (/ 1 x)) 1)))) into (log (- x 1)) 1540327134.683 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1540327134.683 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.683 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.683 * [misc]taylor: Taking taylor expansion of x in x 1540327134.683 * [misc]backup-simplify: Simplify 0 into 0 1540327134.683 * [misc]backup-simplify: Simplify 1 into 1 1540327134.683 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.683 * [misc]backup-simplify: Simplify 1 into 1 1540327134.684 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.684 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.684 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.684 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.684 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.684 * [misc]taylor: Taking taylor expansion of x in x 1540327134.684 * [misc]backup-simplify: Simplify 0 into 0 1540327134.684 * [misc]backup-simplify: Simplify 1 into 1 1540327134.684 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.684 * [misc]backup-simplify: Simplify 1 into 1 1540327134.684 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.684 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.685 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.685 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.685 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.685 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.688 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540327134.688 * [misc]backup-simplify: Simplify -1 into -1 1540327134.688 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.688 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.692 * [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 1540327134.693 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327134.693 * [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))))) 1540327134.694 * [misc]backup-simplify: Simplify (cbrt (* (* (log (- (/ 1 (/ 1 (- x))) 1)) (log (- (/ 1 (/ 1 (- x))) 1))) (log (- (/ 1 (/ 1 (- x))) 1)))) into (log (- (+ x 1))) 1540327134.694 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1540327134.694 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.694 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.694 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.694 * [misc]taylor: Taking taylor expansion of x in x 1540327134.694 * [misc]backup-simplify: Simplify 0 into 0 1540327134.694 * [misc]backup-simplify: Simplify 1 into 1 1540327134.694 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.694 * [misc]backup-simplify: Simplify 1 into 1 1540327134.694 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.694 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.695 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.695 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.695 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.695 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.695 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.695 * [misc]taylor: Taking taylor expansion of x in x 1540327134.695 * [misc]backup-simplify: Simplify 0 into 0 1540327134.695 * [misc]backup-simplify: Simplify 1 into 1 1540327134.695 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.695 * [misc]backup-simplify: Simplify 1 into 1 1540327134.695 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.695 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.696 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.696 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.696 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.696 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.696 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.696 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.699 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1540327134.699 * [misc]backup-simplify: Simplify 1 into 1 1540327134.699 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.699 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.699 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.700 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.700 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.705 * [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 1540327134.705 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327134.706 * [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))))) 1540327134.706 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1540327134.707 * [misc]backup-simplify: Simplify (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) into (pow (log (- (/ 1 x) 1)) 3) 1540327134.707 * [misc]approximate: Taking taylor expansion of (pow (log (- (/ 1 x) 1)) 3) in (x) around 0 1540327134.707 * [misc]taylor: Taking taylor expansion of (pow (log (- (/ 1 x) 1)) 3) in x 1540327134.707 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.707 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.707 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.707 * [misc]taylor: Taking taylor expansion of x in x 1540327134.707 * [misc]backup-simplify: Simplify 0 into 0 1540327134.707 * [misc]backup-simplify: Simplify 1 into 1 1540327134.707 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.707 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.707 * [misc]backup-simplify: Simplify 1 into 1 1540327134.707 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.707 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.707 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.711 * [misc]taylor: Taking taylor expansion of (pow (log (- (/ 1 x) 1)) 3) in x 1540327134.711 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.711 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.711 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.711 * [misc]taylor: Taking taylor expansion of x in x 1540327134.711 * [misc]backup-simplify: Simplify 0 into 0 1540327134.711 * [misc]backup-simplify: Simplify 1 into 1 1540327134.711 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.711 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.711 * [misc]backup-simplify: Simplify 1 into 1 1540327134.711 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.712 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.712 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.712 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.712 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.713 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.713 * [misc]backup-simplify: Simplify (* (- (log x)) (- (log x))) into (pow (log x) 2) 1540327134.713 * [misc]backup-simplify: Simplify (* (- (log x)) (pow (log x) 2)) into (* -1 (pow (log x) 3)) 1540327134.713 * [misc]backup-simplify: Simplify (* -1 (pow (log x) 3)) into (* -1 (pow (log x) 3)) 1540327134.714 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.714 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.714 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327134.714 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.714 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.716 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540327134.716 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.716 * [misc]backup-simplify: Simplify (+ (* (- (log x)) -1) (* -1 (- (log x)))) into (* 2 (log x)) 1540327134.717 * [misc]backup-simplify: Simplify (+ (* (- (log x)) (* 2 (log x))) (* -1 (pow (log x) 2))) into (- (* 3 (pow (log x) 2))) 1540327134.717 * [misc]backup-simplify: Simplify (- (* 3 (pow (log x) 2))) into (- (* 3 (pow (log x) 2))) 1540327134.717 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.717 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.718 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327134.718 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.718 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.720 * [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 1540327134.720 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.721 * [misc]backup-simplify: Simplify (+ (* (- (log x)) -1/2) (+ (* -1 -1) (* -1/2 (- (log x))))) into (+ 1 (log x)) 1540327134.722 * [misc]backup-simplify: Simplify (+ (* (- (log x)) (+ 1 (log x))) (+ (* -1 (* 2 (log x))) (* -1/2 (pow (log x) 2)))) into (- (+ (* 3/2 (pow (log x) 2)) (* 3 (log x)))) 1540327134.722 * [misc]backup-simplify: Simplify (- (+ (* 3/2 (pow (log x) 2)) (* 3 (log x)))) into (- (+ (* 3/2 (pow (log x) 2)) (* 3 (log x)))) 1540327134.725 * [misc]backup-simplify: Simplify (+ (* (- (+ (* 3/2 (pow (log x) 2)) (* 3 (log x)))) (pow x 2)) (+ (* (- (* 3 (pow (log x) 2))) x) (* -1 (pow (log x) 3)))) into (- (+ (* 3/2 (* (pow x 2) (pow (log x) 2))) (+ (* 3 (* x (pow (log x) 2))) (+ (* 3 (* (pow x 2) (log x))) (pow (log x) 3))))) 1540327134.726 * [misc]backup-simplify: Simplify (* (* (log (- (/ 1 (/ 1 x)) 1)) (log (- (/ 1 (/ 1 x)) 1))) (log (- (/ 1 (/ 1 x)) 1))) into (pow (log (- x 1)) 3) 1540327134.726 * [misc]approximate: Taking taylor expansion of (pow (log (- x 1)) 3) in (x) around 0 1540327134.726 * [misc]taylor: Taking taylor expansion of (pow (log (- x 1)) 3) in x 1540327134.726 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.726 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.726 * [misc]taylor: Taking taylor expansion of x in x 1540327134.726 * [misc]backup-simplify: Simplify 0 into 0 1540327134.726 * [misc]backup-simplify: Simplify 1 into 1 1540327134.726 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.726 * [misc]backup-simplify: Simplify 1 into 1 1540327134.726 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.726 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.726 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.726 * [misc]taylor: Taking taylor expansion of (pow (log (- x 1)) 3) in x 1540327134.726 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.726 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.726 * [misc]taylor: Taking taylor expansion of x in x 1540327134.726 * [misc]backup-simplify: Simplify 0 into 0 1540327134.726 * [misc]backup-simplify: Simplify 1 into 1 1540327134.726 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.726 * [misc]backup-simplify: Simplify 1 into 1 1540327134.726 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.727 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.727 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.727 * [misc]backup-simplify: Simplify (* (log -1) (log -1)) into (pow (log -1) 2) 1540327134.728 * [misc]backup-simplify: Simplify (* (log -1) (pow (log -1) 2)) into (pow (log -1) 3) 1540327134.728 * [misc]backup-simplify: Simplify (pow (log -1) 3) into (pow (log -1) 3) 1540327134.728 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.728 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.730 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540327134.731 * [misc]backup-simplify: Simplify (+ (* (log -1) -1) (* -1 (log -1))) into (- (* 2 (log -1))) 1540327134.732 * [misc]backup-simplify: Simplify (+ (* (log -1) (- (* 2 (log -1)))) (* -1 (pow (log -1) 2))) into (- (* 3 (pow (log -1) 2))) 1540327134.733 * [misc]backup-simplify: Simplify (- (* 3 (pow (log -1) 2))) into (- (* 3 (pow (log -1) 2))) 1540327134.734 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.734 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.736 * [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 1540327134.737 * [misc]backup-simplify: Simplify (+ (* (log -1) -1/2) (+ (* -1 -1) (* -1/2 (log -1)))) into (- 1 (log -1)) 1540327134.740 * [misc]backup-simplify: Simplify (+ (* (log -1) (- 1 (log -1))) (+ (* -1 (- (* 2 (log -1)))) (* -1/2 (pow (log -1) 2)))) into (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) 1540327134.741 * [misc]backup-simplify: Simplify (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) into (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) 1540327134.744 * [misc]backup-simplify: Simplify (+ (* (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) (pow (/ 1 x) 2)) (+ (* (- (* 3 (pow (log -1) 2))) (/ 1 x)) (pow (log -1) 3))) into (- (+ (pow (log -1) 3) (* 3 (/ (log -1) (pow x 2)))) (+ (* 3 (/ (pow (log -1) 2) x)) (* 3/2 (/ (pow (log -1) 2) (pow x 2))))) 1540327134.745 * [misc]backup-simplify: Simplify (* (* (log (- (/ 1 (/ 1 (- x))) 1)) (log (- (/ 1 (/ 1 (- x))) 1))) (log (- (/ 1 (/ 1 (- x))) 1))) into (pow (log (- (+ x 1))) 3) 1540327134.745 * [misc]approximate: Taking taylor expansion of (pow (log (- (+ x 1))) 3) in (x) around 0 1540327134.745 * [misc]taylor: Taking taylor expansion of (pow (log (- (+ x 1))) 3) in x 1540327134.745 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.745 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.745 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.745 * [misc]taylor: Taking taylor expansion of x in x 1540327134.745 * [misc]backup-simplify: Simplify 0 into 0 1540327134.745 * [misc]backup-simplify: Simplify 1 into 1 1540327134.745 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.745 * [misc]backup-simplify: Simplify 1 into 1 1540327134.746 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.746 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.746 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.746 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.746 * [misc]taylor: Taking taylor expansion of (pow (log (- (+ x 1))) 3) in x 1540327134.746 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.746 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.746 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.746 * [misc]taylor: Taking taylor expansion of x in x 1540327134.746 * [misc]backup-simplify: Simplify 0 into 0 1540327134.746 * [misc]backup-simplify: Simplify 1 into 1 1540327134.746 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.746 * [misc]backup-simplify: Simplify 1 into 1 1540327134.746 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.746 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.746 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.747 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.747 * [misc]backup-simplify: Simplify (* (log -1) (log -1)) into (pow (log -1) 2) 1540327134.748 * [misc]backup-simplify: Simplify (* (log -1) (pow (log -1) 2)) into (pow (log -1) 3) 1540327134.748 * [misc]backup-simplify: Simplify (pow (log -1) 3) into (pow (log -1) 3) 1540327134.748 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.748 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.748 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.750 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1540327134.750 * [misc]backup-simplify: Simplify (+ (* (log -1) 1) (* 1 (log -1))) into (* 2 (log -1)) 1540327134.752 * [misc]backup-simplify: Simplify (+ (* (log -1) (* 2 (log -1))) (* 1 (pow (log -1) 2))) into (* 3 (pow (log -1) 2)) 1540327134.753 * [misc]backup-simplify: Simplify (* 3 (pow (log -1) 2)) into (* 3 (pow (log -1) 2)) 1540327134.753 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.753 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.753 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.753 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.753 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.756 * [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 1540327134.757 * [misc]backup-simplify: Simplify (+ (* (log -1) -1/2) (+ (* 1 1) (* -1/2 (log -1)))) into (- 1 (log -1)) 1540327134.759 * [misc]backup-simplify: Simplify (+ (* (log -1) (- 1 (log -1))) (+ (* 1 (* 2 (log -1))) (* -1/2 (pow (log -1) 2)))) into (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) 1540327134.761 * [misc]backup-simplify: Simplify (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) into (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) 1540327134.764 * [misc]backup-simplify: Simplify (+ (* (- (* 3 (log -1)) (* 3/2 (pow (log -1) 2))) (pow (/ 1 (- x)) 2)) (+ (* (* 3 (pow (log -1) 2)) (/ 1 (- x))) (pow (log -1) 3))) into (- (+ (pow (log -1) 3) (* 3 (/ (log -1) (pow x 2)))) (+ (* 3 (/ (pow (log -1) 2) x)) (* 3/2 (/ (pow (log -1) 2) (pow x 2))))) 1540327134.764 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1540327134.764 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1540327134.764 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1540327134.764 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.764 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.764 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.764 * [misc]taylor: Taking taylor expansion of x in x 1540327134.764 * [misc]backup-simplify: Simplify 0 into 0 1540327134.764 * [misc]backup-simplify: Simplify 1 into 1 1540327134.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.764 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.764 * [misc]backup-simplify: Simplify 1 into 1 1540327134.765 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.765 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.765 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1540327134.765 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540327134.765 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540327134.765 * [misc]taylor: Taking taylor expansion of x in x 1540327134.765 * [misc]backup-simplify: Simplify 0 into 0 1540327134.765 * [misc]backup-simplify: Simplify 1 into 1 1540327134.765 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540327134.765 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.765 * [misc]backup-simplify: Simplify 1 into 1 1540327134.765 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.765 * [misc]backup-simplify: Simplify (log 1) into 0 1540327134.765 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1540327134.765 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1540327134.766 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540327134.766 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.766 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.767 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1540327134.767 * [misc]backup-simplify: Simplify -1 into -1 1540327134.767 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540327134.768 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.770 * [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 1540327134.770 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327134.770 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540327134.771 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1540327134.771 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1540327134.771 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.771 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.771 * [misc]taylor: Taking taylor expansion of x in x 1540327134.771 * [misc]backup-simplify: Simplify 0 into 0 1540327134.771 * [misc]backup-simplify: Simplify 1 into 1 1540327134.771 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.771 * [misc]backup-simplify: Simplify 1 into 1 1540327134.771 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.771 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.771 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.771 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1540327134.771 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540327134.771 * [misc]taylor: Taking taylor expansion of x in x 1540327134.771 * [misc]backup-simplify: Simplify 0 into 0 1540327134.771 * [misc]backup-simplify: Simplify 1 into 1 1540327134.771 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.771 * [misc]backup-simplify: Simplify 1 into 1 1540327134.771 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.771 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540327134.772 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.772 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.772 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.772 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.773 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1540327134.773 * [misc]backup-simplify: Simplify -1 into -1 1540327134.774 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.777 * [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 1540327134.777 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327134.778 * [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))))) 1540327134.778 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1540327134.778 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1540327134.778 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.778 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.778 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.778 * [misc]taylor: Taking taylor expansion of x in x 1540327134.778 * [misc]backup-simplify: Simplify 0 into 0 1540327134.778 * [misc]backup-simplify: Simplify 1 into 1 1540327134.778 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.778 * [misc]backup-simplify: Simplify 1 into 1 1540327134.778 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.779 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.779 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.779 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.779 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1540327134.779 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540327134.779 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540327134.779 * [misc]taylor: Taking taylor expansion of x in x 1540327134.779 * [misc]backup-simplify: Simplify 0 into 0 1540327134.779 * [misc]backup-simplify: Simplify 1 into 1 1540327134.779 * [misc]taylor: Taking taylor expansion of 1 in x 1540327134.779 * [misc]backup-simplify: Simplify 1 into 1 1540327134.779 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540327134.779 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.780 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.780 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.780 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1540327134.780 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540327134.780 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.780 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.783 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1540327134.783 * [misc]backup-simplify: Simplify 1 into 1 1540327134.783 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.783 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.784 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540327134.784 * [misc]backup-simplify: Simplify (- 0) into 0 1540327134.784 * [misc]backup-simplify: Simplify (- 1) into -1 1540327134.788 * [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 1540327134.788 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540327134.789 * [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))))) 1540327134.789 * * * [misc]progress: simplifying candidates 1540327134.789 * * * * [misc]progress: [ 1 / 101 ] simplifiying candidate # 1540327134.790 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327134.790 * * [misc]simplify: iters left: 5 (5 enodes) 1540327134.793 * * [misc]simplify: iters left: 4 (10 enodes) 1540327134.796 * * [misc]simplify: iters left: 3 (11 enodes) 1540327134.799 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327134.799 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (pow (log (- (/ 1 x) 1)) (+ 1 1)) (log (- (/ 1 x) 1)))))) 1540327134.799 * [enter]simplify: Simplifying (+ 1 1) 1540327134.800 * * [misc]simplify: iters left: 2 (2 enodes) 1540327134.801 * * [misc]simplify: iters left: 1 (5 enodes) 1540327134.802 * [exit]simplify: Simplified to 2 1540327134.802 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (pow (log (- (/ 1 x) 1)) 2) (log (- (/ 1 x) 1)))))) 1540327134.802 * * * * [misc]progress: [ 2 / 101 ] simplifiying candidate # 1540327134.803 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1540327134.803 * * [misc]simplify: iters left: 6 (6 enodes) 1540327134.807 * * [misc]simplify: iters left: 5 (11 enodes) 1540327134.810 * * [misc]simplify: iters left: 4 (12 enodes) 1540327134.814 * [exit]simplify: Simplified to (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1540327134.814 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (pow (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1) (log (- (/ 1 x) 1)))))) 1540327134.814 * * * * [misc]progress: [ 3 / 101 ] simplifiying candidate # 1540327134.814 * * * * [misc]progress: [ 4 / 101 ] simplifiying candidate # 1540327134.814 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327134.815 * * [misc]simplify: iters left: 5 (5 enodes) 1540327134.818 * * [misc]simplify: iters left: 4 (10 enodes) 1540327134.820 * * [misc]simplify: iters left: 3 (11 enodes) 1540327134.824 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327134.824 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (pow (log (- (/ 1 x) 1)) (+ 1 1)) (log (- (/ 1 x) 1)))))) 1540327134.824 * * * * [misc]progress: [ 5 / 101 ] simplifiying candidate # 1540327134.824 * * * * [misc]progress: [ 6 / 101 ] simplifiying candidate # 1540327134.824 * [enter]simplify: Simplifying (+ (log (log (- (/ 1 x) 1))) (log (log (- (/ 1 x) 1)))) 1540327134.828 * * [misc]simplify: iters left: 6 (7 enodes) 1540327134.832 * * [misc]simplify: iters left: 5 (12 enodes) 1540327134.834 * * [misc]simplify: iters left: 4 (13 enodes) 1540327134.836 * [exit]simplify: Simplified to (+ (log (log (- (/ 1 x) 1))) (log (log (- (/ 1 x) 1)))) 1540327134.836 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (exp (+ (log (log (- (/ 1 x) 1))) (log (log (- (/ 1 x) 1))))) (log (- (/ 1 x) 1)))))) 1540327134.836 * * * * [misc]progress: [ 7 / 101 ] simplifiying candidate # 1540327134.836 * * * * [misc]progress: [ 8 / 101 ] simplifiying candidate # 1540327134.836 * * * * [misc]progress: [ 9 / 101 ] simplifiying candidate # 1540327134.836 * [enter]simplify: Simplifying (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) 1540327134.837 * * [misc]simplify: iters left: 6 (8 enodes) 1540327134.840 * * [misc]simplify: iters left: 5 (18 enodes) 1540327134.843 * * [misc]simplify: iters left: 4 (27 enodes) 1540327134.849 * * [misc]simplify: iters left: 3 (32 enodes) 1540327134.854 * * [misc]simplify: iters left: 2 (35 enodes) 1540327134.859 * * [misc]simplify: iters left: 1 (38 enodes) 1540327134.865 * [exit]simplify: Simplified to (pow (log (- (/ 1 x) 1)) 6) 1540327134.865 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (cbrt (pow (log (- (/ 1 x) 1)) 6)) (log (- (/ 1 x) 1)))))) 1540327134.865 * * * * [misc]progress: [ 10 / 101 ] simplifiying candidate # 1540327134.865 * * * * [misc]progress: [ 11 / 101 ] simplifiying candidate # 1540327134.865 * * * * [misc]progress: [ 12 / 101 ] simplifiying candidate # 1540327134.865 * * * * [misc]progress: [ 13 / 101 ] simplifiying candidate # 1540327134.865 * * * * [misc]progress: [ 14 / 101 ] simplifiying candidate # 1540327134.865 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (log (cbrt (- (/ 1 x) 1)))) 1540327134.866 * * [misc]simplify: iters left: 6 (8 enodes) 1540327134.868 * * [misc]simplify: iters left: 5 (14 enodes) 1540327134.872 * * [misc]simplify: iters left: 4 (15 enodes) 1540327134.877 * [exit]simplify: Simplified to (* (log (cbrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327134.878 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (- (/ 1 x) 1)) (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (* (log (cbrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.878 * * * * [misc]progress: [ 15 / 101 ] simplifiying candidate # 1540327134.878 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (log (sqrt (- (/ 1 x) 1)))) 1540327134.879 * * [misc]simplify: iters left: 6 (8 enodes) 1540327134.883 * * [misc]simplify: iters left: 5 (14 enodes) 1540327134.887 * * [misc]simplify: iters left: 4 (15 enodes) 1540327134.892 * [exit]simplify: Simplified to (* (log (sqrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327134.892 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (- (/ 1 x) 1)) (log (sqrt (- (/ 1 x) 1)))) (* (log (sqrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.892 * * * * [misc]progress: [ 16 / 101 ] simplifiying candidate # 1540327134.892 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1540327134.893 * * [misc]simplify: iters left: 6 (6 enodes) 1540327134.896 * * [misc]simplify: iters left: 5 (11 enodes) 1540327134.899 * * [misc]simplify: iters left: 4 (12 enodes) 1540327134.903 * [exit]simplify: Simplified to (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1540327134.903 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (- (/ 1 x) 1)) (log 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.903 * * * * [misc]progress: [ 17 / 101 ] simplifiying candidate # 1540327134.903 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (log (- (sqrt (/ 1 x)) 1))) 1540327134.904 * * [misc]simplify: iters left: 6 (9 enodes) 1540327134.906 * * [misc]simplify: iters left: 5 (16 enodes) 1540327134.909 * * [misc]simplify: iters left: 4 (18 enodes) 1540327134.912 * [exit]simplify: Simplified to (* (log (- (sqrt (/ 1 x)) 1)) (log (- (/ 1 x) 1))) 1540327134.912 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (- (/ 1 x) 1)) (log (+ (sqrt (/ 1 x)) 1))) (* (log (- (sqrt (/ 1 x)) 1)) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.912 * * * * [misc]progress: [ 18 / 101 ] simplifiying candidate # 1540327134.912 * [enter]simplify: Simplifying (* (log (cbrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327134.912 * * [misc]simplify: iters left: 6 (8 enodes) 1540327134.914 * * [misc]simplify: iters left: 5 (14 enodes) 1540327134.916 * * [misc]simplify: iters left: 4 (15 enodes) 1540327134.919 * [exit]simplify: Simplified to (* (log (cbrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327134.919 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (- (/ 1 x) 1))) (* (log (cbrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.919 * * * * [misc]progress: [ 19 / 101 ] simplifiying candidate # 1540327134.919 * [enter]simplify: Simplifying (* (log (sqrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327134.919 * * [misc]simplify: iters left: 6 (8 enodes) 1540327134.923 * * [misc]simplify: iters left: 5 (14 enodes) 1540327134.925 * * [misc]simplify: iters left: 4 (15 enodes) 1540327134.927 * [exit]simplify: Simplified to (* (log (sqrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327134.927 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (sqrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) (* (log (sqrt (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.928 * * * * [misc]progress: [ 20 / 101 ] simplifiying candidate # 1540327134.928 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1540327134.928 * * [misc]simplify: iters left: 6 (6 enodes) 1540327134.930 * * [misc]simplify: iters left: 5 (11 enodes) 1540327134.932 * * [misc]simplify: iters left: 4 (12 enodes) 1540327134.933 * [exit]simplify: Simplified to (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1540327134.933 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log 1) (log (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.933 * * * * [misc]progress: [ 21 / 101 ] simplifiying candidate # 1540327134.934 * [enter]simplify: Simplifying (* (log (- (sqrt (/ 1 x)) 1)) (log (- (/ 1 x) 1))) 1540327134.934 * * [misc]simplify: iters left: 6 (9 enodes) 1540327134.936 * * [misc]simplify: iters left: 5 (16 enodes) 1540327134.939 * * [misc]simplify: iters left: 4 (18 enodes) 1540327134.942 * [exit]simplify: Simplified to (* (log (- (/ 1 x) 1)) (log (- (sqrt (/ 1 x)) 1))) 1540327134.942 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (+ (* (log (+ (sqrt (/ 1 x)) 1)) (log (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (sqrt (/ 1 x)) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.942 * * * * [misc]progress: [ 22 / 101 ] simplifiying candidate # 1540327134.942 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327134.942 * * [misc]simplify: iters left: 5 (5 enodes) 1540327134.944 * * [misc]simplify: iters left: 4 (10 enodes) 1540327134.945 * * [misc]simplify: iters left: 3 (11 enodes) 1540327134.947 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327134.947 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) 1) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))))) 1540327134.947 * * * * [misc]progress: [ 23 / 101 ] simplifiying candidate # 1540327134.947 * [enter]simplify: Simplifying (cbrt (log (- (/ 1 x) 1))) 1540327134.947 * * [misc]simplify: iters left: 6 (6 enodes) 1540327134.949 * * [misc]simplify: iters left: 5 (11 enodes) 1540327134.950 * * [misc]simplify: iters left: 4 (12 enodes) 1540327134.952 * [exit]simplify: Simplified to (cbrt (log (- (/ 1 x) 1))) 1540327134.952 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))) (cbrt (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.952 * * * * [misc]progress: [ 24 / 101 ] simplifiying candidate # 1540327134.952 * [enter]simplify: Simplifying (sqrt (log (- (/ 1 x) 1))) 1540327134.953 * * [misc]simplify: iters left: 6 (6 enodes) 1540327134.954 * * [misc]simplify: iters left: 5 (11 enodes) 1540327134.956 * * [misc]simplify: iters left: 4 (12 enodes) 1540327134.957 * [exit]simplify: Simplified to (sqrt (log (- (/ 1 x) 1))) 1540327134.957 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.957 * * * * [misc]progress: [ 25 / 101 ] simplifiying candidate # 1540327134.957 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327134.958 * * [misc]simplify: iters left: 5 (5 enodes) 1540327134.959 * * [misc]simplify: iters left: 4 (10 enodes) 1540327134.962 * * [misc]simplify: iters left: 3 (11 enodes) 1540327134.965 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327134.965 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) 1) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))))) 1540327134.965 * * * * [misc]progress: [ 26 / 101 ] simplifiying candidate # 1540327134.965 * * * * [misc]progress: [ 27 / 101 ] simplifiying candidate # 1540327134.965 * [enter]simplify: Simplifying (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) 1540327134.966 * * [misc]simplify: iters left: 6 (7 enodes) 1540327134.970 * * [misc]simplify: iters left: 5 (12 enodes) 1540327134.973 * * [misc]simplify: iters left: 4 (13 enodes) 1540327134.977 * [exit]simplify: Simplified to (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) 1540327134.977 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (* (cbrt (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.977 * * * * [misc]progress: [ 28 / 101 ] simplifiying candidate # 1540327134.977 * [enter]simplify: Simplifying (sqrt (log (- (/ 1 x) 1))) 1540327134.978 * * [misc]simplify: iters left: 6 (6 enodes) 1540327134.982 * * [misc]simplify: iters left: 5 (11 enodes) 1540327134.985 * * [misc]simplify: iters left: 4 (12 enodes) 1540327134.988 * [exit]simplify: Simplified to (sqrt (log (- (/ 1 x) 1))) 1540327134.988 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (cbrt (* (* (sqrt (log (- (/ 1 x) 1))) (* (sqrt (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (log (- (/ 1 x) 1)))))) 1540327134.988 * * * * [misc]progress: [ 29 / 101 ] simplifiying candidate # 1540327134.989 * * * * [misc]progress: [ 30 / 101 ] simplifiying candidate # 1540327134.989 * * * * [misc]progress: [ 31 / 101 ] simplifiying candidate # 1540327134.989 * * * * [misc]progress: [ 32 / 101 ] simplifiying candidate # 1540327134.989 * * * * [misc]progress: [ 33 / 101 ] simplifiying candidate # 1540327134.989 * * * * [misc]progress: [ 34 / 101 ] simplifiying candidate # 1540327134.989 * * * * [misc]progress: [ 35 / 101 ] simplifiying candidate # 1540327134.989 * [enter]simplify: Simplifying (cbrt (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327134.990 * * [misc]simplify: iters left: 6 (7 enodes) 1540327134.994 * * [misc]simplify: iters left: 5 (12 enodes) 1540327134.997 * * [misc]simplify: iters left: 4 (13 enodes) 1540327135.001 * [exit]simplify: Simplified to (cbrt (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.001 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (* (cbrt (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1)))))) 1540327135.001 * * * * [misc]progress: [ 36 / 101 ] simplifiying candidate # 1540327135.002 * * * * [misc]progress: [ 37 / 101 ] simplifiying candidate # 1540327135.002 * * * * [misc]progress: [ 38 / 101 ] simplifiying candidate # 1540327135.002 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327135.002 * * [misc]simplify: iters left: 4 (4 enodes) 1540327135.005 * * [misc]simplify: iters left: 3 (9 enodes) 1540327135.007 * * [misc]simplify: iters left: 2 (10 enodes) 1540327135.010 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327135.010 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540327135.010 * * * * [misc]progress: [ 39 / 101 ] simplifiying candidate # 1540327135.010 * * * * [misc]progress: [ 40 / 101 ] simplifiying candidate # 1540327135.010 * * * * [misc]progress: [ 41 / 101 ] simplifiying candidate # 1540327135.010 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.011 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.014 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.016 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.019 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.019 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) (+ (+ 1 1) 1))))) 1540327135.020 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540327135.020 * * [misc]simplify: iters left: 4 (3 enodes) 1540327135.024 * * [misc]simplify: iters left: 3 (8 enodes) 1540327135.025 * [exit]simplify: Simplified to 3 1540327135.025 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) 3)))) 1540327135.025 * * * * [misc]progress: [ 42 / 101 ] simplifiying candidate # 1540327135.025 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.026 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.032 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.035 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.038 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.038 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) (+ 2 1))))) 1540327135.039 * [enter]simplify: Simplifying (+ 2 1) 1540327135.039 * * [misc]simplify: iters left: 2 (3 enodes) 1540327135.042 * * [misc]simplify: iters left: 1 (7 enodes) 1540327135.043 * [exit]simplify: Simplified to 3 1540327135.043 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) 3)))) 1540327135.043 * * * * [misc]progress: [ 43 / 101 ] simplifiying candidate # 1540327135.044 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.044 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.047 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.050 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.054 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.054 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) (+ (+ 1 1) 1))))) 1540327135.054 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540327135.055 * * [misc]simplify: iters left: 4 (3 enodes) 1540327135.059 * * [misc]simplify: iters left: 3 (8 enodes) 1540327135.060 * [exit]simplify: Simplified to 3 1540327135.060 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) 3)))) 1540327135.060 * * * * [misc]progress: [ 44 / 101 ] simplifiying candidate # 1540327135.060 * [enter]simplify: Simplifying (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327135.061 * * [misc]simplify: iters left: 6 (7 enodes) 1540327135.065 * * [misc]simplify: iters left: 5 (13 enodes) 1540327135.069 * * [misc]simplify: iters left: 4 (16 enodes) 1540327135.074 * [exit]simplify: Simplified to (pow (log (- (/ 1 x) 1)) 3) 1540327135.074 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (pow (log (- (/ 1 x) 1)) 3) 1)))) 1540327135.074 * * * * [misc]progress: [ 45 / 101 ] simplifiying candidate # 1540327135.074 * [enter]simplify: Simplifying (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327135.075 * * [misc]simplify: iters left: 6 (7 enodes) 1540327135.077 * * [misc]simplify: iters left: 5 (13 enodes) 1540327135.079 * * [misc]simplify: iters left: 4 (16 enodes) 1540327135.082 * [exit]simplify: Simplified to (pow (log (- (/ 1 x) 1)) 3) 1540327135.082 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (pow (log (- (/ 1 x) 1)) 3) 1)))) 1540327135.082 * * * * [misc]progress: [ 46 / 101 ] simplifiying candidate # 1540327135.082 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.082 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.084 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.085 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.087 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.087 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) 3)))) 1540327135.087 * * * * [misc]progress: [ 47 / 101 ] simplifiying candidate # 1540327135.087 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.087 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.089 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.090 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.091 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.091 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) (+ (+ 1 1) 1))))) 1540327135.091 * * * * [misc]progress: [ 48 / 101 ] simplifiying candidate # 1540327135.092 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.092 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.093 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.095 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.096 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.096 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) (+ 2 1))))) 1540327135.096 * * * * [misc]progress: [ 49 / 101 ] simplifiying candidate # 1540327135.096 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.097 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.098 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.100 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.101 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.101 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (pow (log (- (/ 1 x) 1)) (+ (+ 1 1) 1))))) 1540327135.101 * * * * [misc]progress: [ 50 / 101 ] simplifiying candidate # 1540327135.101 * * * * [misc]progress: [ 51 / 101 ] simplifiying candidate # 1540327135.101 * [enter]simplify: Simplifying (+ (+ (log (log (- (/ 1 x) 1))) (log (log (- (/ 1 x) 1)))) (log (log (- (/ 1 x) 1)))) 1540327135.102 * * [misc]simplify: iters left: 6 (8 enodes) 1540327135.104 * * [misc]simplify: iters left: 5 (14 enodes) 1540327135.106 * * [misc]simplify: iters left: 4 (15 enodes) 1540327135.109 * [exit]simplify: Simplified to (+ (log (log (- (/ 1 x) 1))) (+ (log (log (- (/ 1 x) 1))) (log (log (- (/ 1 x) 1))))) 1540327135.109 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (exp (+ (log (log (- (/ 1 x) 1))) (+ (log (log (- (/ 1 x) 1))) (log (log (- (/ 1 x) 1))))))))) 1540327135.109 * * * * [misc]progress: [ 52 / 101 ] simplifiying candidate # 1540327135.110 * [enter]simplify: Simplifying (+ (log (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (log (log (- (/ 1 x) 1)))) 1540327135.111 * * [misc]simplify: iters left: 6 (9 enodes) 1540327135.115 * * [misc]simplify: iters left: 5 (16 enodes) 1540327135.119 * * [misc]simplify: iters left: 4 (17 enodes) 1540327135.124 * [exit]simplify: Simplified to (+ (log (log (- (/ 1 x) 1))) (log (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))))) 1540327135.124 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (exp (+ (log (log (- (/ 1 x) 1))) (log (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))))))))) 1540327135.124 * * * * [misc]progress: [ 53 / 101 ] simplifiying candidate # 1540327135.124 * * * * [misc]progress: [ 54 / 101 ] simplifiying candidate # 1540327135.124 * * * * [misc]progress: [ 55 / 101 ] simplifiying candidate # 1540327135.125 * [enter]simplify: Simplifying (* (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) 1540327135.125 * * [misc]simplify: iters left: 6 (9 enodes) 1540327135.129 * * [misc]simplify: iters left: 5 (22 enodes) 1540327135.135 * * [misc]simplify: iters left: 4 (40 enodes) 1540327135.145 * * [misc]simplify: iters left: 3 (58 enodes) 1540327135.154 * * [misc]simplify: iters left: 2 (64 enodes) 1540327135.162 * * [misc]simplify: iters left: 1 (67 enodes) 1540327135.176 * [exit]simplify: Simplified to (* (pow (log (- (/ 1 x) 1)) 7) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.176 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (cbrt (* (pow (log (- (/ 1 x) 1)) 7) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))))))) 1540327135.176 * * * * [misc]progress: [ 56 / 101 ] simplifiying candidate # 1540327135.177 * [enter]simplify: Simplifying (* (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))) 1540327135.178 * * [misc]simplify: iters left: 6 (10 enodes) 1540327135.185 * * [misc]simplify: iters left: 5 (26 enodes) 1540327135.197 * * [misc]simplify: iters left: 4 (53 enodes) 1540327135.213 * * [misc]simplify: iters left: 3 (62 enodes) 1540327135.224 * * [misc]simplify: iters left: 2 (65 enodes) 1540327135.231 * * [misc]simplify: iters left: 1 (68 enodes) 1540327135.240 * [exit]simplify: Simplified to (* (pow (log (- (/ 1 x) 1)) 7) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.240 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (cbrt (* (pow (log (- (/ 1 x) 1)) 7) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))))))) 1540327135.241 * * * * [misc]progress: [ 57 / 101 ] simplifiying candidate # 1540327135.241 * * * * [misc]progress: [ 58 / 101 ] simplifiying candidate # 1540327135.241 * * * * [misc]progress: [ 59 / 101 ] simplifiying candidate # 1540327135.241 * * * * [misc]progress: [ 60 / 101 ] simplifiying candidate # 1540327135.241 * * * * [misc]progress: [ 61 / 101 ] simplifiying candidate # 1540327135.241 * [enter]simplify: Simplifying (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (cbrt (- (/ 1 x) 1)))) 1540327135.241 * * [misc]simplify: iters left: 6 (9 enodes) 1540327135.244 * * [misc]simplify: iters left: 5 (17 enodes) 1540327135.247 * * [misc]simplify: iters left: 4 (20 enodes) 1540327135.249 * * [misc]simplify: iters left: 3 (21 enodes) 1540327135.253 * [exit]simplify: Simplified to (* (log (cbrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.253 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (* (log (cbrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))))))) 1540327135.253 * * * * [misc]progress: [ 62 / 101 ] simplifiying candidate # 1540327135.253 * [enter]simplify: Simplifying (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) 1540327135.254 * * [misc]simplify: iters left: 6 (9 enodes) 1540327135.256 * * [misc]simplify: iters left: 5 (17 enodes) 1540327135.261 * * [misc]simplify: iters left: 4 (20 enodes) 1540327135.266 * * [misc]simplify: iters left: 3 (21 enodes) 1540327135.272 * [exit]simplify: Simplified to (* (log (sqrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.272 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) (* (log (sqrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))))))) 1540327135.272 * * * * [misc]progress: [ 63 / 101 ] simplifiying candidate # 1540327135.272 * [enter]simplify: Simplifying (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))) 1540327135.273 * * [misc]simplify: iters left: 6 (7 enodes) 1540327135.276 * * [misc]simplify: iters left: 5 (13 enodes) 1540327135.279 * * [misc]simplify: iters left: 4 (16 enodes) 1540327135.284 * [exit]simplify: Simplified to (pow (log (- (/ 1 x) 1)) 3) 1540327135.284 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log 1)) (pow (log (- (/ 1 x) 1)) 3))))) 1540327135.284 * * * * [misc]progress: [ 64 / 101 ] simplifiying candidate # 1540327135.284 * [enter]simplify: Simplifying (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (sqrt (/ 1 x)) 1))) 1540327135.285 * * [misc]simplify: iters left: 6 (10 enodes) 1540327135.291 * * [misc]simplify: iters left: 5 (19 enodes) 1540327135.294 * * [misc]simplify: iters left: 4 (23 enodes) 1540327135.297 * * [misc]simplify: iters left: 3 (24 enodes) 1540327135.301 * [exit]simplify: Simplified to (* (log (- (sqrt (/ 1 x)) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.301 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (+ (sqrt (/ 1 x)) 1))) (* (log (- (sqrt (/ 1 x)) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))))))) 1540327135.301 * * * * [misc]progress: [ 65 / 101 ] simplifiying candidate # 1540327135.301 * [enter]simplify: Simplifying (* (log (cbrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.302 * * [misc]simplify: iters left: 6 (9 enodes) 1540327135.304 * * [misc]simplify: iters left: 5 (17 enodes) 1540327135.309 * * [misc]simplify: iters left: 4 (20 enodes) 1540327135.312 * [exit]simplify: Simplified to (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (cbrt (- (/ 1 x) 1)))) 1540327135.312 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (cbrt (- (/ 1 x) 1)))))))) 1540327135.312 * * * * [misc]progress: [ 66 / 101 ] simplifiying candidate # 1540327135.312 * [enter]simplify: Simplifying (* (log (sqrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.313 * * [misc]simplify: iters left: 6 (9 enodes) 1540327135.316 * * [misc]simplify: iters left: 5 (17 enodes) 1540327135.318 * * [misc]simplify: iters left: 4 (20 enodes) 1540327135.325 * [exit]simplify: Simplified to (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) 1540327135.325 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (log (sqrt (- (/ 1 x) 1))) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))))) 1540327135.325 * * * * [misc]progress: [ 67 / 101 ] simplifiying candidate # 1540327135.325 * [enter]simplify: Simplifying (* (log (- (/ 1 x) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.326 * * [misc]simplify: iters left: 6 (7 enodes) 1540327135.330 * * [misc]simplify: iters left: 5 (15 enodes) 1540327135.335 * * [misc]simplify: iters left: 4 (16 enodes) 1540327135.339 * [exit]simplify: Simplified to (pow (log (- (/ 1 x) 1)) 3) 1540327135.339 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (log 1) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (pow (log (- (/ 1 x) 1)) 3))))) 1540327135.340 * * * * [misc]progress: [ 68 / 101 ] simplifiying candidate # 1540327135.340 * [enter]simplify: Simplifying (* (log (- (sqrt (/ 1 x)) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) 1540327135.341 * * [misc]simplify: iters left: 6 (10 enodes) 1540327135.346 * * [misc]simplify: iters left: 5 (19 enodes) 1540327135.353 * * [misc]simplify: iters left: 4 (23 enodes) 1540327135.361 * [exit]simplify: Simplified to (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (sqrt (/ 1 x)) 1))) 1540327135.361 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (+ (* (log (+ (sqrt (/ 1 x)) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1)))) (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (sqrt (/ 1 x)) 1))))))) 1540327135.361 * * * * [misc]progress: [ 69 / 101 ] simplifiying candidate # 1540327135.361 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.362 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.365 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.367 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.370 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.370 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1) (log (- (/ 1 x) 1)))))) 1540327135.370 * * * * [misc]progress: [ 70 / 101 ] simplifiying candidate # 1540327135.371 * [enter]simplify: Simplifying (cbrt (log (- (/ 1 x) 1))) 1540327135.371 * * [misc]simplify: iters left: 6 (6 enodes) 1540327135.375 * * [misc]simplify: iters left: 5 (11 enodes) 1540327135.377 * * [misc]simplify: iters left: 4 (12 enodes) 1540327135.381 * [exit]simplify: Simplified to (cbrt (log (- (/ 1 x) 1))) 1540327135.381 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))) (cbrt (log (- (/ 1 x) 1))))))) 1540327135.381 * * * * [misc]progress: [ 71 / 101 ] simplifiying candidate # 1540327135.381 * [enter]simplify: Simplifying (sqrt (log (- (/ 1 x) 1))) 1540327135.382 * * [misc]simplify: iters left: 6 (6 enodes) 1540327135.385 * * [misc]simplify: iters left: 5 (11 enodes) 1540327135.388 * * [misc]simplify: iters left: 4 (12 enodes) 1540327135.392 * [exit]simplify: Simplified to (sqrt (log (- (/ 1 x) 1))) 1540327135.392 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1)))) (sqrt (log (- (/ 1 x) 1))))))) 1540327135.392 * * * * [misc]progress: [ 72 / 101 ] simplifiying candidate # 1540327135.392 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.393 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.396 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.399 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.402 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.402 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) 1) (log (- (/ 1 x) 1)))))) 1540327135.402 * * * * [misc]progress: [ 73 / 101 ] simplifiying candidate # 1540327135.402 * [enter]simplify: Simplifying (log (- (/ 1 x) 1)) 1540327135.403 * * [misc]simplify: iters left: 5 (5 enodes) 1540327135.406 * * [misc]simplify: iters left: 4 (10 enodes) 1540327135.408 * * [misc]simplify: iters left: 3 (11 enodes) 1540327135.411 * [exit]simplify: Simplified to (log (- (/ 1 x) 1)) 1540327135.411 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (* (log (- (/ 1 x) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))))))) 1540327135.411 * * * * [misc]progress: [ 74 / 101 ] simplifiying candidate # 1540327135.411 * * * * [misc]progress: [ 75 / 101 ] simplifiying candidate # 1540327135.411 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540327135.412 * * [misc]simplify: iters left: 6 (7 enodes) 1540327135.415 * * [misc]simplify: iters left: 5 (14 enodes) 1540327135.419 * * [misc]simplify: iters left: 4 (15 enodes) 1540327135.424 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1540327135.424 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))))) 1540327135.424 * * * * [misc]progress: [ 76 / 101 ] simplifiying candidate # 1540327135.424 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1540327135.425 * * [misc]simplify: iters left: 6 (6 enodes) 1540327135.428 * * [misc]simplify: iters left: 5 (11 enodes) 1540327135.431 * * [misc]simplify: iters left: 4 (12 enodes) 1540327135.435 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1540327135.435 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))))) 1540327135.435 * * * * [misc]progress: [ 77 / 101 ] simplifiying candidate # 1540327135.435 * [enter]simplify: Simplifying (log 1) 1540327135.438 * * [misc]simplify: iters left: 1 (2 enodes) 1540327135.440 * [exit]simplify: Simplified to 0 1540327135.440 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (+ 0 (log (- (/ 1 x) 1))))))) 1540327135.440 * * * * [misc]progress: [ 78 / 101 ] simplifiying candidate # 1540327135.440 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1540327135.441 * * [misc]simplify: iters left: 6 (6 enodes) 1540327135.443 * * [misc]simplify: iters left: 5 (9 enodes) 1540327135.444 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1540327135.444 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))))) 1540327135.445 * * * * [misc]progress: [ 79 / 101 ] simplifiying candidate # 1540327135.445 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1540327135.445 * * [misc]simplify: iters left: 6 (8 enodes) 1540327135.448 * * [misc]simplify: iters left: 5 (20 enodes) 1540327135.452 * * [misc]simplify: iters left: 4 (32 enodes) 1540327135.458 * * [misc]simplify: iters left: 3 (41 enodes) 1540327135.465 * * [misc]simplify: iters left: 2 (49 enodes) 1540327135.471 * * [misc]simplify: iters left: 1 (56 enodes) 1540327135.488 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1540327135.488 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1540327135.488 * * * * [misc]progress: [ 80 / 101 ] simplifiying candidate # 1540327135.489 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1540327135.489 * * [misc]simplify: iters left: 6 (7 enodes) 1540327135.494 * * [misc]simplify: iters left: 5 (16 enodes) 1540327135.499 * * [misc]simplify: iters left: 4 (17 enodes) 1540327135.504 * * [misc]simplify: iters left: 3 (24 enodes) 1540327135.513 * * [misc]simplify: iters left: 2 (35 enodes) 1540327135.529 * * [misc]simplify: iters left: 1 (57 enodes) 1540327135.567 * [exit]simplify: Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1)) 1540327135.567 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1))))))) 1540327135.567 * * * * [misc]progress: [ 81 / 101 ] simplifiying candidate # 1540327135.568 * * * * [misc]progress: [ 82 / 101 ] simplifiying candidate # 1540327135.568 * * * * [misc]progress: [ 83 / 101 ] simplifiying candidate # 1540327135.568 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540327135.568 * * [misc]simplify: iters left: 4 (4 enodes) 1540327135.571 * * [misc]simplify: iters left: 3 (9 enodes) 1540327135.573 * * [misc]simplify: iters left: 2 (10 enodes) 1540327135.575 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540327135.575 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))))) 1540327135.576 * * * * [misc]progress: [ 84 / 101 ] simplifiying candidate # 1540327135.576 * * * * [misc]progress: [ 85 / 101 ] simplifiying candidate # 1540327135.576 * * * * [misc]progress: [ 86 / 101 ] simplifiying candidate # 1540327135.576 * * * * [misc]progress: [ 87 / 101 ] simplifiying candidate # 1540327135.576 * * * * [misc]progress: [ 88 / 101 ] simplifiying candidate # 1540327135.576 * * * * [misc]progress: [ 89 / 101 ] simplifiying candidate # 1540327135.576 * * * * [misc]progress: [ 90 / 101 ] simplifiying candidate # 1540327135.576 * [enter]simplify: Simplifying (+ (* 2 (* x (log x))) (+ (pow (log x) 2) (+ (pow x 2) (* (pow x 2) (log x))))) 1540327135.577 * * [misc]simplify: iters left: 6 (11 enodes) 1540327135.580 * * [misc]simplify: iters left: 5 (25 enodes) 1540327135.587 * * [misc]simplify: iters left: 4 (58 enodes) 1540327135.602 * * [misc]simplify: iters left: 3 (110 enodes) 1540327135.634 * * [misc]simplify: iters left: 2 (179 enodes) 1540327135.683 * * [misc]simplify: iters left: 1 (243 enodes) 1540327135.762 * [exit]simplify: Simplified to (+ (* (+ (log x) (* x x)) (log x)) (+ (* x x) (* (* 2 x) (log x)))) 1540327135.762 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (* (+ (* (+ (log x) (* x x)) (log x)) (+ (* x x) (* (* 2 x) (log x)))) (log (- (/ 1 x) 1)))))) 1540327135.762 * * * * [misc]progress: [ 91 / 101 ] simplifiying candidate # 1540327135.762 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 2)) (pow (log -1) 2)) (+ (* 2 (/ (log -1) x)) (/ (log -1) (pow x 2)))) 1540327135.763 * * [misc]simplify: iters left: 6 (14 enodes) 1540327135.767 * * [misc]simplify: iters left: 5 (29 enodes) 1540327135.774 * * [misc]simplify: iters left: 4 (58 enodes) 1540327135.802 * * [misc]simplify: iters left: 3 (112 enodes) 1540327135.859 * * [misc]simplify: iters left: 2 (189 enodes) 1540327135.937 * * [misc]simplify: iters left: 1 (266 enodes) 1540327136.094 * [exit]simplify: Simplified to (- (* (log -1) (+ (/ -2 x) (log -1))) (+ (/ -1 (* x x)) (/ (log -1) (* x x)))) 1540327136.094 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (* (- (* (log -1) (+ (/ -2 x) (log -1))) (+ (/ -1 (* x x)) (/ (log -1) (* x x)))) (log (- (/ 1 x) 1)))))) 1540327136.094 * * * * [misc]progress: [ 92 / 101 ] simplifiying candidate # 1540327136.094 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 2)) (pow (log -1) 2)) (+ (* 2 (/ (log -1) x)) (/ (log -1) (pow x 2)))) 1540327136.096 * * [misc]simplify: iters left: 6 (14 enodes) 1540327136.104 * * [misc]simplify: iters left: 5 (29 enodes) 1540327136.118 * * [misc]simplify: iters left: 4 (58 enodes) 1540327136.144 * * [misc]simplify: iters left: 3 (112 enodes) 1540327136.178 * * [misc]simplify: iters left: 2 (189 enodes) 1540327136.247 * * [misc]simplify: iters left: 1 (266 enodes) 1540327136.372 * [exit]simplify: Simplified to (- (* (log -1) (+ (/ -2 x) (log -1))) (+ (/ -1 (* x x)) (/ (log -1) (* x x)))) 1540327136.372 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (cbrt (* (- (* (log -1) (+ (/ -2 x) (log -1))) (+ (/ -1 (* x x)) (/ (log -1) (* x x)))) (log (- (/ 1 x) 1)))))) 1540327136.372 * * * * [misc]progress: [ 93 / 101 ] simplifiying candidate # 1540327136.372 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540327136.373 * * [misc]simplify: iters left: 6 (9 enodes) 1540327136.376 * * [misc]simplify: iters left: 5 (18 enodes) 1540327136.380 * * [misc]simplify: iters left: 4 (34 enodes) 1540327136.390 * * [misc]simplify: iters left: 3 (75 enodes) 1540327136.414 * * [misc]simplify: iters left: 2 (104 enodes) 1540327136.435 * * [misc]simplify: iters left: 1 (140 enodes) 1540327136.512 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1540327136.512 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1540327136.512 * * * * [misc]progress: [ 94 / 101 ] simplifiying candidate # 1540327136.512 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540327136.513 * * [misc]simplify: iters left: 6 (12 enodes) 1540327136.521 * * [misc]simplify: iters left: 5 (23 enodes) 1540327136.531 * * [misc]simplify: iters left: 4 (34 enodes) 1540327136.550 * * [misc]simplify: iters left: 3 (62 enodes) 1540327136.565 * * [misc]simplify: iters left: 2 (94 enodes) 1540327136.579 * * [misc]simplify: iters left: 1 (125 enodes) 1540327136.613 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540327136.613 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1540327136.613 * * * * [misc]progress: [ 95 / 101 ] simplifiying candidate # 1540327136.614 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540327136.615 * * [misc]simplify: iters left: 6 (12 enodes) 1540327136.626 * * [misc]simplify: iters left: 5 (23 enodes) 1540327136.636 * * [misc]simplify: iters left: 4 (34 enodes) 1540327136.654 * * [misc]simplify: iters left: 3 (62 enodes) 1540327136.679 * * [misc]simplify: iters left: 2 (94 enodes) 1540327136.705 * * [misc]simplify: iters left: 1 (125 enodes) 1540327136.768 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540327136.768 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1540327136.768 * * * * [misc]progress: [ 96 / 101 ] simplifiying candidate # 1540327136.769 * [enter]simplify: Simplifying (- (+ (* 3/2 (* (pow x 2) (pow (log x) 2))) (+ (* 3 (* x (pow (log x) 2))) (+ (* 3 (* (pow x 2) (log x))) (pow (log x) 3))))) 1540327136.771 * * [misc]simplify: iters left: 6 (18 enodes) 1540327136.782 * * [misc]simplify: iters left: 5 (44 enodes) 1540327136.811 * * [misc]simplify: iters left: 4 (130 enodes) 1540327136.876 * * [misc]simplify: iters left: 3 (367 enodes) 1540327137.190 * [exit]simplify: Simplified to (- (* -3 (* (* x (log x)) (+ (log x) x))) (* (+ (log x) (* (* x x) 3/2)) (* (log x) (log x)))) 1540327137.190 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (cbrt (- (* -3 (* (* x (log x)) (+ (log x) x))) (* (+ (log x) (* (* x x) 3/2)) (* (log x) (log x))))))) 1540327137.190 * * * * [misc]progress: [ 97 / 101 ] simplifiying candidate # 1540327137.190 * [enter]simplify: Simplifying (- (+ (pow (log -1) 3) (* 3 (/ (log -1) (pow x 2)))) (+ (* 3 (/ (pow (log -1) 2) x)) (* 3/2 (/ (pow (log -1) 2) (pow x 2))))) 1540327137.193 * * [misc]simplify: iters left: 6 (18 enodes) 1540327137.203 * * [misc]simplify: iters left: 5 (39 enodes) 1540327137.228 * * [misc]simplify: iters left: 4 (94 enodes) 1540327137.276 * * [misc]simplify: iters left: 3 (218 enodes) 1540327137.372 * * [misc]simplify: iters left: 2 (446 enodes) 1540327137.649 * [exit]simplify: Simplified to (- (* (/ (log -1) (* x x)) (- 3 (* (log -1) 3/2))) (* (* (log -1) (log -1)) (- (/ 3 x) (log -1)))) 1540327137.649 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (cbrt (- (* (/ (log -1) (* x x)) (- 3 (* (log -1) 3/2))) (* (* (log -1) (log -1)) (- (/ 3 x) (log -1))))))) 1540327137.650 * * * * [misc]progress: [ 98 / 101 ] simplifiying candidate # 1540327137.650 * [enter]simplify: Simplifying (- (+ (pow (log -1) 3) (* 3 (/ (log -1) (pow x 2)))) (+ (* 3 (/ (pow (log -1) 2) x)) (* 3/2 (/ (pow (log -1) 2) (pow x 2))))) 1540327137.652 * * [misc]simplify: iters left: 6 (18 enodes) 1540327137.663 * * [misc]simplify: iters left: 5 (39 enodes) 1540327137.678 * * [misc]simplify: iters left: 4 (94 enodes) 1540327137.713 * * [misc]simplify: iters left: 3 (218 enodes) 1540327137.844 * * [misc]simplify: iters left: 2 (446 enodes) 1540327138.059 * [exit]simplify: Simplified to (- (* (/ (log -1) (* x x)) (- 3 (* (log -1) 3/2))) (* (* (log -1) (log -1)) (- (/ 3 x) (log -1)))) 1540327138.059 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (cbrt (- (* (/ (log -1) (* x x)) (- 3 (* (log -1) 3/2))) (* (* (log -1) (log -1)) (- (/ 3 x) (log -1))))))) 1540327138.059 * * * * [misc]progress: [ 99 / 101 ] simplifiying candidate # 1540327138.059 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1540327138.060 * * [misc]simplify: iters left: 6 (9 enodes) 1540327138.063 * * [misc]simplify: iters left: 5 (18 enodes) 1540327138.067 * * [misc]simplify: iters left: 4 (34 enodes) 1540327138.077 * * [misc]simplify: iters left: 3 (75 enodes) 1540327138.092 * * [misc]simplify: iters left: 2 (104 enodes) 1540327138.126 * * [misc]simplify: iters left: 1 (140 enodes) 1540327138.204 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1540327138.204 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (- (* (* x x) -1/2) (+ x (log x))))))) 1540327138.204 * * * * [misc]progress: [ 100 / 101 ] simplifiying candidate # 1540327138.204 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540327138.205 * * [misc]simplify: iters left: 6 (12 enodes) 1540327138.213 * * [misc]simplify: iters left: 5 (23 enodes) 1540327138.223 * * [misc]simplify: iters left: 4 (34 enodes) 1540327138.237 * * [misc]simplify: iters left: 3 (62 enodes) 1540327138.251 * * [misc]simplify: iters left: 2 (94 enodes) 1540327138.266 * * [misc]simplify: iters left: 1 (125 enodes) 1540327138.316 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540327138.316 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))))) 1540327138.316 * * * * [misc]progress: [ 101 / 101 ] simplifiying candidate # 1540327138.316 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1540327138.317 * * [misc]simplify: iters left: 6 (12 enodes) 1540327138.327 * * [misc]simplify: iters left: 5 (23 enodes) 1540327138.336 * * [misc]simplify: iters left: 4 (34 enodes) 1540327138.353 * * [misc]simplify: iters left: 3 (62 enodes) 1540327138.380 * * [misc]simplify: iters left: 2 (94 enodes) 1540327138.411 * * [misc]simplify: iters left: 1 (125 enodes) 1540327138.450 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1540327138.450 * [misc]simplify: Simplified (2 1 1 2) to (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))))) 1540327138.450 * * * [misc]progress: adding candidates to table 1540327140.375 * [misc]progress: [Phase 3 of 3] Extracting. 1540327140.376 * * [misc]regime: Finding splitpoints for: (# #) 1540327140.377 * * * [misc]regime-changes: Trying 4 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1))) 1540327140.378 * * * * [misc]regimes: Trying to branch on x from (# #) 1540327140.408 * * * * [misc]regimes: Trying to branch on (/ 1 x) from (# #) 1540327140.446 * * * * [misc]regimes: Trying to branch on (- (/ 1 x) 1) from (# #) 1540327140.493 * * * * [misc]regimes: Trying to branch on (log (- (/ 1 x) 1)) from (# #) 1540327140.533 * * * [misc]regime: Found split indices: #