1550653338.579 * [misc]progress: [Phase 1 of 3] Setting up. 1550653338.579 * * * [misc]progress: [1/2] Preparing points 1550653338.603 * * * [misc]progress: [2/2] Setting up program. 1550653338.607 * [misc]progress: [Phase 2 of 3] Improving. 1550653338.607 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550653338.607 * [enter]simplify: Simplifying (/ x (+ (* x x) 1)) 1550653338.607 * * [misc]simplify: iters left: 6 (5 enodes) 1550653338.610 * * [misc]simplify: iters left: 5 (18 enodes) 1550653338.620 * * [misc]simplify: iters left: 4 (20 enodes) 1550653338.627 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653338.627 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653338.627 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653338.627 * * [misc]simplify: Extracting #3: cost 1 inf + 451 1550653338.627 * * [misc]simplify: Extracting #4: cost 0 inf + 492 1550653338.627 * [exit]simplify: Simplified to (/ x (+ (* x x) 1)) 1550653338.628 * [misc]simplify: Simplified (2) to (λ (x) (/ x (+ (* x x) 1))) 1550653338.631 * * [misc]progress: iteration 1 / 4 1550653338.631 * * * [misc]progress: picking best candidate 1550653338.634 * * * * [misc]pick: Picked # 1550653338.634 * * * [misc]progress: localizing error 1550653338.650 * * * [misc]progress: generating rewritten candidates 1550653338.650 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1550653338.653 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1550653338.658 * * * [misc]progress: generating series expansions 1550653338.658 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1550653338.658 * [misc]backup-simplify: Simplify (/ x (+ (* x x) 1)) into (/ x (+ (pow x 2) 1)) 1550653338.658 * [misc]approximate: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in (x) around 0 1550653338.658 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1550653338.658 * [misc]taylor: Taking taylor expansion of x in x 1550653338.658 * [misc]backup-simplify: Simplify 0 into 0 1550653338.658 * [misc]backup-simplify: Simplify 1 into 1 1550653338.658 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653338.658 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.658 * [misc]taylor: Taking taylor expansion of x in x 1550653338.658 * [misc]backup-simplify: Simplify 0 into 0 1550653338.658 * [misc]backup-simplify: Simplify 1 into 1 1550653338.658 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.658 * [misc]backup-simplify: Simplify 1 into 1 1550653338.659 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.659 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.659 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1550653338.659 * [misc]taylor: Taking taylor expansion of x in x 1550653338.659 * [misc]backup-simplify: Simplify 0 into 0 1550653338.659 * [misc]backup-simplify: Simplify 1 into 1 1550653338.659 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653338.659 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.659 * [misc]taylor: Taking taylor expansion of x in x 1550653338.659 * [misc]backup-simplify: Simplify 0 into 0 1550653338.659 * [misc]backup-simplify: Simplify 1 into 1 1550653338.659 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.659 * [misc]backup-simplify: Simplify 1 into 1 1550653338.659 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.659 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.659 * [misc]backup-simplify: Simplify 1 into 1 1550653338.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.660 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1550653338.660 * [misc]backup-simplify: Simplify 0 into 0 1550653338.660 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.660 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.661 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653338.661 * [misc]backup-simplify: Simplify -1 into -1 1550653338.661 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.662 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1550653338.662 * [misc]backup-simplify: Simplify 0 into 0 1550653338.662 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653338.662 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.662 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653338.663 * [misc]backup-simplify: Simplify 1 into 1 1550653338.663 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 5)) (+ (* -1 (pow x 3)) (* 1 x))) into (- (+ x (pow x 5)) (pow x 3)) 1550653338.664 * [misc]backup-simplify: Simplify (/ (/ 1 x) (+ (* (/ 1 x) (/ 1 x)) 1)) into (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) 1550653338.664 * [misc]approximate: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in (x) around 0 1550653338.664 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1550653338.664 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1550653338.664 * [misc]taylor: Taking taylor expansion of x in x 1550653338.664 * [misc]backup-simplify: Simplify 0 into 0 1550653338.664 * [misc]backup-simplify: Simplify 1 into 1 1550653338.664 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.664 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.664 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.664 * [misc]taylor: Taking taylor expansion of x in x 1550653338.664 * [misc]backup-simplify: Simplify 0 into 0 1550653338.664 * [misc]backup-simplify: Simplify 1 into 1 1550653338.664 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.665 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.665 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.665 * [misc]backup-simplify: Simplify 1 into 1 1550653338.665 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.665 * [misc]backup-simplify: Simplify (* 0 1) into 0 1550653338.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.665 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.666 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.666 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1550653338.666 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.666 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1550653338.666 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1550653338.666 * [misc]taylor: Taking taylor expansion of x in x 1550653338.666 * [misc]backup-simplify: Simplify 0 into 0 1550653338.666 * [misc]backup-simplify: Simplify 1 into 1 1550653338.666 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.666 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.666 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.666 * [misc]taylor: Taking taylor expansion of x in x 1550653338.666 * [misc]backup-simplify: Simplify 0 into 0 1550653338.666 * [misc]backup-simplify: Simplify 1 into 1 1550653338.666 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.667 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.667 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.667 * [misc]backup-simplify: Simplify 1 into 1 1550653338.667 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.667 * [misc]backup-simplify: Simplify (* 0 1) into 0 1550653338.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.667 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.668 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1550653338.668 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.668 * [misc]backup-simplify: Simplify 1 into 1 1550653338.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653338.669 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.669 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.669 * [misc]backup-simplify: Simplify (+ (* 0 1) (+ (* 1 0) (* 0 1))) into 0 1550653338.669 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.669 * [misc]backup-simplify: Simplify 0 into 0 1550653338.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653338.670 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.670 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 1)))) into 1 1550653338.671 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653338.671 * [misc]backup-simplify: Simplify -1 into -1 1550653338.671 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653338.672 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.672 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 0 1))))) into 0 1550653338.672 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1550653338.672 * [misc]backup-simplify: Simplify 0 into 0 1550653338.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.673 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.674 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.674 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653338.674 * [misc]backup-simplify: Simplify 1 into 1 1550653338.675 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 5)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653338.675 * [misc]backup-simplify: Simplify (/ (/ 1 (- x)) (+ (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) 1550653338.675 * [misc]approximate: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in (x) around 0 1550653338.675 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1550653338.675 * [misc]taylor: Taking taylor expansion of -1 in x 1550653338.675 * [misc]backup-simplify: Simplify -1 into -1 1550653338.675 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1550653338.675 * [misc]taylor: Taking taylor expansion of x in x 1550653338.675 * [misc]backup-simplify: Simplify 0 into 0 1550653338.675 * [misc]backup-simplify: Simplify 1 into 1 1550653338.675 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.675 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.675 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.675 * [misc]taylor: Taking taylor expansion of x in x 1550653338.675 * [misc]backup-simplify: Simplify 0 into 0 1550653338.675 * [misc]backup-simplify: Simplify 1 into 1 1550653338.676 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.676 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.676 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.676 * [misc]backup-simplify: Simplify 1 into 1 1550653338.676 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.676 * [misc]backup-simplify: Simplify (* 0 1) into 0 1550653338.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.677 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.677 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.677 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1550653338.677 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550653338.677 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ (/ 1 (pow x 2)) 1))) in x 1550653338.677 * [misc]taylor: Taking taylor expansion of -1 in x 1550653338.677 * [misc]backup-simplify: Simplify -1 into -1 1550653338.677 * [misc]taylor: Taking taylor expansion of (* x (+ (/ 1 (pow x 2)) 1)) in x 1550653338.677 * [misc]taylor: Taking taylor expansion of x in x 1550653338.677 * [misc]backup-simplify: Simplify 0 into 0 1550653338.677 * [misc]backup-simplify: Simplify 1 into 1 1550653338.677 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.677 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.677 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.677 * [misc]taylor: Taking taylor expansion of x in x 1550653338.678 * [misc]backup-simplify: Simplify 0 into 0 1550653338.678 * [misc]backup-simplify: Simplify 1 into 1 1550653338.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.678 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.678 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.678 * [misc]backup-simplify: Simplify 1 into 1 1550653338.678 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.678 * [misc]backup-simplify: Simplify (* 0 1) into 0 1550653338.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.679 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.679 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.679 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1)) into 1 1550653338.679 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550653338.679 * [misc]backup-simplify: Simplify -1 into -1 1550653338.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653338.680 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.680 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.680 * [misc]backup-simplify: Simplify (+ (* 0 1) (+ (* 1 0) (* 0 1))) into 0 1550653338.681 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1550653338.681 * [misc]backup-simplify: Simplify 0 into 0 1550653338.681 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653338.681 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.681 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.682 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 1)))) into 1 1550653338.682 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653338.682 * [misc]backup-simplify: Simplify 1 into 1 1550653338.683 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653338.683 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.683 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.684 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 0 1))))) into 0 1550653338.684 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 1 1)) (* 1 (/ 0 1)))) into 0 1550653338.684 * [misc]backup-simplify: Simplify 0 into 0 1550653338.684 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.685 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.686 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.686 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653338.686 * [misc]backup-simplify: Simplify -1 into -1 1550653338.686 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 5)) (+ (* 1 (pow (/ 1 (- x)) 3)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653338.686 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1550653338.687 * [misc]backup-simplify: Simplify (+ (* x x) 1) into (+ (pow x 2) 1) 1550653338.687 * [misc]approximate: Taking taylor expansion of (+ (pow x 2) 1) in (x) around 0 1550653338.687 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653338.687 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.687 * [misc]taylor: Taking taylor expansion of x in x 1550653338.687 * [misc]backup-simplify: Simplify 0 into 0 1550653338.687 * [misc]backup-simplify: Simplify 1 into 1 1550653338.687 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.687 * [misc]backup-simplify: Simplify 1 into 1 1550653338.687 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653338.687 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.687 * [misc]taylor: Taking taylor expansion of x in x 1550653338.687 * [misc]backup-simplify: Simplify 0 into 0 1550653338.687 * [misc]backup-simplify: Simplify 1 into 1 1550653338.687 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.687 * [misc]backup-simplify: Simplify 1 into 1 1550653338.687 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.687 * [misc]backup-simplify: Simplify 1 into 1 1550653338.688 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.688 * [misc]backup-simplify: Simplify 0 into 0 1550653338.688 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.688 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.688 * [misc]backup-simplify: Simplify 1 into 1 1550653338.688 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.688 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.688 * [misc]backup-simplify: Simplify 0 into 0 1550653338.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653338.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.689 * [misc]backup-simplify: Simplify 0 into 0 1550653338.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653338.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.689 * [misc]backup-simplify: Simplify 0 into 0 1550653338.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653338.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.690 * [misc]backup-simplify: Simplify 0 into 0 1550653338.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.691 * [misc]backup-simplify: Simplify 0 into 0 1550653338.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653338.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.691 * [misc]backup-simplify: Simplify 0 into 0 1550653338.691 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) 1) into (+ (pow x 2) 1) 1550653338.692 * [misc]backup-simplify: Simplify (+ (* (/ 1 x) (/ 1 x)) 1) into (+ (/ 1 (pow x 2)) 1) 1550653338.692 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in (x) around 0 1550653338.692 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.692 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.692 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.692 * [misc]taylor: Taking taylor expansion of x in x 1550653338.692 * [misc]backup-simplify: Simplify 0 into 0 1550653338.692 * [misc]backup-simplify: Simplify 1 into 1 1550653338.692 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.692 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.692 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.692 * [misc]backup-simplify: Simplify 1 into 1 1550653338.692 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.692 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.692 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.692 * [misc]taylor: Taking taylor expansion of x in x 1550653338.692 * [misc]backup-simplify: Simplify 0 into 0 1550653338.692 * [misc]backup-simplify: Simplify 1 into 1 1550653338.693 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.693 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.693 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.693 * [misc]backup-simplify: Simplify 1 into 1 1550653338.693 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.693 * [misc]backup-simplify: Simplify 1 into 1 1550653338.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.693 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.694 * [misc]backup-simplify: Simplify 0 into 0 1550653338.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653338.695 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.695 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.695 * [misc]backup-simplify: Simplify 1 into 1 1550653338.695 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653338.696 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.696 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.696 * [misc]backup-simplify: Simplify 0 into 0 1550653338.696 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653338.697 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.697 * [misc]backup-simplify: Simplify 0 into 0 1550653338.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.697 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.697 * [misc]backup-simplify: Simplify 0 into 0 1550653338.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653338.698 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.698 * [misc]backup-simplify: Simplify 0 into 0 1550653338.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1550653338.699 * [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 1550653338.699 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.699 * [misc]backup-simplify: Simplify 0 into 0 1550653338.699 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1550653338.700 * [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)) (* 0 (/ 0 1)))) into 0 1550653338.700 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.700 * [misc]backup-simplify: Simplify 0 into 0 1550653338.700 * [misc]backup-simplify: Simplify (+ 1 (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) 1) 1550653338.700 * [misc]backup-simplify: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) 1) into (+ (/ 1 (pow x 2)) 1) 1550653338.700 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in (x) around 0 1550653338.700 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.700 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.700 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.700 * [misc]taylor: Taking taylor expansion of x in x 1550653338.700 * [misc]backup-simplify: Simplify 0 into 0 1550653338.700 * [misc]backup-simplify: Simplify 1 into 1 1550653338.700 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.700 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.700 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.700 * [misc]backup-simplify: Simplify 1 into 1 1550653338.700 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653338.700 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653338.700 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653338.700 * [misc]taylor: Taking taylor expansion of x in x 1550653338.700 * [misc]backup-simplify: Simplify 0 into 0 1550653338.700 * [misc]backup-simplify: Simplify 1 into 1 1550653338.701 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653338.701 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653338.701 * [misc]taylor: Taking taylor expansion of 1 in x 1550653338.701 * [misc]backup-simplify: Simplify 1 into 1 1550653338.701 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653338.701 * [misc]backup-simplify: Simplify 1 into 1 1550653338.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653338.701 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653338.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.701 * [misc]backup-simplify: Simplify 0 into 0 1550653338.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653338.702 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.702 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653338.702 * [misc]backup-simplify: Simplify 1 into 1 1550653338.702 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653338.702 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.702 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.702 * [misc]backup-simplify: Simplify 0 into 0 1550653338.702 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653338.703 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.703 * [misc]backup-simplify: Simplify 0 into 0 1550653338.703 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653338.703 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.703 * [misc]backup-simplify: Simplify 0 into 0 1550653338.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653338.704 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653338.704 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.704 * [misc]backup-simplify: Simplify 0 into 0 1550653338.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1550653338.705 * [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 1550653338.705 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.705 * [misc]backup-simplify: Simplify 0 into 0 1550653338.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1550653338.705 * [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)) (* 0 (/ 0 1)))) into 0 1550653338.706 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653338.706 * [misc]backup-simplify: Simplify 0 into 0 1550653338.706 * [misc]backup-simplify: Simplify (+ 1 (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) 1) 1550653338.706 * * * [misc]progress: simplifying candidates 1550653338.706 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1550653338.706 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1550653338.706 * [enter]simplify: Simplifying (cbrt (+ (* x x) 1)) 1550653338.706 * * [misc]simplify: iters left: 5 (5 enodes) 1550653338.708 * * [misc]simplify: iters left: 4 (18 enodes) 1550653338.711 * * [misc]simplify: iters left: 3 (20 enodes) 1550653338.714 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653338.714 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653338.714 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653338.714 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550653338.714 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550653338.714 * * [misc]simplify: Extracting #5: cost 0 inf + 572 1550653338.714 * [exit]simplify: Simplified to (cbrt (+ (* x x) 1)) 1550653338.714 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ x (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1)))) (cbrt (+ (* x x) 1)))) 1550653338.714 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1550653338.714 * [enter]simplify: Simplifying (sqrt (+ (* x x) 1)) 1550653338.714 * * [misc]simplify: iters left: 5 (5 enodes) 1550653338.716 * * [misc]simplify: iters left: 4 (18 enodes) 1550653338.719 * * [misc]simplify: iters left: 3 (20 enodes) 1550653338.723 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653338.723 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653338.723 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653338.723 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550653338.723 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550653338.723 * * [misc]simplify: Extracting #5: cost 0 inf + 492 1550653338.724 * [exit]simplify: Simplified to (sqrt (+ (* x x) 1)) 1550653338.724 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ x (sqrt (+ (* x x) 1))) (sqrt (+ (* x x) 1)))) 1550653338.724 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1550653338.724 * [enter]simplify: Simplifying (+ (* x x) 1) 1550653338.724 * * [misc]simplify: iters left: 4 (4 enodes) 1550653338.727 * * [misc]simplify: iters left: 3 (15 enodes) 1550653338.731 * * [misc]simplify: iters left: 2 (17 enodes) 1550653338.737 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653338.737 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653338.737 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653338.737 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1550653338.737 * * [misc]simplify: Extracting #4: cost 1 inf + 166 1550653338.737 * * [misc]simplify: Extracting #5: cost 0 inf + 248 1550653338.738 * [exit]simplify: Simplified to (+ (* x x) 1) 1550653338.738 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ x 1) (+ (* x x) 1))) 1550653338.738 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1550653338.738 * [enter]simplify: Simplifying (+ (* (* x x) (* x x)) (- (* 1 1) (* (* x x) 1))) 1550653338.738 * * [misc]simplify: iters left: 6 (8 enodes) 1550653338.743 * * [misc]simplify: iters left: 5 (34 enodes) 1550653338.759 * * [misc]simplify: iters left: 4 (71 enodes) 1550653338.783 * * [misc]simplify: iters left: 3 (107 enodes) 1550653338.805 * * [misc]simplify: iters left: 2 (172 enodes) 1550653338.865 * * [misc]simplify: iters left: 1 (296 enodes) 1550653339.018 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.018 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550653339.019 * * [misc]simplify: Extracting #2: cost 101 inf + 1 1550653339.019 * * [misc]simplify: Extracting #3: cost 109 inf + 1340 1550653339.021 * * [misc]simplify: Extracting #4: cost 51 inf + 8616 1550653339.025 * * [misc]simplify: Extracting #5: cost 2 inf + 15176 1550653339.031 * * [misc]simplify: Extracting #6: cost 0 inf + 15454 1550653339.035 * [exit]simplify: Simplified to (+ (* (* x x) (* x x)) (- 1 (* x x))) 1550653339.036 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ x (+ (pow (* x x) 3) (pow 1 3))) (+ (* (* x x) (* x x)) (- 1 (* x x))))) 1550653339.036 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1550653339.036 * [enter]simplify: Simplifying (- (* x x) 1) 1550653339.036 * * [misc]simplify: iters left: 4 (4 enodes) 1550653339.039 * * [misc]simplify: iters left: 3 (20 enodes) 1550653339.046 * * [misc]simplify: iters left: 2 (31 enodes) 1550653339.056 * * [misc]simplify: iters left: 1 (47 enodes) 1550653339.071 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.071 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550653339.071 * * [misc]simplify: Extracting #2: cost 19 inf + 2 1550653339.071 * * [misc]simplify: Extracting #3: cost 18 inf + 3 1550653339.071 * * [misc]simplify: Extracting #4: cost 4 inf + 749 1550653339.072 * * [misc]simplify: Extracting #5: cost 0 inf + 1077 1550653339.072 * [exit]simplify: Simplified to (- (* x x) 1) 1550653339.072 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ x (- (* (* x x) (* x x)) (* 1 1))) (- (* x x) 1))) 1550653339.072 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate #real (real->posit16 (/ x (+ (* x x) 1)))))> 1550653339.072 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1550653339.072 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1550653339.073 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate #real (real->posit16 (+ (* x x) 1)))))> 1550653339.073 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1550653339.073 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1550653339.073 * [enter]simplify: Simplifying (- (+ x (pow x 5)) (pow x 3)) 1550653339.073 * * [misc]simplify: iters left: 5 (7 enodes) 1550653339.075 * * [misc]simplify: iters left: 4 (29 enodes) 1550653339.080 * * [misc]simplify: iters left: 3 (49 enodes) 1550653339.088 * * [misc]simplify: iters left: 2 (67 enodes) 1550653339.098 * * [misc]simplify: iters left: 1 (78 enodes) 1550653339.118 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.118 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550653339.118 * * [misc]simplify: Extracting #2: cost 25 inf + 1 1550653339.118 * * [misc]simplify: Extracting #3: cost 21 inf + 529 1550653339.119 * * [misc]simplify: Extracting #4: cost 6 inf + 3301 1550653339.120 * * [misc]simplify: Extracting #5: cost 1 inf + 3720 1550653339.121 * * [misc]simplify: Extracting #6: cost 0 inf + 3802 1550653339.123 * [exit]simplify: Simplified to (+ x (- (pow x 5) (* (* x x) x))) 1550653339.123 * [misc]simplify: Simplified (2) to (λ (x) (+ x (- (pow x 5) (* (* x x) x)))) 1550653339.123 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1550653339.123 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653339.123 * * [misc]simplify: iters left: 6 (11 enodes) 1550653339.130 * * [misc]simplify: iters left: 5 (43 enodes) 1550653339.145 * * [misc]simplify: iters left: 4 (65 enodes) 1550653339.165 * * [misc]simplify: iters left: 3 (83 enodes) 1550653339.187 * * [misc]simplify: iters left: 2 (94 enodes) 1550653339.209 * * [misc]simplify: iters left: 1 (99 enodes) 1550653339.230 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.230 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550653339.230 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550653339.230 * * [misc]simplify: Extracting #3: cost 38 inf + 45 1550653339.231 * * [misc]simplify: Extracting #4: cost 20 inf + 2180 1550653339.231 * * [misc]simplify: Extracting #5: cost 0 inf + 7872 1550653339.233 * [exit]simplify: Simplified to (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x)) 1550653339.233 * [misc]simplify: Simplified (2) to (λ (x) (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x))) 1550653339.233 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1550653339.233 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653339.233 * * [misc]simplify: iters left: 6 (11 enodes) 1550653339.236 * * [misc]simplify: iters left: 5 (43 enodes) 1550653339.244 * * [misc]simplify: iters left: 4 (65 enodes) 1550653339.259 * * [misc]simplify: iters left: 3 (83 enodes) 1550653339.282 * * [misc]simplify: iters left: 2 (94 enodes) 1550653339.306 * * [misc]simplify: iters left: 1 (99 enodes) 1550653339.332 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.332 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550653339.332 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550653339.332 * * [misc]simplify: Extracting #3: cost 38 inf + 45 1550653339.333 * * [misc]simplify: Extracting #4: cost 20 inf + 2180 1550653339.335 * * [misc]simplify: Extracting #5: cost 0 inf + 7872 1550653339.337 * [exit]simplify: Simplified to (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x)) 1550653339.337 * [misc]simplify: Simplified (2) to (λ (x) (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x))) 1550653339.337 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1550653339.337 * [enter]simplify: Simplifying (+ (pow x 2) 1) 1550653339.337 * * [misc]simplify: iters left: 3 (5 enodes) 1550653339.340 * * [misc]simplify: iters left: 2 (19 enodes) 1550653339.347 * * [misc]simplify: iters left: 1 (21 enodes) 1550653339.353 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.353 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653339.353 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653339.353 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1550653339.353 * * [misc]simplify: Extracting #4: cost 0 inf + 249 1550653339.354 * [exit]simplify: Simplified to (+ 1 (* x x)) 1550653339.354 * [misc]simplify: Simplified (2 2) to (λ (x) (/ x (+ 1 (* x x)))) 1550653339.354 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1550653339.354 * [enter]simplify: Simplifying (+ (pow x 2) 1) 1550653339.354 * * [misc]simplify: iters left: 3 (5 enodes) 1550653339.357 * * [misc]simplify: iters left: 2 (19 enodes) 1550653339.363 * * [misc]simplify: iters left: 1 (21 enodes) 1550653339.370 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.370 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653339.370 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653339.371 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1550653339.371 * * [misc]simplify: Extracting #4: cost 0 inf + 249 1550653339.371 * [exit]simplify: Simplified to (+ 1 (* x x)) 1550653339.371 * [misc]simplify: Simplified (2 2) to (λ (x) (/ x (+ 1 (* x x)))) 1550653339.371 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1550653339.371 * [enter]simplify: Simplifying (+ (pow x 2) 1) 1550653339.371 * * [misc]simplify: iters left: 3 (5 enodes) 1550653339.374 * * [misc]simplify: iters left: 2 (19 enodes) 1550653339.380 * * [misc]simplify: iters left: 1 (21 enodes) 1550653339.386 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.386 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653339.386 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653339.386 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1550653339.387 * * [misc]simplify: Extracting #4: cost 0 inf + 249 1550653339.387 * [exit]simplify: Simplified to (+ 1 (* x x)) 1550653339.387 * [misc]simplify: Simplified (2 2) to (λ (x) (/ x (+ 1 (* x x)))) 1550653339.387 * * * [misc]progress: adding candidates to table 1550653339.691 * * [misc]progress: iteration 2 / 4 1550653339.691 * * * [misc]progress: picking best candidate 1550653339.698 * * * * [misc]pick: Picked # 1550653339.698 * * * [misc]progress: localizing error 1550653339.710 * * * [misc]progress: generating rewritten candidates 1550653339.710 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 2) 1550653339.722 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1550653339.724 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 1) 1550653339.726 * * * [misc]progress: generating series expansions 1550653339.726 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 2) 1550653339.726 * [misc]backup-simplify: Simplify (/ (+ (* x x) 1) x) into (/ (+ (pow x 2) 1) x) 1550653339.726 * [misc]approximate: Taking taylor expansion of (/ (+ (pow x 2) 1) x) in (x) around 0 1550653339.727 * [misc]taylor: Taking taylor expansion of (/ (+ (pow x 2) 1) x) in x 1550653339.727 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653339.727 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.727 * [misc]taylor: Taking taylor expansion of x in x 1550653339.727 * [misc]backup-simplify: Simplify 0 into 0 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.727 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.727 * [misc]taylor: Taking taylor expansion of x in x 1550653339.727 * [misc]backup-simplify: Simplify 0 into 0 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.727 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.727 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.727 * [misc]taylor: Taking taylor expansion of (/ (+ (pow x 2) 1) x) in x 1550653339.727 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653339.727 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.727 * [misc]taylor: Taking taylor expansion of x in x 1550653339.727 * [misc]backup-simplify: Simplify 0 into 0 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.727 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.727 * [misc]taylor: Taking taylor expansion of x in x 1550653339.727 * [misc]backup-simplify: Simplify 0 into 0 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.727 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.727 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.727 * [misc]backup-simplify: Simplify 1 into 1 1550653339.728 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.728 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1550653339.728 * [misc]backup-simplify: Simplify 0 into 0 1550653339.728 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.728 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.728 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 1 1550653339.728 * [misc]backup-simplify: Simplify 1 into 1 1550653339.728 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.728 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.729 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1550653339.729 * [misc]backup-simplify: Simplify 0 into 0 1550653339.729 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.729 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.729 * [misc]backup-simplify: Simplify 0 into 0 1550653339.729 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.730 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.730 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.730 * [misc]backup-simplify: Simplify 0 into 0 1550653339.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.730 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.730 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.730 * [misc]backup-simplify: Simplify 0 into 0 1550653339.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.731 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.731 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.732 * [misc]backup-simplify: Simplify 0 into 0 1550653339.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653339.732 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.732 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.732 * [misc]backup-simplify: Simplify 0 into 0 1550653339.732 * [misc]backup-simplify: Simplify (+ (* 1 x) (* 1 (/ 1 x))) into (+ x (/ 1 x)) 1550653339.733 * [misc]backup-simplify: Simplify (/ (+ (* (/ 1 x) (/ 1 x)) 1) (/ 1 x)) into (* (+ (/ 1 (pow x 2)) 1) x) 1550653339.733 * [misc]approximate: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in (x) around 0 1550653339.733 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of x in x 1550653339.733 * [misc]backup-simplify: Simplify 0 into 0 1550653339.733 * [misc]backup-simplify: Simplify 1 into 1 1550653339.733 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.733 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.733 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.733 * [misc]backup-simplify: Simplify 1 into 1 1550653339.733 * [misc]taylor: Taking taylor expansion of x in x 1550653339.733 * [misc]backup-simplify: Simplify 0 into 0 1550653339.733 * [misc]backup-simplify: Simplify 1 into 1 1550653339.733 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.733 * [misc]taylor: Taking taylor expansion of x in x 1550653339.733 * [misc]backup-simplify: Simplify 0 into 0 1550653339.733 * [misc]backup-simplify: Simplify 1 into 1 1550653339.733 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.733 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.733 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.733 * [misc]backup-simplify: Simplify 1 into 1 1550653339.733 * [misc]taylor: Taking taylor expansion of x in x 1550653339.733 * [misc]backup-simplify: Simplify 0 into 0 1550653339.733 * [misc]backup-simplify: Simplify 1 into 1 1550653339.734 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.734 * [misc]backup-simplify: Simplify (* 1 0) into 0 1550653339.734 * [misc]backup-simplify: Simplify 0 into 0 1550653339.734 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.734 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.734 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.734 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1550653339.734 * [misc]backup-simplify: Simplify 1 into 1 1550653339.734 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.735 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.735 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1) (* 1 0))) into 0 1550653339.735 * [misc]backup-simplify: Simplify 0 into 0 1550653339.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.735 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.735 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 1) (* 0 0)))) into 1 1550653339.736 * [misc]backup-simplify: Simplify 1 into 1 1550653339.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.736 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0))))) into 0 1550653339.736 * [misc]backup-simplify: Simplify 0 into 0 1550653339.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.737 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.737 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1550653339.737 * [misc]backup-simplify: Simplify 0 into 0 1550653339.738 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653339.738 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.738 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.738 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1550653339.738 * [misc]backup-simplify: Simplify 0 into 0 1550653339.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1550653339.739 * [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 1550653339.739 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1550653339.739 * [misc]backup-simplify: Simplify 0 into 0 1550653339.740 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1550653339.740 * [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)) (* 0 (/ 0 1)))) into 0 1550653339.742 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1550653339.742 * [misc]backup-simplify: Simplify 0 into 0 1550653339.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 1550653339.743 * [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)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0 1550653339.743 * [misc]backup-simplify: Simplify 0 into 0 1550653339.744 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) (* 1 (/ 1 (/ 1 x)))) into (+ x (/ 1 x)) 1550653339.744 * [misc]backup-simplify: Simplify (/ (+ (* (/ 1 (- x)) (/ 1 (- x))) 1) (/ 1 (- x))) into (* -1 (* (+ (/ 1 (pow x 2)) 1) x)) 1550653339.744 * [misc]approximate: Taking taylor expansion of (* -1 (* (+ (/ 1 (pow x 2)) 1) x)) in (x) around 0 1550653339.744 * [misc]taylor: Taking taylor expansion of (* -1 (* (+ (/ 1 (pow x 2)) 1) x)) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of -1 in x 1550653339.744 * [misc]backup-simplify: Simplify -1 into -1 1550653339.744 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of x in x 1550653339.744 * [misc]backup-simplify: Simplify 0 into 0 1550653339.744 * [misc]backup-simplify: Simplify 1 into 1 1550653339.744 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.744 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.744 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.744 * [misc]backup-simplify: Simplify 1 into 1 1550653339.744 * [misc]taylor: Taking taylor expansion of x in x 1550653339.744 * [misc]backup-simplify: Simplify 0 into 0 1550653339.744 * [misc]backup-simplify: Simplify 1 into 1 1550653339.744 * [misc]taylor: Taking taylor expansion of (* -1 (* (+ (/ 1 (pow x 2)) 1) x)) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of -1 in x 1550653339.744 * [misc]backup-simplify: Simplify -1 into -1 1550653339.744 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.744 * [misc]taylor: Taking taylor expansion of x in x 1550653339.744 * [misc]backup-simplify: Simplify 0 into 0 1550653339.744 * [misc]backup-simplify: Simplify 1 into 1 1550653339.744 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.745 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.745 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.745 * [misc]backup-simplify: Simplify 1 into 1 1550653339.745 * [misc]taylor: Taking taylor expansion of x in x 1550653339.745 * [misc]backup-simplify: Simplify 0 into 0 1550653339.745 * [misc]backup-simplify: Simplify 1 into 1 1550653339.745 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.745 * [misc]backup-simplify: Simplify (* 1 0) into 0 1550653339.745 * [misc]backup-simplify: Simplify (* -1 0) into 0 1550653339.745 * [misc]backup-simplify: Simplify 0 into 0 1550653339.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.745 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.745 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.745 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1550653339.746 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1550653339.746 * [misc]backup-simplify: Simplify -1 into -1 1550653339.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.746 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.746 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1) (* 1 0))) into 0 1550653339.746 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1550653339.746 * [misc]backup-simplify: Simplify 0 into 0 1550653339.747 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.747 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.747 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.747 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 1) (* 0 0)))) into 1 1550653339.747 * [misc]backup-simplify: Simplify (+ (* -1 1) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into -1 1550653339.747 * [misc]backup-simplify: Simplify -1 into -1 1550653339.747 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.748 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.748 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.748 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0))))) into 0 1550653339.748 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1550653339.748 * [misc]backup-simplify: Simplify 0 into 0 1550653339.749 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.749 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.749 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.749 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1550653339.749 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1550653339.749 * [misc]backup-simplify: Simplify 0 into 0 1550653339.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653339.750 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.750 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1550653339.751 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1550653339.751 * [misc]backup-simplify: Simplify 0 into 0 1550653339.751 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1550653339.751 * [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 1550653339.751 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.752 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1550653339.752 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1550653339.752 * [misc]backup-simplify: Simplify 0 into 0 1550653339.752 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1550653339.753 * [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)) (* 0 (/ 0 1)))) into 0 1550653339.753 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.753 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1550653339.753 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1550653339.753 * [misc]backup-simplify: Simplify 0 into 0 1550653339.754 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 1550653339.754 * [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)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.754 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.755 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0 1550653339.755 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0 1550653339.755 * [misc]backup-simplify: Simplify 0 into 0 1550653339.755 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) (* -1 (/ 1 (/ 1 (- x))))) into (+ x (/ 1 x)) 1550653339.755 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1550653339.755 * [misc]backup-simplify: Simplify (/ 1 (/ (+ (* x x) 1) x)) into (/ x (+ (pow x 2) 1)) 1550653339.755 * [misc]approximate: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in (x) around 0 1550653339.755 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1550653339.755 * [misc]taylor: Taking taylor expansion of x in x 1550653339.755 * [misc]backup-simplify: Simplify 0 into 0 1550653339.755 * [misc]backup-simplify: Simplify 1 into 1 1550653339.755 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653339.755 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.755 * [misc]taylor: Taking taylor expansion of x in x 1550653339.755 * [misc]backup-simplify: Simplify 0 into 0 1550653339.755 * [misc]backup-simplify: Simplify 1 into 1 1550653339.755 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.755 * [misc]backup-simplify: Simplify 1 into 1 1550653339.756 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.756 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.756 * [misc]taylor: Taking taylor expansion of (/ x (+ (pow x 2) 1)) in x 1550653339.756 * [misc]taylor: Taking taylor expansion of x in x 1550653339.756 * [misc]backup-simplify: Simplify 0 into 0 1550653339.756 * [misc]backup-simplify: Simplify 1 into 1 1550653339.756 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653339.756 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.756 * [misc]taylor: Taking taylor expansion of x in x 1550653339.756 * [misc]backup-simplify: Simplify 0 into 0 1550653339.756 * [misc]backup-simplify: Simplify 1 into 1 1550653339.756 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.756 * [misc]backup-simplify: Simplify 1 into 1 1550653339.756 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.756 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.756 * [misc]backup-simplify: Simplify 1 into 1 1550653339.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.756 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1550653339.756 * [misc]backup-simplify: Simplify 0 into 0 1550653339.757 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.757 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.757 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653339.757 * [misc]backup-simplify: Simplify -1 into -1 1550653339.757 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.757 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1550653339.757 * [misc]backup-simplify: Simplify 0 into 0 1550653339.757 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.758 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.758 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653339.758 * [misc]backup-simplify: Simplify 1 into 1 1550653339.758 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 5)) (+ (* -1 (pow x 3)) (* 1 x))) into (- (+ x (pow x 5)) (pow x 3)) 1550653339.758 * [misc]backup-simplify: Simplify (/ 1 (/ (+ (* (/ 1 x) (/ 1 x)) 1) (/ 1 x))) into (/ 1 (* (+ (/ 1 (pow x 2)) 1) x)) 1550653339.758 * [misc]approximate: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow x 2)) 1) x)) in (x) around 0 1550653339.758 * [misc]taylor: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow x 2)) 1) x)) in x 1550653339.758 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.758 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.758 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.758 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.758 * [misc]taylor: Taking taylor expansion of x in x 1550653339.758 * [misc]backup-simplify: Simplify 0 into 0 1550653339.758 * [misc]backup-simplify: Simplify 1 into 1 1550653339.758 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.759 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.759 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.759 * [misc]backup-simplify: Simplify 1 into 1 1550653339.759 * [misc]taylor: Taking taylor expansion of x in x 1550653339.759 * [misc]backup-simplify: Simplify 0 into 0 1550653339.759 * [misc]backup-simplify: Simplify 1 into 1 1550653339.759 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.759 * [misc]backup-simplify: Simplify (* 1 0) into 0 1550653339.759 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.759 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.759 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1550653339.759 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.759 * [misc]taylor: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow x 2)) 1) x)) in x 1550653339.759 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.759 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.759 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.760 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.760 * [misc]taylor: Taking taylor expansion of x in x 1550653339.760 * [misc]backup-simplify: Simplify 0 into 0 1550653339.760 * [misc]backup-simplify: Simplify 1 into 1 1550653339.760 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.760 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.760 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.760 * [misc]backup-simplify: Simplify 1 into 1 1550653339.760 * [misc]taylor: Taking taylor expansion of x in x 1550653339.760 * [misc]backup-simplify: Simplify 0 into 0 1550653339.760 * [misc]backup-simplify: Simplify 1 into 1 1550653339.760 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.760 * [misc]backup-simplify: Simplify (* 1 0) into 0 1550653339.760 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.761 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.761 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.761 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1550653339.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.761 * [misc]backup-simplify: Simplify 1 into 1 1550653339.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.761 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.761 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1) (* 1 0))) into 0 1550653339.762 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.762 * [misc]backup-simplify: Simplify 0 into 0 1550653339.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.762 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.762 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 1) (* 0 0)))) into 1 1550653339.763 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653339.763 * [misc]backup-simplify: Simplify -1 into -1 1550653339.763 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.763 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.763 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.763 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0))))) into 0 1550653339.764 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1550653339.764 * [misc]backup-simplify: Simplify 0 into 0 1550653339.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.764 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.764 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1550653339.765 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653339.765 * [misc]backup-simplify: Simplify 1 into 1 1550653339.765 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 5)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653339.765 * [misc]backup-simplify: Simplify (/ 1 (/ (+ (* (/ 1 (- x)) (/ 1 (- x))) 1) (/ 1 (- x)))) into (/ -1 (* (+ (/ 1 (pow x 2)) 1) x)) 1550653339.765 * [misc]approximate: Taking taylor expansion of (/ -1 (* (+ (/ 1 (pow x 2)) 1) x)) in (x) around 0 1550653339.765 * [misc]taylor: Taking taylor expansion of (/ -1 (* (+ (/ 1 (pow x 2)) 1) x)) in x 1550653339.765 * [misc]taylor: Taking taylor expansion of -1 in x 1550653339.765 * [misc]backup-simplify: Simplify -1 into -1 1550653339.765 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.765 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.765 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.765 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.765 * [misc]taylor: Taking taylor expansion of x in x 1550653339.765 * [misc]backup-simplify: Simplify 0 into 0 1550653339.765 * [misc]backup-simplify: Simplify 1 into 1 1550653339.765 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.765 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.765 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.766 * [misc]backup-simplify: Simplify 1 into 1 1550653339.766 * [misc]taylor: Taking taylor expansion of x in x 1550653339.766 * [misc]backup-simplify: Simplify 0 into 0 1550653339.766 * [misc]backup-simplify: Simplify 1 into 1 1550653339.766 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.766 * [misc]backup-simplify: Simplify (* 1 0) into 0 1550653339.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.766 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.766 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.766 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1550653339.766 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550653339.766 * [misc]taylor: Taking taylor expansion of (/ -1 (* (+ (/ 1 (pow x 2)) 1) x)) in x 1550653339.766 * [misc]taylor: Taking taylor expansion of -1 in x 1550653339.766 * [misc]backup-simplify: Simplify -1 into -1 1550653339.766 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) 1) x) in x 1550653339.766 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.766 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.766 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.766 * [misc]taylor: Taking taylor expansion of x in x 1550653339.767 * [misc]backup-simplify: Simplify 0 into 0 1550653339.767 * [misc]backup-simplify: Simplify 1 into 1 1550653339.767 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.767 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.767 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.767 * [misc]backup-simplify: Simplify 1 into 1 1550653339.767 * [misc]taylor: Taking taylor expansion of x in x 1550653339.767 * [misc]backup-simplify: Simplify 0 into 0 1550653339.767 * [misc]backup-simplify: Simplify 1 into 1 1550653339.767 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.767 * [misc]backup-simplify: Simplify (* 1 0) into 0 1550653339.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.767 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.767 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.768 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 0 0)) into 1 1550653339.768 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550653339.768 * [misc]backup-simplify: Simplify -1 into -1 1550653339.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.768 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.768 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1) (* 1 0))) into 0 1550653339.768 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1550653339.768 * [misc]backup-simplify: Simplify 0 into 0 1550653339.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.769 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.769 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 1) (* 0 0)))) into 1 1550653339.769 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653339.769 * [misc]backup-simplify: Simplify 1 into 1 1550653339.770 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.770 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.770 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.770 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0))))) into 0 1550653339.770 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 1 1)) (* 1 (/ 0 1)))) into 0 1550653339.770 * [misc]backup-simplify: Simplify 0 into 0 1550653339.771 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.771 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.771 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.771 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1550653339.771 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653339.771 * [misc]backup-simplify: Simplify -1 into -1 1550653339.772 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 5)) (+ (* 1 (pow (/ 1 (- x)) 3)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653339.772 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 1) 1550653339.772 * [misc]backup-simplify: Simplify (+ (* x x) 1) into (+ (pow x 2) 1) 1550653339.772 * [misc]approximate: Taking taylor expansion of (+ (pow x 2) 1) in (x) around 0 1550653339.772 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653339.772 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.772 * [misc]taylor: Taking taylor expansion of x in x 1550653339.772 * [misc]backup-simplify: Simplify 0 into 0 1550653339.772 * [misc]backup-simplify: Simplify 1 into 1 1550653339.772 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.772 * [misc]backup-simplify: Simplify 1 into 1 1550653339.772 * [misc]taylor: Taking taylor expansion of (+ (pow x 2) 1) in x 1550653339.772 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.772 * [misc]taylor: Taking taylor expansion of x in x 1550653339.772 * [misc]backup-simplify: Simplify 0 into 0 1550653339.772 * [misc]backup-simplify: Simplify 1 into 1 1550653339.772 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.772 * [misc]backup-simplify: Simplify 1 into 1 1550653339.772 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.772 * [misc]backup-simplify: Simplify 1 into 1 1550653339.772 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.772 * [misc]backup-simplify: Simplify 0 into 0 1550653339.772 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.773 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.773 * [misc]backup-simplify: Simplify 1 into 1 1550653339.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.773 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.773 * [misc]backup-simplify: Simplify 0 into 0 1550653339.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.773 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.773 * [misc]backup-simplify: Simplify 0 into 0 1550653339.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.773 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.773 * [misc]backup-simplify: Simplify 0 into 0 1550653339.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.774 * [misc]backup-simplify: Simplify 0 into 0 1550653339.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.774 * [misc]backup-simplify: Simplify 0 into 0 1550653339.775 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653339.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.775 * [misc]backup-simplify: Simplify 0 into 0 1550653339.775 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) 1) into (+ (pow x 2) 1) 1550653339.775 * [misc]backup-simplify: Simplify (+ (* (/ 1 x) (/ 1 x)) 1) into (+ (/ 1 (pow x 2)) 1) 1550653339.775 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in (x) around 0 1550653339.775 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.775 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.775 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.775 * [misc]taylor: Taking taylor expansion of x in x 1550653339.775 * [misc]backup-simplify: Simplify 0 into 0 1550653339.775 * [misc]backup-simplify: Simplify 1 into 1 1550653339.775 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.775 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.775 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.775 * [misc]backup-simplify: Simplify 1 into 1 1550653339.775 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.775 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.775 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.775 * [misc]taylor: Taking taylor expansion of x in x 1550653339.775 * [misc]backup-simplify: Simplify 0 into 0 1550653339.775 * [misc]backup-simplify: Simplify 1 into 1 1550653339.776 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.776 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.776 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.776 * [misc]backup-simplify: Simplify 1 into 1 1550653339.776 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.776 * [misc]backup-simplify: Simplify 1 into 1 1550653339.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.776 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.776 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.776 * [misc]backup-simplify: Simplify 0 into 0 1550653339.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.777 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.777 * [misc]backup-simplify: Simplify 1 into 1 1550653339.777 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.777 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.777 * [misc]backup-simplify: Simplify 0 into 0 1550653339.777 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.778 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.778 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.778 * [misc]backup-simplify: Simplify 0 into 0 1550653339.778 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.778 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.778 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.778 * [misc]backup-simplify: Simplify 0 into 0 1550653339.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653339.779 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.779 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.779 * [misc]backup-simplify: Simplify 0 into 0 1550653339.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1550653339.780 * [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 1550653339.780 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.780 * [misc]backup-simplify: Simplify 0 into 0 1550653339.780 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1550653339.781 * [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)) (* 0 (/ 0 1)))) into 0 1550653339.781 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.781 * [misc]backup-simplify: Simplify 0 into 0 1550653339.781 * [misc]backup-simplify: Simplify (+ 1 (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) 1) 1550653339.781 * [misc]backup-simplify: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) 1) into (+ (/ 1 (pow x 2)) 1) 1550653339.781 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in (x) around 0 1550653339.781 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.781 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.781 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.781 * [misc]taylor: Taking taylor expansion of x in x 1550653339.781 * [misc]backup-simplify: Simplify 0 into 0 1550653339.781 * [misc]backup-simplify: Simplify 1 into 1 1550653339.781 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.781 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.782 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.782 * [misc]backup-simplify: Simplify 1 into 1 1550653339.782 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x 1550653339.782 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550653339.782 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550653339.782 * [misc]taylor: Taking taylor expansion of x in x 1550653339.782 * [misc]backup-simplify: Simplify 0 into 0 1550653339.782 * [misc]backup-simplify: Simplify 1 into 1 1550653339.782 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550653339.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653339.782 * [misc]taylor: Taking taylor expansion of 1 in x 1550653339.782 * [misc]backup-simplify: Simplify 1 into 1 1550653339.782 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653339.782 * [misc]backup-simplify: Simplify 1 into 1 1550653339.782 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550653339.783 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653339.783 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.783 * [misc]backup-simplify: Simplify 0 into 0 1550653339.783 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550653339.783 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.783 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653339.783 * [misc]backup-simplify: Simplify 1 into 1 1550653339.783 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550653339.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.784 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.784 * [misc]backup-simplify: Simplify 0 into 0 1550653339.784 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1550653339.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.784 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.784 * [misc]backup-simplify: Simplify 0 into 0 1550653339.785 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1550653339.785 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.785 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.785 * [misc]backup-simplify: Simplify 0 into 0 1550653339.785 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1550653339.786 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653339.786 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.786 * [misc]backup-simplify: Simplify 0 into 0 1550653339.786 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1550653339.786 * [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 1550653339.786 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.787 * [misc]backup-simplify: Simplify 0 into 0 1550653339.787 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1550653339.787 * [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)) (* 0 (/ 0 1)))) into 0 1550653339.787 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653339.787 * [misc]backup-simplify: Simplify 0 into 0 1550653339.787 * [misc]backup-simplify: Simplify (+ 1 (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) 1) 1550653339.788 * * * [misc]progress: simplifying candidates 1550653339.788 * * * * [misc]progress: [ 1 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 2 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 3 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 4 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 5 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 6 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 7 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 8 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 9 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 10 / 55 ] simplifiying candidate # 1550653339.788 * * * * [misc]progress: [ 11 / 55 ] simplifiying candidate # 1550653339.788 * [enter]simplify: Simplifying (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1))) 1550653339.788 * * [misc]simplify: iters left: 6 (6 enodes) 1550653339.790 * * [misc]simplify: iters left: 5 (21 enodes) 1550653339.794 * * [misc]simplify: iters left: 4 (23 enodes) 1550653339.801 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.801 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653339.801 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550653339.801 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1550653339.801 * * [misc]simplify: Extracting #4: cost 9 inf + 1 1550653339.801 * * [misc]simplify: Extracting #5: cost 8 inf + 2 1550653339.802 * * [misc]simplify: Extracting #6: cost 0 inf + 976 1550653339.802 * [exit]simplify: Simplified to (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1))) 1550653339.802 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (* (cbrt (+ (* x x) 1)) (cbrt (+ (* x x) 1))) (/ x (cbrt (+ (* x x) 1)))))) 1550653339.802 * * * * [misc]progress: [ 12 / 55 ] simplifiying candidate # 1550653339.802 * [enter]simplify: Simplifying (sqrt (+ (* x x) 1)) 1550653339.803 * * [misc]simplify: iters left: 5 (5 enodes) 1550653339.805 * * [misc]simplify: iters left: 4 (18 enodes) 1550653339.811 * * [misc]simplify: iters left: 3 (20 enodes) 1550653339.817 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.817 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653339.817 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653339.817 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550653339.817 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1550653339.818 * * [misc]simplify: Extracting #5: cost 0 inf + 492 1550653339.818 * [exit]simplify: Simplified to (sqrt (+ (* x x) 1)) 1550653339.818 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (sqrt (+ (* x x) 1)) (/ x (sqrt (+ (* x x) 1)))))) 1550653339.818 * * * * [misc]progress: [ 13 / 55 ] simplifiying candidate # 1550653339.818 * * * * [misc]progress: [ 14 / 55 ] simplifiying candidate # 1550653339.818 * [enter]simplify: Simplifying (+ (pow (* x x) 3) (pow 1 3)) 1550653339.818 * * [misc]simplify: iters left: 5 (7 enodes) 1550653339.823 * * [misc]simplify: iters left: 4 (29 enodes) 1550653339.832 * * [misc]simplify: iters left: 3 (43 enodes) 1550653339.845 * * [misc]simplify: iters left: 2 (52 enodes) 1550653339.860 * * [misc]simplify: iters left: 1 (57 enodes) 1550653339.868 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.868 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653339.868 * * [misc]simplify: Extracting #2: cost 11 inf + 1 1550653339.868 * * [misc]simplify: Extracting #3: cost 14 inf + 4 1550653339.868 * * [misc]simplify: Extracting #4: cost 7 inf + 633 1550653339.869 * * [misc]simplify: Extracting #5: cost 1 inf + 1281 1550653339.869 * * [misc]simplify: Extracting #6: cost 0 inf + 1220 1550653339.869 * [exit]simplify: Simplified to (+ (* (* x (* x x)) (* x (* x x))) 1) 1550653339.869 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (+ (* (* x (* x x)) (* x (* x x))) 1) (* x (+ (* (* x x) (* x x)) (- (* 1 1) (* (* x x) 1))))))) 1550653339.869 * * * * [misc]progress: [ 15 / 55 ] simplifiying candidate # 1550653339.870 * [enter]simplify: Simplifying (- (* (* x x) (* x x)) (* 1 1)) 1550653339.870 * * [misc]simplify: iters left: 6 (6 enodes) 1550653339.872 * * [misc]simplify: iters left: 5 (25 enodes) 1550653339.876 * * [misc]simplify: iters left: 4 (36 enodes) 1550653339.882 * * [misc]simplify: iters left: 3 (51 enodes) 1550653339.890 * * [misc]simplify: iters left: 2 (80 enodes) 1550653339.907 * * [misc]simplify: iters left: 1 (179 enodes) 1550653339.954 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.954 * * [misc]simplify: Extracting #1: cost 40 inf + 0 1550653339.954 * * [misc]simplify: Extracting #2: cost 90 inf + 2 1550653339.954 * * [misc]simplify: Extracting #3: cost 94 inf + 129 1550653339.956 * * [misc]simplify: Extracting #4: cost 29 inf + 8619 1550653339.959 * * [misc]simplify: Extracting #5: cost 0 inf + 12202 1550653339.963 * * [misc]simplify: Extracting #6: cost 0 inf + 12200 1550653339.966 * [exit]simplify: Simplified to (+ -1 (* (* x x) (* x x))) 1550653339.966 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (+ -1 (* (* x x) (* x x))) (* x (- (* x x) 1))))) 1550653339.966 * * * * [misc]progress: [ 16 / 55 ] simplifiying candidate #real (real->posit16 (/ (+ (* x x) 1) x)))))> 1550653339.966 * * * * [misc]progress: [ 17 / 55 ] simplifiying candidate # 1550653339.966 * * * * [misc]progress: [ 18 / 55 ] simplifiying candidate # 1550653339.966 * [enter]simplify: Simplifying (- 1) 1550653339.966 * * [misc]simplify: iters left: 2 (2 enodes) 1550653339.967 * * [misc]simplify: iters left: 1 (9 enodes) 1550653339.969 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.969 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550653339.969 * [exit]simplify: Simplified to -1 1550653339.969 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (/ (+ (* x x) 1) x) -1)) 1550653339.969 * * * * [misc]progress: [ 19 / 55 ] simplifiying candidate # 1550653339.969 * * * * [misc]progress: [ 20 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 21 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 22 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 23 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 24 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 25 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 26 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 27 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 28 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 29 / 55 ] simplifiying candidate # 1550653339.970 * * * * [misc]progress: [ 30 / 55 ] simplifiying candidate # 1550653339.970 * [enter]simplify: Simplifying (cbrt (/ (+ (* x x) 1) x)) 1550653339.970 * * [misc]simplify: iters left: 6 (6 enodes) 1550653339.972 * * [misc]simplify: iters left: 5 (21 enodes) 1550653339.975 * * [misc]simplify: iters left: 4 (23 enodes) 1550653339.978 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.978 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653339.978 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653339.979 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550653339.979 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1550653339.979 * * [misc]simplify: Extracting #5: cost 1 inf + 694 1550653339.979 * * [misc]simplify: Extracting #6: cost 0 inf + 896 1550653339.979 * [exit]simplify: Simplified to (cbrt (/ (+ (* x x) 1) x)) 1550653339.979 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (* (cbrt (/ (+ (* x x) 1) x)) (cbrt (/ (+ (* x x) 1) x)))) (cbrt (/ (+ (* x x) 1) x)))) 1550653339.979 * * * * [misc]progress: [ 31 / 55 ] simplifiying candidate # 1550653339.979 * [enter]simplify: Simplifying (sqrt (/ (+ (* x x) 1) x)) 1550653339.979 * * [misc]simplify: iters left: 6 (6 enodes) 1550653339.982 * * [misc]simplify: iters left: 5 (21 enodes) 1550653339.989 * * [misc]simplify: iters left: 4 (23 enodes) 1550653339.995 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653339.995 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653339.996 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653339.996 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550653339.996 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1550653339.996 * * [misc]simplify: Extracting #5: cost 1 inf + 654 1550653339.996 * * [misc]simplify: Extracting #6: cost 0 inf + 816 1550653339.997 * [exit]simplify: Simplified to (sqrt (/ (+ (* x x) 1) x)) 1550653339.997 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (sqrt (/ (+ (* x x) 1) x))) (sqrt (/ (+ (* x x) 1) x)))) 1550653339.997 * * * * [misc]progress: [ 32 / 55 ] simplifiying candidate # 1550653339.997 * [enter]simplify: Simplifying (/ (+ (* x x) 1) x) 1550653339.997 * * [misc]simplify: iters left: 6 (5 enodes) 1550653340.000 * * [misc]simplify: iters left: 5 (18 enodes) 1550653340.006 * * [misc]simplify: iters left: 4 (20 enodes) 1550653340.012 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.012 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.012 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653340.012 * * [misc]simplify: Extracting #3: cost 1 inf + 451 1550653340.012 * * [misc]simplify: Extracting #4: cost 0 inf + 492 1550653340.013 * [exit]simplify: Simplified to (/ (+ (* x x) 1) x) 1550653340.013 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 1) (/ (+ (* x x) 1) x))) 1550653340.013 * * * * [misc]progress: [ 33 / 55 ] simplifiying candidate # 1550653340.013 * [enter]simplify: Simplifying (/ 1 x) 1550653340.013 * * [misc]simplify: iters left: 2 (3 enodes) 1550653340.015 * * [misc]simplify: iters left: 1 (11 enodes) 1550653340.019 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.019 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.019 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550653340.019 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550653340.019 * [exit]simplify: Simplified to (/ 1 x) 1550653340.019 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (+ (* x x) 1)) (/ 1 x))) 1550653340.019 * * * * [misc]progress: [ 34 / 55 ] simplifiying candidate # 1550653340.019 * * * * [misc]progress: [ 35 / 55 ] simplifiying candidate #real (real->posit16 (/ 1 (/ (+ (* x x) 1) x)))))> 1550653340.019 * * * * [misc]progress: [ 36 / 55 ] simplifiying candidate # 1550653340.019 * * * * [misc]progress: [ 37 / 55 ] simplifiying candidate # 1550653340.019 * * * * [misc]progress: [ 38 / 55 ] simplifiying candidate # 1550653340.019 * * * * [misc]progress: [ 39 / 55 ] simplifiying candidate # 1550653340.019 * * * * [misc]progress: [ 40 / 55 ] simplifiying candidate # 1550653340.019 * * * * [misc]progress: [ 41 / 55 ] simplifiying candidate # 1550653340.020 * * * * [misc]progress: [ 42 / 55 ] simplifiying candidate # 1550653340.020 * * * * [misc]progress: [ 43 / 55 ] simplifiying candidate # 1550653340.020 * * * * [misc]progress: [ 44 / 55 ] simplifiying candidate # 1550653340.020 * * * * [misc]progress: [ 45 / 55 ] simplifiying candidate #real (real->posit16 (+ (* x x) 1))) x)))> 1550653340.020 * * * * [misc]progress: [ 46 / 55 ] simplifiying candidate # 1550653340.020 * * * * [misc]progress: [ 47 / 55 ] simplifiying candidate # 1550653340.020 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653340.020 * * [misc]simplify: iters left: 4 (4 enodes) 1550653340.023 * * [misc]simplify: iters left: 3 (15 enodes) 1550653340.030 * * [misc]simplify: iters left: 2 (17 enodes) 1550653340.035 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.035 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.035 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653340.035 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653340.035 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653340.035 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ x (/ 1 x)))) 1550653340.035 * * * * [misc]progress: [ 48 / 55 ] simplifiying candidate # 1550653340.036 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653340.036 * * [misc]simplify: iters left: 4 (4 enodes) 1550653340.038 * * [misc]simplify: iters left: 3 (15 enodes) 1550653340.043 * * [misc]simplify: iters left: 2 (17 enodes) 1550653340.048 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.048 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.048 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653340.048 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653340.048 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653340.048 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ x (/ 1 x)))) 1550653340.048 * * * * [misc]progress: [ 49 / 55 ] simplifiying candidate # 1550653340.048 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653340.049 * * [misc]simplify: iters left: 4 (4 enodes) 1550653340.051 * * [misc]simplify: iters left: 3 (15 enodes) 1550653340.056 * * [misc]simplify: iters left: 2 (17 enodes) 1550653340.061 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.061 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.061 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653340.061 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653340.061 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653340.061 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ x (/ 1 x)))) 1550653340.061 * * * * [misc]progress: [ 50 / 55 ] simplifiying candidate # 1550653340.061 * [enter]simplify: Simplifying (- (+ x (pow x 5)) (pow x 3)) 1550653340.061 * * [misc]simplify: iters left: 5 (7 enodes) 1550653340.066 * * [misc]simplify: iters left: 4 (29 enodes) 1550653340.076 * * [misc]simplify: iters left: 3 (49 enodes) 1550653340.091 * * [misc]simplify: iters left: 2 (67 enodes) 1550653340.109 * * [misc]simplify: iters left: 1 (78 enodes) 1550653340.130 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.130 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550653340.130 * * [misc]simplify: Extracting #2: cost 25 inf + 1 1550653340.130 * * [misc]simplify: Extracting #3: cost 21 inf + 529 1550653340.131 * * [misc]simplify: Extracting #4: cost 6 inf + 3301 1550653340.132 * * [misc]simplify: Extracting #5: cost 1 inf + 3720 1550653340.134 * * [misc]simplify: Extracting #6: cost 0 inf + 3802 1550653340.135 * [exit]simplify: Simplified to (+ x (- (pow x 5) (* (* x x) x))) 1550653340.135 * [misc]simplify: Simplified (2) to (λ (x) (+ x (- (pow x 5) (* (* x x) x)))) 1550653340.135 * * * * [misc]progress: [ 51 / 55 ] simplifiying candidate # 1550653340.135 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653340.135 * * [misc]simplify: iters left: 6 (11 enodes) 1550653340.141 * * [misc]simplify: iters left: 5 (43 enodes) 1550653340.155 * * [misc]simplify: iters left: 4 (65 enodes) 1550653340.174 * * [misc]simplify: iters left: 3 (83 enodes) 1550653340.199 * * [misc]simplify: iters left: 2 (94 enodes) 1550653340.222 * * [misc]simplify: iters left: 1 (99 enodes) 1550653340.248 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.248 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550653340.248 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550653340.248 * * [misc]simplify: Extracting #3: cost 38 inf + 45 1550653340.249 * * [misc]simplify: Extracting #4: cost 20 inf + 2180 1550653340.250 * * [misc]simplify: Extracting #5: cost 0 inf + 7872 1550653340.253 * [exit]simplify: Simplified to (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x)) 1550653340.253 * [misc]simplify: Simplified (2) to (λ (x) (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x))) 1550653340.253 * * * * [misc]progress: [ 52 / 55 ] simplifiying candidate # 1550653340.253 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653340.253 * * [misc]simplify: iters left: 6 (11 enodes) 1550653340.259 * * [misc]simplify: iters left: 5 (43 enodes) 1550653340.273 * * [misc]simplify: iters left: 4 (65 enodes) 1550653340.293 * * [misc]simplify: iters left: 3 (83 enodes) 1550653340.317 * * [misc]simplify: iters left: 2 (94 enodes) 1550653340.341 * * [misc]simplify: iters left: 1 (99 enodes) 1550653340.354 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.354 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550653340.355 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550653340.355 * * [misc]simplify: Extracting #3: cost 38 inf + 45 1550653340.355 * * [misc]simplify: Extracting #4: cost 20 inf + 2180 1550653340.356 * * [misc]simplify: Extracting #5: cost 0 inf + 7872 1550653340.357 * [exit]simplify: Simplified to (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x)) 1550653340.357 * [misc]simplify: Simplified (2) to (λ (x) (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x))) 1550653340.357 * * * * [misc]progress: [ 53 / 55 ] simplifiying candidate # 1550653340.357 * [enter]simplify: Simplifying (+ (pow x 2) 1) 1550653340.357 * * [misc]simplify: iters left: 3 (5 enodes) 1550653340.359 * * [misc]simplify: iters left: 2 (19 enodes) 1550653340.362 * * [misc]simplify: iters left: 1 (21 enodes) 1550653340.366 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.366 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.366 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653340.366 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1550653340.366 * * [misc]simplify: Extracting #4: cost 0 inf + 249 1550653340.366 * [exit]simplify: Simplified to (+ 1 (* x x)) 1550653340.366 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (+ 1 (* x x)) x))) 1550653340.366 * * * * [misc]progress: [ 54 / 55 ] simplifiying candidate # 1550653340.366 * [enter]simplify: Simplifying (+ (pow x 2) 1) 1550653340.366 * * [misc]simplify: iters left: 3 (5 enodes) 1550653340.368 * * [misc]simplify: iters left: 2 (19 enodes) 1550653340.371 * * [misc]simplify: iters left: 1 (21 enodes) 1550653340.376 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.376 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.376 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653340.376 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1550653340.376 * * [misc]simplify: Extracting #4: cost 0 inf + 249 1550653340.376 * [exit]simplify: Simplified to (+ 1 (* x x)) 1550653340.376 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (+ 1 (* x x)) x))) 1550653340.376 * * * * [misc]progress: [ 55 / 55 ] simplifiying candidate # 1550653340.377 * [enter]simplify: Simplifying (+ (pow x 2) 1) 1550653340.377 * * [misc]simplify: iters left: 3 (5 enodes) 1550653340.380 * * [misc]simplify: iters left: 2 (19 enodes) 1550653340.386 * * [misc]simplify: iters left: 1 (21 enodes) 1550653340.392 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.392 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.392 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550653340.392 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1550653340.392 * * [misc]simplify: Extracting #4: cost 0 inf + 249 1550653340.392 * [exit]simplify: Simplified to (+ 1 (* x x)) 1550653340.392 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ 1 (/ (+ 1 (* x x)) x))) 1550653340.393 * * * [misc]progress: adding candidates to table 1550653340.799 * * [misc]progress: iteration 3 / 4 1550653340.799 * * * [misc]progress: picking best candidate 1550653340.802 * * * * [misc]pick: Picked # 1550653340.802 * * * [misc]progress: localizing error 1550653340.818 * * * [misc]progress: generating rewritten candidates 1550653340.818 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1550653340.820 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1550653340.823 * * * [misc]progress: generating series expansions 1550653340.823 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1550653340.823 * [misc]backup-simplify: Simplify (/ 1 (+ x (/ 1 x))) into (/ 1 (+ x (/ 1 x))) 1550653340.823 * [misc]approximate: Taking taylor expansion of (/ 1 (+ x (/ 1 x))) in (x) around 0 1550653340.823 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x (/ 1 x))) in x 1550653340.823 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.823 * [misc]taylor: Taking taylor expansion of x in x 1550653340.823 * [misc]backup-simplify: Simplify 0 into 0 1550653340.823 * [misc]backup-simplify: Simplify 1 into 1 1550653340.823 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.823 * [misc]taylor: Taking taylor expansion of x in x 1550653340.823 * [misc]backup-simplify: Simplify 0 into 0 1550653340.823 * [misc]backup-simplify: Simplify 1 into 1 1550653340.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.824 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.824 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x (/ 1 x))) in x 1550653340.824 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.824 * [misc]taylor: Taking taylor expansion of x in x 1550653340.824 * [misc]backup-simplify: Simplify 0 into 0 1550653340.824 * [misc]backup-simplify: Simplify 1 into 1 1550653340.824 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.824 * [misc]taylor: Taking taylor expansion of x in x 1550653340.824 * [misc]backup-simplify: Simplify 0 into 0 1550653340.824 * [misc]backup-simplify: Simplify 1 into 1 1550653340.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.824 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.825 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.825 * [misc]backup-simplify: Simplify 1 into 1 1550653340.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.825 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.825 * [misc]backup-simplify: Simplify 0 into 0 1550653340.826 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.826 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653340.826 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653340.826 * [misc]backup-simplify: Simplify -1 into -1 1550653340.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.827 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1550653340.827 * [misc]backup-simplify: Simplify 0 into 0 1550653340.828 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.828 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653340.828 * [misc]backup-simplify: Simplify 1 into 1 1550653340.829 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 5)) (+ (* -1 (pow x 3)) (* 1 x))) into (- (+ x (pow x 5)) (pow x 3)) 1550653340.829 * [misc]backup-simplify: Simplify (/ 1 (+ (/ 1 x) (/ 1 (/ 1 x)))) into (/ 1 (+ x (/ 1 x))) 1550653340.829 * [misc]approximate: Taking taylor expansion of (/ 1 (+ x (/ 1 x))) in (x) around 0 1550653340.829 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x (/ 1 x))) in x 1550653340.829 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.829 * [misc]taylor: Taking taylor expansion of x in x 1550653340.829 * [misc]backup-simplify: Simplify 0 into 0 1550653340.829 * [misc]backup-simplify: Simplify 1 into 1 1550653340.829 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.829 * [misc]taylor: Taking taylor expansion of x in x 1550653340.829 * [misc]backup-simplify: Simplify 0 into 0 1550653340.829 * [misc]backup-simplify: Simplify 1 into 1 1550653340.829 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.830 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.830 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.830 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x (/ 1 x))) in x 1550653340.830 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.830 * [misc]taylor: Taking taylor expansion of x in x 1550653340.830 * [misc]backup-simplify: Simplify 0 into 0 1550653340.832 * [misc]backup-simplify: Simplify 1 into 1 1550653340.832 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.832 * [misc]taylor: Taking taylor expansion of x in x 1550653340.833 * [misc]backup-simplify: Simplify 0 into 0 1550653340.833 * [misc]backup-simplify: Simplify 1 into 1 1550653340.833 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.833 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.833 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.833 * [misc]backup-simplify: Simplify 1 into 1 1550653340.834 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.834 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.834 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.834 * [misc]backup-simplify: Simplify 0 into 0 1550653340.834 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.834 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653340.835 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653340.835 * [misc]backup-simplify: Simplify -1 into -1 1550653340.835 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.835 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 1 1)) (* -1 (/ 0 1)))) into 0 1550653340.836 * [misc]backup-simplify: Simplify 0 into 0 1550653340.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.836 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.837 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653340.837 * [misc]backup-simplify: Simplify 1 into 1 1550653340.837 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 5)) (+ (* -1 (pow (/ 1 x) 3)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653340.837 * [misc]backup-simplify: Simplify (/ 1 (+ (/ 1 (- x)) (/ 1 (/ 1 (- x))))) into (/ -1 (+ x (/ 1 x))) 1550653340.837 * [misc]approximate: Taking taylor expansion of (/ -1 (+ x (/ 1 x))) in (x) around 0 1550653340.837 * [misc]taylor: Taking taylor expansion of (/ -1 (+ x (/ 1 x))) in x 1550653340.837 * [misc]taylor: Taking taylor expansion of -1 in x 1550653340.837 * [misc]backup-simplify: Simplify -1 into -1 1550653340.837 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.837 * [misc]taylor: Taking taylor expansion of x in x 1550653340.837 * [misc]backup-simplify: Simplify 0 into 0 1550653340.838 * [misc]backup-simplify: Simplify 1 into 1 1550653340.838 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.838 * [misc]taylor: Taking taylor expansion of x in x 1550653340.838 * [misc]backup-simplify: Simplify 0 into 0 1550653340.838 * [misc]backup-simplify: Simplify 1 into 1 1550653340.838 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.838 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.838 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550653340.838 * [misc]taylor: Taking taylor expansion of (/ -1 (+ x (/ 1 x))) in x 1550653340.838 * [misc]taylor: Taking taylor expansion of -1 in x 1550653340.838 * [misc]backup-simplify: Simplify -1 into -1 1550653340.838 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.838 * [misc]taylor: Taking taylor expansion of x in x 1550653340.838 * [misc]backup-simplify: Simplify 0 into 0 1550653340.838 * [misc]backup-simplify: Simplify 1 into 1 1550653340.838 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.838 * [misc]taylor: Taking taylor expansion of x in x 1550653340.838 * [misc]backup-simplify: Simplify 0 into 0 1550653340.838 * [misc]backup-simplify: Simplify 1 into 1 1550653340.839 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.839 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.839 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550653340.839 * [misc]backup-simplify: Simplify -1 into -1 1550653340.839 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.839 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.840 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1550653340.840 * [misc]backup-simplify: Simplify 0 into 0 1550653340.840 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.840 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653340.841 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)) (* 0 (/ 0 1)))) into 1 1550653340.841 * [misc]backup-simplify: Simplify 1 into 1 1550653340.841 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.841 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 1 1)) (* 1 (/ 0 1)))) into 0 1550653340.842 * [misc]backup-simplify: Simplify 0 into 0 1550653340.842 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.842 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.843 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 1 (/ 1 1)) (* 0 (/ 0 1)))) into -1 1550653340.843 * [misc]backup-simplify: Simplify -1 into -1 1550653340.843 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 5)) (+ (* 1 (pow (/ 1 (- x)) 3)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653340.843 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1550653340.843 * [misc]backup-simplify: Simplify (+ x (/ 1 x)) into (+ x (/ 1 x)) 1550653340.843 * [misc]approximate: Taking taylor expansion of (+ x (/ 1 x)) in (x) around 0 1550653340.843 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.843 * [misc]taylor: Taking taylor expansion of x in x 1550653340.843 * [misc]backup-simplify: Simplify 0 into 0 1550653340.843 * [misc]backup-simplify: Simplify 1 into 1 1550653340.843 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.843 * [misc]taylor: Taking taylor expansion of x in x 1550653340.843 * [misc]backup-simplify: Simplify 0 into 0 1550653340.843 * [misc]backup-simplify: Simplify 1 into 1 1550653340.844 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.844 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.844 * [misc]taylor: Taking taylor expansion of x in x 1550653340.844 * [misc]backup-simplify: Simplify 0 into 0 1550653340.844 * [misc]backup-simplify: Simplify 1 into 1 1550653340.844 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.844 * [misc]taylor: Taking taylor expansion of x in x 1550653340.844 * [misc]backup-simplify: Simplify 0 into 0 1550653340.844 * [misc]backup-simplify: Simplify 1 into 1 1550653340.844 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.844 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.844 * [misc]backup-simplify: Simplify 1 into 1 1550653340.844 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.845 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.845 * [misc]backup-simplify: Simplify 0 into 0 1550653340.845 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.845 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653340.845 * [misc]backup-simplify: Simplify 1 into 1 1550653340.845 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.846 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.846 * [misc]backup-simplify: Simplify 0 into 0 1550653340.846 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.846 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.846 * [misc]backup-simplify: Simplify 0 into 0 1550653340.847 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.847 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.847 * [misc]backup-simplify: Simplify 0 into 0 1550653340.847 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.848 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.848 * [misc]backup-simplify: Simplify 0 into 0 1550653340.848 * [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 1550653340.849 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.849 * [misc]backup-simplify: Simplify 0 into 0 1550653340.849 * [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)) (* 0 (/ 0 1)))) into 0 1550653340.849 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.849 * [misc]backup-simplify: Simplify 0 into 0 1550653340.849 * [misc]backup-simplify: Simplify (+ (* 1 x) (* 1 (/ 1 x))) into (+ x (/ 1 x)) 1550653340.850 * [misc]backup-simplify: Simplify (+ (/ 1 x) (/ 1 (/ 1 x))) into (+ x (/ 1 x)) 1550653340.850 * [misc]approximate: Taking taylor expansion of (+ x (/ 1 x)) in (x) around 0 1550653340.850 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.850 * [misc]taylor: Taking taylor expansion of x in x 1550653340.850 * [misc]backup-simplify: Simplify 0 into 0 1550653340.850 * [misc]backup-simplify: Simplify 1 into 1 1550653340.850 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.850 * [misc]taylor: Taking taylor expansion of x in x 1550653340.850 * [misc]backup-simplify: Simplify 0 into 0 1550653340.850 * [misc]backup-simplify: Simplify 1 into 1 1550653340.850 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.850 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.850 * [misc]taylor: Taking taylor expansion of x in x 1550653340.850 * [misc]backup-simplify: Simplify 0 into 0 1550653340.850 * [misc]backup-simplify: Simplify 1 into 1 1550653340.850 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.850 * [misc]taylor: Taking taylor expansion of x in x 1550653340.850 * [misc]backup-simplify: Simplify 0 into 0 1550653340.850 * [misc]backup-simplify: Simplify 1 into 1 1550653340.850 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.851 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.851 * [misc]backup-simplify: Simplify 1 into 1 1550653340.851 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.851 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.851 * [misc]backup-simplify: Simplify 0 into 0 1550653340.852 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.852 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653340.852 * [misc]backup-simplify: Simplify 1 into 1 1550653340.852 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.852 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.852 * [misc]backup-simplify: Simplify 0 into 0 1550653340.853 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.853 * [misc]backup-simplify: Simplify 0 into 0 1550653340.853 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.854 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.854 * [misc]backup-simplify: Simplify 0 into 0 1550653340.854 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.854 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.854 * [misc]backup-simplify: Simplify 0 into 0 1550653340.855 * [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 1550653340.855 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.855 * [misc]backup-simplify: Simplify 0 into 0 1550653340.856 * [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)) (* 0 (/ 0 1)))) into 0 1550653340.856 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.856 * [misc]backup-simplify: Simplify 0 into 0 1550653340.856 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) (* 1 (/ 1 (/ 1 x)))) into (+ x (/ 1 x)) 1550653340.857 * [misc]backup-simplify: Simplify (+ (/ 1 (- x)) (/ 1 (/ 1 (- x)))) into (- (+ x (/ 1 x))) 1550653340.857 * [misc]approximate: Taking taylor expansion of (- (+ x (/ 1 x))) in (x) around 0 1550653340.857 * [misc]taylor: Taking taylor expansion of (- (+ x (/ 1 x))) in x 1550653340.857 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.857 * [misc]taylor: Taking taylor expansion of x in x 1550653340.857 * [misc]backup-simplify: Simplify 0 into 0 1550653340.857 * [misc]backup-simplify: Simplify 1 into 1 1550653340.857 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.857 * [misc]taylor: Taking taylor expansion of x in x 1550653340.857 * [misc]backup-simplify: Simplify 0 into 0 1550653340.857 * [misc]backup-simplify: Simplify 1 into 1 1550653340.857 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.857 * [misc]taylor: Taking taylor expansion of (- (+ x (/ 1 x))) in x 1550653340.857 * [misc]taylor: Taking taylor expansion of (+ x (/ 1 x)) in x 1550653340.857 * [misc]taylor: Taking taylor expansion of x in x 1550653340.857 * [misc]backup-simplify: Simplify 0 into 0 1550653340.857 * [misc]backup-simplify: Simplify 1 into 1 1550653340.857 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550653340.857 * [misc]taylor: Taking taylor expansion of x in x 1550653340.857 * [misc]backup-simplify: Simplify 0 into 0 1550653340.857 * [misc]backup-simplify: Simplify 1 into 1 1550653340.857 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550653340.858 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550653340.858 * [misc]backup-simplify: Simplify (- 1) into -1 1550653340.858 * [misc]backup-simplify: Simplify -1 into -1 1550653340.858 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550653340.858 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.858 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.859 * [misc]backup-simplify: Simplify 0 into 0 1550653340.859 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.859 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550653340.859 * [misc]backup-simplify: Simplify (- 1) into -1 1550653340.859 * [misc]backup-simplify: Simplify -1 into -1 1550653340.859 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.860 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.860 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.860 * [misc]backup-simplify: Simplify 0 into 0 1550653340.860 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.860 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.861 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.861 * [misc]backup-simplify: Simplify 0 into 0 1550653340.861 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.861 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.862 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.862 * [misc]backup-simplify: Simplify 0 into 0 1550653340.862 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550653340.862 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.862 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.863 * [misc]backup-simplify: Simplify 0 into 0 1550653340.863 * [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 1550653340.863 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.863 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.864 * [misc]backup-simplify: Simplify 0 into 0 1550653340.864 * [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)) (* 0 (/ 0 1)))) into 0 1550653340.864 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550653340.864 * [misc]backup-simplify: Simplify (- 0) into 0 1550653340.864 * [misc]backup-simplify: Simplify 0 into 0 1550653340.865 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) (* -1 (/ 1 (/ 1 (- x))))) into (+ x (/ 1 x)) 1550653340.865 * * * [misc]progress: simplifying candidates 1550653340.865 * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # 1550653340.865 * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # 1550653340.865 * [enter]simplify: Simplifying (- 1) 1550653340.865 * * [misc]simplify: iters left: 2 (2 enodes) 1550653340.868 * * [misc]simplify: iters left: 1 (9 enodes) 1550653340.871 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.871 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550653340.871 * [exit]simplify: Simplified to -1 1550653340.871 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (+ x (/ 1 x)) -1)) 1550653340.871 * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # 1550653340.871 * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # 1550653340.872 * [enter]simplify: Simplifying (cbrt (+ x (/ 1 x))) 1550653340.872 * * [misc]simplify: iters left: 5 (5 enodes) 1550653340.875 * * [misc]simplify: iters left: 4 (18 enodes) 1550653340.880 * * [misc]simplify: iters left: 3 (20 enodes) 1550653340.886 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.886 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653340.886 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653340.886 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550653340.886 * * [misc]simplify: Extracting #4: cost 0 inf + 574 1550653340.886 * [exit]simplify: Simplified to (cbrt (+ x (/ 1 x))) 1550653340.887 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (* (cbrt (+ x (/ 1 x))) (cbrt (+ x (/ 1 x))))) (cbrt (+ x (/ 1 x))))) 1550653340.887 * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # 1550653340.887 * [enter]simplify: Simplifying (sqrt (+ x (/ 1 x))) 1550653340.887 * * [misc]simplify: iters left: 5 (5 enodes) 1550653340.890 * * [misc]simplify: iters left: 4 (18 enodes) 1550653340.896 * * [misc]simplify: iters left: 3 (20 enodes) 1550653340.901 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.901 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550653340.901 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550653340.901 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550653340.902 * * [misc]simplify: Extracting #4: cost 0 inf + 494 1550653340.902 * [exit]simplify: Simplified to (sqrt (+ x (/ 1 x))) 1550653340.902 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 (sqrt (+ x (/ 1 x)))) (sqrt (+ x (/ 1 x))))) 1550653340.902 * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # 1550653340.902 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653340.902 * * [misc]simplify: iters left: 4 (4 enodes) 1550653340.904 * * [misc]simplify: iters left: 3 (15 enodes) 1550653340.909 * * [misc]simplify: iters left: 2 (17 enodes) 1550653340.914 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653340.914 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653340.914 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653340.915 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653340.915 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653340.915 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ 1 1) (+ x (/ 1 x)))) 1550653340.915 * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # 1550653340.915 * [enter]simplify: Simplifying (+ (* x x) (- (* (/ 1 x) (/ 1 x)) (* x (/ 1 x)))) 1550653340.915 * * [misc]simplify: iters left: 6 (8 enodes) 1550653340.920 * * [misc]simplify: iters left: 5 (34 enodes) 1550653340.931 * * [misc]simplify: iters left: 4 (51 enodes) 1550653340.942 * * [misc]simplify: iters left: 3 (73 enodes) 1550653340.953 * * [misc]simplify: iters left: 2 (116 enodes) 1550653340.981 * * [misc]simplify: iters left: 1 (197 enodes) 1550653341.023 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.023 * * [misc]simplify: Extracting #1: cost 36 inf + 0 1550653341.023 * * [misc]simplify: Extracting #2: cost 86 inf + 2 1550653341.024 * * [misc]simplify: Extracting #3: cost 86 inf + 86 1550653341.025 * * [misc]simplify: Extracting #4: cost 37 inf + 5581 1550653341.028 * * [misc]simplify: Extracting #5: cost 0 inf + 11632 1550653341.031 * [exit]simplify: Simplified to (+ (* (/ 1 x) (/ 1 x)) (- (* x x) 1)) 1550653341.031 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (+ (pow x 3) (pow (/ 1 x) 3))) (+ (* (/ 1 x) (/ 1 x)) (- (* x x) 1)))) 1550653341.031 * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # 1550653341.031 * [enter]simplify: Simplifying (- x (/ 1 x)) 1550653341.031 * * [misc]simplify: iters left: 4 (4 enodes) 1550653341.032 * * [misc]simplify: iters left: 3 (16 enodes) 1550653341.035 * * [misc]simplify: iters left: 2 (24 enodes) 1550653341.039 * * [misc]simplify: iters left: 1 (26 enodes) 1550653341.044 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.045 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550653341.045 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550653341.045 * * [misc]simplify: Extracting #3: cost 1 inf + 333 1550653341.045 * * [misc]simplify: Extracting #4: cost 0 inf + 375 1550653341.045 * * [misc]simplify: Extracting #5: cost 0 inf + 335 1550653341.045 * [exit]simplify: Simplified to (- x (/ 1 x)) 1550653341.045 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ 1 (- (* x x) (* (/ 1 x) (/ 1 x)))) (- x (/ 1 x)))) 1550653341.045 * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate #real (real->posit16 (/ 1 (+ x (/ 1 x))))))> 1550653341.045 * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 21 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # 1550653341.045 * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # 1550653341.046 * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate #real (real->posit16 (+ x (/ 1 x))))))> 1550653341.046 * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # 1550653341.046 * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # 1550653341.046 * [enter]simplify: Simplifying (- (+ x (pow x 5)) (pow x 3)) 1550653341.046 * * [misc]simplify: iters left: 5 (7 enodes) 1550653341.048 * * [misc]simplify: iters left: 4 (29 enodes) 1550653341.053 * * [misc]simplify: iters left: 3 (49 enodes) 1550653341.061 * * [misc]simplify: iters left: 2 (67 enodes) 1550653341.070 * * [misc]simplify: iters left: 1 (78 enodes) 1550653341.081 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.081 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550653341.081 * * [misc]simplify: Extracting #2: cost 25 inf + 1 1550653341.081 * * [misc]simplify: Extracting #3: cost 21 inf + 529 1550653341.082 * * [misc]simplify: Extracting #4: cost 6 inf + 3301 1550653341.082 * * [misc]simplify: Extracting #5: cost 1 inf + 3720 1550653341.083 * * [misc]simplify: Extracting #6: cost 0 inf + 3802 1550653341.083 * [exit]simplify: Simplified to (+ x (- (pow x 5) (* (* x x) x))) 1550653341.083 * [misc]simplify: Simplified (2) to (λ (x) (+ x (- (pow x 5) (* (* x x) x)))) 1550653341.083 * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # 1550653341.084 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653341.084 * * [misc]simplify: iters left: 6 (11 enodes) 1550653341.087 * * [misc]simplify: iters left: 5 (43 enodes) 1550653341.095 * * [misc]simplify: iters left: 4 (65 enodes) 1550653341.105 * * [misc]simplify: iters left: 3 (83 enodes) 1550653341.117 * * [misc]simplify: iters left: 2 (94 enodes) 1550653341.139 * * [misc]simplify: iters left: 1 (99 enodes) 1550653341.155 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.155 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550653341.156 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550653341.156 * * [misc]simplify: Extracting #3: cost 38 inf + 45 1550653341.156 * * [misc]simplify: Extracting #4: cost 20 inf + 2180 1550653341.157 * * [misc]simplify: Extracting #5: cost 0 inf + 7872 1550653341.158 * [exit]simplify: Simplified to (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x)) 1550653341.158 * [misc]simplify: Simplified (2) to (λ (x) (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x))) 1550653341.158 * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # 1550653341.158 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 5)) (/ 1 x)) (/ 1 (pow x 3))) 1550653341.158 * * [misc]simplify: iters left: 6 (11 enodes) 1550653341.161 * * [misc]simplify: iters left: 5 (43 enodes) 1550653341.169 * * [misc]simplify: iters left: 4 (65 enodes) 1550653341.179 * * [misc]simplify: iters left: 3 (83 enodes) 1550653341.191 * * [misc]simplify: iters left: 2 (94 enodes) 1550653341.203 * * [misc]simplify: iters left: 1 (99 enodes) 1550653341.218 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.218 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550653341.218 * * [misc]simplify: Extracting #2: cost 34 inf + 0 1550653341.218 * * [misc]simplify: Extracting #3: cost 38 inf + 45 1550653341.218 * * [misc]simplify: Extracting #4: cost 20 inf + 2180 1550653341.219 * * [misc]simplify: Extracting #5: cost 0 inf + 7872 1550653341.220 * [exit]simplify: Simplified to (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x)) 1550653341.220 * [misc]simplify: Simplified (2) to (λ (x) (+ (- (/ 1 (pow x 5)) (/ (/ (/ 1 x) x) x)) (/ 1 x))) 1550653341.220 * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # 1550653341.221 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653341.221 * * [misc]simplify: iters left: 4 (4 enodes) 1550653341.222 * * [misc]simplify: iters left: 3 (15 enodes) 1550653341.224 * * [misc]simplify: iters left: 2 (17 enodes) 1550653341.227 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.227 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653341.227 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653341.227 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653341.227 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653341.227 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ x (/ 1 x)))) 1550653341.227 * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # 1550653341.228 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653341.228 * * [misc]simplify: iters left: 4 (4 enodes) 1550653341.229 * * [misc]simplify: iters left: 3 (15 enodes) 1550653341.231 * * [misc]simplify: iters left: 2 (17 enodes) 1550653341.234 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.234 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653341.234 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653341.234 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653341.234 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653341.234 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ x (/ 1 x)))) 1550653341.234 * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # 1550653341.235 * [enter]simplify: Simplifying (+ x (/ 1 x)) 1550653341.235 * * [misc]simplify: iters left: 4 (4 enodes) 1550653341.236 * * [misc]simplify: iters left: 3 (15 enodes) 1550653341.238 * * [misc]simplify: iters left: 2 (17 enodes) 1550653341.242 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550653341.242 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550653341.242 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550653341.242 * * [misc]simplify: Extracting #3: cost 0 inf + 250 1550653341.242 * [exit]simplify: Simplified to (+ x (/ 1 x)) 1550653341.242 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (+ x (/ 1 x)))) 1550653341.242 * * * [misc]progress: adding candidates to table 1550653341.427 * [misc]progress: [Phase 3 of 3] Extracting. 1550653341.428 * * [misc]regime: Finding splitpoints for: (# # #) 1550653341.428 * * * [misc]regime-changes: Trying 2 branch expressions: (x (/ x (+ (* x x) 1))) 1550653341.428 * * * * [misc]regimes: Trying to branch on x from (# # #) 1550653341.461 * * * * [misc]regimes: Trying to branch on (/ x (+ (* x x) 1)) from (# # #) 1550653341.496 * * * [misc]regime: Found split indices: #