1554300946.469 * [misc]progress: [Phase 1 of 3] Setting up. 1554300946.470 * * * [misc]progress: [1/2] Preparing points 1554300946.561 * * * [misc]progress: [2/2] Setting up program. 1554300946.598 * [misc]progress: [Phase 2 of 3] Improving. 1554300946.598 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554300946.599 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1554300946.600 * * [misc]simplify: iters left: 6 (6 enodes) 1554300946.606 * * [misc]simplify: iters left: 5 (23 enodes) 1554300946.611 * * [misc]simplify: iters left: 4 (27 enodes) 1554300946.616 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300946.616 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300946.616 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554300946.616 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554300946.617 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1554300946.617 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1554300946.617 * * [misc]simplify: Extracting #6: cost 1 inf + 747 1554300946.617 * * [misc]simplify: Extracting #7: cost 0 inf + 939 1554300946.617 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1554300946.618 * [misc]simplify: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1)))) 1554300946.621 * * [misc]progress: iteration 1 / 4 1554300946.621 * * * [misc]progress: picking best candidate 1554300946.623 * * * * [misc]pick: Picked # 1554300946.623 * * * [misc]progress: localizing error 1554300946.635 * * * [misc]progress: generating rewritten candidates 1554300946.635 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1554300946.639 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1554300946.643 * * * [misc]progress: generating series expansions 1554300946.643 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1554300946.649 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1554300946.649 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1554300946.650 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1554300946.650 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1554300946.650 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554300946.650 * [misc]taylor: Taking taylor expansion of x in x 1554300946.650 * [misc]backup-simplify: Simplify 0 into 0 1554300946.650 * [misc]backup-simplify: Simplify 1 into 1 1554300946.651 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300946.651 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.651 * [misc]backup-simplify: Simplify 1 into 1 1554300946.652 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.652 * [misc]backup-simplify: Simplify (log 1) into 0 1554300946.652 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1554300946.652 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1554300946.652 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554300946.652 * [misc]taylor: Taking taylor expansion of x in x 1554300946.652 * [misc]backup-simplify: Simplify 0 into 0 1554300946.652 * [misc]backup-simplify: Simplify 1 into 1 1554300946.653 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300946.653 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.653 * [misc]backup-simplify: Simplify 1 into 1 1554300946.653 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.653 * [misc]backup-simplify: Simplify (log 1) into 0 1554300946.654 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1554300946.654 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1554300946.655 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554300946.655 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.656 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300946.658 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1554300946.658 * [misc]backup-simplify: Simplify -1 into -1 1554300946.660 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300946.660 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.664 * [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 1554300946.664 * [misc]backup-simplify: Simplify -1/2 into -1/2 1554300946.665 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1554300946.665 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1554300946.665 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1554300946.665 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1554300946.665 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1554300946.665 * [misc]taylor: Taking taylor expansion of x in x 1554300946.665 * [misc]backup-simplify: Simplify 0 into 0 1554300946.665 * [misc]backup-simplify: Simplify 1 into 1 1554300946.665 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.665 * [misc]backup-simplify: Simplify 1 into 1 1554300946.665 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.666 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300946.666 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1554300946.666 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1554300946.666 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1554300946.666 * [misc]taylor: Taking taylor expansion of x in x 1554300946.666 * [misc]backup-simplify: Simplify 0 into 0 1554300946.666 * [misc]backup-simplify: Simplify 1 into 1 1554300946.666 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.666 * [misc]backup-simplify: Simplify 1 into 1 1554300946.666 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.666 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300946.666 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1554300946.667 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1554300946.667 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.667 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.669 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1554300946.670 * [misc]backup-simplify: Simplify -1 into -1 1554300946.670 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.674 * [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 1554300946.674 * [misc]backup-simplify: Simplify -1/2 into -1/2 1554300946.674 * [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))))) 1554300946.675 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1554300946.675 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1554300946.675 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1554300946.675 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1554300946.675 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1554300946.675 * [misc]taylor: Taking taylor expansion of x in x 1554300946.675 * [misc]backup-simplify: Simplify 0 into 0 1554300946.675 * [misc]backup-simplify: Simplify 1 into 1 1554300946.675 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.675 * [misc]backup-simplify: Simplify 1 into 1 1554300946.675 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554300946.675 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.675 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.676 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1554300946.676 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1554300946.676 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1554300946.676 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1554300946.676 * [misc]taylor: Taking taylor expansion of x in x 1554300946.676 * [misc]backup-simplify: Simplify 0 into 0 1554300946.676 * [misc]backup-simplify: Simplify 1 into 1 1554300946.676 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.676 * [misc]backup-simplify: Simplify 1 into 1 1554300946.676 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554300946.676 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.676 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.677 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1554300946.677 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1554300946.677 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.677 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.677 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.680 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1554300946.680 * [misc]backup-simplify: Simplify 1 into 1 1554300946.680 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.680 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.680 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.680 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.681 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.683 * [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 1554300946.683 * [misc]backup-simplify: Simplify -1/2 into -1/2 1554300946.683 * [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))))) 1554300946.683 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1554300946.683 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1554300946.683 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1554300946.683 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1554300946.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554300946.683 * [misc]taylor: Taking taylor expansion of x in x 1554300946.683 * [misc]backup-simplify: Simplify 0 into 0 1554300946.683 * [misc]backup-simplify: Simplify 1 into 1 1554300946.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300946.684 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.684 * [misc]backup-simplify: Simplify 1 into 1 1554300946.684 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1554300946.684 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554300946.684 * [misc]taylor: Taking taylor expansion of x in x 1554300946.684 * [misc]backup-simplify: Simplify 0 into 0 1554300946.684 * [misc]backup-simplify: Simplify 1 into 1 1554300946.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300946.684 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.684 * [misc]backup-simplify: Simplify 1 into 1 1554300946.684 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.684 * [misc]backup-simplify: Simplify 1 into 1 1554300946.684 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554300946.684 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.684 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300946.684 * [misc]backup-simplify: Simplify -1 into -1 1554300946.684 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300946.685 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.685 * [misc]backup-simplify: Simplify 0 into 0 1554300946.685 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300946.685 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.685 * [misc]backup-simplify: Simplify 0 into 0 1554300946.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300946.686 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.686 * [misc]backup-simplify: Simplify 0 into 0 1554300946.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300946.687 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.687 * [misc]backup-simplify: Simplify 0 into 0 1554300946.687 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300946.687 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.687 * [misc]backup-simplify: Simplify 0 into 0 1554300946.688 * [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 1554300946.688 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.688 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.688 * [misc]backup-simplify: Simplify 0 into 0 1554300946.688 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1554300946.688 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1554300946.688 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1554300946.688 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1554300946.688 * [misc]taylor: Taking taylor expansion of x in x 1554300946.688 * [misc]backup-simplify: Simplify 0 into 0 1554300946.688 * [misc]backup-simplify: Simplify 1 into 1 1554300946.688 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.688 * [misc]backup-simplify: Simplify 1 into 1 1554300946.688 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1554300946.688 * [misc]taylor: Taking taylor expansion of x in x 1554300946.688 * [misc]backup-simplify: Simplify 0 into 0 1554300946.688 * [misc]backup-simplify: Simplify 1 into 1 1554300946.688 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.688 * [misc]backup-simplify: Simplify 1 into 1 1554300946.688 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.688 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300946.688 * [misc]backup-simplify: Simplify -1 into -1 1554300946.689 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.689 * [misc]backup-simplify: Simplify 1 into 1 1554300946.689 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify 0 into 0 1554300946.689 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify 0 into 0 1554300946.689 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.689 * [misc]backup-simplify: Simplify 0 into 0 1554300946.689 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.690 * [misc]backup-simplify: Simplify 0 into 0 1554300946.690 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.690 * [misc]backup-simplify: Simplify 0 into 0 1554300946.690 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.690 * [misc]backup-simplify: Simplify 0 into 0 1554300946.690 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1554300946.690 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1554300946.690 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1554300946.690 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1554300946.690 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1554300946.690 * [misc]taylor: Taking taylor expansion of x in x 1554300946.690 * [misc]backup-simplify: Simplify 0 into 0 1554300946.690 * [misc]backup-simplify: Simplify 1 into 1 1554300946.690 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.690 * [misc]backup-simplify: Simplify 1 into 1 1554300946.690 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1554300946.690 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1554300946.690 * [misc]taylor: Taking taylor expansion of x in x 1554300946.690 * [misc]backup-simplify: Simplify 0 into 0 1554300946.690 * [misc]backup-simplify: Simplify 1 into 1 1554300946.690 * [misc]taylor: Taking taylor expansion of 1 in x 1554300946.690 * [misc]backup-simplify: Simplify 1 into 1 1554300946.691 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554300946.691 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.691 * [misc]backup-simplify: Simplify -1 into -1 1554300946.691 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300946.691 * [misc]backup-simplify: Simplify (- 1) into -1 1554300946.691 * [misc]backup-simplify: Simplify -1 into -1 1554300946.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.691 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.691 * [misc]backup-simplify: Simplify 0 into 0 1554300946.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.691 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.691 * [misc]backup-simplify: Simplify 0 into 0 1554300946.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify 0 into 0 1554300946.692 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify 0 into 0 1554300946.692 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify 0 into 0 1554300946.692 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify (- 0) into 0 1554300946.692 * [misc]backup-simplify: Simplify 0 into 0 1554300946.692 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1554300947.008 * * * [misc]progress: simplifying candidates 1554300947.008 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1554300947.008 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1554300947.008 * * [misc]simplify: iters left: 6 (7 enodes) 1554300947.011 * * [misc]simplify: iters left: 5 (28 enodes) 1554300947.015 * * [misc]simplify: iters left: 4 (34 enodes) 1554300947.020 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.020 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554300947.020 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554300947.020 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554300947.020 * * [misc]simplify: Extracting #4: cost 13 inf + 0 1554300947.020 * * [misc]simplify: Extracting #5: cost 13 inf + 2 1554300947.020 * * [misc]simplify: Extracting #6: cost 12 inf + 3 1554300947.020 * * [misc]simplify: Extracting #7: cost 9 inf + 169 1554300947.020 * * [misc]simplify: Extracting #8: cost 4 inf + 1079 1554300947.020 * * [misc]simplify: Extracting #9: cost 0 inf + 1987 1554300947.021 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1554300947.021 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1554300947.021 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1554300947.021 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1554300947.021 * * [misc]simplify: iters left: 6 (6 enodes) 1554300947.023 * * [misc]simplify: iters left: 5 (23 enodes) 1554300947.027 * * [misc]simplify: iters left: 4 (27 enodes) 1554300947.031 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.031 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300947.031 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554300947.031 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554300947.031 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1554300947.031 * * [misc]simplify: Extracting #5: cost 6 inf + 87 1554300947.031 * * [misc]simplify: Extracting #6: cost 1 inf + 687 1554300947.031 * * [misc]simplify: Extracting #7: cost 0 inf + 879 1554300947.031 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1554300947.031 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1554300947.031 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1554300947.031 * [enter]simplify: Simplifying (log 1) 1554300947.031 * * [misc]simplify: iters left: 1 (2 enodes) 1554300947.033 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.033 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554300947.033 * [exit]simplify: Simplified to 0 1554300947.033 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1554300947.033 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1554300947.033 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1554300947.033 * * [misc]simplify: iters left: 6 (6 enodes) 1554300947.035 * * [misc]simplify: iters left: 5 (21 enodes) 1554300947.038 * * [misc]simplify: iters left: 4 (23 enodes) 1554300947.042 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.042 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300947.042 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554300947.042 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554300947.042 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1554300947.042 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1554300947.042 * * [misc]simplify: Extracting #6: cost 1 inf + 686 1554300947.042 * * [misc]simplify: Extracting #7: cost 0 inf + 878 1554300947.043 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1554300947.043 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1554300947.043 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1554300947.043 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1554300947.043 * * [misc]simplify: iters left: 6 (8 enodes) 1554300947.046 * * [misc]simplify: iters left: 5 (34 enodes) 1554300947.052 * * [misc]simplify: iters left: 4 (55 enodes) 1554300947.064 * * [misc]simplify: iters left: 3 (67 enodes) 1554300947.084 * * [misc]simplify: iters left: 2 (73 enodes) 1554300947.103 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.103 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300947.103 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554300947.103 * * [misc]simplify: Extracting #3: cost 12 inf + 2 1554300947.103 * * [misc]simplify: Extracting #4: cost 12 inf + 257 1554300947.104 * * [misc]simplify: Extracting #5: cost 2 inf + 1214 1554300947.104 * * [misc]simplify: Extracting #6: cost 0 inf + 1528 1554300947.105 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1554300947.105 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1554300947.105 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1554300947.106 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1554300947.106 * * [misc]simplify: iters left: 6 (7 enodes) 1554300947.110 * * [misc]simplify: iters left: 5 (28 enodes) 1554300947.122 * * [misc]simplify: iters left: 4 (39 enodes) 1554300947.129 * * [misc]simplify: iters left: 3 (56 enodes) 1554300947.137 * * [misc]simplify: iters left: 2 (82 enodes) 1554300947.154 * * [misc]simplify: iters left: 1 (128 enodes) 1554300947.198 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.198 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554300947.198 * * [misc]simplify: Extracting #2: cost 35 inf + 1 1554300947.198 * * [misc]simplify: Extracting #3: cost 45 inf + 3 1554300947.198 * * [misc]simplify: Extracting #4: cost 45 inf + 4 1554300947.199 * * [misc]simplify: Extracting #5: cost 21 inf + 2997 1554300947.202 * * [misc]simplify: Extracting #6: cost 0 inf + 5804 1554300947.205 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) x) 1)) 1554300947.206 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) x) 1)) (log (+ (/ 1 x) 1))))) 1554300947.206 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1554300947.206 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1554300947.206 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1554300947.206 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1554300947.206 * * [misc]simplify: iters left: 4 (4 enodes) 1554300947.209 * * [misc]simplify: iters left: 3 (17 enodes) 1554300947.215 * * [misc]simplify: iters left: 2 (21 enodes) 1554300947.221 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.221 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300947.221 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554300947.221 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1554300947.221 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1554300947.221 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1554300947.222 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate #real (real->posit16 (log (- (/ 1 x) 1))))))> 1554300947.222 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1554300947.222 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1554300947.223 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1554300947.223 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1554300947.223 * * [misc]simplify: iters left: 5 (5 enodes) 1554300947.226 * * [misc]simplify: iters left: 4 (18 enodes) 1554300947.234 * * [misc]simplify: iters left: 3 (20 enodes) 1554300947.240 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.240 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554300947.240 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554300947.240 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554300947.241 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1554300947.241 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1554300947.241 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1554300947.241 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1554300947.241 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate #real (real->posit16 (- (/ 1 x) 1))))))> 1554300947.241 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1554300947.242 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1554300947.242 * * [misc]simplify: iters left: 6 (9 enodes) 1554300947.247 * * [misc]simplify: iters left: 5 (36 enodes) 1554300947.256 * * [misc]simplify: iters left: 4 (60 enodes) 1554300947.266 * * [misc]simplify: iters left: 3 (111 enodes) 1554300947.291 * * [misc]simplify: iters left: 2 (151 enodes) 1554300947.312 * * [misc]simplify: iters left: 1 (194 enodes) 1554300947.362 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.362 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1554300947.362 * * [misc]simplify: Extracting #2: cost 50 inf + 1 1554300947.363 * * [misc]simplify: Extracting #3: cost 45 inf + 1135 1554300947.363 * * [misc]simplify: Extracting #4: cost 18 inf + 4091 1554300947.365 * * [misc]simplify: Extracting #5: cost 2 inf + 6417 1554300947.366 * * [misc]simplify: Extracting #6: cost 0 inf + 6731 1554300947.368 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ (log x) x)) 1554300947.368 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ (log x) x)))) 1554300947.368 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1554300947.368 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1554300947.368 * * [misc]simplify: iters left: 6 (12 enodes) 1554300947.372 * * [misc]simplify: iters left: 5 (47 enodes) 1554300947.380 * * [misc]simplify: iters left: 4 (65 enodes) 1554300947.391 * * [misc]simplify: iters left: 3 (95 enodes) 1554300947.405 * * [misc]simplify: iters left: 2 (125 enodes) 1554300947.434 * * [misc]simplify: iters left: 1 (165 enodes) 1554300947.463 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.463 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554300947.463 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1554300947.463 * * [misc]simplify: Extracting #3: cost 41 inf + 531 1554300947.464 * * [misc]simplify: Extracting #4: cost 9 inf + 4488 1554300947.466 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1554300947.467 * * [misc]simplify: Extracting #6: cost 0 inf + 5989 1554300947.468 * [exit]simplify: Simplified to (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)) 1554300947.469 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)))) 1554300947.469 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1554300947.469 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1554300947.469 * * [misc]simplify: iters left: 6 (12 enodes) 1554300947.473 * * [misc]simplify: iters left: 5 (47 enodes) 1554300947.488 * * [misc]simplify: iters left: 4 (65 enodes) 1554300947.509 * * [misc]simplify: iters left: 3 (95 enodes) 1554300947.540 * * [misc]simplify: iters left: 2 (125 enodes) 1554300947.562 * * [misc]simplify: iters left: 1 (165 enodes) 1554300947.587 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.587 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554300947.587 * * [misc]simplify: Extracting #2: cost 49 inf + 0 1554300947.588 * * [misc]simplify: Extracting #3: cost 41 inf + 531 1554300947.589 * * [misc]simplify: Extracting #4: cost 9 inf + 4488 1554300947.590 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1554300947.592 * * [misc]simplify: Extracting #6: cost 0 inf + 5989 1554300947.593 * [exit]simplify: Simplified to (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)) 1554300947.593 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- (/ -1 x) (/ 1/2 (* x x))) (log -1)))) 1554300947.593 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1554300947.593 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1554300947.593 * * [misc]simplify: iters left: 4 (4 enodes) 1554300947.595 * * [misc]simplify: iters left: 3 (17 enodes) 1554300947.598 * * [misc]simplify: iters left: 2 (21 enodes) 1554300947.601 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.601 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300947.601 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554300947.601 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1554300947.601 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1554300947.601 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1554300947.601 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1554300947.601 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1554300947.602 * * [misc]simplify: iters left: 4 (4 enodes) 1554300947.603 * * [misc]simplify: iters left: 3 (17 enodes) 1554300947.606 * * [misc]simplify: iters left: 2 (21 enodes) 1554300947.611 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.611 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300947.611 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554300947.611 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1554300947.611 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1554300947.611 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1554300947.611 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1554300947.611 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1554300947.611 * * [misc]simplify: iters left: 4 (4 enodes) 1554300947.612 * * [misc]simplify: iters left: 3 (17 enodes) 1554300947.615 * * [misc]simplify: iters left: 2 (21 enodes) 1554300947.618 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.618 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300947.618 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554300947.618 * * [misc]simplify: Extracting #3: cost 0 inf + 251 1554300947.618 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1554300947.618 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1554300947.619 * * * [misc]progress: adding candidates to table 1554300947.903 * [misc]progress: [Phase 3 of 3] Extracting. 1554300947.906 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1554300947.907 * * [misc]simplify: iters left: 6 (6 enodes) 1554300947.907 * * [misc]simplify: iters left: 5 (8 enodes) 1554300947.908 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300947.908 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554300947.908 * * [misc]simplify: Extracting #2: cost 3 inf + 0 1554300947.908 * * [misc]simplify: Extracting #3: cost 5 inf + 0 1554300947.908 * * [misc]simplify: Extracting #4: cost 5 inf + 1 1554300947.908 * * [misc]simplify: Extracting #5: cost 0 inf + 470 1554300947.908 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1554300951.033 * [misc]regime-testing: Baseline error score: 0.013163188798108086 1554300951.034 * [misc]regime-testing: Oracle error score: 0.013163188798108086 1554300951.035 * [misc]regime-testing: End program error score: 0.013163188798108086