1546677338.681 * [misc]progress: [Phase 1 of 3] Setting up. 1546677338.681 * * * [misc]progress: [1/2] Preparing points 1546677338.681 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546677338.742 * * * * [misc]points: Filtering points with unrepresentable outputs 1546677338.743 * * * * [exit]points: Sampled 256 points with exact outputs 1546677338.743 * * * [misc]progress: [2/2] Setting up program. 1546677338.746 * [misc]progress: [Phase 2 of 3] Improving. 1546677338.747 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546677338.747 * [enter]simplify: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.747 * * [misc]simplify: iters left: 6 (6 enodes) 1546677338.749 * * [misc]simplify: iters left: 5 (11 enodes) 1546677338.753 * * [misc]simplify: iters left: 4 (15 enodes) 1546677338.756 * [exit]simplify: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.756 * [misc]simplify: Simplified (2) to (λ (x) (- (/ 1 (+ x 1)) (/ 1 x))) 1546677338.760 * * [misc]progress: iteration 1 / 4 1546677338.761 * * * [misc]progress: picking best candidate 1546677338.764 * * * * [misc]pick: Picked # 1546677338.764 * * * [misc]progress: localizing error 1546677338.799 * * * [misc]progress: generating rewritten candidates 1546677338.799 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1546677338.810 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1546677338.813 * * * [misc]progress: generating series expansions 1546677338.813 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1546677338.813 * [misc]backup-simplify: Simplify (- (/ 1 (+ x 1)) (/ 1 x)) into (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.813 * [misc]approximate: Taking taylor expansion of (- (/ 1 (+ x 1)) (/ 1 x)) in (x) around 0 1546677338.813 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ x 1)) (/ 1 x)) in x 1546677338.813 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x 1)) in x 1546677338.813 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677338.813 * [misc]taylor: Taking taylor expansion of x in x 1546677338.813 * [misc]backup-simplify: Simplify 0 into 0 1546677338.813 * [misc]backup-simplify: Simplify 1 into 1 1546677338.813 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.813 * [misc]backup-simplify: Simplify 1 into 1 1546677338.814 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677338.814 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.814 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.814 * [misc]taylor: Taking taylor expansion of x in x 1546677338.814 * [misc]backup-simplify: Simplify 0 into 0 1546677338.814 * [misc]backup-simplify: Simplify 1 into 1 1546677338.814 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.814 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ x 1)) (/ 1 x)) in x 1546677338.814 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x 1)) in x 1546677338.814 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677338.814 * [misc]taylor: Taking taylor expansion of x in x 1546677338.814 * [misc]backup-simplify: Simplify 0 into 0 1546677338.814 * [misc]backup-simplify: Simplify 1 into 1 1546677338.814 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.814 * [misc]backup-simplify: Simplify 1 into 1 1546677338.814 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677338.815 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.815 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.815 * [misc]taylor: Taking taylor expansion of x in x 1546677338.815 * [misc]backup-simplify: Simplify 0 into 0 1546677338.815 * [misc]backup-simplify: Simplify 1 into 1 1546677338.815 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.815 * [misc]backup-simplify: Simplify (- 1) into -1 1546677338.815 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677338.815 * [misc]backup-simplify: Simplify -1 into -1 1546677338.815 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677338.816 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.816 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.816 * [misc]backup-simplify: Simplify 1 into 1 1546677338.816 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.816 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546677338.816 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.817 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.817 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1546677338.817 * [misc]backup-simplify: Simplify -1 into -1 1546677338.817 * [misc]backup-simplify: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1546677338.817 * [misc]backup-simplify: Simplify (- (/ 1 (+ (/ 1 x) 1)) (/ 1 (/ 1 x))) into (- (/ 1 (+ (/ 1 x) 1)) x) 1546677338.817 * [misc]approximate: Taking taylor expansion of (- (/ 1 (+ (/ 1 x) 1)) x) in (x) around 0 1546677338.817 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ (/ 1 x) 1)) x) in x 1546677338.817 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1546677338.817 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677338.817 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.817 * [misc]taylor: Taking taylor expansion of x in x 1546677338.817 * [misc]backup-simplify: Simplify 0 into 0 1546677338.817 * [misc]backup-simplify: Simplify 1 into 1 1546677338.818 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.818 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.818 * [misc]backup-simplify: Simplify 1 into 1 1546677338.818 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.818 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.818 * [misc]taylor: Taking taylor expansion of x in x 1546677338.818 * [misc]backup-simplify: Simplify 0 into 0 1546677338.818 * [misc]backup-simplify: Simplify 1 into 1 1546677338.818 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ (/ 1 x) 1)) x) in x 1546677338.818 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1546677338.818 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677338.818 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.818 * [misc]taylor: Taking taylor expansion of x in x 1546677338.818 * [misc]backup-simplify: Simplify 0 into 0 1546677338.818 * [misc]backup-simplify: Simplify 1 into 1 1546677338.818 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.818 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.818 * [misc]backup-simplify: Simplify 1 into 1 1546677338.818 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.819 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.819 * [misc]taylor: Taking taylor expansion of x in x 1546677338.819 * [misc]backup-simplify: Simplify 0 into 0 1546677338.819 * [misc]backup-simplify: Simplify 1 into 1 1546677338.819 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.819 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.819 * [misc]backup-simplify: Simplify 0 into 0 1546677338.819 * [misc]backup-simplify: Simplify (- 1) into -1 1546677338.819 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1546677338.819 * [misc]backup-simplify: Simplify 0 into 0 1546677338.820 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677338.820 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677338.820 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546677338.820 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.820 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1546677338.820 * [misc]backup-simplify: Simplify -1 into -1 1546677338.821 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.821 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.821 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546677338.821 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.821 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.821 * [misc]backup-simplify: Simplify 1 into 1 1546677338.822 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.822 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.822 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546677338.822 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.822 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1546677338.822 * [misc]backup-simplify: Simplify -1 into -1 1546677338.823 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677338.823 * [misc]backup-simplify: Simplify (- (/ 1 (+ (/ 1 (- x)) 1)) (/ 1 (/ 1 (- x)))) into (+ (/ 1 (- 1 (/ 1 x))) x) 1546677338.823 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (- 1 (/ 1 x))) x) in (x) around 0 1546677338.823 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- 1 (/ 1 x))) x) in x 1546677338.823 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1546677338.823 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677338.823 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.823 * [misc]backup-simplify: Simplify 1 into 1 1546677338.823 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.823 * [misc]taylor: Taking taylor expansion of x in x 1546677338.823 * [misc]backup-simplify: Simplify 0 into 0 1546677338.823 * [misc]backup-simplify: Simplify 1 into 1 1546677338.823 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.824 * [misc]backup-simplify: Simplify (- 1) into -1 1546677338.824 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677338.824 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677338.824 * [misc]taylor: Taking taylor expansion of x in x 1546677338.824 * [misc]backup-simplify: Simplify 0 into 0 1546677338.824 * [misc]backup-simplify: Simplify 1 into 1 1546677338.824 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- 1 (/ 1 x))) x) in x 1546677338.824 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1546677338.824 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677338.824 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.824 * [misc]backup-simplify: Simplify 1 into 1 1546677338.824 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.824 * [misc]taylor: Taking taylor expansion of x in x 1546677338.824 * [misc]backup-simplify: Simplify 0 into 0 1546677338.824 * [misc]backup-simplify: Simplify 1 into 1 1546677338.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.824 * [misc]backup-simplify: Simplify (- 1) into -1 1546677338.825 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677338.825 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677338.825 * [misc]taylor: Taking taylor expansion of x in x 1546677338.825 * [misc]backup-simplify: Simplify 0 into 0 1546677338.825 * [misc]backup-simplify: Simplify 1 into 1 1546677338.825 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.825 * [misc]backup-simplify: Simplify 0 into 0 1546677338.825 * [misc]backup-simplify: Simplify (+ -1 1) into 0 1546677338.825 * [misc]backup-simplify: Simplify 0 into 0 1546677338.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677338.826 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.826 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.826 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546677338.826 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1546677338.826 * [misc]backup-simplify: Simplify -1 into -1 1546677338.826 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.826 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.827 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.827 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1546677338.827 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1546677338.827 * [misc]backup-simplify: Simplify -1 into -1 1546677338.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.828 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.828 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1546677338.828 * [misc]backup-simplify: Simplify (+ -1 0) into -1 1546677338.828 * [misc]backup-simplify: Simplify -1 into -1 1546677338.829 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677338.829 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1546677338.829 * [misc]backup-simplify: Simplify (/ 1 (+ x 1)) into (/ 1 (+ x 1)) 1546677338.829 * [misc]approximate: Taking taylor expansion of (/ 1 (+ x 1)) in (x) around 0 1546677338.829 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x 1)) in x 1546677338.829 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677338.829 * [misc]taylor: Taking taylor expansion of x in x 1546677338.829 * [misc]backup-simplify: Simplify 0 into 0 1546677338.829 * [misc]backup-simplify: Simplify 1 into 1 1546677338.829 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.829 * [misc]backup-simplify: Simplify 1 into 1 1546677338.829 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677338.829 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.829 * [misc]taylor: Taking taylor expansion of (/ 1 (+ x 1)) in x 1546677338.829 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677338.829 * [misc]taylor: Taking taylor expansion of x in x 1546677338.829 * [misc]backup-simplify: Simplify 0 into 0 1546677338.829 * [misc]backup-simplify: Simplify 1 into 1 1546677338.829 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.829 * [misc]backup-simplify: Simplify 1 into 1 1546677338.830 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677338.830 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.830 * [misc]backup-simplify: Simplify 1 into 1 1546677338.830 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.830 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546677338.830 * [misc]backup-simplify: Simplify -1 into -1 1546677338.830 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.831 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546677338.831 * [misc]backup-simplify: Simplify 1 into 1 1546677338.831 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (pow x 2) 1) x) 1546677338.831 * [misc]backup-simplify: Simplify (/ 1 (+ (/ 1 x) 1)) into (/ 1 (+ (/ 1 x) 1)) 1546677338.831 * [misc]approximate: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in (x) around 0 1546677338.831 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1546677338.831 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677338.831 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.831 * [misc]taylor: Taking taylor expansion of x in x 1546677338.831 * [misc]backup-simplify: Simplify 0 into 0 1546677338.831 * [misc]backup-simplify: Simplify 1 into 1 1546677338.831 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.831 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.831 * [misc]backup-simplify: Simplify 1 into 1 1546677338.831 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.832 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x 1546677338.832 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677338.832 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.832 * [misc]taylor: Taking taylor expansion of x in x 1546677338.832 * [misc]backup-simplify: Simplify 0 into 0 1546677338.832 * [misc]backup-simplify: Simplify 1 into 1 1546677338.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.832 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.832 * [misc]backup-simplify: Simplify 1 into 1 1546677338.832 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.832 * [misc]backup-simplify: Simplify 1 into 1 1546677338.833 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677338.833 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677338.833 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1546677338.833 * [misc]backup-simplify: Simplify -1 into -1 1546677338.833 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.833 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.834 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546677338.834 * [misc]backup-simplify: Simplify 1 into 1 1546677338.834 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 x) 3)) (+ (* -1 (pow (/ 1 x) 2)) (* 1 (/ 1 x)))) into (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1546677338.834 * [misc]backup-simplify: Simplify (/ 1 (+ (/ 1 (- x)) 1)) into (/ 1 (- 1 (/ 1 x))) 1546677338.834 * [misc]approximate: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in (x) around 0 1546677338.834 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1546677338.834 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677338.834 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.834 * [misc]backup-simplify: Simplify 1 into 1 1546677338.834 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.834 * [misc]taylor: Taking taylor expansion of x in x 1546677338.834 * [misc]backup-simplify: Simplify 0 into 0 1546677338.834 * [misc]backup-simplify: Simplify 1 into 1 1546677338.834 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.835 * [misc]backup-simplify: Simplify (- 1) into -1 1546677338.835 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677338.835 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677338.835 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 x))) in x 1546677338.835 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677338.835 * [misc]taylor: Taking taylor expansion of 1 in x 1546677338.835 * [misc]backup-simplify: Simplify 1 into 1 1546677338.835 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677338.835 * [misc]taylor: Taking taylor expansion of x in x 1546677338.835 * [misc]backup-simplify: Simplify 0 into 0 1546677338.835 * [misc]backup-simplify: Simplify 1 into 1 1546677338.835 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677338.835 * [misc]backup-simplify: Simplify (- 1) into -1 1546677338.835 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677338.836 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677338.836 * [misc]backup-simplify: Simplify -1 into -1 1546677338.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677338.836 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.836 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677338.836 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1546677338.836 * [misc]backup-simplify: Simplify -1 into -1 1546677338.837 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677338.837 * [misc]backup-simplify: Simplify (- 0) into 0 1546677338.837 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677338.837 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1546677338.837 * [misc]backup-simplify: Simplify -1 into -1 1546677338.838 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 3)) (+ (* -1 (pow (/ 1 (- x)) 2)) (* -1 (/ 1 (- x))))) into (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1546677338.838 * * * [misc]progress: simplifying candidates 1546677338.838 * * * * [misc]progress: [ 1 / 42 ] simplifiying candidate # 1546677338.838 * [enter]simplify: Simplifying (/ (exp (/ 1 (+ x 1))) (exp (/ 1 x))) 1546677338.838 * * [misc]simplify: iters left: 6 (8 enodes) 1546677338.841 * * [misc]simplify: iters left: 5 (13 enodes) 1546677338.844 * * [misc]simplify: iters left: 4 (15 enodes) 1546677338.849 * * [misc]simplify: iters left: 3 (21 enodes) 1546677338.853 * * [misc]simplify: iters left: 2 (23 enodes) 1546677338.859 * * [misc]simplify: iters left: 1 (27 enodes) 1546677338.867 * [exit]simplify: Simplified to (exp (- (/ 1 (+ x 1)) (/ 1 x))) 1546677338.867 * [misc]simplify: Simplified (2 1) to (λ (x) (log (exp (- (/ 1 (+ x 1)) (/ 1 x))))) 1546677338.867 * * * * [misc]progress: [ 2 / 42 ] simplifiying candidate # 1546677338.867 * * * * [misc]progress: [ 3 / 42 ] simplifiying candidate # 1546677338.867 * * * * [misc]progress: [ 4 / 42 ] simplifiying candidate # 1546677338.867 * * * * [misc]progress: [ 5 / 42 ] simplifiying candidate # 1546677338.867 * * * * [misc]progress: [ 6 / 42 ] simplifiying candidate # 1546677338.867 * * * * [misc]progress: [ 7 / 42 ] simplifiying candidate # 1546677338.867 * * * * [misc]progress: [ 8 / 42 ] simplifiying candidate # 1546677338.867 * [enter]simplify: Simplifying (- (* 1 x) (* (+ x 1) 1)) 1546677338.868 * * [misc]simplify: iters left: 6 (6 enodes) 1546677338.870 * * [misc]simplify: iters left: 5 (12 enodes) 1546677338.875 * * [misc]simplify: iters left: 4 (31 enodes) 1546677338.884 * * [misc]simplify: iters left: 3 (43 enodes) 1546677338.897 * * [misc]simplify: iters left: 2 (52 enodes) 1546677338.905 * * [misc]simplify: iters left: 1 (53 enodes) 1546677338.910 * [exit]simplify: Simplified to -1 1546677338.910 * [misc]simplify: Simplified (2 1) to (λ (x) (/ -1 (* (+ x 1) x))) 1546677338.911 * [enter]simplify: Simplifying (* (+ x 1) x) 1546677338.911 * * [misc]simplify: iters left: 4 (4 enodes) 1546677338.912 * * [misc]simplify: iters left: 3 (8 enodes) 1546677338.914 * * [misc]simplify: iters left: 2 (15 enodes) 1546677338.919 * * [misc]simplify: iters left: 1 (17 enodes) 1546677338.922 * [exit]simplify: Simplified to (+ x (* x x)) 1546677338.922 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677338.922 * * * * [misc]progress: [ 9 / 42 ] simplifiying candidate # 1546677338.923 * * * * [misc]progress: [ 10 / 42 ] simplifiying candidate # 1546677338.923 * * * * [misc]progress: [ 11 / 42 ] simplifiying candidate # 1546677338.923 * * * * [misc]progress: [ 12 / 42 ] simplifiying candidate # 1546677338.923 * * * * [misc]progress: [ 13 / 42 ] simplifiying candidate # 1546677338.923 * [enter]simplify: Simplifying (+ (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) 1546677338.923 * * [misc]simplify: iters left: 6 (8 enodes) 1546677338.926 * * [misc]simplify: iters left: 5 (12 enodes) 1546677338.929 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) (sqrt (/ 1 (+ x 1)))) 1546677338.929 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (/ 1 x)) (sqrt (/ 1 (+ x 1)))) (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))))) 1546677338.929 * [enter]simplify: Simplifying (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) 1546677338.929 * * [misc]simplify: iters left: 6 (8 enodes) 1546677338.932 * * [misc]simplify: iters left: 5 (13 enodes) 1546677338.935 * * [misc]simplify: iters left: 4 (14 enodes) 1546677338.937 * [exit]simplify: Simplified to (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) 1546677338.937 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))) (- (sqrt (/ 1 (+ x 1))) (sqrt (/ 1 x))))) 1546677338.937 * * * * [misc]progress: [ 14 / 42 ] simplifiying candidate # 1546677338.937 * [enter]simplify: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.937 * * [misc]simplify: iters left: 6 (6 enodes) 1546677338.940 * * [misc]simplify: iters left: 5 (11 enodes) 1546677338.942 * * [misc]simplify: iters left: 4 (15 enodes) 1546677338.944 * [exit]simplify: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.944 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1546677338.944 * * * * [misc]progress: [ 15 / 42 ] simplifiying candidate # 1546677338.944 * [enter]simplify: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.944 * * [misc]simplify: iters left: 6 (6 enodes) 1546677338.945 * * [misc]simplify: iters left: 5 (11 enodes) 1546677338.947 * * [misc]simplify: iters left: 4 (15 enodes) 1546677338.949 * [exit]simplify: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.949 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1546677338.949 * * * * [misc]progress: [ 16 / 42 ] simplifiying candidate # 1546677338.949 * [enter]simplify: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.949 * * [misc]simplify: iters left: 6 (6 enodes) 1546677338.950 * * [misc]simplify: iters left: 5 (11 enodes) 1546677338.952 * * [misc]simplify: iters left: 4 (15 enodes) 1546677338.954 * [exit]simplify: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.954 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1546677338.954 * * * * [misc]progress: [ 17 / 42 ] simplifiying candidate # 1546677338.954 * [enter]simplify: Simplifying (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.954 * * [misc]simplify: iters left: 6 (6 enodes) 1546677338.955 * * [misc]simplify: iters left: 5 (11 enodes) 1546677338.957 * * [misc]simplify: iters left: 4 (15 enodes) 1546677338.959 * [exit]simplify: Simplified to (- (/ 1 (+ x 1)) (/ 1 x)) 1546677338.959 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (/ 1 (+ x 1)) (/ 1 x)))) 1546677338.959 * * * * [misc]progress: [ 18 / 42 ] simplifiying candidate # 1546677338.959 * * * * [misc]progress: [ 19 / 42 ] simplifiying candidate # 1546677338.959 * * * * [misc]progress: [ 20 / 42 ] simplifiying candidate # 1546677338.959 * [enter]simplify: Simplifying (- 1) 1546677338.959 * * [misc]simplify: iters left: 2 (2 enodes) 1546677338.960 * * [misc]simplify: iters left: 1 (5 enodes) 1546677338.960 * [exit]simplify: Simplified to -1 1546677338.960 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (pow (+ x 1) -1) (/ 1 x))) 1546677338.960 * * * * [misc]progress: [ 21 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 22 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 23 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 24 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 25 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 26 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 27 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 28 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 29 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 30 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 31 / 42 ] simplifiying candidate # 1546677338.960 * * * * [misc]progress: [ 32 / 42 ] simplifiying candidate # 1546677338.961 * [enter]simplify: Simplifying (cbrt (+ x 1)) 1546677338.961 * * [misc]simplify: iters left: 3 (4 enodes) 1546677338.961 * * [misc]simplify: iters left: 2 (7 enodes) 1546677338.962 * [exit]simplify: Simplified to (cbrt (+ 1 x)) 1546677338.962 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (/ (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ 1 x))) (/ 1 x))) 1546677338.962 * * * * [misc]progress: [ 33 / 42 ] simplifiying candidate # 1546677338.962 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1546677338.962 * * [misc]simplify: iters left: 3 (4 enodes) 1546677338.963 * * [misc]simplify: iters left: 2 (7 enodes) 1546677338.964 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1546677338.964 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (/ (/ 1 (sqrt (+ x 1))) (sqrt (+ 1 x))) (/ 1 x))) 1546677338.964 * * * * [misc]progress: [ 34 / 42 ] simplifiying candidate # 1546677338.964 * [enter]simplify: Simplifying (+ x 1) 1546677338.964 * * [misc]simplify: iters left: 2 (3 enodes) 1546677338.964 * * [misc]simplify: iters left: 1 (6 enodes) 1546677338.965 * [exit]simplify: Simplified to (+ 1 x) 1546677338.965 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (/ (/ 1 1) (+ 1 x)) (/ 1 x))) 1546677338.965 * * * * [misc]progress: [ 35 / 42 ] simplifiying candidate # 1546677338.965 * [enter]simplify: Simplifying (+ (* x x) (- (* 1 1) (* x 1))) 1546677338.965 * * [misc]simplify: iters left: 6 (7 enodes) 1546677338.967 * * [misc]simplify: iters left: 5 (14 enodes) 1546677338.970 * * [misc]simplify: iters left: 4 (23 enodes) 1546677338.976 * * [misc]simplify: iters left: 3 (30 enodes) 1546677338.983 * * [misc]simplify: iters left: 2 (38 enodes) 1546677338.988 * * [misc]simplify: iters left: 1 (50 enodes) 1546677338.995 * [exit]simplify: Simplified to (+ (- 1 x) (* x x)) 1546677338.996 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (* (/ 1 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) (/ 1 x))) 1546677338.996 * * * * [misc]progress: [ 36 / 42 ] simplifiying candidate # 1546677338.996 * [enter]simplify: Simplifying (- x 1) 1546677338.996 * * [misc]simplify: iters left: 2 (3 enodes) 1546677338.997 * * [misc]simplify: iters left: 1 (8 enodes) 1546677338.997 * [exit]simplify: Simplified to (+ x -1) 1546677338.997 * [misc]simplify: Simplified (2 1 2) to (λ (x) (- (* (/ 1 (- (* x x) (* 1 1))) (+ x -1)) (/ 1 x))) 1546677338.998 * * * * [misc]progress: [ 37 / 42 ] simplifiying candidate # 1546677338.998 * [enter]simplify: Simplifying (- 1 (+ x (/ 1 x))) 1546677338.998 * * [misc]simplify: iters left: 6 (5 enodes) 1546677338.999 * * [misc]simplify: iters left: 5 (12 enodes) 1546677339.000 * * [misc]simplify: iters left: 4 (20 enodes) 1546677339.004 * * [misc]simplify: iters left: 3 (34 enodes) 1546677339.008 * * [misc]simplify: iters left: 2 (45 enodes) 1546677339.016 * * [misc]simplify: iters left: 1 (59 enodes) 1546677339.037 * [exit]simplify: Simplified to (- (/ -1 x) (+ -1 x)) 1546677339.037 * [misc]simplify: Simplified (2) to (λ (x) (- (/ -1 x) (+ -1 x))) 1546677339.037 * * * * [misc]progress: [ 38 / 42 ] simplifiying candidate # 1546677339.038 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677339.038 * * [misc]simplify: iters left: 6 (13 enodes) 1546677339.044 * * [misc]simplify: iters left: 5 (23 enodes) 1546677339.051 * * [misc]simplify: iters left: 4 (37 enodes) 1546677339.062 * * [misc]simplify: iters left: 3 (54 enodes) 1546677339.075 * * [misc]simplify: iters left: 2 (66 enodes) 1546677339.089 * * [misc]simplify: iters left: 1 (81 enodes) 1546677339.110 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677339.110 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677339.111 * * * * [misc]progress: [ 39 / 42 ] simplifiying candidate # 1546677339.111 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677339.111 * * [misc]simplify: iters left: 6 (13 enodes) 1546677339.113 * * [misc]simplify: iters left: 5 (23 enodes) 1546677339.117 * * [misc]simplify: iters left: 4 (37 enodes) 1546677339.122 * * [misc]simplify: iters left: 3 (54 enodes) 1546677339.129 * * [misc]simplify: iters left: 2 (66 enodes) 1546677339.136 * * [misc]simplify: iters left: 1 (81 enodes) 1546677339.149 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677339.149 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677339.149 * * * * [misc]progress: [ 40 / 42 ] simplifiying candidate # 1546677339.149 * [enter]simplify: Simplifying (- (+ (pow x 2) 1) x) 1546677339.149 * * [misc]simplify: iters left: 5 (6 enodes) 1546677339.151 * * [misc]simplify: iters left: 4 (14 enodes) 1546677339.153 * * [misc]simplify: iters left: 3 (22 enodes) 1546677339.157 * * [misc]simplify: iters left: 2 (29 enodes) 1546677339.160 * * [misc]simplify: iters left: 1 (31 enodes) 1546677339.165 * [exit]simplify: Simplified to (+ (- 1 x) (* x x)) 1546677339.165 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (- 1 x) (* x x)) (/ 1 x))) 1546677339.165 * * * * [misc]progress: [ 41 / 42 ] simplifiying candidate # 1546677339.166 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1546677339.166 * * [misc]simplify: iters left: 6 (11 enodes) 1546677339.170 * * [misc]simplify: iters left: 5 (21 enodes) 1546677339.177 * * [misc]simplify: iters left: 4 (37 enodes) 1546677339.187 * * [misc]simplify: iters left: 3 (46 enodes) 1546677339.197 * * [misc]simplify: iters left: 2 (50 enodes) 1546677339.206 * * [misc]simplify: iters left: 1 (55 enodes) 1546677339.219 * [exit]simplify: Simplified to (+ (/ (/ 1 x) (* x x)) (- (/ 1 x) (/ (/ 1 x) x))) 1546677339.219 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (/ (/ 1 x) (* x x)) (- (/ 1 x) (/ (/ 1 x) x))) (/ 1 x))) 1546677339.219 * * * * [misc]progress: [ 42 / 42 ] simplifiying candidate # 1546677339.220 * [enter]simplify: Simplifying (- (+ (/ 1 (pow x 3)) (/ 1 x)) (/ 1 (pow x 2))) 1546677339.220 * * [misc]simplify: iters left: 6 (11 enodes) 1546677339.223 * * [misc]simplify: iters left: 5 (21 enodes) 1546677339.230 * * [misc]simplify: iters left: 4 (37 enodes) 1546677339.239 * * [misc]simplify: iters left: 3 (46 enodes) 1546677339.249 * * [misc]simplify: iters left: 2 (50 enodes) 1546677339.259 * * [misc]simplify: iters left: 1 (55 enodes) 1546677339.272 * [exit]simplify: Simplified to (+ (/ (/ 1 x) (* x x)) (- (/ 1 x) (/ (/ 1 x) x))) 1546677339.272 * [misc]simplify: Simplified (2 1) to (λ (x) (- (+ (/ (/ 1 x) (* x x)) (- (/ 1 x) (/ (/ 1 x) x))) (/ 1 x))) 1546677339.272 * * * [misc]progress: adding candidates to table 1546677339.588 * * [misc]progress: iteration 2 / 4 1546677339.588 * * * [misc]progress: picking best candidate 1546677339.597 * * * * [misc]pick: Picked # 1546677339.597 * * * [misc]progress: localizing error 1546677339.608 * * * [misc]progress: generating rewritten candidates 1546677339.608 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1546677339.609 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1546677339.612 * * * [misc]progress: generating series expansions 1546677339.612 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1546677339.612 * [misc]backup-simplify: Simplify (/ -1 (* (+ x 1) x)) into (/ -1 (* x (+ x 1))) 1546677339.612 * [misc]approximate: Taking taylor expansion of (/ -1 (* x (+ x 1))) in (x) around 0 1546677339.612 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ x 1))) in x 1546677339.612 * [misc]taylor: Taking taylor expansion of -1 in x 1546677339.612 * [misc]backup-simplify: Simplify -1 into -1 1546677339.612 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1546677339.612 * [misc]taylor: Taking taylor expansion of x in x 1546677339.612 * [misc]backup-simplify: Simplify 0 into 0 1546677339.612 * [misc]backup-simplify: Simplify 1 into 1 1546677339.612 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677339.612 * [misc]taylor: Taking taylor expansion of x in x 1546677339.612 * [misc]backup-simplify: Simplify 0 into 0 1546677339.612 * [misc]backup-simplify: Simplify 1 into 1 1546677339.612 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.612 * [misc]backup-simplify: Simplify 1 into 1 1546677339.612 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677339.612 * [misc]backup-simplify: Simplify (* 0 1) into 0 1546677339.612 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.613 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1546677339.613 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677339.613 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ x 1))) in x 1546677339.613 * [misc]taylor: Taking taylor expansion of -1 in x 1546677339.613 * [misc]backup-simplify: Simplify -1 into -1 1546677339.613 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1546677339.613 * [misc]taylor: Taking taylor expansion of x in x 1546677339.613 * [misc]backup-simplify: Simplify 0 into 0 1546677339.613 * [misc]backup-simplify: Simplify 1 into 1 1546677339.613 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677339.613 * [misc]taylor: Taking taylor expansion of x in x 1546677339.613 * [misc]backup-simplify: Simplify 0 into 0 1546677339.613 * [misc]backup-simplify: Simplify 1 into 1 1546677339.613 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.613 * [misc]backup-simplify: Simplify 1 into 1 1546677339.613 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677339.613 * [misc]backup-simplify: Simplify (* 0 1) into 0 1546677339.613 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.613 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1546677339.613 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677339.614 * [misc]backup-simplify: Simplify -1 into -1 1546677339.614 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.614 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1546677339.614 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1546677339.614 * [misc]backup-simplify: Simplify 1 into 1 1546677339.614 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.614 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1546677339.614 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546677339.615 * [misc]backup-simplify: Simplify -1 into -1 1546677339.615 * [misc]backup-simplify: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1546677339.615 * [misc]backup-simplify: Simplify (/ -1 (* (+ (/ 1 x) 1) (/ 1 x))) into (* -1 (/ x (+ (/ 1 x) 1))) 1546677339.615 * [misc]approximate: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in (x) around 0 1546677339.615 * [misc]taylor: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of -1 in x 1546677339.615 * [misc]backup-simplify: Simplify -1 into -1 1546677339.615 * [misc]taylor: Taking taylor expansion of (/ x (+ (/ 1 x) 1)) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of x in x 1546677339.615 * [misc]backup-simplify: Simplify 0 into 0 1546677339.615 * [misc]backup-simplify: Simplify 1 into 1 1546677339.615 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of x in x 1546677339.615 * [misc]backup-simplify: Simplify 0 into 0 1546677339.615 * [misc]backup-simplify: Simplify 1 into 1 1546677339.615 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.615 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.615 * [misc]backup-simplify: Simplify 1 into 1 1546677339.615 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.615 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.615 * [misc]taylor: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of -1 in x 1546677339.615 * [misc]backup-simplify: Simplify -1 into -1 1546677339.615 * [misc]taylor: Taking taylor expansion of (/ x (+ (/ 1 x) 1)) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of x in x 1546677339.615 * [misc]backup-simplify: Simplify 0 into 0 1546677339.615 * [misc]backup-simplify: Simplify 1 into 1 1546677339.615 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.615 * [misc]taylor: Taking taylor expansion of x in x 1546677339.615 * [misc]backup-simplify: Simplify 0 into 0 1546677339.616 * [misc]backup-simplify: Simplify 1 into 1 1546677339.616 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.616 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.616 * [misc]backup-simplify: Simplify 1 into 1 1546677339.616 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.616 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.616 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546677339.616 * [misc]backup-simplify: Simplify -1 into -1 1546677339.616 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677339.616 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677339.616 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1546677339.617 * [misc]backup-simplify: Simplify (+ (* -1 -1) (* 0 1)) into 1 1546677339.617 * [misc]backup-simplify: Simplify 1 into 1 1546677339.617 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.617 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.617 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546677339.617 * [misc]backup-simplify: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 1))) into -1 1546677339.617 * [misc]backup-simplify: Simplify -1 into -1 1546677339.617 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677339.618 * [misc]backup-simplify: Simplify (/ -1 (* (+ (/ 1 (- x)) 1) (/ 1 (- x)))) into (/ x (- 1 (/ 1 x))) 1546677339.618 * [misc]approximate: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in (x) around 0 1546677339.618 * [misc]taylor: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in x 1546677339.618 * [misc]taylor: Taking taylor expansion of x in x 1546677339.618 * [misc]backup-simplify: Simplify 0 into 0 1546677339.618 * [misc]backup-simplify: Simplify 1 into 1 1546677339.618 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677339.618 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.618 * [misc]backup-simplify: Simplify 1 into 1 1546677339.618 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.618 * [misc]taylor: Taking taylor expansion of x in x 1546677339.618 * [misc]backup-simplify: Simplify 0 into 0 1546677339.618 * [misc]backup-simplify: Simplify 1 into 1 1546677339.618 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.618 * [misc]backup-simplify: Simplify (- 1) into -1 1546677339.618 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677339.618 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677339.618 * [misc]taylor: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in x 1546677339.618 * [misc]taylor: Taking taylor expansion of x in x 1546677339.618 * [misc]backup-simplify: Simplify 0 into 0 1546677339.618 * [misc]backup-simplify: Simplify 1 into 1 1546677339.618 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677339.618 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.618 * [misc]backup-simplify: Simplify 1 into 1 1546677339.618 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.618 * [misc]taylor: Taking taylor expansion of x in x 1546677339.618 * [misc]backup-simplify: Simplify 0 into 0 1546677339.618 * [misc]backup-simplify: Simplify 1 into 1 1546677339.619 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.619 * [misc]backup-simplify: Simplify (- 1) into -1 1546677339.619 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677339.619 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677339.619 * [misc]backup-simplify: Simplify -1 into -1 1546677339.619 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677339.619 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.619 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.619 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 1 -1)))) into -1 1546677339.619 * [misc]backup-simplify: Simplify -1 into -1 1546677339.620 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.620 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.620 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.620 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1546677339.620 * [misc]backup-simplify: Simplify -1 into -1 1546677339.620 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677339.620 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1546677339.620 * [misc]backup-simplify: Simplify (* (+ x 1) x) into (* x (+ x 1)) 1546677339.620 * [misc]approximate: Taking taylor expansion of (* x (+ x 1)) in (x) around 0 1546677339.620 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1546677339.620 * [misc]taylor: Taking taylor expansion of x in x 1546677339.620 * [misc]backup-simplify: Simplify 0 into 0 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677339.621 * [misc]taylor: Taking taylor expansion of x in x 1546677339.621 * [misc]backup-simplify: Simplify 0 into 0 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1546677339.621 * [misc]taylor: Taking taylor expansion of x in x 1546677339.621 * [misc]backup-simplify: Simplify 0 into 0 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677339.621 * [misc]taylor: Taking taylor expansion of x in x 1546677339.621 * [misc]backup-simplify: Simplify 0 into 0 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677339.621 * [misc]backup-simplify: Simplify (* 0 1) into 0 1546677339.621 * [misc]backup-simplify: Simplify 0 into 0 1546677339.621 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.621 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1546677339.621 * [misc]backup-simplify: Simplify 1 into 1 1546677339.621 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.622 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1546677339.622 * [misc]backup-simplify: Simplify 1 into 1 1546677339.622 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.622 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1546677339.622 * [misc]backup-simplify: Simplify 0 into 0 1546677339.622 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.622 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 1546677339.622 * [misc]backup-simplify: Simplify 0 into 0 1546677339.622 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.623 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0 1546677339.623 * [misc]backup-simplify: Simplify 0 into 0 1546677339.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.623 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0 1546677339.623 * [misc]backup-simplify: Simplify 0 into 0 1546677339.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.623 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0 1546677339.623 * [misc]backup-simplify: Simplify 0 into 0 1546677339.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.624 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0 1546677339.624 * [misc]backup-simplify: Simplify 0 into 0 1546677339.624 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (* 1 x)) into (+ x (pow x 2)) 1546677339.624 * [misc]backup-simplify: Simplify (* (+ (/ 1 x) 1) (/ 1 x)) into (/ (+ (/ 1 x) 1) x) 1546677339.624 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in (x) around 0 1546677339.624 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1546677339.624 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677339.624 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.624 * [misc]taylor: Taking taylor expansion of x in x 1546677339.624 * [misc]backup-simplify: Simplify 0 into 0 1546677339.624 * [misc]backup-simplify: Simplify 1 into 1 1546677339.624 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.624 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.624 * [misc]backup-simplify: Simplify 1 into 1 1546677339.624 * [misc]taylor: Taking taylor expansion of x in x 1546677339.624 * [misc]backup-simplify: Simplify 0 into 0 1546677339.624 * [misc]backup-simplify: Simplify 1 into 1 1546677339.625 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.625 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1546677339.625 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677339.625 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.625 * [misc]taylor: Taking taylor expansion of x in x 1546677339.625 * [misc]backup-simplify: Simplify 0 into 0 1546677339.625 * [misc]backup-simplify: Simplify 1 into 1 1546677339.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.625 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.625 * [misc]backup-simplify: Simplify 1 into 1 1546677339.625 * [misc]taylor: Taking taylor expansion of x in x 1546677339.625 * [misc]backup-simplify: Simplify 0 into 0 1546677339.625 * [misc]backup-simplify: Simplify 1 into 1 1546677339.625 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.625 * [misc]backup-simplify: Simplify 1 into 1 1546677339.625 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677339.625 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677339.626 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1546677339.626 * [misc]backup-simplify: Simplify 1 into 1 1546677339.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.626 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.626 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1546677339.626 * [misc]backup-simplify: Simplify 0 into 0 1546677339.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.626 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.627 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.627 * [misc]backup-simplify: Simplify 0 into 0 1546677339.627 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.627 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.627 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.627 * [misc]backup-simplify: Simplify 0 into 0 1546677339.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.628 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.628 * [misc]backup-simplify: Simplify 0 into 0 1546677339.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.629 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.629 * [misc]backup-simplify: Simplify 0 into 0 1546677339.629 * [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 1546677339.629 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.630 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.630 * [misc]backup-simplify: Simplify 0 into 0 1546677339.630 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ x (pow x 2)) 1546677339.630 * [misc]backup-simplify: Simplify (* (+ (/ 1 (- x)) 1) (/ 1 (- x))) into (* -1 (/ (- 1 (/ 1 x)) x)) 1546677339.630 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in (x) around 0 1546677339.630 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 1546677339.630 * [misc]taylor: Taking taylor expansion of -1 in x 1546677339.630 * [misc]backup-simplify: Simplify -1 into -1 1546677339.630 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 1546677339.630 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677339.630 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.630 * [misc]backup-simplify: Simplify 1 into 1 1546677339.630 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.630 * [misc]taylor: Taking taylor expansion of x in x 1546677339.630 * [misc]backup-simplify: Simplify 0 into 0 1546677339.630 * [misc]backup-simplify: Simplify 1 into 1 1546677339.630 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.630 * [misc]taylor: Taking taylor expansion of x in x 1546677339.630 * [misc]backup-simplify: Simplify 0 into 0 1546677339.630 * [misc]backup-simplify: Simplify 1 into 1 1546677339.630 * [misc]backup-simplify: Simplify (- 1) into -1 1546677339.630 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677339.631 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677339.631 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x 1546677339.631 * [misc]taylor: Taking taylor expansion of -1 in x 1546677339.631 * [misc]backup-simplify: Simplify -1 into -1 1546677339.631 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x 1546677339.631 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677339.631 * [misc]taylor: Taking taylor expansion of 1 in x 1546677339.631 * [misc]backup-simplify: Simplify 1 into 1 1546677339.631 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677339.631 * [misc]taylor: Taking taylor expansion of x in x 1546677339.631 * [misc]backup-simplify: Simplify 0 into 0 1546677339.631 * [misc]backup-simplify: Simplify 1 into 1 1546677339.631 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677339.631 * [misc]taylor: Taking taylor expansion of x in x 1546677339.631 * [misc]backup-simplify: Simplify 0 into 0 1546677339.631 * [misc]backup-simplify: Simplify 1 into 1 1546677339.631 * [misc]backup-simplify: Simplify (- 1) into -1 1546677339.631 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677339.631 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677339.631 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546677339.631 * [misc]backup-simplify: Simplify 1 into 1 1546677339.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677339.632 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.632 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677339.632 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)))) into 1 1546677339.632 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1546677339.632 * [misc]backup-simplify: Simplify -1 into -1 1546677339.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.632 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.632 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.633 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1546677339.633 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1546677339.633 * [misc]backup-simplify: Simplify 0 into 0 1546677339.633 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.633 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.633 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.633 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.634 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1546677339.634 * [misc]backup-simplify: Simplify 0 into 0 1546677339.634 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.634 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.634 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.634 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.634 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1546677339.635 * [misc]backup-simplify: Simplify 0 into 0 1546677339.635 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.635 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.635 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.635 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.636 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1546677339.636 * [misc]backup-simplify: Simplify 0 into 0 1546677339.636 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.636 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.636 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.636 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.637 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1546677339.637 * [misc]backup-simplify: Simplify 0 into 0 1546677339.637 * [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 1546677339.637 * [misc]backup-simplify: Simplify (- 0) into 0 1546677339.637 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677339.638 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677339.638 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1546677339.638 * [misc]backup-simplify: Simplify 0 into 0 1546677339.638 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ x (pow x 2)) 1546677339.638 * * * [misc]progress: simplifying candidates 1546677339.638 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1546677339.638 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1546677339.639 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1546677339.639 * [enter]simplify: Simplifying (+ (* x x) (- (* 1 1) (* x 1))) 1546677339.639 * * [misc]simplify: iters left: 6 (7 enodes) 1546677339.641 * * [misc]simplify: iters left: 5 (14 enodes) 1546677339.645 * * [misc]simplify: iters left: 4 (23 enodes) 1546677339.649 * * [misc]simplify: iters left: 3 (30 enodes) 1546677339.653 * * [misc]simplify: iters left: 2 (38 enodes) 1546677339.660 * * [misc]simplify: iters left: 1 (50 enodes) 1546677339.667 * [exit]simplify: Simplified to (+ (- 1 x) (* x x)) 1546677339.667 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ -1 (* (+ (pow x 3) (pow 1 3)) x)) (+ (- 1 x) (* x x)))) 1546677339.667 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1546677339.667 * [enter]simplify: Simplifying (- x 1) 1546677339.667 * * [misc]simplify: iters left: 2 (3 enodes) 1546677339.668 * * [misc]simplify: iters left: 1 (8 enodes) 1546677339.669 * [exit]simplify: Simplified to (+ x -1) 1546677339.669 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ -1 (* (- (* x x) (* 1 1)) x)) (+ x -1))) 1546677339.669 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1546677339.669 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1546677339.670 * [enter]simplify: Simplifying (* (cbrt (+ x 1)) (cbrt (+ x 1))) 1546677339.670 * * [misc]simplify: iters left: 5 (5 enodes) 1546677339.670 * * [misc]simplify: iters left: 4 (8 enodes) 1546677339.672 * [exit]simplify: Simplified to (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) 1546677339.672 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (* (cbrt (+ x 1)) x)))) 1546677339.672 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1546677339.672 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1546677339.672 * * [misc]simplify: iters left: 3 (4 enodes) 1546677339.674 * * [misc]simplify: iters left: 2 (7 enodes) 1546677339.675 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1546677339.675 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (sqrt (+ 1 x)) (* (sqrt (+ x 1)) x)))) 1546677339.675 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1546677339.675 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1546677339.676 * [enter]simplify: Simplifying (* (+ (pow x 3) (pow 1 3)) x) 1546677339.676 * * [misc]simplify: iters left: 5 (7 enodes) 1546677339.679 * * [misc]simplify: iters left: 4 (16 enodes) 1546677339.682 * * [misc]simplify: iters left: 3 (26 enodes) 1546677339.693 * * [misc]simplify: iters left: 2 (32 enodes) 1546677339.699 * [exit]simplify: Simplified to (+ x (pow x 4)) 1546677339.699 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (+ x (pow x 4)) (+ (* x x) (- (* 1 1) (* x 1)))))) 1546677339.700 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1546677339.700 * [enter]simplify: Simplifying (* (- (* x x) (* 1 1)) x) 1546677339.700 * * [misc]simplify: iters left: 6 (6 enodes) 1546677339.701 * * [misc]simplify: iters left: 5 (12 enodes) 1546677339.703 * * [misc]simplify: iters left: 4 (15 enodes) 1546677339.705 * * [misc]simplify: iters left: 3 (22 enodes) 1546677339.709 * * [misc]simplify: iters left: 2 (56 enodes) 1546677339.727 * * [misc]simplify: iters left: 1 (136 enodes) 1546677339.776 * [exit]simplify: Simplified to (- (pow x 3) x) 1546677339.776 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (- (pow x 3) x) (- x 1)))) 1546677339.776 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1546677339.777 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1546677339.777 * [enter]simplify: Simplifying (- 1 (+ x (/ 1 x))) 1546677339.777 * * [misc]simplify: iters left: 6 (5 enodes) 1546677339.779 * * [misc]simplify: iters left: 5 (12 enodes) 1546677339.781 * * [misc]simplify: iters left: 4 (20 enodes) 1546677339.784 * * [misc]simplify: iters left: 3 (34 enodes) 1546677339.789 * * [misc]simplify: iters left: 2 (45 enodes) 1546677339.794 * * [misc]simplify: iters left: 1 (59 enodes) 1546677339.803 * [exit]simplify: Simplified to (- (/ -1 x) (+ -1 x)) 1546677339.803 * [misc]simplify: Simplified (2) to (λ (x) (- (/ -1 x) (+ -1 x))) 1546677339.803 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1546677339.804 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677339.804 * * [misc]simplify: iters left: 6 (13 enodes) 1546677339.806 * * [misc]simplify: iters left: 5 (23 enodes) 1546677339.812 * * [misc]simplify: iters left: 4 (37 enodes) 1546677339.822 * * [misc]simplify: iters left: 3 (54 enodes) 1546677339.835 * * [misc]simplify: iters left: 2 (66 enodes) 1546677339.853 * * [misc]simplify: iters left: 1 (81 enodes) 1546677339.877 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677339.877 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677339.877 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1546677339.878 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677339.878 * * [misc]simplify: iters left: 6 (13 enodes) 1546677339.882 * * [misc]simplify: iters left: 5 (23 enodes) 1546677339.890 * * [misc]simplify: iters left: 4 (37 enodes) 1546677339.901 * * [misc]simplify: iters left: 3 (54 enodes) 1546677339.914 * * [misc]simplify: iters left: 2 (66 enodes) 1546677339.928 * * [misc]simplify: iters left: 1 (81 enodes) 1546677339.941 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677339.941 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677339.941 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1546677339.941 * [enter]simplify: Simplifying (+ x (pow x 2)) 1546677339.941 * * [misc]simplify: iters left: 3 (4 enodes) 1546677339.942 * * [misc]simplify: iters left: 2 (6 enodes) 1546677339.943 * * [misc]simplify: iters left: 1 (9 enodes) 1546677339.944 * [exit]simplify: Simplified to (+ x (* x x)) 1546677339.944 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677339.944 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1546677339.944 * [enter]simplify: Simplifying (+ x (pow x 2)) 1546677339.944 * * [misc]simplify: iters left: 3 (4 enodes) 1546677339.945 * * [misc]simplify: iters left: 2 (6 enodes) 1546677339.946 * * [misc]simplify: iters left: 1 (9 enodes) 1546677339.947 * [exit]simplify: Simplified to (+ x (* x x)) 1546677339.947 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677339.947 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1546677339.947 * [enter]simplify: Simplifying (+ x (pow x 2)) 1546677339.947 * * [misc]simplify: iters left: 3 (4 enodes) 1546677339.948 * * [misc]simplify: iters left: 2 (6 enodes) 1546677339.949 * * [misc]simplify: iters left: 1 (9 enodes) 1546677339.950 * [exit]simplify: Simplified to (+ x (* x x)) 1546677339.950 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677339.950 * * * [misc]progress: adding candidates to table 1546677340.177 * * [misc]progress: iteration 3 / 4 1546677340.177 * * * [misc]progress: picking best candidate 1546677340.183 * * * * [misc]pick: Picked # 1546677340.183 * * * [misc]progress: localizing error 1546677340.188 * * * [misc]progress: generating rewritten candidates 1546677340.189 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1546677340.192 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1546677340.192 * * * [misc]progress: generating series expansions 1546677340.192 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1546677340.192 * [misc]backup-simplify: Simplify (/ (/ -1 (+ x 1)) x) into (/ -1 (* x (+ x 1))) 1546677340.192 * [misc]approximate: Taking taylor expansion of (/ -1 (* x (+ x 1))) in (x) around 0 1546677340.192 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ x 1))) in x 1546677340.192 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.193 * [misc]backup-simplify: Simplify -1 into -1 1546677340.193 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1546677340.193 * [misc]taylor: Taking taylor expansion of x in x 1546677340.193 * [misc]backup-simplify: Simplify 0 into 0 1546677340.193 * [misc]backup-simplify: Simplify 1 into 1 1546677340.193 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677340.193 * [misc]taylor: Taking taylor expansion of x in x 1546677340.193 * [misc]backup-simplify: Simplify 0 into 0 1546677340.193 * [misc]backup-simplify: Simplify 1 into 1 1546677340.193 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.193 * [misc]backup-simplify: Simplify 1 into 1 1546677340.193 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677340.193 * [misc]backup-simplify: Simplify (* 0 1) into 0 1546677340.193 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.193 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1546677340.193 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677340.193 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (+ x 1))) in x 1546677340.193 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.193 * [misc]backup-simplify: Simplify -1 into -1 1546677340.193 * [misc]taylor: Taking taylor expansion of (* x (+ x 1)) in x 1546677340.193 * [misc]taylor: Taking taylor expansion of x in x 1546677340.193 * [misc]backup-simplify: Simplify 0 into 0 1546677340.193 * [misc]backup-simplify: Simplify 1 into 1 1546677340.193 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677340.193 * [misc]taylor: Taking taylor expansion of x in x 1546677340.194 * [misc]backup-simplify: Simplify 0 into 0 1546677340.194 * [misc]backup-simplify: Simplify 1 into 1 1546677340.194 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.194 * [misc]backup-simplify: Simplify 1 into 1 1546677340.194 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677340.194 * [misc]backup-simplify: Simplify (* 0 1) into 0 1546677340.194 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.194 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 1)) into 1 1546677340.194 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677340.194 * [misc]backup-simplify: Simplify -1 into -1 1546677340.194 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.194 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 1546677340.195 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1546677340.195 * [misc]backup-simplify: Simplify 1 into 1 1546677340.195 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.195 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1546677340.195 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546677340.195 * [misc]backup-simplify: Simplify -1 into -1 1546677340.195 * [misc]backup-simplify: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1546677340.195 * [misc]backup-simplify: Simplify (/ (/ -1 (+ (/ 1 x) 1)) (/ 1 x)) into (* -1 (/ x (+ (/ 1 x) 1))) 1546677340.195 * [misc]approximate: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in (x) around 0 1546677340.195 * [misc]taylor: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in x 1546677340.195 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.195 * [misc]backup-simplify: Simplify -1 into -1 1546677340.195 * [misc]taylor: Taking taylor expansion of (/ x (+ (/ 1 x) 1)) in x 1546677340.195 * [misc]taylor: Taking taylor expansion of x in x 1546677340.195 * [misc]backup-simplify: Simplify 0 into 0 1546677340.196 * [misc]backup-simplify: Simplify 1 into 1 1546677340.196 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677340.196 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.196 * [misc]taylor: Taking taylor expansion of x in x 1546677340.196 * [misc]backup-simplify: Simplify 0 into 0 1546677340.196 * [misc]backup-simplify: Simplify 1 into 1 1546677340.196 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.196 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.196 * [misc]backup-simplify: Simplify 1 into 1 1546677340.196 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.196 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.196 * [misc]taylor: Taking taylor expansion of (* -1 (/ x (+ (/ 1 x) 1))) in x 1546677340.196 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.196 * [misc]backup-simplify: Simplify -1 into -1 1546677340.196 * [misc]taylor: Taking taylor expansion of (/ x (+ (/ 1 x) 1)) in x 1546677340.196 * [misc]taylor: Taking taylor expansion of x in x 1546677340.196 * [misc]backup-simplify: Simplify 0 into 0 1546677340.196 * [misc]backup-simplify: Simplify 1 into 1 1546677340.196 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677340.196 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.196 * [misc]taylor: Taking taylor expansion of x in x 1546677340.196 * [misc]backup-simplify: Simplify 0 into 0 1546677340.196 * [misc]backup-simplify: Simplify 1 into 1 1546677340.196 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.196 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.196 * [misc]backup-simplify: Simplify 1 into 1 1546677340.196 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.196 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.197 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546677340.197 * [misc]backup-simplify: Simplify -1 into -1 1546677340.197 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677340.197 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677340.197 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1 1546677340.197 * [misc]backup-simplify: Simplify (+ (* -1 -1) (* 0 1)) into 1 1546677340.197 * [misc]backup-simplify: Simplify 1 into 1 1546677340.197 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677340.197 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.198 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1546677340.198 * [misc]backup-simplify: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 1))) into -1 1546677340.198 * [misc]backup-simplify: Simplify -1 into -1 1546677340.198 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677340.198 * [misc]backup-simplify: Simplify (/ (/ -1 (+ (/ 1 (- x)) 1)) (/ 1 (- x))) into (/ x (- 1 (/ 1 x))) 1546677340.198 * [misc]approximate: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in (x) around 0 1546677340.198 * [misc]taylor: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in x 1546677340.198 * [misc]taylor: Taking taylor expansion of x in x 1546677340.198 * [misc]backup-simplify: Simplify 0 into 0 1546677340.198 * [misc]backup-simplify: Simplify 1 into 1 1546677340.198 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677340.198 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.198 * [misc]backup-simplify: Simplify 1 into 1 1546677340.198 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.198 * [misc]taylor: Taking taylor expansion of x in x 1546677340.198 * [misc]backup-simplify: Simplify 0 into 0 1546677340.198 * [misc]backup-simplify: Simplify 1 into 1 1546677340.198 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.199 * [misc]backup-simplify: Simplify (- 1) into -1 1546677340.199 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677340.199 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677340.199 * [misc]taylor: Taking taylor expansion of (/ x (- 1 (/ 1 x))) in x 1546677340.199 * [misc]taylor: Taking taylor expansion of x in x 1546677340.199 * [misc]backup-simplify: Simplify 0 into 0 1546677340.199 * [misc]backup-simplify: Simplify 1 into 1 1546677340.199 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677340.199 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.199 * [misc]backup-simplify: Simplify 1 into 1 1546677340.199 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.199 * [misc]taylor: Taking taylor expansion of x in x 1546677340.199 * [misc]backup-simplify: Simplify 0 into 0 1546677340.199 * [misc]backup-simplify: Simplify 1 into 1 1546677340.199 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.199 * [misc]backup-simplify: Simplify (- 1) into -1 1546677340.199 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677340.200 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677340.200 * [misc]backup-simplify: Simplify -1 into -1 1546677340.200 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677340.200 * [misc]backup-simplify: Simplify (- 0) into 0 1546677340.200 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.200 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 1 -1)))) into -1 1546677340.201 * [misc]backup-simplify: Simplify -1 into -1 1546677340.201 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677340.201 * [misc]backup-simplify: Simplify (- 0) into 0 1546677340.201 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.201 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1 1546677340.202 * [misc]backup-simplify: Simplify -1 into -1 1546677340.202 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677340.202 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1546677340.202 * [misc]backup-simplify: Simplify (/ -1 (+ x 1)) into (/ -1 (+ x 1)) 1546677340.202 * [misc]approximate: Taking taylor expansion of (/ -1 (+ x 1)) in (x) around 0 1546677340.202 * [misc]taylor: Taking taylor expansion of (/ -1 (+ x 1)) in x 1546677340.202 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.202 * [misc]backup-simplify: Simplify -1 into -1 1546677340.202 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677340.202 * [misc]taylor: Taking taylor expansion of x in x 1546677340.202 * [misc]backup-simplify: Simplify 0 into 0 1546677340.202 * [misc]backup-simplify: Simplify 1 into 1 1546677340.202 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.202 * [misc]backup-simplify: Simplify 1 into 1 1546677340.203 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677340.203 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677340.203 * [misc]taylor: Taking taylor expansion of (/ -1 (+ x 1)) in x 1546677340.203 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.203 * [misc]backup-simplify: Simplify -1 into -1 1546677340.203 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1546677340.203 * [misc]taylor: Taking taylor expansion of x in x 1546677340.203 * [misc]backup-simplify: Simplify 0 into 0 1546677340.203 * [misc]backup-simplify: Simplify 1 into 1 1546677340.203 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.203 * [misc]backup-simplify: Simplify 1 into 1 1546677340.203 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677340.203 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677340.203 * [misc]backup-simplify: Simplify -1 into -1 1546677340.204 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.204 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1546677340.204 * [misc]backup-simplify: Simplify 1 into 1 1546677340.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.204 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546677340.205 * [misc]backup-simplify: Simplify -1 into -1 1546677340.205 * [misc]backup-simplify: Simplify (+ (* -1 (pow x 2)) (+ (* 1 x) -1)) into (- x (+ (pow x 2) 1)) 1546677340.205 * [misc]backup-simplify: Simplify (/ -1 (+ (/ 1 x) 1)) into (/ -1 (+ (/ 1 x) 1)) 1546677340.205 * [misc]approximate: Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in (x) around 0 1546677340.205 * [misc]taylor: Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x 1546677340.205 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.205 * [misc]backup-simplify: Simplify -1 into -1 1546677340.205 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677340.205 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.205 * [misc]taylor: Taking taylor expansion of x in x 1546677340.205 * [misc]backup-simplify: Simplify 0 into 0 1546677340.205 * [misc]backup-simplify: Simplify 1 into 1 1546677340.205 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.205 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.205 * [misc]backup-simplify: Simplify 1 into 1 1546677340.205 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.206 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677340.206 * [misc]taylor: Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x 1546677340.206 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.206 * [misc]backup-simplify: Simplify -1 into -1 1546677340.206 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677340.206 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.206 * [misc]taylor: Taking taylor expansion of x in x 1546677340.206 * [misc]backup-simplify: Simplify 0 into 0 1546677340.206 * [misc]backup-simplify: Simplify 1 into 1 1546677340.206 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.206 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.206 * [misc]backup-simplify: Simplify 1 into 1 1546677340.206 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.206 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677340.207 * [misc]backup-simplify: Simplify -1 into -1 1546677340.207 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677340.207 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677340.207 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1546677340.207 * [misc]backup-simplify: Simplify 1 into 1 1546677340.208 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677340.208 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.208 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1546677340.208 * [misc]backup-simplify: Simplify -1 into -1 1546677340.208 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 x) 3)) (+ (* 1 (pow (/ 1 x) 2)) (* -1 (/ 1 x)))) into (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1546677340.209 * [misc]backup-simplify: Simplify (/ -1 (+ (/ 1 (- x)) 1)) into (/ -1 (- 1 (/ 1 x))) 1546677340.209 * [misc]approximate: Taking taylor expansion of (/ -1 (- 1 (/ 1 x))) in (x) around 0 1546677340.209 * [misc]taylor: Taking taylor expansion of (/ -1 (- 1 (/ 1 x))) in x 1546677340.209 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.209 * [misc]backup-simplify: Simplify -1 into -1 1546677340.209 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677340.209 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.209 * [misc]backup-simplify: Simplify 1 into 1 1546677340.209 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.209 * [misc]taylor: Taking taylor expansion of x in x 1546677340.209 * [misc]backup-simplify: Simplify 0 into 0 1546677340.209 * [misc]backup-simplify: Simplify 1 into 1 1546677340.209 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.209 * [misc]backup-simplify: Simplify (- 1) into -1 1546677340.209 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677340.210 * [misc]backup-simplify: Simplify (/ -1 -1) into 1 1546677340.210 * [misc]taylor: Taking taylor expansion of (/ -1 (- 1 (/ 1 x))) in x 1546677340.210 * [misc]taylor: Taking taylor expansion of -1 in x 1546677340.210 * [misc]backup-simplify: Simplify -1 into -1 1546677340.210 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1546677340.210 * [misc]taylor: Taking taylor expansion of 1 in x 1546677340.210 * [misc]backup-simplify: Simplify 1 into 1 1546677340.210 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677340.210 * [misc]taylor: Taking taylor expansion of x in x 1546677340.210 * [misc]backup-simplify: Simplify 0 into 0 1546677340.210 * [misc]backup-simplify: Simplify 1 into 1 1546677340.210 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677340.210 * [misc]backup-simplify: Simplify (- 1) into -1 1546677340.210 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677340.211 * [misc]backup-simplify: Simplify (/ -1 -1) into 1 1546677340.211 * [misc]backup-simplify: Simplify 1 into 1 1546677340.211 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677340.211 * [misc]backup-simplify: Simplify (- 0) into 0 1546677340.211 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677340.212 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 1 -1)))) into 1 1546677340.212 * [misc]backup-simplify: Simplify 1 into 1 1546677340.212 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677340.212 * [misc]backup-simplify: Simplify (- 0) into 0 1546677340.212 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677340.213 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 1 -1)))) into 1 1546677340.213 * [misc]backup-simplify: Simplify 1 into 1 1546677340.213 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (- x)) 3)) (+ (* 1 (pow (/ 1 (- x)) 2)) (* 1 (/ 1 (- x))))) into (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1546677340.213 * * * [misc]progress: simplifying candidates 1546677340.213 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1546677340.213 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1546677340.213 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1546677340.213 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1546677340.213 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1546677340.214 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1546677340.214 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1546677340.214 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1546677340.214 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1546677340.214 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1546677340.214 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1546677340.214 * [enter]simplify: Simplifying (* (cbrt (/ -1 (+ x 1))) (cbrt (/ -1 (+ x 1)))) 1546677340.214 * * [misc]simplify: iters left: 6 (7 enodes) 1546677340.216 * * [misc]simplify: iters left: 5 (10 enodes) 1546677340.219 * [exit]simplify: Simplified to (* (cbrt (/ -1 (+ x 1))) (cbrt (/ -1 (+ x 1)))) 1546677340.219 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (/ -1 (+ x 1))) (cbrt (/ -1 (+ x 1)))) (/ x (cbrt (/ -1 (+ x 1)))))) 1546677340.219 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1546677340.220 * [enter]simplify: Simplifying (sqrt (/ -1 (+ x 1))) 1546677340.220 * * [misc]simplify: iters left: 5 (6 enodes) 1546677340.222 * * [misc]simplify: iters left: 4 (9 enodes) 1546677340.224 * [exit]simplify: Simplified to (sqrt (/ -1 (+ x 1))) 1546677340.224 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (/ -1 (+ x 1))) (/ x (sqrt (/ -1 (+ x 1)))))) 1546677340.224 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1546677340.224 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1546677340.224 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1546677340.224 * [enter]simplify: Simplifying (/ -1 (+ (pow x 3) (pow 1 3))) 1546677340.225 * * [misc]simplify: iters left: 5 (8 enodes) 1546677340.228 * * [misc]simplify: iters left: 4 (16 enodes) 1546677340.232 * [exit]simplify: Simplified to (/ -1 (+ 1 (pow x 3))) 1546677340.232 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (/ -1 (+ 1 (pow x 3))) (/ x (+ (* x x) (- (* 1 1) (* x 1)))))) 1546677340.232 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1546677340.233 * [enter]simplify: Simplifying (/ -1 (- (* x x) (* 1 1))) 1546677340.233 * * [misc]simplify: iters left: 6 (7 enodes) 1546677340.239 * * [misc]simplify: iters left: 5 (11 enodes) 1546677340.242 * * [misc]simplify: iters left: 4 (14 enodes) 1546677340.246 * * [misc]simplify: iters left: 3 (19 enodes) 1546677340.251 * * [misc]simplify: iters left: 2 (35 enodes) 1546677340.267 * * [misc]simplify: iters left: 1 (60 enodes) 1546677340.289 * [exit]simplify: Simplified to (/ -1 (+ -1 (* x x))) 1546677340.289 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (/ -1 (+ -1 (* x x))) (/ x (- x 1)))) 1546677340.289 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1546677340.289 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1546677340.290 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1546677340.290 * [enter]simplify: Simplifying (cbrt (+ x 1)) 1546677340.290 * * [misc]simplify: iters left: 3 (4 enodes) 1546677340.292 * * [misc]simplify: iters left: 2 (7 enodes) 1546677340.293 * [exit]simplify: Simplified to (cbrt (+ 1 x)) 1546677340.293 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ 1 x))) x)) 1546677340.293 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1546677340.293 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1546677340.293 * * [misc]simplify: iters left: 3 (4 enodes) 1546677340.294 * * [misc]simplify: iters left: 2 (7 enodes) 1546677340.296 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1546677340.296 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 (sqrt (+ x 1))) (sqrt (+ 1 x))) x)) 1546677340.296 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1546677340.296 * [enter]simplify: Simplifying (+ x 1) 1546677340.296 * * [misc]simplify: iters left: 2 (3 enodes) 1546677340.297 * * [misc]simplify: iters left: 1 (6 enodes) 1546677340.298 * [exit]simplify: Simplified to (+ 1 x) 1546677340.298 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (/ (/ -1 1) (+ 1 x)) x)) 1546677340.298 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1546677340.299 * [enter]simplify: Simplifying (+ (* x x) (- (* 1 1) (* x 1))) 1546677340.299 * * [misc]simplify: iters left: 6 (7 enodes) 1546677340.301 * * [misc]simplify: iters left: 5 (14 enodes) 1546677340.304 * * [misc]simplify: iters left: 4 (23 enodes) 1546677340.310 * * [misc]simplify: iters left: 3 (30 enodes) 1546677340.316 * * [misc]simplify: iters left: 2 (38 enodes) 1546677340.324 * * [misc]simplify: iters left: 1 (50 enodes) 1546677340.337 * [exit]simplify: Simplified to (+ (- 1 x) (* x x)) 1546677340.337 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (* (/ -1 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) x)) 1546677340.337 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1546677340.337 * [enter]simplify: Simplifying (- x 1) 1546677340.337 * * [misc]simplify: iters left: 2 (3 enodes) 1546677340.338 * * [misc]simplify: iters left: 1 (8 enodes) 1546677340.340 * [exit]simplify: Simplified to (+ x -1) 1546677340.340 * [misc]simplify: Simplified (2 1 2) to (λ (x) (/ (* (/ -1 (- (* x x) (* 1 1))) (+ x -1)) x)) 1546677340.340 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1546677340.340 * [enter]simplify: Simplifying (- 1 (+ x (/ 1 x))) 1546677340.341 * * [misc]simplify: iters left: 6 (5 enodes) 1546677340.342 * * [misc]simplify: iters left: 5 (12 enodes) 1546677340.345 * * [misc]simplify: iters left: 4 (20 enodes) 1546677340.350 * * [misc]simplify: iters left: 3 (34 enodes) 1546677340.358 * * [misc]simplify: iters left: 2 (45 enodes) 1546677340.367 * * [misc]simplify: iters left: 1 (59 enodes) 1546677340.386 * [exit]simplify: Simplified to (- (/ -1 x) (+ -1 x)) 1546677340.386 * [misc]simplify: Simplified (2) to (λ (x) (- (/ -1 x) (+ -1 x))) 1546677340.386 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1546677340.386 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677340.386 * * [misc]simplify: iters left: 6 (13 enodes) 1546677340.390 * * [misc]simplify: iters left: 5 (23 enodes) 1546677340.396 * * [misc]simplify: iters left: 4 (37 enodes) 1546677340.406 * * [misc]simplify: iters left: 3 (54 enodes) 1546677340.417 * * [misc]simplify: iters left: 2 (66 enodes) 1546677340.432 * * [misc]simplify: iters left: 1 (81 enodes) 1546677340.457 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677340.457 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677340.457 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1546677340.458 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677340.458 * * [misc]simplify: iters left: 6 (13 enodes) 1546677340.461 * * [misc]simplify: iters left: 5 (23 enodes) 1546677340.468 * * [misc]simplify: iters left: 4 (37 enodes) 1546677340.477 * * [misc]simplify: iters left: 3 (54 enodes) 1546677340.489 * * [misc]simplify: iters left: 2 (66 enodes) 1546677340.504 * * [misc]simplify: iters left: 1 (81 enodes) 1546677340.529 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677340.530 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677340.530 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1546677340.530 * [enter]simplify: Simplifying (- x (+ (pow x 2) 1)) 1546677340.530 * * [misc]simplify: iters left: 5 (6 enodes) 1546677340.532 * * [misc]simplify: iters left: 4 (14 enodes) 1546677340.537 * * [misc]simplify: iters left: 3 (23 enodes) 1546677340.543 * * [misc]simplify: iters left: 2 (38 enodes) 1546677340.553 * * [misc]simplify: iters left: 1 (49 enodes) 1546677340.566 * [exit]simplify: Simplified to (- (+ -1 x) (* x x)) 1546677340.567 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (+ -1 x) (* x x)) x)) 1546677340.567 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1546677340.567 * [enter]simplify: Simplifying (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1546677340.567 * * [misc]simplify: iters left: 6 (11 enodes) 1546677340.571 * * [misc]simplify: iters left: 5 (21 enodes) 1546677340.575 * * [misc]simplify: iters left: 4 (34 enodes) 1546677340.580 * * [misc]simplify: iters left: 3 (52 enodes) 1546677340.586 * * [misc]simplify: iters left: 2 (66 enodes) 1546677340.594 * * [misc]simplify: iters left: 1 (81 enodes) 1546677340.606 * [exit]simplify: Simplified to (- (+ (/ -1 x) (/ (/ -1 x) (* x x))) (/ -1 (* x x))) 1546677340.607 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (+ (/ -1 x) (/ (/ -1 x) (* x x))) (/ -1 (* x x))) x)) 1546677340.607 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1546677340.607 * [enter]simplify: Simplifying (- (/ 1 (pow x 2)) (+ (/ 1 (pow x 3)) (/ 1 x))) 1546677340.607 * * [misc]simplify: iters left: 6 (11 enodes) 1546677340.609 * * [misc]simplify: iters left: 5 (21 enodes) 1546677340.612 * * [misc]simplify: iters left: 4 (34 enodes) 1546677340.617 * * [misc]simplify: iters left: 3 (52 enodes) 1546677340.625 * * [misc]simplify: iters left: 2 (66 enodes) 1546677340.633 * * [misc]simplify: iters left: 1 (81 enodes) 1546677340.651 * [exit]simplify: Simplified to (- (+ (/ -1 x) (/ (/ -1 x) (* x x))) (/ -1 (* x x))) 1546677340.651 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (- (+ (/ -1 x) (/ (/ -1 x) (* x x))) (/ -1 (* x x))) x)) 1546677340.651 * * * [misc]progress: adding candidates to table 1546677340.958 * * [misc]progress: iteration 4 / 4 1546677340.958 * * * [misc]progress: picking best candidate 1546677340.966 * * * * [misc]pick: Picked # 1546677340.966 * * * [misc]progress: localizing error 1546677340.994 * * * [misc]progress: generating rewritten candidates 1546677340.994 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 2) 1546677341.009 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1546677341.013 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2 1) 1546677341.020 * * * [misc]progress: generating series expansions 1546677341.020 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 2) 1546677341.020 * [misc]backup-simplify: Simplify (/ (- (pow x 3) x) (- x 1)) into (/ (- (pow x 3) x) (- x 1)) 1546677341.020 * [misc]approximate: Taking taylor expansion of (/ (- (pow x 3) x) (- x 1)) in (x) around 0 1546677341.020 * [misc]taylor: Taking taylor expansion of (/ (- (pow x 3) x) (- x 1)) in x 1546677341.020 * [misc]taylor: Taking taylor expansion of (- (pow x 3) x) in x 1546677341.020 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.020 * [misc]taylor: Taking taylor expansion of x in x 1546677341.020 * [misc]backup-simplify: Simplify 0 into 0 1546677341.020 * [misc]backup-simplify: Simplify 1 into 1 1546677341.020 * [misc]taylor: Taking taylor expansion of x in x 1546677341.020 * [misc]backup-simplify: Simplify 0 into 0 1546677341.020 * [misc]backup-simplify: Simplify 1 into 1 1546677341.020 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546677341.021 * [misc]taylor: Taking taylor expansion of x in x 1546677341.021 * [misc]backup-simplify: Simplify 0 into 0 1546677341.021 * [misc]backup-simplify: Simplify 1 into 1 1546677341.021 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.021 * [misc]backup-simplify: Simplify 1 into 1 1546677341.021 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.021 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.021 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.021 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.022 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.022 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.022 * [misc]backup-simplify: Simplify (/ -1 -1) into 1 1546677341.022 * [misc]taylor: Taking taylor expansion of (/ (- (pow x 3) x) (- x 1)) in x 1546677341.022 * [misc]taylor: Taking taylor expansion of (- (pow x 3) x) in x 1546677341.022 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.022 * [misc]taylor: Taking taylor expansion of x in x 1546677341.022 * [misc]backup-simplify: Simplify 0 into 0 1546677341.022 * [misc]backup-simplify: Simplify 1 into 1 1546677341.022 * [misc]taylor: Taking taylor expansion of x in x 1546677341.022 * [misc]backup-simplify: Simplify 0 into 0 1546677341.022 * [misc]backup-simplify: Simplify 1 into 1 1546677341.022 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546677341.022 * [misc]taylor: Taking taylor expansion of x in x 1546677341.022 * [misc]backup-simplify: Simplify 0 into 0 1546677341.022 * [misc]backup-simplify: Simplify 1 into 1 1546677341.022 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.022 * [misc]backup-simplify: Simplify 1 into 1 1546677341.023 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.023 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.023 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.023 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.023 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.023 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.023 * [misc]backup-simplify: Simplify (/ -1 -1) into 1 1546677341.024 * [misc]backup-simplify: Simplify 1 into 1 1546677341.024 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.024 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.029 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.029 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.030 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 1 -1)))) into 1 1546677341.030 * [misc]backup-simplify: Simplify 1 into 1 1546677341.030 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.030 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.030 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.031 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.031 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.031 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.031 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 1 -1)))) into 0 1546677341.031 * [misc]backup-simplify: Simplify 0 into 0 1546677341.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.032 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.032 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.032 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.032 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.032 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.033 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 0 -1)) (* 0 (/ 1 -1)))) into 0 1546677341.033 * [misc]backup-simplify: Simplify 0 into 0 1546677341.033 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.033 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.033 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.034 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.034 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.034 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.034 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 1 -1)))) into 0 1546677341.034 * [misc]backup-simplify: Simplify 0 into 0 1546677341.035 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.035 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.035 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.035 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.036 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.036 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.036 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 1 -1)))) into 0 1546677341.036 * [misc]backup-simplify: Simplify 0 into 0 1546677341.037 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.037 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.037 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.037 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.038 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.038 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.038 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 1 -1)))) into 0 1546677341.038 * [misc]backup-simplify: Simplify 0 into 0 1546677341.039 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.039 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.039 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.040 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.040 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.040 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.041 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 1 -1)))) into 0 1546677341.041 * [misc]backup-simplify: Simplify 0 into 0 1546677341.041 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (* 1 x)) into (+ x (pow x 2)) 1546677341.041 * [misc]backup-simplify: Simplify (/ (- (pow (/ 1 x) 3) (/ 1 x)) (- (/ 1 x) 1)) into (/ (- (/ 1 (pow x 3)) (/ 1 x)) (- (/ 1 x) 1)) 1546677341.041 * [misc]approximate: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 x)) (- (/ 1 x) 1)) in (x) around 0 1546677341.041 * [misc]taylor: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 x)) (- (/ 1 x) 1)) in x 1546677341.041 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in x 1546677341.041 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.041 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.041 * [misc]taylor: Taking taylor expansion of x in x 1546677341.041 * [misc]backup-simplify: Simplify 0 into 0 1546677341.041 * [misc]backup-simplify: Simplify 1 into 1 1546677341.042 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.042 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.042 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.042 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.042 * [misc]taylor: Taking taylor expansion of x in x 1546677341.042 * [misc]backup-simplify: Simplify 0 into 0 1546677341.042 * [misc]backup-simplify: Simplify 1 into 1 1546677341.042 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.042 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546677341.042 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.042 * [misc]taylor: Taking taylor expansion of x in x 1546677341.042 * [misc]backup-simplify: Simplify 0 into 0 1546677341.042 * [misc]backup-simplify: Simplify 1 into 1 1546677341.042 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.042 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.042 * [misc]backup-simplify: Simplify 1 into 1 1546677341.043 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.043 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.043 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.043 * [misc]taylor: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 x)) (- (/ 1 x) 1)) in x 1546677341.043 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in x 1546677341.043 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.043 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.043 * [misc]taylor: Taking taylor expansion of x in x 1546677341.043 * [misc]backup-simplify: Simplify 0 into 0 1546677341.043 * [misc]backup-simplify: Simplify 1 into 1 1546677341.043 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.044 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.044 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.044 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.044 * [misc]taylor: Taking taylor expansion of x in x 1546677341.044 * [misc]backup-simplify: Simplify 0 into 0 1546677341.044 * [misc]backup-simplify: Simplify 1 into 1 1546677341.044 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.044 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546677341.044 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.044 * [misc]taylor: Taking taylor expansion of x in x 1546677341.044 * [misc]backup-simplify: Simplify 0 into 0 1546677341.044 * [misc]backup-simplify: Simplify 1 into 1 1546677341.044 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.044 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.044 * [misc]backup-simplify: Simplify 1 into 1 1546677341.044 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.045 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.045 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.045 * [misc]backup-simplify: Simplify 1 into 1 1546677341.045 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.045 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.046 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.046 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.046 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.046 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.046 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.047 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1 1546677341.047 * [misc]backup-simplify: Simplify 1 into 1 1546677341.047 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.047 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.048 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.048 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.048 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.048 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.048 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.048 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.049 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 0 1546677341.049 * [misc]backup-simplify: Simplify 0 into 0 1546677341.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.049 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.050 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.050 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.050 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.050 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.051 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.051 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.051 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.051 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ -1 1)))) into 0 1546677341.052 * [misc]backup-simplify: Simplify 0 into 0 1546677341.052 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.052 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.053 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.053 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.053 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.053 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.054 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.054 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.054 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.054 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ -1 1)))) into 0 1546677341.055 * [misc]backup-simplify: Simplify 0 into 0 1546677341.055 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.056 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.056 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.057 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.057 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.057 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.058 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.058 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.058 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.058 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ -1 1)))) into 0 1546677341.058 * [misc]backup-simplify: Simplify 0 into 0 1546677341.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.060 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.060 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.061 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.061 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.061 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.061 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.062 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.062 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ -1 1)))) into 0 1546677341.062 * [misc]backup-simplify: Simplify 0 into 0 1546677341.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.064 * [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 1546677341.065 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.065 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.065 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.066 * [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 1546677341.066 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.066 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.066 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ -1 1)))) into 0 1546677341.067 * [misc]backup-simplify: Simplify 0 into 0 1546677341.067 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ x (pow x 2)) 1546677341.067 * [misc]backup-simplify: Simplify (/ (- (pow (/ 1 (- x)) 3) (/ 1 (- x))) (- (/ 1 (- x)) 1)) into (* -1 (/ (- (/ 1 x) (/ 1 (pow x 3))) (+ (/ 1 x) 1))) 1546677341.067 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (pow x 3))) (+ (/ 1 x) 1))) in (x) around 0 1546677341.067 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (pow x 3))) (+ (/ 1 x) 1))) in x 1546677341.067 * [misc]taylor: Taking taylor expansion of -1 in x 1546677341.067 * [misc]backup-simplify: Simplify -1 into -1 1546677341.067 * [misc]taylor: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (pow x 3))) (+ (/ 1 x) 1)) in x 1546677341.067 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in x 1546677341.067 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.067 * [misc]taylor: Taking taylor expansion of x in x 1546677341.067 * [misc]backup-simplify: Simplify 0 into 0 1546677341.067 * [misc]backup-simplify: Simplify 1 into 1 1546677341.068 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.068 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.068 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.068 * [misc]taylor: Taking taylor expansion of x in x 1546677341.068 * [misc]backup-simplify: Simplify 0 into 0 1546677341.068 * [misc]backup-simplify: Simplify 1 into 1 1546677341.068 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.068 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.068 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.068 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677341.068 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.068 * [misc]taylor: Taking taylor expansion of x in x 1546677341.068 * [misc]backup-simplify: Simplify 0 into 0 1546677341.068 * [misc]backup-simplify: Simplify 1 into 1 1546677341.069 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.069 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.069 * [misc]backup-simplify: Simplify 1 into 1 1546677341.069 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.069 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.069 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.069 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677341.069 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (pow x 3))) (+ (/ 1 x) 1))) in x 1546677341.069 * [misc]taylor: Taking taylor expansion of -1 in x 1546677341.069 * [misc]backup-simplify: Simplify -1 into -1 1546677341.069 * [misc]taylor: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (pow x 3))) (+ (/ 1 x) 1)) in x 1546677341.069 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in x 1546677341.069 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.069 * [misc]taylor: Taking taylor expansion of x in x 1546677341.070 * [misc]backup-simplify: Simplify 0 into 0 1546677341.070 * [misc]backup-simplify: Simplify 1 into 1 1546677341.070 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.070 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.070 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.070 * [misc]taylor: Taking taylor expansion of x in x 1546677341.070 * [misc]backup-simplify: Simplify 0 into 0 1546677341.070 * [misc]backup-simplify: Simplify 1 into 1 1546677341.070 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.070 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.070 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.070 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677341.070 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.070 * [misc]taylor: Taking taylor expansion of x in x 1546677341.070 * [misc]backup-simplify: Simplify 0 into 0 1546677341.070 * [misc]backup-simplify: Simplify 1 into 1 1546677341.071 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.071 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.071 * [misc]backup-simplify: Simplify 1 into 1 1546677341.071 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.071 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.071 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.071 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1546677341.072 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1546677341.072 * [misc]backup-simplify: Simplify 1 into 1 1546677341.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.072 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.072 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.073 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.073 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.073 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677341.073 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1 1546677341.073 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 -1)) into -1 1546677341.074 * [misc]backup-simplify: Simplify -1 into -1 1546677341.074 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.074 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.074 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.075 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.075 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.075 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.075 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.076 * [misc]backup-simplify: Simplify (- (/ 1 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into 0 1546677341.076 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 -1))) into 0 1546677341.076 * [misc]backup-simplify: Simplify 0 into 0 1546677341.076 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.077 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.077 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.077 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.078 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.078 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.078 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 1 1)))) into 0 1546677341.079 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))) into 0 1546677341.079 * [misc]backup-simplify: Simplify 0 into 0 1546677341.079 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.080 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.080 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.080 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.081 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.081 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.081 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.081 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.082 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 1 1)))) into 0 1546677341.082 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1546677341.082 * [misc]backup-simplify: Simplify 0 into 0 1546677341.083 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.083 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.083 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.084 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.084 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.084 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.085 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.085 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.085 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 1 1)))) into 0 1546677341.086 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 1546677341.086 * [misc]backup-simplify: Simplify 0 into 0 1546677341.086 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.088 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.088 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.088 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.089 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.089 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.089 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 1 1)))) into 0 1546677341.090 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 1546677341.090 * [misc]backup-simplify: Simplify 0 into 0 1546677341.091 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.091 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.092 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.092 * [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 1546677341.092 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.092 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.093 * [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 1546677341.093 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.094 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 1 1)))) into 0 1546677341.094 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 1546677341.094 * [misc]backup-simplify: Simplify 0 into 0 1546677341.095 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ x (pow x 2)) 1546677341.095 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1546677341.095 * [misc]backup-simplify: Simplify (/ -1 (/ (- (pow x 3) x) (- x 1))) into (* -1 (/ (- x 1) (- (pow x 3) x))) 1546677341.095 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- x 1) (- (pow x 3) x))) in (x) around 0 1546677341.095 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- x 1) (- (pow x 3) x))) in x 1546677341.095 * [misc]taylor: Taking taylor expansion of -1 in x 1546677341.095 * [misc]backup-simplify: Simplify -1 into -1 1546677341.095 * [misc]taylor: Taking taylor expansion of (/ (- x 1) (- (pow x 3) x)) in x 1546677341.095 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546677341.095 * [misc]taylor: Taking taylor expansion of x in x 1546677341.095 * [misc]backup-simplify: Simplify 0 into 0 1546677341.095 * [misc]backup-simplify: Simplify 1 into 1 1546677341.095 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.095 * [misc]backup-simplify: Simplify 1 into 1 1546677341.095 * [misc]taylor: Taking taylor expansion of (- (pow x 3) x) in x 1546677341.095 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.096 * [misc]taylor: Taking taylor expansion of x in x 1546677341.096 * [misc]backup-simplify: Simplify 0 into 0 1546677341.096 * [misc]backup-simplify: Simplify 1 into 1 1546677341.096 * [misc]taylor: Taking taylor expansion of x in x 1546677341.096 * [misc]backup-simplify: Simplify 0 into 0 1546677341.096 * [misc]backup-simplify: Simplify 1 into 1 1546677341.096 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.096 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.096 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.096 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.096 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.097 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.097 * [misc]backup-simplify: Simplify (/ -1 -1) into 1 1546677341.097 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- x 1) (- (pow x 3) x))) in x 1546677341.097 * [misc]taylor: Taking taylor expansion of -1 in x 1546677341.097 * [misc]backup-simplify: Simplify -1 into -1 1546677341.097 * [misc]taylor: Taking taylor expansion of (/ (- x 1) (- (pow x 3) x)) in x 1546677341.097 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1546677341.097 * [misc]taylor: Taking taylor expansion of x in x 1546677341.097 * [misc]backup-simplify: Simplify 0 into 0 1546677341.097 * [misc]backup-simplify: Simplify 1 into 1 1546677341.097 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.097 * [misc]backup-simplify: Simplify 1 into 1 1546677341.097 * [misc]taylor: Taking taylor expansion of (- (pow x 3) x) in x 1546677341.097 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.097 * [misc]taylor: Taking taylor expansion of x in x 1546677341.097 * [misc]backup-simplify: Simplify 0 into 0 1546677341.097 * [misc]backup-simplify: Simplify 1 into 1 1546677341.097 * [misc]taylor: Taking taylor expansion of x in x 1546677341.097 * [misc]backup-simplify: Simplify 0 into 0 1546677341.097 * [misc]backup-simplify: Simplify 1 into 1 1546677341.097 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.098 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.098 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.098 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.098 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.098 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.098 * [misc]backup-simplify: Simplify (/ -1 -1) into 1 1546677341.099 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546677341.099 * [misc]backup-simplify: Simplify -1 into -1 1546677341.099 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.099 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.099 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.099 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.099 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* 1 (/ 0 -1)))) into -1 1546677341.100 * [misc]backup-simplify: Simplify (+ (* -1 -1) (* 0 1)) into 1 1546677341.100 * [misc]backup-simplify: Simplify 1 into 1 1546677341.100 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.100 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.100 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.100 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.101 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.101 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.101 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 1 (/ 1 -1)) (* -1 (/ 0 -1)))) into 1 1546677341.101 * [misc]backup-simplify: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 1))) into -1 1546677341.101 * [misc]backup-simplify: Simplify -1 into -1 1546677341.101 * [misc]backup-simplify: Simplify (+ (* -1 x) (+ 1 (* -1 (/ 1 x)))) into (- 1 (+ x (/ 1 x))) 1546677341.102 * [misc]backup-simplify: Simplify (/ -1 (/ (- (pow (/ 1 x) 3) (/ 1 x)) (- (/ 1 x) 1))) into (* -1 (/ (- (/ 1 x) 1) (- (/ 1 (pow x 3)) (/ 1 x)))) 1546677341.102 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- (/ 1 x) 1) (- (/ 1 (pow x 3)) (/ 1 x)))) in (x) around 0 1546677341.102 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- (/ 1 x) 1) (- (/ 1 (pow x 3)) (/ 1 x)))) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of -1 in x 1546677341.102 * [misc]backup-simplify: Simplify -1 into -1 1546677341.102 * [misc]taylor: Taking taylor expansion of (/ (- (/ 1 x) 1) (- (/ 1 (pow x 3)) (/ 1 x))) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of x in x 1546677341.102 * [misc]backup-simplify: Simplify 0 into 0 1546677341.102 * [misc]backup-simplify: Simplify 1 into 1 1546677341.102 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.102 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.102 * [misc]backup-simplify: Simplify 1 into 1 1546677341.102 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.102 * [misc]taylor: Taking taylor expansion of x in x 1546677341.103 * [misc]backup-simplify: Simplify 0 into 0 1546677341.103 * [misc]backup-simplify: Simplify 1 into 1 1546677341.103 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.103 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.103 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.103 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.103 * [misc]taylor: Taking taylor expansion of x in x 1546677341.103 * [misc]backup-simplify: Simplify 0 into 0 1546677341.103 * [misc]backup-simplify: Simplify 1 into 1 1546677341.103 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.103 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.103 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.104 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.104 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- (/ 1 x) 1) (- (/ 1 (pow x 3)) (/ 1 x)))) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of -1 in x 1546677341.104 * [misc]backup-simplify: Simplify -1 into -1 1546677341.104 * [misc]taylor: Taking taylor expansion of (/ (- (/ 1 x) 1) (- (/ 1 (pow x 3)) (/ 1 x))) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of x in x 1546677341.104 * [misc]backup-simplify: Simplify 0 into 0 1546677341.104 * [misc]backup-simplify: Simplify 1 into 1 1546677341.104 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.104 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.104 * [misc]backup-simplify: Simplify 1 into 1 1546677341.104 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of x in x 1546677341.104 * [misc]backup-simplify: Simplify 0 into 0 1546677341.104 * [misc]backup-simplify: Simplify 1 into 1 1546677341.104 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.104 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.104 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.104 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.104 * [misc]taylor: Taking taylor expansion of x in x 1546677341.104 * [misc]backup-simplify: Simplify 0 into 0 1546677341.104 * [misc]backup-simplify: Simplify 1 into 1 1546677341.104 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.105 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.105 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.105 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.105 * [misc]backup-simplify: Simplify (* -1 1) into -1 1546677341.105 * [misc]backup-simplify: Simplify -1 into -1 1546677341.105 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.105 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.105 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.106 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.106 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.106 * [misc]backup-simplify: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1546677341.106 * [misc]backup-simplify: Simplify (+ (* -1 -1) (* 0 1)) into 1 1546677341.106 * [misc]backup-simplify: Simplify 1 into 1 1546677341.106 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.106 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.106 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.107 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.107 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.107 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.107 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.107 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.108 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)) (* -1 (/ 0 1)))) into 1 1546677341.108 * [misc]backup-simplify: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 1))) into -1 1546677341.108 * [misc]backup-simplify: Simplify -1 into -1 1546677341.108 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 x) 4)) (+ (* 1 (pow (/ 1 x) 3)) (* -1 (pow (/ 1 x) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677341.108 * [misc]backup-simplify: Simplify (/ -1 (/ (- (pow (/ 1 (- x)) 3) (/ 1 (- x))) (- (/ 1 (- x)) 1))) into (/ (+ (/ 1 x) 1) (- (/ 1 x) (/ 1 (pow x 3)))) 1546677341.108 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- (/ 1 x) (/ 1 (pow x 3)))) in (x) around 0 1546677341.108 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- (/ 1 x) (/ 1 (pow x 3)))) in x 1546677341.108 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677341.108 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.108 * [misc]taylor: Taking taylor expansion of x in x 1546677341.108 * [misc]backup-simplify: Simplify 0 into 0 1546677341.108 * [misc]backup-simplify: Simplify 1 into 1 1546677341.108 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.108 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.109 * [misc]backup-simplify: Simplify 1 into 1 1546677341.109 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in x 1546677341.109 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.109 * [misc]taylor: Taking taylor expansion of x in x 1546677341.109 * [misc]backup-simplify: Simplify 0 into 0 1546677341.109 * [misc]backup-simplify: Simplify 1 into 1 1546677341.109 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.109 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.109 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.109 * [misc]taylor: Taking taylor expansion of x in x 1546677341.109 * [misc]backup-simplify: Simplify 0 into 0 1546677341.109 * [misc]backup-simplify: Simplify 1 into 1 1546677341.109 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.109 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.109 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.109 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.109 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.109 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.109 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677341.109 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- (/ 1 x) (/ 1 (pow x 3)))) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of x in x 1546677341.110 * [misc]backup-simplify: Simplify 0 into 0 1546677341.110 * [misc]backup-simplify: Simplify 1 into 1 1546677341.110 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.110 * [misc]taylor: Taking taylor expansion of 1 in x 1546677341.110 * [misc]backup-simplify: Simplify 1 into 1 1546677341.110 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of x in x 1546677341.110 * [misc]backup-simplify: Simplify 0 into 0 1546677341.110 * [misc]backup-simplify: Simplify 1 into 1 1546677341.110 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.110 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.110 * [misc]taylor: Taking taylor expansion of x in x 1546677341.110 * [misc]backup-simplify: Simplify 0 into 0 1546677341.110 * [misc]backup-simplify: Simplify 1 into 1 1546677341.110 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.110 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.110 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.110 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.110 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.111 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.111 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1546677341.111 * [misc]backup-simplify: Simplify -1 into -1 1546677341.111 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.111 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1546677341.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.111 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.111 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.112 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.112 * [misc]backup-simplify: Simplify (- (/ 1 -1) (+ (* -1 (/ 0 -1)))) into -1 1546677341.112 * [misc]backup-simplify: Simplify -1 into -1 1546677341.112 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.112 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.112 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.112 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.113 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.113 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.113 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.113 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1 (/ 1 -1)) (* -1 (/ 0 -1)))) into -1 1546677341.113 * [misc]backup-simplify: Simplify -1 into -1 1546677341.113 * [misc]backup-simplify: Simplify (+ (* -1 (pow (/ 1 (- x)) 4)) (+ (* -1 (pow (/ 1 (- x)) 3)) (* -1 (pow (/ 1 (- x)) 2)))) into (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677341.113 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2 1) 1546677341.113 * [misc]backup-simplify: Simplify (- (pow x 3) x) into (- (pow x 3) x) 1546677341.113 * [misc]approximate: Taking taylor expansion of (- (pow x 3) x) in (x) around 0 1546677341.113 * [misc]taylor: Taking taylor expansion of (- (pow x 3) x) in x 1546677341.113 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.113 * [misc]taylor: Taking taylor expansion of x in x 1546677341.113 * [misc]backup-simplify: Simplify 0 into 0 1546677341.113 * [misc]backup-simplify: Simplify 1 into 1 1546677341.113 * [misc]taylor: Taking taylor expansion of x in x 1546677341.113 * [misc]backup-simplify: Simplify 0 into 0 1546677341.113 * [misc]backup-simplify: Simplify 1 into 1 1546677341.114 * [misc]taylor: Taking taylor expansion of (- (pow x 3) x) in x 1546677341.114 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.114 * [misc]taylor: Taking taylor expansion of x in x 1546677341.114 * [misc]backup-simplify: Simplify 0 into 0 1546677341.114 * [misc]backup-simplify: Simplify 1 into 1 1546677341.114 * [misc]taylor: Taking taylor expansion of x in x 1546677341.114 * [misc]backup-simplify: Simplify 0 into 0 1546677341.114 * [misc]backup-simplify: Simplify 1 into 1 1546677341.114 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.114 * [misc]backup-simplify: Simplify 0 into 0 1546677341.114 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.114 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.114 * [misc]backup-simplify: Simplify -1 into -1 1546677341.114 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.114 * [misc]backup-simplify: Simplify 0 into 0 1546677341.114 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.115 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.115 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.115 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.115 * [misc]backup-simplify: Simplify 1 into 1 1546677341.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.115 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.115 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.115 * [misc]backup-simplify: Simplify 0 into 0 1546677341.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.116 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.116 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.116 * [misc]backup-simplify: Simplify 0 into 0 1546677341.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.116 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.116 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.116 * [misc]backup-simplify: Simplify 0 into 0 1546677341.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.117 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.117 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.117 * [misc]backup-simplify: Simplify 0 into 0 1546677341.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.118 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.118 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.118 * [misc]backup-simplify: Simplify 0 into 0 1546677341.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.118 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.119 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.119 * [misc]backup-simplify: Simplify 0 into 0 1546677341.119 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 3)) (* -1 x)) into (- (pow x 3) x) 1546677341.119 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 3) (/ 1 x)) into (- (/ 1 (pow x 3)) (/ 1 x)) 1546677341.119 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in (x) around 0 1546677341.119 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in x 1546677341.119 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.119 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.119 * [misc]taylor: Taking taylor expansion of x in x 1546677341.119 * [misc]backup-simplify: Simplify 0 into 0 1546677341.119 * [misc]backup-simplify: Simplify 1 into 1 1546677341.119 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.119 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.119 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.119 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.119 * [misc]taylor: Taking taylor expansion of x in x 1546677341.119 * [misc]backup-simplify: Simplify 0 into 0 1546677341.119 * [misc]backup-simplify: Simplify 1 into 1 1546677341.119 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.119 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 x)) in x 1546677341.120 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.120 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.120 * [misc]taylor: Taking taylor expansion of x in x 1546677341.120 * [misc]backup-simplify: Simplify 0 into 0 1546677341.120 * [misc]backup-simplify: Simplify 1 into 1 1546677341.120 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.120 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.120 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.120 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.120 * [misc]taylor: Taking taylor expansion of x in x 1546677341.120 * [misc]backup-simplify: Simplify 0 into 0 1546677341.120 * [misc]backup-simplify: Simplify 1 into 1 1546677341.120 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.120 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.120 * [misc]backup-simplify: Simplify 1 into 1 1546677341.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.121 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.121 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.121 * [misc]backup-simplify: Simplify 0 into 0 1546677341.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.121 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.121 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.121 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.121 * [misc]backup-simplify: Simplify -1 into -1 1546677341.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.122 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.122 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.122 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.122 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.122 * [misc]backup-simplify: Simplify 0 into 0 1546677341.123 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.123 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.123 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.123 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.123 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.123 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.123 * [misc]backup-simplify: Simplify 0 into 0 1546677341.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.124 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.124 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.125 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.125 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.125 * [misc]backup-simplify: Simplify 0 into 0 1546677341.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.125 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.126 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.126 * [misc]backup-simplify: Simplify 0 into 0 1546677341.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.127 * [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 1546677341.127 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.127 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.127 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.127 * [misc]backup-simplify: Simplify 0 into 0 1546677341.128 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1546677341.128 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1546677341.128 * [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 1546677341.129 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.129 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.129 * [misc]backup-simplify: Simplify 0 into 0 1546677341.129 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (- (pow x 3) x) 1546677341.129 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 3) (/ 1 (- x))) into (- (/ 1 x) (/ 1 (pow x 3))) 1546677341.129 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in (x) around 0 1546677341.129 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in x 1546677341.129 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.129 * [misc]taylor: Taking taylor expansion of x in x 1546677341.129 * [misc]backup-simplify: Simplify 0 into 0 1546677341.129 * [misc]backup-simplify: Simplify 1 into 1 1546677341.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.130 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.130 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.130 * [misc]taylor: Taking taylor expansion of x in x 1546677341.130 * [misc]backup-simplify: Simplify 0 into 0 1546677341.130 * [misc]backup-simplify: Simplify 1 into 1 1546677341.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.130 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) (/ 1 (pow x 3))) in x 1546677341.130 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1546677341.130 * [misc]taylor: Taking taylor expansion of x in x 1546677341.130 * [misc]backup-simplify: Simplify 0 into 0 1546677341.130 * [misc]backup-simplify: Simplify 1 into 1 1546677341.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.130 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 3)) in x 1546677341.130 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1546677341.130 * [misc]taylor: Taking taylor expansion of x in x 1546677341.130 * [misc]backup-simplify: Simplify 0 into 0 1546677341.130 * [misc]backup-simplify: Simplify 1 into 1 1546677341.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.130 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546677341.130 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546677341.131 * [misc]backup-simplify: Simplify (- 1) into -1 1546677341.131 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1546677341.131 * [misc]backup-simplify: Simplify -1 into -1 1546677341.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546677341.131 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.131 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.131 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.131 * [misc]backup-simplify: Simplify 0 into 0 1546677341.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546677341.132 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.132 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.132 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546677341.132 * [misc]backup-simplify: Simplify 1 into 1 1546677341.132 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546677341.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546677341.133 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.133 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.133 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.133 * [misc]backup-simplify: Simplify 0 into 0 1546677341.133 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546677341.134 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.134 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.134 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.134 * [misc]backup-simplify: Simplify 0 into 0 1546677341.134 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546677341.135 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.135 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.135 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.135 * [misc]backup-simplify: Simplify 0 into 0 1546677341.136 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546677341.137 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.137 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.138 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.138 * [misc]backup-simplify: Simplify 0 into 0 1546677341.138 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1546677341.140 * [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 1546677341.140 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.140 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.140 * [misc]backup-simplify: Simplify 0 into 0 1546677341.141 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546677341.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1546677341.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1546677341.142 * [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 1546677341.143 * [misc]backup-simplify: Simplify (- 0) into 0 1546677341.143 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546677341.143 * [misc]backup-simplify: Simplify 0 into 0 1546677341.143 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (/ 1 (- x)))) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (- (pow x 3) x) 1546677341.143 * * * [misc]progress: simplifying candidates 1546677341.143 * * * * [misc]progress: [ 1 / 78 ] simplifiying candidate # 1546677341.143 * * * * [misc]progress: [ 2 / 78 ] simplifiying candidate # 1546677341.144 * [enter]simplify: Simplifying (- (log (- (pow x 3) x)) (log (- x 1))) 1546677341.144 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.147 * * [misc]simplify: iters left: 5 (21 enodes) 1546677341.152 * * [misc]simplify: iters left: 4 (24 enodes) 1546677341.160 * [exit]simplify: Simplified to (- (log (- (pow x 3) x)) (log (+ -1 x))) 1546677341.161 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (exp (- (log (- (pow x 3) x)) (log (+ -1 x)))))) 1546677341.161 * * * * [misc]progress: [ 3 / 78 ] simplifiying candidate # 1546677341.161 * * * * [misc]progress: [ 4 / 78 ] simplifiying candidate # 1546677341.161 * * * * [misc]progress: [ 5 / 78 ] simplifiying candidate # 1546677341.161 * [enter]simplify: Simplifying (/ (* (* (- (pow x 3) x) (- (pow x 3) x)) (- (pow x 3) x)) (* (* (- x 1) (- x 1)) (- x 1))) 1546677341.161 * * [misc]simplify: iters left: 6 (11 enodes) 1546677341.166 * * [misc]simplify: iters left: 5 (30 enodes) 1546677341.176 * * [misc]simplify: iters left: 4 (86 enodes) 1546677341.215 * * [misc]simplify: iters left: 3 (297 enodes) 1546677341.393 * [exit]simplify: Simplified to (pow (/ (- (pow x 3) x) (- x 1)) 3) 1546677341.393 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (cbrt (pow (/ (- (pow x 3) x) (- x 1)) 3)))) 1546677341.393 * * * * [misc]progress: [ 6 / 78 ] simplifiying candidate # 1546677341.393 * * * * [misc]progress: [ 7 / 78 ] simplifiying candidate # 1546677341.393 * * * * [misc]progress: [ 8 / 78 ] simplifiying candidate # 1546677341.393 * * * * [misc]progress: [ 9 / 78 ] simplifiying candidate # 1546677341.393 * * * * [misc]progress: [ 10 / 78 ] simplifiying candidate # 1546677341.394 * [enter]simplify: Simplifying (/ (pow x 3) (- x 1)) 1546677341.394 * * [misc]simplify: iters left: 4 (6 enodes) 1546677341.396 * * [misc]simplify: iters left: 3 (14 enodes) 1546677341.400 * * [misc]simplify: iters left: 2 (19 enodes) 1546677341.404 * * [misc]simplify: iters left: 1 (30 enodes) 1546677341.416 * [exit]simplify: Simplified to (/ (pow x 3) (- x 1)) 1546677341.416 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (- (/ (pow x 3) (- x 1)) (/ x (- x 1))))) 1546677341.416 * * * * [misc]progress: [ 11 / 78 ] simplifiying candidate # 1546677341.416 * [enter]simplify: Simplifying (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (* (cbrt (- x 1)) (cbrt (- x 1)))) 1546677341.416 * * [misc]simplify: iters left: 6 (11 enodes) 1546677341.421 * * [misc]simplify: iters left: 5 (27 enodes) 1546677341.428 * * [misc]simplify: iters left: 4 (38 enodes) 1546677341.437 * * [misc]simplify: iters left: 3 (41 enodes) 1546677341.442 * * [misc]simplify: iters left: 2 (44 enodes) 1546677341.447 * [exit]simplify: Simplified to (* (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1))) (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1)))) 1546677341.447 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (* (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1))) (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1)))) (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1)))))) 1546677341.447 * [enter]simplify: Simplifying (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1))) 1546677341.447 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.449 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.451 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.454 * [exit]simplify: Simplified to (/ (cbrt (- (pow x 3) x)) (cbrt (+ -1 x))) 1546677341.454 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (* (cbrt (- x 1)) (cbrt (- x 1)))) (/ (cbrt (- (pow x 3) x)) (cbrt (+ -1 x)))))) 1546677341.454 * * * * [misc]progress: [ 12 / 78 ] simplifiying candidate # 1546677341.454 * [enter]simplify: Simplifying (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (sqrt (- x 1))) 1546677341.454 * * [misc]simplify: iters left: 6 (10 enodes) 1546677341.456 * * [misc]simplify: iters left: 5 (22 enodes) 1546677341.459 * * [misc]simplify: iters left: 4 (26 enodes) 1546677341.462 * * [misc]simplify: iters left: 3 (27 enodes) 1546677341.466 * [exit]simplify: Simplified to (* (cbrt (- (pow x 3) x)) (/ (cbrt (- (pow x 3) x)) (sqrt (- x 1)))) 1546677341.466 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (* (cbrt (- (pow x 3) x)) (/ (cbrt (- (pow x 3) x)) (sqrt (- x 1)))) (/ (cbrt (- (pow x 3) x)) (sqrt (- x 1)))))) 1546677341.466 * [enter]simplify: Simplifying (/ (cbrt (- (pow x 3) x)) (sqrt (- x 1))) 1546677341.466 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.468 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.470 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.474 * [exit]simplify: Simplified to (/ (cbrt (- (pow x 3) x)) (sqrt (+ -1 x))) 1546677341.474 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (sqrt (- x 1))) (/ (cbrt (- (pow x 3) x)) (sqrt (+ -1 x)))))) 1546677341.474 * * * * [misc]progress: [ 13 / 78 ] simplifiying candidate # 1546677341.475 * [enter]simplify: Simplifying (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) 1) 1546677341.475 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.477 * * [misc]simplify: iters left: 5 (17 enodes) 1546677341.483 * * [misc]simplify: iters left: 4 (24 enodes) 1546677341.489 * * [misc]simplify: iters left: 3 (26 enodes) 1546677341.494 * * [misc]simplify: iters left: 2 (31 enodes) 1546677341.502 * [exit]simplify: Simplified to (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) 1546677341.502 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (/ (cbrt (- (pow x 3) x)) (- x 1))))) 1546677341.502 * [enter]simplify: Simplifying (/ (cbrt (- (pow x 3) x)) (- x 1)) 1546677341.502 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.505 * * [misc]simplify: iters left: 5 (18 enodes) 1546677341.510 * * [misc]simplify: iters left: 4 (20 enodes) 1546677341.515 * [exit]simplify: Simplified to (/ (cbrt (- (pow x 3) x)) (+ -1 x)) 1546677341.515 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (/ (cbrt (- (pow x 3) x)) (+ -1 x))))) 1546677341.515 * * * * [misc]progress: [ 14 / 78 ] simplifiying candidate # 1546677341.516 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (* (cbrt (- x 1)) (cbrt (- x 1)))) 1546677341.516 * * [misc]simplify: iters left: 6 (10 enodes) 1546677341.520 * * [misc]simplify: iters left: 5 (22 enodes) 1546677341.525 * * [misc]simplify: iters left: 4 (24 enodes) 1546677341.532 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (* (cbrt (+ x -1)) (cbrt (+ x -1)))) 1546677341.532 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (/ (sqrt (- (pow x 3) x)) (* (cbrt (+ x -1)) (cbrt (+ x -1)))) (/ (sqrt (- (pow x 3) x)) (cbrt (- x 1)))))) 1546677341.532 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (cbrt (- x 1))) 1546677341.532 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.537 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.542 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.548 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (cbrt (+ -1 x))) 1546677341.548 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ (sqrt (- (pow x 3) x)) (* (cbrt (- x 1)) (cbrt (- x 1)))) (/ (sqrt (- (pow x 3) x)) (cbrt (+ -1 x)))))) 1546677341.548 * * * * [misc]progress: [ 15 / 78 ] simplifiying candidate # 1546677341.548 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (sqrt (- x 1))) 1546677341.549 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.552 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.557 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.562 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (sqrt (+ -1 x))) 1546677341.562 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (/ (sqrt (- (pow x 3) x)) (sqrt (+ -1 x))) (/ (sqrt (- (pow x 3) x)) (sqrt (- x 1)))))) 1546677341.563 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (sqrt (- x 1))) 1546677341.563 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.565 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.567 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.570 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (sqrt (+ -1 x))) 1546677341.570 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ (sqrt (- (pow x 3) x)) (sqrt (- x 1))) (/ (sqrt (- (pow x 3) x)) (sqrt (+ -1 x)))))) 1546677341.570 * * * * [misc]progress: [ 16 / 78 ] simplifiying candidate # 1546677341.570 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) 1) 1546677341.570 * * [misc]simplify: iters left: 6 (7 enodes) 1546677341.571 * * [misc]simplify: iters left: 5 (14 enodes) 1546677341.573 * * [misc]simplify: iters left: 4 (17 enodes) 1546677341.575 * [exit]simplify: Simplified to (sqrt (- (pow x 3) x)) 1546677341.575 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (sqrt (- (pow x 3) x)) (/ (sqrt (- (pow x 3) x)) (- x 1))))) 1546677341.576 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (- x 1)) 1546677341.576 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.577 * * [misc]simplify: iters left: 5 (18 enodes) 1546677341.580 * * [misc]simplify: iters left: 4 (20 enodes) 1546677341.583 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (+ -1 x)) 1546677341.583 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (sqrt (- (pow x 3) x)) (/ (sqrt (- (pow x 3) x)) (+ -1 x))))) 1546677341.583 * * * * [misc]progress: [ 17 / 78 ] simplifiying candidate # 1546677341.583 * [enter]simplify: Simplifying (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1)))) 1546677341.583 * * [misc]simplify: iters left: 6 (6 enodes) 1546677341.585 * * [misc]simplify: iters left: 5 (13 enodes) 1546677341.586 * * [misc]simplify: iters left: 4 (14 enodes) 1546677341.588 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ -1 x))) (cbrt (+ -1 x))) 1546677341.588 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (/ (/ 1 (cbrt (+ -1 x))) (cbrt (+ -1 x))) (/ (- (pow x 3) x) (cbrt (- x 1)))))) 1546677341.588 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (cbrt (- x 1))) 1546677341.588 * * [misc]simplify: iters left: 5 (8 enodes) 1546677341.590 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.593 * * [misc]simplify: iters left: 3 (29 enodes) 1546677341.597 * * [misc]simplify: iters left: 2 (35 enodes) 1546677341.601 * * [misc]simplify: iters left: 1 (40 enodes) 1546677341.606 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (cbrt (- x 1))) 1546677341.606 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1)))) (/ (- (pow x 3) x) (cbrt (- x 1)))))) 1546677341.606 * * * * [misc]progress: [ 18 / 78 ] simplifiying candidate # 1546677341.606 * [enter]simplify: Simplifying (/ 1 (sqrt (- x 1))) 1546677341.606 * * [misc]simplify: iters left: 5 (5 enodes) 1546677341.608 * * [misc]simplify: iters left: 4 (10 enodes) 1546677341.609 * * [misc]simplify: iters left: 3 (11 enodes) 1546677341.610 * [exit]simplify: Simplified to (/ 1 (sqrt (+ -1 x))) 1546677341.610 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* (/ 1 (sqrt (+ -1 x))) (/ (- (pow x 3) x) (sqrt (- x 1)))))) 1546677341.610 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (sqrt (- x 1))) 1546677341.610 * * [misc]simplify: iters left: 5 (8 enodes) 1546677341.612 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.615 * * [misc]simplify: iters left: 3 (29 enodes) 1546677341.618 * * [misc]simplify: iters left: 2 (35 enodes) 1546677341.623 * * [misc]simplify: iters left: 1 (40 enodes) 1546677341.629 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (sqrt (- x 1))) 1546677341.629 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ 1 (sqrt (- x 1))) (/ (- (pow x 3) x) (sqrt (- x 1)))))) 1546677341.629 * * * * [misc]progress: [ 19 / 78 ] simplifiying candidate # 1546677341.629 * [enter]simplify: Simplifying (/ 1 1) 1546677341.629 * * [misc]simplify: iters left: 2 (2 enodes) 1546677341.630 * * [misc]simplify: iters left: 1 (4 enodes) 1546677341.631 * [exit]simplify: Simplified to 1 1546677341.631 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (* 1 (/ (- (pow x 3) x) (- x 1))))) 1546677341.631 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (- x 1)) 1546677341.631 * * [misc]simplify: iters left: 5 (7 enodes) 1546677341.635 * * [misc]simplify: iters left: 4 (20 enodes) 1546677341.640 * * [misc]simplify: iters left: 3 (28 enodes) 1546677341.644 * * [misc]simplify: iters left: 2 (40 enodes) 1546677341.649 * * [misc]simplify: iters left: 1 (50 enodes) 1546677341.656 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (- x 1)) 1546677341.656 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* 1 (/ (- (pow x 3) x) (- x 1))))) 1546677341.656 * * * * [misc]progress: [ 20 / 78 ] simplifiying candidate # 1546677341.656 * * * * [misc]progress: [ 21 / 78 ] simplifiying candidate # 1546677341.656 * * * * [misc]progress: [ 22 / 78 ] simplifiying candidate # 1546677341.656 * * * * [misc]progress: [ 23 / 78 ] simplifiying candidate # 1546677341.657 * [enter]simplify: Simplifying (cbrt (- x 1)) 1546677341.657 * * [misc]simplify: iters left: 3 (4 enodes) 1546677341.658 * * [misc]simplify: iters left: 2 (9 enodes) 1546677341.659 * * [misc]simplify: iters left: 1 (10 enodes) 1546677341.660 * [exit]simplify: Simplified to (cbrt (+ x -1)) 1546677341.660 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (/ (/ (- (pow x 3) x) (* (cbrt (- x 1)) (cbrt (- x 1)))) (cbrt (+ x -1))))) 1546677341.660 * * * * [misc]progress: [ 24 / 78 ] simplifiying candidate # 1546677341.660 * [enter]simplify: Simplifying (sqrt (- x 1)) 1546677341.660 * * [misc]simplify: iters left: 3 (4 enodes) 1546677341.661 * * [misc]simplify: iters left: 2 (9 enodes) 1546677341.662 * * [misc]simplify: iters left: 1 (10 enodes) 1546677341.663 * [exit]simplify: Simplified to (sqrt (+ x -1)) 1546677341.663 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (/ (/ (- (pow x 3) x) (sqrt (- x 1))) (sqrt (+ x -1))))) 1546677341.663 * * * * [misc]progress: [ 25 / 78 ] simplifiying candidate # 1546677341.663 * [enter]simplify: Simplifying (- x 1) 1546677341.663 * * [misc]simplify: iters left: 2 (3 enodes) 1546677341.665 * * [misc]simplify: iters left: 1 (8 enodes) 1546677341.667 * [exit]simplify: Simplified to (+ x -1) 1546677341.667 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (/ (/ (- (pow x 3) x) 1) (+ x -1)))) 1546677341.667 * * * * [misc]progress: [ 26 / 78 ] simplifiying candidate # 1546677341.667 * [enter]simplify: Simplifying (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) 1546677341.667 * * [misc]simplify: iters left: 6 (6 enodes) 1546677341.669 * * [misc]simplify: iters left: 5 (11 enodes) 1546677341.672 * * [misc]simplify: iters left: 4 (12 enodes) 1546677341.674 * [exit]simplify: Simplified to (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) 1546677341.674 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (/ (- x 1) (cbrt (- (pow x 3) x)))))) 1546677341.674 * * * * [misc]progress: [ 27 / 78 ] simplifiying candidate # 1546677341.674 * [enter]simplify: Simplifying (sqrt (- (pow x 3) x)) 1546677341.674 * * [misc]simplify: iters left: 4 (5 enodes) 1546677341.675 * * [misc]simplify: iters left: 3 (10 enodes) 1546677341.676 * * [misc]simplify: iters left: 2 (11 enodes) 1546677341.678 * [exit]simplify: Simplified to (sqrt (- (pow x 3) x)) 1546677341.678 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (sqrt (- (pow x 3) x)) (/ (- x 1) (sqrt (- (pow x 3) x)))))) 1546677341.678 * * * * [misc]progress: [ 28 / 78 ] simplifiying candidate # 1546677341.678 * * * * [misc]progress: [ 29 / 78 ] simplifiying candidate # 1546677341.678 * [enter]simplify: Simplifying (+ (* x x) (+ (* 1 1) (* x 1))) 1546677341.678 * * [misc]simplify: iters left: 6 (7 enodes) 1546677341.680 * * [misc]simplify: iters left: 5 (13 enodes) 1546677341.682 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.684 * * [misc]simplify: iters left: 3 (25 enodes) 1546677341.687 * * [misc]simplify: iters left: 2 (31 enodes) 1546677341.690 * * [misc]simplify: iters left: 1 (41 enodes) 1546677341.696 * [exit]simplify: Simplified to (+ (* x x) (+ 1 x)) 1546677341.696 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ (- (pow x 3) x) (- (pow x 3) (pow 1 3))) (+ (* x x) (+ 1 x))))) 1546677341.696 * * * * [misc]progress: [ 30 / 78 ] simplifiying candidate # 1546677341.696 * [enter]simplify: Simplifying (+ x 1) 1546677341.696 * * [misc]simplify: iters left: 2 (3 enodes) 1546677341.697 * * [misc]simplify: iters left: 1 (6 enodes) 1546677341.697 * [exit]simplify: Simplified to (+ 1 x) 1546677341.697 * [misc]simplify: Simplified (2 2 2) to (λ (x) (/ -1 (* (/ (- (pow x 3) x) (- (* x x) (* 1 1))) (+ 1 x)))) 1546677341.697 * * * * [misc]progress: [ 31 / 78 ] simplifiying candidate # 1546677341.697 * [enter]simplify: Simplifying (- (pow (pow x 3) 3) (pow x 3)) 1546677341.697 * * [misc]simplify: iters left: 4 (5 enodes) 1546677341.698 * * [misc]simplify: iters left: 3 (13 enodes) 1546677341.701 * * [misc]simplify: iters left: 2 (39 enodes) 1546677341.710 * * [misc]simplify: iters left: 1 (98 enodes) 1546677341.741 * [exit]simplify: Simplified to (- (pow (pow x 3) 3) (pow x 3)) 1546677341.741 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (- (pow (pow x 3) 3) (pow x 3)) (* (- x 1) (+ (* (pow x 3) (pow x 3)) (+ (* x x) (* (pow x 3) x))))))) 1546677341.741 * * * * [misc]progress: [ 32 / 78 ] simplifiying candidate # 1546677341.741 * [enter]simplify: Simplifying (- (* (pow x 3) (pow x 3)) (* x x)) 1546677341.741 * * [misc]simplify: iters left: 5 (6 enodes) 1546677341.742 * * [misc]simplify: iters left: 4 (13 enodes) 1546677341.744 * * [misc]simplify: iters left: 3 (31 enodes) 1546677341.751 * * [misc]simplify: iters left: 2 (73 enodes) 1546677341.764 * * [misc]simplify: iters left: 1 (148 enodes) 1546677341.833 * [exit]simplify: Simplified to (- (pow (* x x) 3) (* x x)) 1546677341.833 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (- (pow (* x x) 3) (* x x)) (* (- x 1) (+ (pow x 3) x))))) 1546677341.833 * * * * [misc]progress: [ 33 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 34 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 35 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 36 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 37 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 38 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 39 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 40 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 41 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 42 / 78 ] simplifiying candidate # 1546677341.833 * * * * [misc]progress: [ 43 / 78 ] simplifiying candidate # 1546677341.833 * [enter]simplify: Simplifying (cbrt (/ (- (pow x 3) x) (- x 1))) 1546677341.833 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.835 * * [misc]simplify: iters left: 5 (21 enodes) 1546677341.838 * * [misc]simplify: iters left: 4 (29 enodes) 1546677341.842 * * [misc]simplify: iters left: 3 (41 enodes) 1546677341.851 * * [misc]simplify: iters left: 2 (51 enodes) 1546677341.864 * * [misc]simplify: iters left: 1 (59 enodes) 1546677341.877 * [exit]simplify: Simplified to (cbrt (/ (- (pow x 3) x) (- x 1))) 1546677341.877 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (* (cbrt (/ (- (pow x 3) x) (- x 1))) (cbrt (/ (- (pow x 3) x) (- x 1))))) (cbrt (/ (- (pow x 3) x) (- x 1))))) 1546677341.877 * * * * [misc]progress: [ 44 / 78 ] simplifiying candidate # 1546677341.877 * [enter]simplify: Simplifying (sqrt (/ (- (pow x 3) x) (- x 1))) 1546677341.878 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.881 * * [misc]simplify: iters left: 5 (21 enodes) 1546677341.887 * * [misc]simplify: iters left: 4 (29 enodes) 1546677341.894 * * [misc]simplify: iters left: 3 (41 enodes) 1546677341.900 * * [misc]simplify: iters left: 2 (51 enodes) 1546677341.907 * * [misc]simplify: iters left: 1 (59 enodes) 1546677341.913 * [exit]simplify: Simplified to (sqrt (/ (- (pow x 3) x) (- x 1))) 1546677341.914 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (sqrt (/ (- (pow x 3) x) (- x 1)))) (sqrt (/ (- (pow x 3) x) (- x 1))))) 1546677341.914 * * * * [misc]progress: [ 45 / 78 ] simplifiying candidate # 1546677341.914 * [enter]simplify: Simplifying (/ (cbrt (- (pow x 3) x)) (cbrt (- x 1))) 1546677341.914 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.917 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.919 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.922 * [exit]simplify: Simplified to (/ (cbrt (- (pow x 3) x)) (cbrt (+ -1 x))) 1546677341.922 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (* (cbrt (- x 1)) (cbrt (- x 1))))) (/ (cbrt (- (pow x 3) x)) (cbrt (+ -1 x))))) 1546677341.922 * * * * [misc]progress: [ 46 / 78 ] simplifiying candidate # 1546677341.922 * [enter]simplify: Simplifying (/ (cbrt (- (pow x 3) x)) (sqrt (- x 1))) 1546677341.922 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.924 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.926 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.931 * [exit]simplify: Simplified to (/ (cbrt (- (pow x 3) x)) (sqrt (+ -1 x))) 1546677341.931 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) (sqrt (- x 1)))) (/ (cbrt (- (pow x 3) x)) (sqrt (+ -1 x))))) 1546677341.931 * * * * [misc]progress: [ 47 / 78 ] simplifiying candidate # 1546677341.931 * [enter]simplify: Simplifying (/ (cbrt (- (pow x 3) x)) (- x 1)) 1546677341.931 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.934 * * [misc]simplify: iters left: 5 (18 enodes) 1546677341.939 * * [misc]simplify: iters left: 4 (20 enodes) 1546677341.942 * [exit]simplify: Simplified to (/ (cbrt (- (pow x 3) x)) (+ -1 x)) 1546677341.942 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (* (cbrt (- (pow x 3) x)) (cbrt (- (pow x 3) x))) 1)) (/ (cbrt (- (pow x 3) x)) (+ -1 x)))) 1546677341.942 * * * * [misc]progress: [ 48 / 78 ] simplifiying candidate # 1546677341.942 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (cbrt (- x 1))) 1546677341.942 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.944 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.946 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.949 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (cbrt (+ -1 x))) 1546677341.949 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (sqrt (- (pow x 3) x)) (* (cbrt (- x 1)) (cbrt (- x 1))))) (/ (sqrt (- (pow x 3) x)) (cbrt (+ -1 x))))) 1546677341.949 * * * * [misc]progress: [ 49 / 78 ] simplifiying candidate # 1546677341.949 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (sqrt (- x 1))) 1546677341.949 * * [misc]simplify: iters left: 6 (9 enodes) 1546677341.951 * * [misc]simplify: iters left: 5 (19 enodes) 1546677341.953 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.956 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (sqrt (+ -1 x))) 1546677341.956 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (sqrt (- (pow x 3) x)) (sqrt (- x 1)))) (/ (sqrt (- (pow x 3) x)) (sqrt (+ -1 x))))) 1546677341.956 * * * * [misc]progress: [ 50 / 78 ] simplifiying candidate # 1546677341.956 * [enter]simplify: Simplifying (/ (sqrt (- (pow x 3) x)) (- x 1)) 1546677341.956 * * [misc]simplify: iters left: 6 (8 enodes) 1546677341.958 * * [misc]simplify: iters left: 5 (18 enodes) 1546677341.960 * * [misc]simplify: iters left: 4 (20 enodes) 1546677341.963 * [exit]simplify: Simplified to (/ (sqrt (- (pow x 3) x)) (+ -1 x)) 1546677341.963 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (sqrt (- (pow x 3) x)) 1)) (/ (sqrt (- (pow x 3) x)) (+ -1 x)))) 1546677341.963 * * * * [misc]progress: [ 51 / 78 ] simplifiying candidate # 1546677341.963 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (cbrt (- x 1))) 1546677341.963 * * [misc]simplify: iters left: 5 (8 enodes) 1546677341.965 * * [misc]simplify: iters left: 4 (21 enodes) 1546677341.967 * * [misc]simplify: iters left: 3 (29 enodes) 1546677341.971 * * [misc]simplify: iters left: 2 (35 enodes) 1546677341.980 * * [misc]simplify: iters left: 1 (40 enodes) 1546677341.990 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (cbrt (- x 1))) 1546677341.991 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1))))) (/ (- (pow x 3) x) (cbrt (- x 1))))) 1546677341.991 * * * * [misc]progress: [ 52 / 78 ] simplifiying candidate # 1546677341.991 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (sqrt (- x 1))) 1546677341.991 * * [misc]simplify: iters left: 5 (8 enodes) 1546677341.994 * * [misc]simplify: iters left: 4 (21 enodes) 1546677342.000 * * [misc]simplify: iters left: 3 (29 enodes) 1546677342.008 * * [misc]simplify: iters left: 2 (35 enodes) 1546677342.016 * * [misc]simplify: iters left: 1 (40 enodes) 1546677342.025 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (sqrt (- x 1))) 1546677342.025 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ 1 (sqrt (- x 1)))) (/ (- (pow x 3) x) (sqrt (- x 1))))) 1546677342.025 * * * * [misc]progress: [ 53 / 78 ] simplifiying candidate # 1546677342.026 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (- x 1)) 1546677342.026 * * [misc]simplify: iters left: 5 (7 enodes) 1546677342.028 * * [misc]simplify: iters left: 4 (20 enodes) 1546677342.031 * * [misc]simplify: iters left: 3 (28 enodes) 1546677342.035 * * [misc]simplify: iters left: 2 (40 enodes) 1546677342.040 * * [misc]simplify: iters left: 1 (50 enodes) 1546677342.051 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (- x 1)) 1546677342.051 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ 1 1)) (/ (- (pow x 3) x) (- x 1)))) 1546677342.051 * * * * [misc]progress: [ 54 / 78 ] simplifiying candidate # 1546677342.052 * [enter]simplify: Simplifying (/ (- (pow x 3) x) (- x 1)) 1546677342.052 * * [misc]simplify: iters left: 5 (7 enodes) 1546677342.055 * * [misc]simplify: iters left: 4 (20 enodes) 1546677342.060 * * [misc]simplify: iters left: 3 (28 enodes) 1546677342.067 * * [misc]simplify: iters left: 2 (40 enodes) 1546677342.078 * * [misc]simplify: iters left: 1 (50 enodes) 1546677342.090 * [exit]simplify: Simplified to (/ (- (pow x 3) x) (- x 1)) 1546677342.090 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 1) (/ (- (pow x 3) x) (- x 1)))) 1546677342.090 * * * * [misc]progress: [ 55 / 78 ] simplifiying candidate # 1546677342.090 * [enter]simplify: Simplifying (/ 1 (- x 1)) 1546677342.090 * * [misc]simplify: iters left: 4 (4 enodes) 1546677342.091 * * [misc]simplify: iters left: 3 (9 enodes) 1546677342.092 * * [misc]simplify: iters left: 2 (10 enodes) 1546677342.093 * [exit]simplify: Simplified to (/ 1 (+ x -1)) 1546677342.093 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (- (pow x 3) x)) (/ 1 (+ x -1)))) 1546677342.093 * * * * [misc]progress: [ 56 / 78 ] simplifiying candidate # 1546677342.093 * [enter]simplify: Simplifying (+ (* x x) (+ (* 1 1) (* x 1))) 1546677342.094 * * [misc]simplify: iters left: 6 (7 enodes) 1546677342.095 * * [misc]simplify: iters left: 5 (13 enodes) 1546677342.096 * * [misc]simplify: iters left: 4 (21 enodes) 1546677342.099 * * [misc]simplify: iters left: 3 (25 enodes) 1546677342.101 * * [misc]simplify: iters left: 2 (31 enodes) 1546677342.105 * * [misc]simplify: iters left: 1 (41 enodes) 1546677342.110 * [exit]simplify: Simplified to (+ (* x x) (+ 1 x)) 1546677342.110 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (- (pow x 3) x) (- (pow x 3) (pow 1 3)))) (+ (* x x) (+ 1 x)))) 1546677342.110 * * * * [misc]progress: [ 57 / 78 ] simplifiying candidate # 1546677342.110 * [enter]simplify: Simplifying (+ x 1) 1546677342.111 * * [misc]simplify: iters left: 2 (3 enodes) 1546677342.111 * * [misc]simplify: iters left: 1 (6 enodes) 1546677342.112 * [exit]simplify: Simplified to (+ 1 x) 1546677342.112 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (/ -1 (/ (- (pow x 3) x) (- (* x x) (* 1 1)))) (+ 1 x))) 1546677342.112 * * * * [misc]progress: [ 58 / 78 ] simplifiying candidate # 1546677342.112 * [enter]simplify: Simplifying (- x 1) 1546677342.112 * * [misc]simplify: iters left: 2 (3 enodes) 1546677342.113 * * [misc]simplify: iters left: 1 (8 enodes) 1546677342.114 * [exit]simplify: Simplified to (+ x -1) 1546677342.114 * [misc]simplify: Simplified (2 2) to (λ (x) (* (/ -1 (- (pow x 3) x)) (+ x -1))) 1546677342.114 * * * * [misc]progress: [ 59 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 60 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 61 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 62 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 63 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 64 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 65 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 66 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 67 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 68 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 69 / 78 ] simplifiying candidate # 1546677342.114 * * * * [misc]progress: [ 70 / 78 ] simplifiying candidate # 1546677342.114 * [enter]simplify: Simplifying (+ x (pow x 2)) 1546677342.114 * * [misc]simplify: iters left: 3 (4 enodes) 1546677342.115 * * [misc]simplify: iters left: 2 (6 enodes) 1546677342.116 * * [misc]simplify: iters left: 1 (9 enodes) 1546677342.117 * [exit]simplify: Simplified to (+ x (* x x)) 1546677342.117 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677342.117 * * * * [misc]progress: [ 71 / 78 ] simplifiying candidate # 1546677342.117 * [enter]simplify: Simplifying (+ x (pow x 2)) 1546677342.117 * * [misc]simplify: iters left: 3 (4 enodes) 1546677342.118 * * [misc]simplify: iters left: 2 (6 enodes) 1546677342.119 * * [misc]simplify: iters left: 1 (9 enodes) 1546677342.121 * [exit]simplify: Simplified to (+ x (* x x)) 1546677342.121 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677342.121 * * * * [misc]progress: [ 72 / 78 ] simplifiying candidate # 1546677342.121 * [enter]simplify: Simplifying (+ x (pow x 2)) 1546677342.122 * * [misc]simplify: iters left: 3 (4 enodes) 1546677342.123 * * [misc]simplify: iters left: 2 (6 enodes) 1546677342.124 * * [misc]simplify: iters left: 1 (9 enodes) 1546677342.127 * [exit]simplify: Simplified to (+ x (* x x)) 1546677342.127 * [misc]simplify: Simplified (2 2) to (λ (x) (/ -1 (+ x (* x x)))) 1546677342.127 * * * * [misc]progress: [ 73 / 78 ] simplifiying candidate # 1546677342.127 * [enter]simplify: Simplifying (- 1 (+ x (/ 1 x))) 1546677342.127 * * [misc]simplify: iters left: 6 (5 enodes) 1546677342.129 * * [misc]simplify: iters left: 5 (12 enodes) 1546677342.135 * * [misc]simplify: iters left: 4 (20 enodes) 1546677342.141 * * [misc]simplify: iters left: 3 (34 enodes) 1546677342.150 * * [misc]simplify: iters left: 2 (45 enodes) 1546677342.160 * * [misc]simplify: iters left: 1 (59 enodes) 1546677342.178 * [exit]simplify: Simplified to (- (/ -1 x) (+ -1 x)) 1546677342.178 * [misc]simplify: Simplified (2) to (λ (x) (- (/ -1 x) (+ -1 x))) 1546677342.178 * * * * [misc]progress: [ 74 / 78 ] simplifiying candidate # 1546677342.179 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677342.179 * * [misc]simplify: iters left: 6 (13 enodes) 1546677342.183 * * [misc]simplify: iters left: 5 (23 enodes) 1546677342.190 * * [misc]simplify: iters left: 4 (37 enodes) 1546677342.200 * * [misc]simplify: iters left: 3 (54 enodes) 1546677342.212 * * [misc]simplify: iters left: 2 (66 enodes) 1546677342.223 * * [misc]simplify: iters left: 1 (81 enodes) 1546677342.235 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677342.235 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677342.235 * * * * [misc]progress: [ 75 / 78 ] simplifiying candidate # 1546677342.236 * [enter]simplify: Simplifying (- (/ 1 (pow x 3)) (+ (/ 1 (pow x 4)) (/ 1 (pow x 2)))) 1546677342.236 * * [misc]simplify: iters left: 6 (13 enodes) 1546677342.238 * * [misc]simplify: iters left: 5 (23 enodes) 1546677342.241 * * [misc]simplify: iters left: 4 (37 enodes) 1546677342.247 * * [misc]simplify: iters left: 3 (54 enodes) 1546677342.260 * * [misc]simplify: iters left: 2 (66 enodes) 1546677342.274 * * [misc]simplify: iters left: 1 (81 enodes) 1546677342.289 * [exit]simplify: Simplified to (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4))) 1546677342.289 * [misc]simplify: Simplified (2) to (λ (x) (- (- (/ (/ 1 x) (* x x)) (/ (/ 1 x) x)) (/ 1 (pow x 4)))) 1546677342.289 * * * * [misc]progress: [ 76 / 78 ] simplifiying candidate # 1546677342.289 * [enter]simplify: Simplifying (- (pow x 3) x) 1546677342.289 * * [misc]simplify: iters left: 3 (4 enodes) 1546677342.290 * * [misc]simplify: iters left: 2 (9 enodes) 1546677342.291 * * [misc]simplify: iters left: 1 (10 enodes) 1546677342.292 * [exit]simplify: Simplified to (- (pow x 3) x) 1546677342.292 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (- (pow x 3) x) (- x 1)))) 1546677342.292 * * * * [misc]progress: [ 77 / 78 ] simplifiying candidate # 1546677342.293 * [enter]simplify: Simplifying (- (pow x 3) x) 1546677342.293 * * [misc]simplify: iters left: 3 (4 enodes) 1546677342.293 * * [misc]simplify: iters left: 2 (9 enodes) 1546677342.295 * * [misc]simplify: iters left: 1 (10 enodes) 1546677342.296 * [exit]simplify: Simplified to (- (pow x 3) x) 1546677342.296 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (- (pow x 3) x) (- x 1)))) 1546677342.296 * * * * [misc]progress: [ 78 / 78 ] simplifiying candidate # 1546677342.296 * [enter]simplify: Simplifying (- (pow x 3) x) 1546677342.296 * * [misc]simplify: iters left: 3 (4 enodes) 1546677342.297 * * [misc]simplify: iters left: 2 (9 enodes) 1546677342.298 * * [misc]simplify: iters left: 1 (10 enodes) 1546677342.301 * [exit]simplify: Simplified to (- (pow x 3) x) 1546677342.301 * [misc]simplify: Simplified (2 2 1) to (λ (x) (/ -1 (/ (- (pow x 3) x) (- x 1)))) 1546677342.301 * * * [misc]progress: adding candidates to table 1546677342.895 * [misc]progress: [Phase 3 of 3] Extracting. 1546677342.895 * * [misc]regime: Finding splitpoints for: (# # #) 1546677342.896 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1546677342.896 * * * * [misc]regimes: Trying to branch on x from (# # #) 1546677342.934 * * * [misc]regime: Found split indices: #