1554299502.440 * [misc]progress: [Phase 1 of 3] Setting up. 1554299502.440 * * * [misc]progress: [1/2] Preparing points 1554299502.477 * * * [misc]progress: [2/2] Setting up program. 1554299502.481 * [misc]progress: [Phase 2 of 3] Improving. 1554299502.481 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554299502.482 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) 1554299502.482 * * [misc]simplify: iters left: 6 (12 enodes) 1554299502.488 * * [misc]simplify: iters left: 5 (46 enodes) 1554299502.503 * * [misc]simplify: iters left: 4 (73 enodes) 1554299502.535 * * [misc]simplify: iters left: 3 (131 enodes) 1554299502.583 * * [misc]simplify: iters left: 2 (261 enodes) 1554299502.655 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299502.655 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554299502.655 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554299502.655 * * [misc]simplify: Extracting #3: cost 38 inf + 2 1554299502.655 * * [misc]simplify: Extracting #4: cost 138 inf + 4 1554299502.656 * * [misc]simplify: Extracting #5: cost 161 inf + 216 1554299502.658 * * [misc]simplify: Extracting #6: cost 106 inf + 7183 1554299502.664 * * [misc]simplify: Extracting #7: cost 11 inf + 24389 1554299502.671 * * [misc]simplify: Extracting #8: cost 0 inf + 26668 1554299502.678 * [exit]simplify: Simplified to (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1554299502.678 * [misc]simplify: Simplified (2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1554299502.686 * * [misc]progress: iteration 1 / 4 1554299502.686 * * * [misc]progress: picking best candidate 1554299502.689 * * * * [misc]pick: Picked # 1554299502.689 * * * [misc]progress: localizing error 1554299502.724 * * * [misc]progress: generating rewritten candidates 1554299502.724 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2) 1554299502.725 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 1) 1554299502.726 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2) 1554299502.735 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 2 2 2) 1554299502.743 * * * [misc]progress: generating series expansions 1554299502.743 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2) 1554299502.743 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1554299502.743 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1554299502.743 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1554299502.743 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.743 * [misc]backup-simplify: Simplify 2 into 2 1554299502.743 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1554299502.743 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.743 * [misc]backup-simplify: Simplify 2 into 2 1554299502.743 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1554299502.743 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.743 * [misc]taylor: Taking taylor expansion of t in t 1554299502.743 * [misc]backup-simplify: Simplify 0 into 0 1554299502.743 * [misc]backup-simplify: Simplify 1 into 1 1554299502.743 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.743 * [misc]backup-simplify: Simplify 1 into 1 1554299502.744 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.744 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.744 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1554299502.744 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.744 * [misc]backup-simplify: Simplify 2 into 2 1554299502.744 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1554299502.744 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.744 * [misc]backup-simplify: Simplify 2 into 2 1554299502.744 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1554299502.744 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.744 * [misc]taylor: Taking taylor expansion of t in t 1554299502.744 * [misc]backup-simplify: Simplify 0 into 0 1554299502.744 * [misc]backup-simplify: Simplify 1 into 1 1554299502.744 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.744 * [misc]backup-simplify: Simplify 1 into 1 1554299502.744 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.744 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.745 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.745 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.745 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1554299502.745 * [misc]backup-simplify: Simplify 0 into 0 1554299502.745 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.745 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.746 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.746 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.746 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.746 * [misc]backup-simplify: Simplify 2 into 2 1554299502.746 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.746 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1554299502.746 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1554299502.747 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.747 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1554299502.747 * [misc]backup-simplify: Simplify -2 into -2 1554299502.747 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.747 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1554299502.748 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1554299502.748 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.748 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.748 * [misc]backup-simplify: Simplify 2 into 2 1554299502.748 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1554299502.748 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1554299502.748 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1554299502.748 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.749 * [misc]backup-simplify: Simplify 2 into 2 1554299502.749 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.749 * [misc]backup-simplify: Simplify 2 into 2 1554299502.749 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of t in t 1554299502.749 * [misc]backup-simplify: Simplify 0 into 0 1554299502.749 * [misc]backup-simplify: Simplify 1 into 1 1554299502.749 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.749 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.749 * [misc]backup-simplify: Simplify 1 into 1 1554299502.749 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.749 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.749 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.749 * [misc]backup-simplify: Simplify 2 into 2 1554299502.749 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.749 * [misc]backup-simplify: Simplify 2 into 2 1554299502.749 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.749 * [misc]taylor: Taking taylor expansion of t in t 1554299502.750 * [misc]backup-simplify: Simplify 0 into 0 1554299502.750 * [misc]backup-simplify: Simplify 1 into 1 1554299502.750 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.750 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.750 * [misc]backup-simplify: Simplify 1 into 1 1554299502.750 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.750 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.750 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.750 * [misc]backup-simplify: Simplify 2 into 2 1554299502.750 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.750 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.751 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1554299502.751 * [misc]backup-simplify: Simplify -2 into -2 1554299502.751 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.751 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.751 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.751 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.752 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.752 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.752 * [misc]backup-simplify: Simplify 2 into 2 1554299502.752 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299502.752 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1554299502.752 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1554299502.752 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1554299502.752 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.752 * [misc]backup-simplify: Simplify 2 into 2 1554299502.752 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1554299502.752 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.752 * [misc]backup-simplify: Simplify 2 into 2 1554299502.752 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1554299502.752 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.752 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.752 * [misc]backup-simplify: Simplify 1 into 1 1554299502.752 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.752 * [misc]taylor: Taking taylor expansion of t in t 1554299502.752 * [misc]backup-simplify: Simplify 0 into 0 1554299502.752 * [misc]backup-simplify: Simplify 1 into 1 1554299502.753 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.753 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.753 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.753 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1554299502.753 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1554299502.753 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.753 * [misc]backup-simplify: Simplify 2 into 2 1554299502.753 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1554299502.753 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.753 * [misc]backup-simplify: Simplify 2 into 2 1554299502.753 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1554299502.753 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.753 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.753 * [misc]backup-simplify: Simplify 1 into 1 1554299502.753 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.753 * [misc]taylor: Taking taylor expansion of t in t 1554299502.753 * [misc]backup-simplify: Simplify 0 into 0 1554299502.753 * [misc]backup-simplify: Simplify 1 into 1 1554299502.754 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.754 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.754 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.754 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1554299502.754 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.754 * [misc]backup-simplify: Simplify 2 into 2 1554299502.754 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1554299502.755 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.755 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.755 * [misc]backup-simplify: Simplify 2 into 2 1554299502.755 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.755 * [misc]backup-simplify: Simplify (- 0) into 0 1554299502.755 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.755 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1554299502.756 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1554299502.756 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.756 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.756 * [misc]backup-simplify: Simplify 2 into 2 1554299502.756 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299502.756 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 1) 1554299502.756 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1554299502.756 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1554299502.756 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1554299502.756 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.757 * [misc]backup-simplify: Simplify 2 into 2 1554299502.757 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.757 * [misc]backup-simplify: Simplify 2 into 2 1554299502.757 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of t in t 1554299502.757 * [misc]backup-simplify: Simplify 0 into 0 1554299502.757 * [misc]backup-simplify: Simplify 1 into 1 1554299502.757 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.757 * [misc]backup-simplify: Simplify 1 into 1 1554299502.757 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.757 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.757 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.757 * [misc]backup-simplify: Simplify 2 into 2 1554299502.757 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.757 * [misc]backup-simplify: Simplify 2 into 2 1554299502.757 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.757 * [misc]taylor: Taking taylor expansion of t in t 1554299502.757 * [misc]backup-simplify: Simplify 0 into 0 1554299502.757 * [misc]backup-simplify: Simplify 1 into 1 1554299502.757 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.757 * [misc]backup-simplify: Simplify 1 into 1 1554299502.758 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.758 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.758 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.758 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.758 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1554299502.758 * [misc]backup-simplify: Simplify 0 into 0 1554299502.758 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.759 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.759 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.759 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.759 * [misc]backup-simplify: Simplify 2 into 2 1554299502.759 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.760 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1554299502.760 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1554299502.760 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.760 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1554299502.760 * [misc]backup-simplify: Simplify -2 into -2 1554299502.760 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.761 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1554299502.761 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1554299502.761 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.761 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.761 * [misc]backup-simplify: Simplify 2 into 2 1554299502.761 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1554299502.762 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1554299502.762 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1554299502.762 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1554299502.762 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.762 * [misc]backup-simplify: Simplify 2 into 2 1554299502.762 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1554299502.762 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.762 * [misc]backup-simplify: Simplify 2 into 2 1554299502.762 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1554299502.762 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.762 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.762 * [misc]taylor: Taking taylor expansion of t in t 1554299502.762 * [misc]backup-simplify: Simplify 0 into 0 1554299502.762 * [misc]backup-simplify: Simplify 1 into 1 1554299502.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.762 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.762 * [misc]backup-simplify: Simplify 1 into 1 1554299502.762 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.762 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1554299502.762 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.763 * [misc]backup-simplify: Simplify 2 into 2 1554299502.763 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1554299502.763 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.763 * [misc]backup-simplify: Simplify 2 into 2 1554299502.763 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1554299502.763 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.763 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.763 * [misc]taylor: Taking taylor expansion of t in t 1554299502.763 * [misc]backup-simplify: Simplify 0 into 0 1554299502.763 * [misc]backup-simplify: Simplify 1 into 1 1554299502.763 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.763 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.763 * [misc]backup-simplify: Simplify 1 into 1 1554299502.763 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.763 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.763 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.763 * [misc]backup-simplify: Simplify 2 into 2 1554299502.764 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.764 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.764 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1554299502.764 * [misc]backup-simplify: Simplify -2 into -2 1554299502.764 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.765 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.765 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.765 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.765 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.765 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.765 * [misc]backup-simplify: Simplify 2 into 2 1554299502.765 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299502.766 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1554299502.766 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1554299502.766 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1554299502.766 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.766 * [misc]backup-simplify: Simplify 2 into 2 1554299502.766 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1554299502.766 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.766 * [misc]backup-simplify: Simplify 2 into 2 1554299502.766 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1554299502.766 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.766 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.766 * [misc]backup-simplify: Simplify 1 into 1 1554299502.766 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.766 * [misc]taylor: Taking taylor expansion of t in t 1554299502.766 * [misc]backup-simplify: Simplify 0 into 0 1554299502.766 * [misc]backup-simplify: Simplify 1 into 1 1554299502.766 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.766 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.766 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.767 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1554299502.767 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1554299502.767 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.767 * [misc]backup-simplify: Simplify 2 into 2 1554299502.767 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1554299502.767 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.767 * [misc]backup-simplify: Simplify 2 into 2 1554299502.767 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1554299502.767 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.767 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.767 * [misc]backup-simplify: Simplify 1 into 1 1554299502.767 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.767 * [misc]taylor: Taking taylor expansion of t in t 1554299502.767 * [misc]backup-simplify: Simplify 0 into 0 1554299502.767 * [misc]backup-simplify: Simplify 1 into 1 1554299502.767 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.767 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.767 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.767 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1554299502.768 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.768 * [misc]backup-simplify: Simplify 2 into 2 1554299502.768 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1554299502.768 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.768 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.768 * [misc]backup-simplify: Simplify 2 into 2 1554299502.768 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.768 * [misc]backup-simplify: Simplify (- 0) into 0 1554299502.769 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.769 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1554299502.769 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1554299502.769 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.769 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.769 * [misc]backup-simplify: Simplify 2 into 2 1554299502.770 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299502.770 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2) 1554299502.770 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) into (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) 1554299502.770 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in (t) around 0 1554299502.770 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1554299502.770 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1554299502.770 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.770 * [misc]backup-simplify: Simplify 2 into 2 1554299502.770 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1554299502.770 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.770 * [misc]backup-simplify: Simplify 2 into 2 1554299502.770 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1554299502.770 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.770 * [misc]taylor: Taking taylor expansion of t in t 1554299502.770 * [misc]backup-simplify: Simplify 0 into 0 1554299502.770 * [misc]backup-simplify: Simplify 1 into 1 1554299502.770 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.770 * [misc]backup-simplify: Simplify 1 into 1 1554299502.770 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.771 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.771 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.771 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.771 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1554299502.771 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.771 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.771 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.772 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.772 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.772 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1554299502.772 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1554299502.772 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.772 * [misc]backup-simplify: Simplify 2 into 2 1554299502.772 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1554299502.772 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.772 * [misc]backup-simplify: Simplify 2 into 2 1554299502.772 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1554299502.772 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.772 * [misc]taylor: Taking taylor expansion of t in t 1554299502.772 * [misc]backup-simplify: Simplify 0 into 0 1554299502.772 * [misc]backup-simplify: Simplify 1 into 1 1554299502.772 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.772 * [misc]backup-simplify: Simplify 1 into 1 1554299502.772 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.772 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.773 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.773 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.773 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1554299502.773 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.773 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.773 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.773 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.774 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.774 * [misc]backup-simplify: Simplify (* 2 2) into 4 1554299502.774 * [misc]backup-simplify: Simplify 4 into 4 1554299502.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.774 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1554299502.775 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1554299502.775 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.775 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1554299502.775 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1554299502.775 * [misc]backup-simplify: Simplify -8 into -8 1554299502.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.776 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1554299502.776 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1554299502.776 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.776 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.776 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1554299502.776 * [misc]backup-simplify: Simplify 12 into 12 1554299502.777 * [misc]backup-simplify: Simplify (+ (* 12 (pow t 4)) (+ (* -8 (pow t 3)) (* 4 (pow t 2)))) into (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))) 1554299502.777 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))) into (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) 1554299502.777 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in (t) around 0 1554299502.777 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1554299502.777 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1554299502.777 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.777 * [misc]backup-simplify: Simplify 2 into 2 1554299502.777 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1554299502.777 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.777 * [misc]backup-simplify: Simplify 2 into 2 1554299502.777 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1554299502.777 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.777 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.777 * [misc]taylor: Taking taylor expansion of t in t 1554299502.777 * [misc]backup-simplify: Simplify 0 into 0 1554299502.778 * [misc]backup-simplify: Simplify 1 into 1 1554299502.778 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.778 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.778 * [misc]backup-simplify: Simplify 1 into 1 1554299502.778 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.778 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.778 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.778 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1554299502.778 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1554299502.778 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.778 * [misc]backup-simplify: Simplify 2 into 2 1554299502.778 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1554299502.778 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.778 * [misc]backup-simplify: Simplify 2 into 2 1554299502.778 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1554299502.778 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.778 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.778 * [misc]taylor: Taking taylor expansion of t in t 1554299502.778 * [misc]backup-simplify: Simplify 0 into 0 1554299502.778 * [misc]backup-simplify: Simplify 1 into 1 1554299502.779 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.779 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.779 * [misc]backup-simplify: Simplify 1 into 1 1554299502.779 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.779 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.779 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.779 * [misc]backup-simplify: Simplify (* 2 2) into 4 1554299502.779 * [misc]backup-simplify: Simplify 4 into 4 1554299502.779 * [misc]backup-simplify: Simplify (* 2 1) into 2 1554299502.780 * [misc]backup-simplify: Simplify (- 2) into -2 1554299502.780 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1554299502.780 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1554299502.780 * [misc]backup-simplify: Simplify -8 into -8 1554299502.780 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.780 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.781 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1554299502.781 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1554299502.781 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.781 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.781 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1554299502.781 * [misc]backup-simplify: Simplify 12 into 12 1554299502.782 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1554299502.782 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))) into (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) 1554299502.782 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in (t) around 0 1554299502.782 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1554299502.782 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1554299502.782 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.782 * [misc]backup-simplify: Simplify 2 into 2 1554299502.782 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1554299502.782 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.782 * [misc]backup-simplify: Simplify 2 into 2 1554299502.782 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1554299502.782 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.782 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.782 * [misc]backup-simplify: Simplify 1 into 1 1554299502.782 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.782 * [misc]taylor: Taking taylor expansion of t in t 1554299502.782 * [misc]backup-simplify: Simplify 0 into 0 1554299502.782 * [misc]backup-simplify: Simplify 1 into 1 1554299502.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.783 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.783 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.783 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1554299502.783 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.783 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1554299502.783 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1554299502.783 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.783 * [misc]backup-simplify: Simplify 2 into 2 1554299502.783 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1554299502.783 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.783 * [misc]backup-simplify: Simplify 2 into 2 1554299502.783 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1554299502.783 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.783 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.783 * [misc]backup-simplify: Simplify 1 into 1 1554299502.783 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.783 * [misc]taylor: Taking taylor expansion of t in t 1554299502.783 * [misc]backup-simplify: Simplify 0 into 0 1554299502.783 * [misc]backup-simplify: Simplify 1 into 1 1554299502.784 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.784 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.784 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.784 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1554299502.784 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1554299502.784 * [misc]backup-simplify: Simplify (* 2 2) into 4 1554299502.784 * [misc]backup-simplify: Simplify 4 into 4 1554299502.785 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1554299502.785 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.785 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.785 * [misc]backup-simplify: Simplify (+ (* 2 2) (* 2 2)) into 8 1554299502.785 * [misc]backup-simplify: Simplify 8 into 8 1554299502.785 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.785 * [misc]backup-simplify: Simplify (- 0) into 0 1554299502.786 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.786 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1554299502.786 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1554299502.786 * [misc]backup-simplify: Simplify (- -2) into 2 1554299502.786 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1554299502.787 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1554299502.787 * [misc]backup-simplify: Simplify 12 into 12 1554299502.787 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1554299502.787 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 2 2 2) 1554299502.787 * [misc]backup-simplify: Simplify (/ 2 (+ 1 t)) into (/ 2 (+ t 1)) 1554299502.787 * [misc]approximate: Taking taylor expansion of (/ 2 (+ t 1)) in (t) around 0 1554299502.787 * [misc]taylor: Taking taylor expansion of (/ 2 (+ t 1)) in t 1554299502.787 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.787 * [misc]backup-simplify: Simplify 2 into 2 1554299502.787 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.787 * [misc]taylor: Taking taylor expansion of t in t 1554299502.787 * [misc]backup-simplify: Simplify 0 into 0 1554299502.787 * [misc]backup-simplify: Simplify 1 into 1 1554299502.787 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.787 * [misc]backup-simplify: Simplify 1 into 1 1554299502.787 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.788 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1554299502.788 * [misc]taylor: Taking taylor expansion of (/ 2 (+ t 1)) in t 1554299502.788 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.788 * [misc]backup-simplify: Simplify 2 into 2 1554299502.788 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1554299502.788 * [misc]taylor: Taking taylor expansion of t in t 1554299502.788 * [misc]backup-simplify: Simplify 0 into 0 1554299502.788 * [misc]backup-simplify: Simplify 1 into 1 1554299502.788 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.788 * [misc]backup-simplify: Simplify 1 into 1 1554299502.788 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.788 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1554299502.788 * [misc]backup-simplify: Simplify 2 into 2 1554299502.788 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.789 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1554299502.789 * [misc]backup-simplify: Simplify -2 into -2 1554299502.789 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.789 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1554299502.789 * [misc]backup-simplify: Simplify 2 into 2 1554299502.789 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 2)) (+ (* -2 t) 2)) into (- (+ (* 2 (pow t 2)) 2) (* 2 t)) 1554299502.789 * [misc]backup-simplify: Simplify (/ 2 (+ 1 (/ 1 t))) into (/ 2 (+ (/ 1 t) 1)) 1554299502.789 * [misc]approximate: Taking taylor expansion of (/ 2 (+ (/ 1 t) 1)) in (t) around 0 1554299502.790 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (/ 1 t) 1)) in t 1554299502.790 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.790 * [misc]backup-simplify: Simplify 2 into 2 1554299502.790 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.790 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.790 * [misc]taylor: Taking taylor expansion of t in t 1554299502.790 * [misc]backup-simplify: Simplify 0 into 0 1554299502.790 * [misc]backup-simplify: Simplify 1 into 1 1554299502.790 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.790 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.790 * [misc]backup-simplify: Simplify 1 into 1 1554299502.790 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.790 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1554299502.790 * [misc]taylor: Taking taylor expansion of (/ 2 (+ (/ 1 t) 1)) in t 1554299502.790 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.790 * [misc]backup-simplify: Simplify 2 into 2 1554299502.790 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1554299502.790 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.790 * [misc]taylor: Taking taylor expansion of t in t 1554299502.790 * [misc]backup-simplify: Simplify 0 into 0 1554299502.790 * [misc]backup-simplify: Simplify 1 into 1 1554299502.791 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.791 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.791 * [misc]backup-simplify: Simplify 1 into 1 1554299502.791 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.791 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1554299502.791 * [misc]backup-simplify: Simplify 2 into 2 1554299502.791 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.791 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1554299502.792 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2 1554299502.792 * [misc]backup-simplify: Simplify -2 into -2 1554299502.792 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299502.792 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.792 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1554299502.792 * [misc]backup-simplify: Simplify 2 into 2 1554299502.793 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 3)) (+ (* -2 (pow (/ 1 t) 2)) (* 2 (/ 1 t)))) into (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1554299502.793 * [misc]backup-simplify: Simplify (/ 2 (+ 1 (/ 1 (- t)))) into (/ 2 (- 1 (/ 1 t))) 1554299502.793 * [misc]approximate: Taking taylor expansion of (/ 2 (- 1 (/ 1 t))) in (t) around 0 1554299502.793 * [misc]taylor: Taking taylor expansion of (/ 2 (- 1 (/ 1 t))) in t 1554299502.793 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.793 * [misc]backup-simplify: Simplify 2 into 2 1554299502.793 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.793 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.793 * [misc]backup-simplify: Simplify 1 into 1 1554299502.793 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.793 * [misc]taylor: Taking taylor expansion of t in t 1554299502.793 * [misc]backup-simplify: Simplify 0 into 0 1554299502.793 * [misc]backup-simplify: Simplify 1 into 1 1554299502.793 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.794 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.794 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.794 * [misc]backup-simplify: Simplify (/ 2 -1) into -2 1554299502.794 * [misc]taylor: Taking taylor expansion of (/ 2 (- 1 (/ 1 t))) in t 1554299502.794 * [misc]taylor: Taking taylor expansion of 2 in t 1554299502.794 * [misc]backup-simplify: Simplify 2 into 2 1554299502.794 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1554299502.794 * [misc]taylor: Taking taylor expansion of 1 in t 1554299502.794 * [misc]backup-simplify: Simplify 1 into 1 1554299502.794 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1554299502.794 * [misc]taylor: Taking taylor expansion of t in t 1554299502.794 * [misc]backup-simplify: Simplify 0 into 0 1554299502.794 * [misc]backup-simplify: Simplify 1 into 1 1554299502.794 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554299502.794 * [misc]backup-simplify: Simplify (- 1) into -1 1554299502.795 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554299502.795 * [misc]backup-simplify: Simplify (/ 2 -1) into -2 1554299502.795 * [misc]backup-simplify: Simplify -2 into -2 1554299502.795 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554299502.795 * [misc]backup-simplify: Simplify (- 0) into 0 1554299502.795 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554299502.796 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -2 (/ 1 -1)))) into -2 1554299502.796 * [misc]backup-simplify: Simplify -2 into -2 1554299502.796 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299502.796 * [misc]backup-simplify: Simplify (- 0) into 0 1554299502.796 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554299502.797 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -2 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1554299502.797 * [misc]backup-simplify: Simplify -2 into -2 1554299502.797 * [misc]backup-simplify: Simplify (+ (* -2 (pow (/ 1 (- t)) 3)) (+ (* -2 (pow (/ 1 (- t)) 2)) (* -2 (/ 1 (- t))))) into (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1554299502.797 * * * [misc]progress: simplifying candidates 1554299502.797 * * * * [misc]progress: [ 1 / 85 ] simplifiying candidate # 1554299502.797 * * * * [misc]progress: [ 2 / 85 ] simplifiying candidate # 1554299502.797 * * * * [misc]progress: [ 3 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 4 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 5 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 6 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 7 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 8 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 9 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 10 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 11 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 12 / 85 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))))))))> 1554299502.798 * * * * [misc]progress: [ 13 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 14 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 15 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 16 / 85 ] simplifiying candidate # 1554299502.798 * * * * [misc]progress: [ 17 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 18 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 19 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 20 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 21 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 22 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 23 / 85 ] simplifiying candidate # 1554299502.799 * * * * [misc]progress: [ 24 / 85 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))))> 1554299502.799 * * * * [misc]progress: [ 25 / 85 ] simplifiying candidate # 1554299502.799 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1554299502.799 * * [misc]simplify: iters left: 6 (6 enodes) 1554299502.803 * * [misc]simplify: iters left: 5 (23 enodes) 1554299502.810 * * [misc]simplify: iters left: 4 (31 enodes) 1554299502.820 * * [misc]simplify: iters left: 3 (33 enodes) 1554299502.830 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299502.830 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554299502.830 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554299502.830 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554299502.830 * * [misc]simplify: Extracting #4: cost 8 inf + 4 1554299502.830 * * [misc]simplify: Extracting #5: cost 2 inf + 460 1554299502.831 * * [misc]simplify: Extracting #6: cost 0 inf + 666 1554299502.831 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1554299502.831 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1554299502.832 * [enter]simplify: Simplifying (+ 1 1) 1554299502.832 * * [misc]simplify: iters left: 2 (2 enodes) 1554299502.834 * * [misc]simplify: iters left: 1 (9 enodes) 1554299502.837 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299502.837 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554299502.837 * [exit]simplify: Simplified to 2 1554299502.837 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) 2))))) 1554299502.837 * * * * [misc]progress: [ 26 / 85 ] simplifiying candidate # 1554299502.838 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1554299502.838 * * [misc]simplify: iters left: 6 (7 enodes) 1554299502.842 * * [misc]simplify: iters left: 5 (26 enodes) 1554299502.850 * * [misc]simplify: iters left: 4 (40 enodes) 1554299502.864 * * [misc]simplify: iters left: 3 (69 enodes) 1554299502.887 * * [misc]simplify: iters left: 2 (124 enodes) 1554299502.922 * * [misc]simplify: iters left: 1 (209 enodes) 1554299502.977 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299502.977 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554299502.977 * * [misc]simplify: Extracting #2: cost 66 inf + 1 1554299502.978 * * [misc]simplify: Extracting #3: cost 76 inf + 4 1554299502.978 * * [misc]simplify: Extracting #4: cost 74 inf + 6 1554299502.980 * * [misc]simplify: Extracting #5: cost 44 inf + 3616 1554299502.985 * * [misc]simplify: Extracting #6: cost 2 inf + 9825 1554299502.991 * * [misc]simplify: Extracting #7: cost 0 inf + 10152 1554299503.000 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1554299503.000 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1))))) 1554299503.000 * * * * [misc]progress: [ 27 / 85 ] simplifiying candidate # 1554299503.000 * * * * [misc]progress: [ 28 / 85 ] simplifiying candidate # 1554299503.000 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1554299503.001 * * [misc]simplify: iters left: 6 (6 enodes) 1554299503.004 * * [misc]simplify: iters left: 5 (23 enodes) 1554299503.012 * * [misc]simplify: iters left: 4 (31 enodes) 1554299503.023 * * [misc]simplify: iters left: 3 (33 enodes) 1554299503.029 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299503.029 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554299503.029 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554299503.029 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554299503.029 * * [misc]simplify: Extracting #4: cost 8 inf + 4 1554299503.029 * * [misc]simplify: Extracting #5: cost 2 inf + 460 1554299503.030 * * [misc]simplify: Extracting #6: cost 0 inf + 666 1554299503.030 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1554299503.030 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1554299503.030 * * * * [misc]progress: [ 29 / 85 ] simplifiying candidate # 1554299503.030 * * * * [misc]progress: [ 30 / 85 ] simplifiying candidate # 1554299503.030 * [enter]simplify: Simplifying (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1554299503.030 * * [misc]simplify: iters left: 6 (8 enodes) 1554299503.032 * * [misc]simplify: iters left: 5 (29 enodes) 1554299503.039 * * [misc]simplify: iters left: 4 (37 enodes) 1554299503.049 * * [misc]simplify: iters left: 3 (39 enodes) 1554299503.055 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299503.055 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299503.055 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554299503.055 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554299503.055 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554299503.055 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1554299503.055 * * [misc]simplify: Extracting #6: cost 11 inf + 46 1554299503.056 * * [misc]simplify: Extracting #7: cost 5 inf + 543 1554299503.056 * * [misc]simplify: Extracting #8: cost 0 inf + 1518 1554299503.056 * [exit]simplify: Simplified to (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1554299503.056 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (exp (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t)))))))))) 1554299503.056 * * * * [misc]progress: [ 31 / 85 ] simplifiying candidate # 1554299503.056 * * * * [misc]progress: [ 32 / 85 ] simplifiying candidate # 1554299503.056 * * * * [misc]progress: [ 33 / 85 ] simplifiying candidate # 1554299503.057 * [enter]simplify: Simplifying (* (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) 1554299503.057 * * [misc]simplify: iters left: 6 (9 enodes) 1554299503.060 * * [misc]simplify: iters left: 5 (37 enodes) 1554299503.067 * * [misc]simplify: iters left: 4 (76 enodes) 1554299503.094 * * [misc]simplify: iters left: 3 (266 enodes) 1554299503.289 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299503.289 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554299503.290 * * [misc]simplify: Extracting #2: cost 117 inf + 1 1554299503.291 * * [misc]simplify: Extracting #3: cost 287 inf + 4 1554299503.299 * * [misc]simplify: Extracting #4: cost 202 inf + 18057 1554299503.318 * * [misc]simplify: Extracting #5: cost 8 inf + 72061 1554299503.350 * * [misc]simplify: Extracting #6: cost 0 inf + 73948 1554299503.379 * [exit]simplify: Simplified to (* (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1554299503.379 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))) 1554299503.379 * * * * [misc]progress: [ 34 / 85 ] simplifiying candidate # 1554299503.379 * * * * [misc]progress: [ 35 / 85 ] simplifiying candidate # 1554299503.379 * * * * [misc]progress: [ 36 / 85 ] simplifiying candidate # 1554299503.379 * * * * [misc]progress: [ 37 / 85 ] simplifiying candidate # 1554299503.380 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1554299503.380 * * [misc]simplify: iters left: 6 (10 enodes) 1554299503.384 * * [misc]simplify: iters left: 5 (45 enodes) 1554299503.392 * * [misc]simplify: iters left: 4 (80 enodes) 1554299503.422 * * [misc]simplify: iters left: 3 (197 enodes) 1554299503.508 * * [misc]simplify: iters left: 2 (468 enodes) 1554299503.904 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299503.904 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1554299503.904 * * [misc]simplify: Extracting #2: cost 218 inf + 1 1554299503.906 * * [misc]simplify: Extracting #3: cost 388 inf + 8 1554299503.913 * * [misc]simplify: Extracting #4: cost 277 inf + 29218 1554299503.963 * * [misc]simplify: Extracting #5: cost 26 inf + 88746 1554299504.017 * * [misc]simplify: Extracting #6: cost 0 inf + 82448 1554299504.072 * * [misc]simplify: Extracting #7: cost 0 inf + 81042 1554299504.129 * * [misc]simplify: Extracting #8: cost 0 inf + 80842 1554299504.183 * [exit]simplify: Simplified to (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1554299504.183 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))) 1554299504.184 * [enter]simplify: Simplifying (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1554299504.184 * * [misc]simplify: iters left: 6 (11 enodes) 1554299504.191 * * [misc]simplify: iters left: 5 (53 enodes) 1554299504.211 * * [misc]simplify: iters left: 4 (152 enodes) 1554299504.285 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299504.285 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554299504.286 * * [misc]simplify: Extracting #2: cost 131 inf + 0 1554299504.286 * * [misc]simplify: Extracting #3: cost 156 inf + 3 1554299504.287 * * [misc]simplify: Extracting #4: cost 139 inf + 1973 1554299504.293 * * [misc]simplify: Extracting #5: cost 33 inf + 25887 1554299504.302 * * [misc]simplify: Extracting #6: cost 0 inf + 33080 1554299504.312 * * [misc]simplify: Extracting #7: cost 0 inf + 32880 1554299504.326 * [exit]simplify: Simplified to (* (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2))) (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2)))) 1554299504.326 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2))) (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2))))))))) 1554299504.327 * * * * [misc]progress: [ 38 / 85 ] simplifiying candidate # 1554299504.327 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1554299504.327 * * [misc]simplify: iters left: 6 (13 enodes) 1554299504.336 * * [misc]simplify: iters left: 5 (62 enodes) 1554299504.355 * * [misc]simplify: iters left: 4 (130 enodes) 1554299504.383 * * [misc]simplify: iters left: 3 (349 enodes) 1554299504.593 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299504.593 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1554299504.594 * * [misc]simplify: Extracting #2: cost 214 inf + 0 1554299504.595 * * [misc]simplify: Extracting #3: cost 339 inf + 4 1554299504.598 * * [misc]simplify: Extracting #4: cost 292 inf + 11666 1554299504.614 * * [misc]simplify: Extracting #5: cost 40 inf + 71196 1554299504.660 * * [misc]simplify: Extracting #6: cost 0 inf + 75365 1554299504.709 * * [misc]simplify: Extracting #7: cost 0 inf + 75322 1554299504.739 * [exit]simplify: Simplified to (- (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (/ (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 1 t) (+ 1 t)))) 1554299504.739 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (- (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (/ (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 1 t) (+ 1 t)))) (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t))))))))) 1554299504.739 * [enter]simplify: Simplifying (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))) 1554299504.739 * * [misc]simplify: iters left: 6 (12 enodes) 1554299504.743 * * [misc]simplify: iters left: 5 (57 enodes) 1554299504.754 * * [misc]simplify: iters left: 4 (136 enodes) 1554299504.806 * * [misc]simplify: iters left: 3 (348 enodes) 1554299504.943 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299504.943 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1554299504.944 * * [misc]simplify: Extracting #2: cost 116 inf + 1 1554299504.944 * * [misc]simplify: Extracting #3: cost 133 inf + 4 1554299504.945 * * [misc]simplify: Extracting #4: cost 121 inf + 955 1554299504.950 * * [misc]simplify: Extracting #5: cost 36 inf + 18568 1554299504.958 * * [misc]simplify: Extracting #6: cost 0 inf + 26100 1554299504.965 * * [misc]simplify: Extracting #7: cost 0 inf + 26056 1554299504.976 * [exit]simplify: Simplified to (+ (/ (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1))) (+ t 1)) (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1)))) 1554299504.977 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (- (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (/ (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 1 t) (+ 1 t)))) (+ (/ (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1))) (+ t 1)) (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1))))))))) 1554299504.977 * * * * [misc]progress: [ 39 / 85 ] simplifiying candidate # 1554299504.977 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1554299504.977 * * [misc]simplify: iters left: 6 (13 enodes) 1554299504.986 * * [misc]simplify: iters left: 5 (62 enodes) 1554299505.007 * * [misc]simplify: iters left: 4 (130 enodes) 1554299505.060 * * [misc]simplify: iters left: 3 (349 enodes) 1554299505.228 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299505.229 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1554299505.230 * * [misc]simplify: Extracting #2: cost 214 inf + 0 1554299505.232 * * [misc]simplify: Extracting #3: cost 339 inf + 4 1554299505.237 * * [misc]simplify: Extracting #4: cost 281 inf + 10794 1554299505.268 * * [misc]simplify: Extracting #5: cost 42 inf + 66112 1554299505.311 * * [misc]simplify: Extracting #6: cost 0 inf + 74425 1554299505.358 * * [misc]simplify: Extracting #7: cost 0 inf + 73820 1554299505.402 * [exit]simplify: Simplified to (* (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) 1554299505.402 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))) 1554299505.403 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1554299505.403 * * [misc]simplify: iters left: 6 (12 enodes) 1554299505.411 * * [misc]simplify: iters left: 5 (57 enodes) 1554299505.432 * * [misc]simplify: iters left: 4 (140 enodes) 1554299505.491 * * [misc]simplify: iters left: 3 (364 enodes) 1554299505.669 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299505.669 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1554299505.669 * * [misc]simplify: Extracting #2: cost 121 inf + 1 1554299505.670 * * [misc]simplify: Extracting #3: cost 136 inf + 4 1554299505.670 * * [misc]simplify: Extracting #4: cost 122 inf + 1402 1554299505.675 * * [misc]simplify: Extracting #5: cost 44 inf + 16717 1554299505.683 * * [misc]simplify: Extracting #6: cost 0 inf + 26395 1554299505.691 * * [misc]simplify: Extracting #7: cost 0 inf + 25817 1554299505.701 * * [misc]simplify: Extracting #8: cost 0 inf + 25774 1554299505.718 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ 4 (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t)))))) 1554299505.718 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 4 (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t))))))))))) 1554299505.718 * * * * [misc]progress: [ 40 / 85 ] simplifiying candidate # 1554299505.719 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1554299505.719 * * [misc]simplify: iters left: 6 (9 enodes) 1554299505.725 * * [misc]simplify: iters left: 5 (40 enodes) 1554299505.739 * * [misc]simplify: iters left: 4 (77 enodes) 1554299505.768 * * [misc]simplify: iters left: 3 (197 enodes) 1554299505.896 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299505.897 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1554299505.897 * * [misc]simplify: Extracting #2: cost 159 inf + 0 1554299505.899 * * [misc]simplify: Extracting #3: cost 230 inf + 3 1554299505.904 * * [misc]simplify: Extracting #4: cost 172 inf + 8949 1554299505.924 * * [misc]simplify: Extracting #5: cost 14 inf + 41685 1554299505.949 * * [misc]simplify: Extracting #6: cost 0 inf + 44491 1554299505.975 * [exit]simplify: Simplified to (* (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) 1554299505.975 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1554299505.976 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1554299505.976 * * [misc]simplify: iters left: 6 (7 enodes) 1554299505.980 * * [misc]simplify: iters left: 5 (31 enodes) 1554299505.992 * * [misc]simplify: iters left: 4 (58 enodes) 1554299506.009 * * [misc]simplify: iters left: 3 (85 enodes) 1554299506.036 * * [misc]simplify: iters left: 2 (119 enodes) 1554299506.066 * * [misc]simplify: iters left: 1 (174 enodes) 1554299506.091 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.091 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554299506.091 * * [misc]simplify: Extracting #2: cost 45 inf + 2 1554299506.092 * * [misc]simplify: Extracting #3: cost 66 inf + 2 1554299506.092 * * [misc]simplify: Extracting #4: cost 66 inf + 4 1554299506.093 * * [misc]simplify: Extracting #5: cost 35 inf + 3572 1554299506.095 * * [misc]simplify: Extracting #6: cost 3 inf + 8748 1554299506.097 * * [misc]simplify: Extracting #7: cost 0 inf + 9279 1554299506.100 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1554299506.100 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1554299506.100 * * * * [misc]progress: [ 41 / 85 ] simplifiying candidate # 1554299506.100 * * * * [misc]progress: [ 42 / 85 ] simplifiying candidate # 1554299506.100 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1554299506.100 * * [misc]simplify: iters left: 6 (8 enodes) 1554299506.103 * * [misc]simplify: iters left: 5 (34 enodes) 1554299506.111 * * [misc]simplify: iters left: 4 (52 enodes) 1554299506.128 * * [misc]simplify: iters left: 3 (96 enodes) 1554299506.143 * * [misc]simplify: iters left: 2 (146 enodes) 1554299506.175 * * [misc]simplify: iters left: 1 (206 enodes) 1554299506.219 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.219 * * [misc]simplify: Extracting #1: cost 28 inf + 0 1554299506.219 * * [misc]simplify: Extracting #2: cost 58 inf + 2 1554299506.220 * * [misc]simplify: Extracting #3: cost 72 inf + 6 1554299506.221 * * [misc]simplify: Extracting #4: cost 29 inf + 4892 1554299506.224 * * [misc]simplify: Extracting #5: cost 0 inf + 9100 1554299506.227 * * [misc]simplify: Extracting #6: cost 0 inf + 9060 1554299506.229 * [exit]simplify: Simplified to (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t)) 1554299506.229 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t))))))) 1554299506.229 * * * * [misc]progress: [ 43 / 85 ] simplifiying candidate # 1554299506.230 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1554299506.230 * * [misc]simplify: iters left: 6 (8 enodes) 1554299506.232 * * [misc]simplify: iters left: 5 (34 enodes) 1554299506.238 * * [misc]simplify: iters left: 4 (52 enodes) 1554299506.254 * * [misc]simplify: iters left: 3 (96 enodes) 1554299506.271 * * [misc]simplify: iters left: 2 (146 enodes) 1554299506.296 * * [misc]simplify: iters left: 1 (206 enodes) 1554299506.352 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.353 * * [misc]simplify: Extracting #1: cost 28 inf + 0 1554299506.353 * * [misc]simplify: Extracting #2: cost 58 inf + 2 1554299506.354 * * [misc]simplify: Extracting #3: cost 72 inf + 6 1554299506.356 * * [misc]simplify: Extracting #4: cost 29 inf + 4892 1554299506.361 * * [misc]simplify: Extracting #5: cost 0 inf + 9100 1554299506.364 * * [misc]simplify: Extracting #6: cost 0 inf + 9060 1554299506.367 * [exit]simplify: Simplified to (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t)) 1554299506.367 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t))))))) 1554299506.367 * * * * [misc]progress: [ 44 / 85 ] simplifiying candidate # 1554299506.367 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1554299506.367 * * [misc]simplify: iters left: 6 (8 enodes) 1554299506.370 * * [misc]simplify: iters left: 5 (34 enodes) 1554299506.377 * * [misc]simplify: iters left: 4 (58 enodes) 1554299506.401 * * [misc]simplify: iters left: 3 (112 enodes) 1554299506.421 * * [misc]simplify: iters left: 2 (156 enodes) 1554299506.451 * * [misc]simplify: iters left: 1 (192 enodes) 1554299506.511 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.511 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554299506.512 * * [misc]simplify: Extracting #2: cost 57 inf + 2 1554299506.512 * * [misc]simplify: Extracting #3: cost 71 inf + 6 1554299506.514 * * [misc]simplify: Extracting #4: cost 39 inf + 3459 1554299506.519 * * [misc]simplify: Extracting #5: cost 3 inf + 8374 1554299506.522 * * [misc]simplify: Extracting #6: cost 0 inf + 8824 1554299506.525 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1554299506.525 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1554299506.525 * * * * [misc]progress: [ 45 / 85 ] simplifiying candidate # 1554299506.525 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1554299506.526 * * [misc]simplify: iters left: 6 (8 enodes) 1554299506.528 * * [misc]simplify: iters left: 5 (34 enodes) 1554299506.534 * * [misc]simplify: iters left: 4 (58 enodes) 1554299506.545 * * [misc]simplify: iters left: 3 (112 enodes) 1554299506.576 * * [misc]simplify: iters left: 2 (156 enodes) 1554299506.622 * * [misc]simplify: iters left: 1 (192 enodes) 1554299506.656 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.656 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554299506.656 * * [misc]simplify: Extracting #2: cost 57 inf + 2 1554299506.656 * * [misc]simplify: Extracting #3: cost 71 inf + 6 1554299506.658 * * [misc]simplify: Extracting #4: cost 39 inf + 3459 1554299506.662 * * [misc]simplify: Extracting #5: cost 3 inf + 8374 1554299506.667 * * [misc]simplify: Extracting #6: cost 0 inf + 8824 1554299506.673 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1554299506.673 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1554299506.673 * * * * [misc]progress: [ 46 / 85 ] simplifiying candidate # 1554299506.673 * [enter]simplify: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 1554299506.673 * * [misc]simplify: iters left: 6 (7 enodes) 1554299506.677 * * [misc]simplify: iters left: 5 (26 enodes) 1554299506.686 * * [misc]simplify: iters left: 4 (34 enodes) 1554299506.693 * * [misc]simplify: iters left: 3 (36 enodes) 1554299506.699 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.699 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299506.699 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554299506.699 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1554299506.699 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1554299506.699 * * [misc]simplify: Extracting #5: cost 6 inf + 254 1554299506.699 * * [misc]simplify: Extracting #6: cost 4 inf + 460 1554299506.699 * * [misc]simplify: Extracting #7: cost 1 inf + 869 1554299506.699 * * [misc]simplify: Extracting #8: cost 0 inf + 1072 1554299506.700 * [exit]simplify: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 1554299506.700 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))))))) 1554299506.700 * * * * [misc]progress: [ 47 / 85 ] simplifiying candidate # 1554299506.700 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1554299506.700 * * [misc]simplify: iters left: 6 (7 enodes) 1554299506.702 * * [misc]simplify: iters left: 5 (26 enodes) 1554299506.707 * * [misc]simplify: iters left: 4 (34 enodes) 1554299506.714 * * [misc]simplify: iters left: 3 (36 enodes) 1554299506.722 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.722 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299506.722 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554299506.722 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1554299506.722 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1554299506.723 * * [misc]simplify: Extracting #5: cost 6 inf + 254 1554299506.723 * * [misc]simplify: Extracting #6: cost 4 inf + 460 1554299506.723 * * [misc]simplify: Extracting #7: cost 1 inf + 829 1554299506.724 * * [misc]simplify: Extracting #8: cost 0 inf + 992 1554299506.724 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1554299506.724 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) (sqrt (- 2 (/ 2 (+ 1 t))))) (sqrt (- 2 (/ 2 (+ 1 t))))))))) 1554299506.724 * * * * [misc]progress: [ 48 / 85 ] simplifiying candidate # 1554299506.725 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1554299506.725 * * [misc]simplify: iters left: 6 (6 enodes) 1554299506.728 * * [misc]simplify: iters left: 5 (23 enodes) 1554299506.736 * * [misc]simplify: iters left: 4 (31 enodes) 1554299506.745 * * [misc]simplify: iters left: 3 (33 enodes) 1554299506.754 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.754 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554299506.754 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554299506.754 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554299506.755 * * [misc]simplify: Extracting #4: cost 8 inf + 4 1554299506.755 * * [misc]simplify: Extracting #5: cost 2 inf + 460 1554299506.755 * * [misc]simplify: Extracting #6: cost 0 inf + 666 1554299506.755 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1554299506.756 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))) 1554299506.756 * * * * [misc]progress: [ 49 / 85 ] simplifiying candidate # 1554299506.756 * [enter]simplify: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1554299506.756 * * [misc]simplify: iters left: 6 (8 enodes) 1554299506.761 * * [misc]simplify: iters left: 5 (29 enodes) 1554299506.770 * * [misc]simplify: iters left: 4 (37 enodes) 1554299506.781 * * [misc]simplify: iters left: 3 (39 enodes) 1554299506.792 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.792 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299506.792 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554299506.792 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554299506.792 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554299506.792 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1554299506.792 * * [misc]simplify: Extracting #6: cost 11 inf + 46 1554299506.792 * * [misc]simplify: Extracting #7: cost 5 inf + 543 1554299506.793 * * [misc]simplify: Extracting #8: cost 0 inf + 1558 1554299506.793 * [exit]simplify: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1554299506.793 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (* (cbrt (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))))) 1554299506.794 * * * * [misc]progress: [ 50 / 85 ] simplifiying candidate # 1554299506.794 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1554299506.794 * * [misc]simplify: iters left: 6 (7 enodes) 1554299506.798 * * [misc]simplify: iters left: 5 (26 enodes) 1554299506.806 * * [misc]simplify: iters left: 4 (34 enodes) 1554299506.816 * * [misc]simplify: iters left: 3 (36 enodes) 1554299506.826 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.826 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299506.826 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554299506.826 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1554299506.826 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1554299506.827 * * [misc]simplify: Extracting #5: cost 6 inf + 254 1554299506.827 * * [misc]simplify: Extracting #6: cost 4 inf + 460 1554299506.827 * * [misc]simplify: Extracting #7: cost 1 inf + 829 1554299506.828 * * [misc]simplify: Extracting #8: cost 0 inf + 992 1554299506.828 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1554299506.828 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (sqrt (- 2 (/ 2 (+ 1 t)))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))))) 1554299506.828 * * * * [misc]progress: [ 51 / 85 ] simplifiying candidate # 1554299506.828 * * * * [misc]progress: [ 52 / 85 ] simplifiying candidate # 1554299506.829 * [enter]simplify: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 1554299506.829 * * [misc]simplify: iters left: 6 (10 enodes) 1554299506.836 * * [misc]simplify: iters left: 5 (44 enodes) 1554299506.849 * * [misc]simplify: iters left: 4 (69 enodes) 1554299506.872 * * [misc]simplify: iters left: 3 (88 enodes) 1554299506.895 * * [misc]simplify: iters left: 2 (115 enodes) 1554299506.928 * * [misc]simplify: iters left: 1 (154 enodes) 1554299506.959 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.959 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1554299506.959 * * [misc]simplify: Extracting #2: cost 32 inf + 2 1554299506.959 * * [misc]simplify: Extracting #3: cost 46 inf + 3 1554299506.959 * * [misc]simplify: Extracting #4: cost 33 inf + 1771 1554299506.961 * * [misc]simplify: Extracting #5: cost 5 inf + 5412 1554299506.964 * * [misc]simplify: Extracting #6: cost 0 inf + 6186 1554299506.968 * [exit]simplify: Simplified to (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1)))) 1554299506.968 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1))))))))) 1554299506.968 * * * * [misc]progress: [ 53 / 85 ] simplifiying candidate # 1554299506.969 * [enter]simplify: Simplifying (+ 2 (/ 2 (+ 1 t))) 1554299506.969 * * [misc]simplify: iters left: 6 (6 enodes) 1554299506.973 * * [misc]simplify: iters left: 5 (22 enodes) 1554299506.980 * * [misc]simplify: iters left: 4 (24 enodes) 1554299506.989 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299506.989 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299506.989 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554299506.989 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554299506.989 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1554299506.990 * * [misc]simplify: Extracting #5: cost 0 inf + 499 1554299506.990 * [exit]simplify: Simplified to (+ 2 (/ 2 (+ 1 t))) 1554299506.990 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))))))) 1554299506.990 * * * * [misc]progress: [ 54 / 85 ] simplifiying candidate # 1554299506.991 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- 2 (/ 2 (+ 1 t)))) 1554299506.991 * * [misc]simplify: iters left: 6 (11 enodes) 1554299506.998 * * [misc]simplify: iters left: 5 (51 enodes) 1554299507.016 * * [misc]simplify: iters left: 4 (97 enodes) 1554299507.052 * * [misc]simplify: iters left: 3 (239 enodes) 1554299507.121 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.121 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554299507.122 * * [misc]simplify: Extracting #2: cost 93 inf + 0 1554299507.122 * * [misc]simplify: Extracting #3: cost 143 inf + 4 1554299507.123 * * [misc]simplify: Extracting #4: cost 133 inf + 1848 1554299507.126 * * [misc]simplify: Extracting #5: cost 40 inf + 20556 1554299507.138 * * [misc]simplify: Extracting #6: cost 0 inf + 25647 1554299507.153 * * [misc]simplify: Extracting #7: cost 0 inf + 25132 1554299507.160 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1554299507.160 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))))) 1554299507.160 * * * * [misc]progress: [ 55 / 85 ] simplifiying candidate # 1554299507.161 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 1554299507.161 * * [misc]simplify: iters left: 6 (10 enodes) 1554299507.164 * * [misc]simplify: iters left: 5 (45 enodes) 1554299507.172 * * [misc]simplify: iters left: 4 (95 enodes) 1554299507.201 * * [misc]simplify: iters left: 3 (252 enodes) 1554299507.284 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.284 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1554299507.284 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1554299507.285 * * [misc]simplify: Extracting #3: cost 172 inf + 5 1554299507.286 * * [misc]simplify: Extracting #4: cost 153 inf + 2018 1554299507.290 * * [misc]simplify: Extracting #5: cost 44 inf + 21372 1554299507.299 * * [misc]simplify: Extracting #6: cost 1 inf + 30055 1554299507.315 * * [misc]simplify: Extracting #7: cost 0 inf + 30054 1554299507.332 * [exit]simplify: Simplified to (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (+ (/ 2 (+ t 1)) 2)) 1554299507.332 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (+ (/ 2 (+ t 1)) 2)) (+ 2 (/ 2 (+ 1 t)))))))) 1554299507.332 * * * * [misc]progress: [ 56 / 85 ] simplifiying candidate #real (real->posit16 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))> 1554299507.332 * * * * [misc]progress: [ 57 / 85 ] simplifiying candidate # 1554299507.332 * * * * [misc]progress: [ 58 / 85 ] simplifiying candidate # 1554299507.332 * * * * [misc]progress: [ 59 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 60 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 61 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 62 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 63 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 64 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 65 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 66 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 67 / 85 ] simplifiying candidate # 1554299507.333 * * * * [misc]progress: [ 68 / 85 ] simplifiying candidate # 1554299507.333 * [enter]simplify: Simplifying (cbrt (+ 1 t)) 1554299507.333 * * [misc]simplify: iters left: 3 (4 enodes) 1554299507.336 * * [misc]simplify: iters left: 2 (15 enodes) 1554299507.340 * * [misc]simplify: iters left: 1 (17 enodes) 1554299507.345 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.345 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299507.345 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554299507.346 * * [misc]simplify: Extracting #3: cost 2 inf + 86 1554299507.346 * * [misc]simplify: Extracting #4: cost 1 inf + 208 1554299507.346 * * [misc]simplify: Extracting #5: cost 0 inf + 330 1554299507.346 * [exit]simplify: Simplified to (cbrt (+ t 1)) 1554299507.346 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))))))))) 1554299507.346 * * * * [misc]progress: [ 69 / 85 ] simplifiying candidate # 1554299507.347 * [enter]simplify: Simplifying (sqrt (+ 1 t)) 1554299507.347 * * [misc]simplify: iters left: 3 (4 enodes) 1554299507.349 * * [misc]simplify: iters left: 2 (15 enodes) 1554299507.353 * * [misc]simplify: iters left: 1 (17 enodes) 1554299507.358 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.358 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299507.358 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554299507.358 * * [misc]simplify: Extracting #3: cost 2 inf + 86 1554299507.358 * * [misc]simplify: Extracting #4: cost 1 inf + 168 1554299507.359 * * [misc]simplify: Extracting #5: cost 0 inf + 250 1554299507.359 * [exit]simplify: Simplified to (sqrt (+ t 1)) 1554299507.359 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ (/ 2 (sqrt (+ 1 t))) (sqrt (+ t 1))))))))) 1554299507.359 * * * * [misc]progress: [ 70 / 85 ] simplifiying candidate # 1554299507.359 * [enter]simplify: Simplifying (+ 1 t) 1554299507.359 * * [misc]simplify: iters left: 2 (3 enodes) 1554299507.362 * * [misc]simplify: iters left: 1 (12 enodes) 1554299507.366 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.366 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299507.366 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299507.366 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299507.366 * [exit]simplify: Simplified to (+ t 1) 1554299507.366 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ (/ 2 1) (+ t 1)))))))) 1554299507.366 * * * * [misc]progress: [ 71 / 85 ] simplifiying candidate # 1554299507.367 * [enter]simplify: Simplifying (+ (* 1 1) (- (* t t) (* 1 t))) 1554299507.367 * * [misc]simplify: iters left: 6 (7 enodes) 1554299507.371 * * [misc]simplify: iters left: 5 (24 enodes) 1554299507.379 * * [misc]simplify: iters left: 4 (43 enodes) 1554299507.392 * * [misc]simplify: iters left: 3 (68 enodes) 1554299507.409 * * [misc]simplify: iters left: 2 (77 enodes) 1554299507.431 * * [misc]simplify: iters left: 1 (93 enodes) 1554299507.445 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.445 * * [misc]simplify: Extracting #1: cost 14 inf + 0 1554299507.445 * * [misc]simplify: Extracting #2: cost 13 inf + 413 1554299507.446 * * [misc]simplify: Extracting #3: cost 2 inf + 1188 1554299507.446 * * [misc]simplify: Extracting #4: cost 0 inf + 1351 1554299507.446 * [exit]simplify: Simplified to (+ (- (* t t) t) 1) 1554299507.447 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (* (/ 2 (+ (pow 1 3) (pow t 3))) (+ (- (* t t) t) 1)))))))) 1554299507.447 * * * * [misc]progress: [ 72 / 85 ] simplifiying candidate # 1554299507.447 * [enter]simplify: Simplifying (- 1 t) 1554299507.447 * * [misc]simplify: iters left: 2 (3 enodes) 1554299507.448 * * [misc]simplify: iters left: 1 (13 enodes) 1554299507.450 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.450 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554299507.451 * * [misc]simplify: Extracting #2: cost 3 inf + 43 1554299507.451 * * [misc]simplify: Extracting #3: cost 0 inf + 168 1554299507.451 * [exit]simplify: Simplified to (- 1 t) 1554299507.451 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (* (/ 2 (- (* 1 1) (* t t))) (- 1 t)))))))) 1554299507.451 * * * * [misc]progress: [ 73 / 85 ] simplifiying candidate #real (real->posit16 (/ 2 (+ 1 t))))))))))> 1554299507.451 * * * * [misc]progress: [ 74 / 85 ] simplifiying candidate # 1554299507.451 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1554299507.451 * * [misc]simplify: iters left: 6 (10 enodes) 1554299507.454 * * [misc]simplify: iters left: 5 (43 enodes) 1554299507.462 * * [misc]simplify: iters left: 4 (82 enodes) 1554299507.486 * * [misc]simplify: iters left: 3 (149 enodes) 1554299507.526 * * [misc]simplify: iters left: 2 (280 enodes) 1554299507.601 * * [misc]simplify: iters left: 1 (403 enodes) 1554299507.694 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.694 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554299507.694 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1554299507.695 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1554299507.697 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1554299507.700 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1554299507.703 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1554299507.703 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))))))) 1554299507.703 * * * * [misc]progress: [ 75 / 85 ] simplifiying candidate # 1554299507.703 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299507.703 * * [misc]simplify: iters left: 6 (10 enodes) 1554299507.707 * * [misc]simplify: iters left: 5 (43 enodes) 1554299507.715 * * [misc]simplify: iters left: 4 (72 enodes) 1554299507.729 * * [misc]simplify: iters left: 3 (105 enodes) 1554299507.764 * * [misc]simplify: iters left: 2 (141 enodes) 1554299507.788 * * [misc]simplify: iters left: 1 (187 enodes) 1554299507.818 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.818 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1554299507.818 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1554299507.819 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1554299507.820 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1554299507.821 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1554299507.825 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1554299507.826 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1554299507.826 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))) 1554299507.826 * * * * [misc]progress: [ 76 / 85 ] simplifiying candidate # 1554299507.827 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299507.827 * * [misc]simplify: iters left: 6 (10 enodes) 1554299507.830 * * [misc]simplify: iters left: 5 (43 enodes) 1554299507.843 * * [misc]simplify: iters left: 4 (72 enodes) 1554299507.864 * * [misc]simplify: iters left: 3 (105 enodes) 1554299507.895 * * [misc]simplify: iters left: 2 (141 enodes) 1554299507.919 * * [misc]simplify: iters left: 1 (187 enodes) 1554299507.963 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299507.963 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1554299507.964 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1554299507.964 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1554299507.965 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1554299507.967 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1554299507.968 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1554299507.970 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1554299507.970 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))) 1554299507.970 * * * * [misc]progress: [ 77 / 85 ] simplifiying candidate # 1554299507.970 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1554299507.970 * * [misc]simplify: iters left: 6 (10 enodes) 1554299507.973 * * [misc]simplify: iters left: 5 (43 enodes) 1554299507.981 * * [misc]simplify: iters left: 4 (82 enodes) 1554299508.001 * * [misc]simplify: iters left: 3 (149 enodes) 1554299508.045 * * [misc]simplify: iters left: 2 (280 enodes) 1554299508.126 * * [misc]simplify: iters left: 1 (403 enodes) 1554299508.223 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299508.223 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554299508.223 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1554299508.224 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1554299508.226 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1554299508.228 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1554299508.233 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1554299508.233 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) (- 2 (/ 2 (+ 1 t)))))))) 1554299508.234 * * * * [misc]progress: [ 78 / 85 ] simplifiying candidate # 1554299508.234 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299508.234 * * [misc]simplify: iters left: 6 (10 enodes) 1554299508.240 * * [misc]simplify: iters left: 5 (43 enodes) 1554299508.250 * * [misc]simplify: iters left: 4 (72 enodes) 1554299508.261 * * [misc]simplify: iters left: 3 (105 enodes) 1554299508.279 * * [misc]simplify: iters left: 2 (141 enodes) 1554299508.308 * * [misc]simplify: iters left: 1 (187 enodes) 1554299508.360 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299508.360 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1554299508.361 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1554299508.361 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1554299508.363 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1554299508.366 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1554299508.371 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1554299508.372 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1554299508.372 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))) 1554299508.372 * * * * [misc]progress: [ 79 / 85 ] simplifiying candidate # 1554299508.373 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1554299508.373 * * [misc]simplify: iters left: 6 (10 enodes) 1554299508.376 * * [misc]simplify: iters left: 5 (43 enodes) 1554299508.384 * * [misc]simplify: iters left: 4 (72 enodes) 1554299508.396 * * [misc]simplify: iters left: 3 (105 enodes) 1554299508.422 * * [misc]simplify: iters left: 2 (141 enodes) 1554299508.443 * * [misc]simplify: iters left: 1 (187 enodes) 1554299508.491 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299508.492 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1554299508.492 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1554299508.492 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1554299508.494 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1554299508.498 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1554299508.501 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1554299508.504 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1554299508.505 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))) 1554299508.505 * * * * [misc]progress: [ 80 / 85 ] simplifiying candidate # 1554299508.505 * [enter]simplify: Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))) 1554299508.505 * * [misc]simplify: iters left: 6 (14 enodes) 1554299508.509 * * [misc]simplify: iters left: 5 (53 enodes) 1554299508.519 * * [misc]simplify: iters left: 4 (87 enodes) 1554299508.538 * * [misc]simplify: iters left: 3 (148 enodes) 1554299508.571 * * [misc]simplify: iters left: 2 (203 enodes) 1554299508.606 * * [misc]simplify: iters left: 1 (236 enodes) 1554299508.666 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299508.666 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554299508.666 * * [misc]simplify: Extracting #2: cost 52 inf + 0 1554299508.666 * * [misc]simplify: Extracting #3: cost 66 inf + 48 1554299508.668 * * [misc]simplify: Extracting #4: cost 35 inf + 3347 1554299508.673 * * [misc]simplify: Extracting #5: cost 2 inf + 8996 1554299508.677 * * [misc]simplify: Extracting #6: cost 0 inf + 9162 1554299508.681 * [exit]simplify: Simplified to (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t)))) 1554299508.681 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t)))))))) 1554299508.681 * * * * [misc]progress: [ 81 / 85 ] simplifiying candidate # 1554299508.682 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1554299508.682 * * [misc]simplify: iters left: 6 (13 enodes) 1554299508.690 * * [misc]simplify: iters left: 5 (53 enodes) 1554299508.709 * * [misc]simplify: iters left: 4 (81 enodes) 1554299508.732 * * [misc]simplify: iters left: 3 (99 enodes) 1554299508.756 * * [misc]simplify: iters left: 2 (112 enodes) 1554299508.770 * * [misc]simplify: iters left: 1 (132 enodes) 1554299508.794 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299508.794 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554299508.794 * * [misc]simplify: Extracting #2: cost 42 inf + 1 1554299508.794 * * [misc]simplify: Extracting #3: cost 39 inf + 423 1554299508.795 * * [misc]simplify: Extracting #4: cost 20 inf + 1581 1554299508.797 * * [misc]simplify: Extracting #5: cost 3 inf + 3629 1554299508.800 * * [misc]simplify: Extracting #6: cost 0 inf + 3956 1554299508.802 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1554299508.802 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1554299508.802 * * * * [misc]progress: [ 82 / 85 ] simplifiying candidate # 1554299508.803 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1554299508.803 * * [misc]simplify: iters left: 6 (13 enodes) 1554299508.811 * * [misc]simplify: iters left: 5 (53 enodes) 1554299508.829 * * [misc]simplify: iters left: 4 (81 enodes) 1554299508.852 * * [misc]simplify: iters left: 3 (99 enodes) 1554299508.878 * * [misc]simplify: iters left: 2 (112 enodes) 1554299508.906 * * [misc]simplify: iters left: 1 (132 enodes) 1554299508.944 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299508.944 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554299508.944 * * [misc]simplify: Extracting #2: cost 42 inf + 1 1554299508.945 * * [misc]simplify: Extracting #3: cost 39 inf + 423 1554299508.946 * * [misc]simplify: Extracting #4: cost 20 inf + 1581 1554299508.947 * * [misc]simplify: Extracting #5: cost 3 inf + 3629 1554299508.949 * * [misc]simplify: Extracting #6: cost 0 inf + 3956 1554299508.951 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1554299508.951 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1554299508.952 * * * * [misc]progress: [ 83 / 85 ] simplifiying candidate # 1554299508.952 * [enter]simplify: Simplifying (- (+ (* 2 (pow t 2)) 2) (* 2 t)) 1554299508.952 * * [misc]simplify: iters left: 6 (7 enodes) 1554299508.956 * * [misc]simplify: iters left: 5 (29 enodes) 1554299508.966 * * [misc]simplify: iters left: 4 (53 enodes) 1554299508.976 * * [misc]simplify: iters left: 3 (88 enodes) 1554299508.992 * * [misc]simplify: iters left: 2 (134 enodes) 1554299509.012 * * [misc]simplify: iters left: 1 (172 enodes) 1554299509.039 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299509.039 * * [misc]simplify: Extracting #1: cost 19 inf + 0 1554299509.039 * * [misc]simplify: Extracting #2: cost 46 inf + 2 1554299509.039 * * [misc]simplify: Extracting #3: cost 56 inf + 4 1554299509.040 * * [misc]simplify: Extracting #4: cost 17 inf + 3238 1554299509.041 * * [misc]simplify: Extracting #5: cost 0 inf + 4949 1554299509.043 * * [misc]simplify: Extracting #6: cost 0 inf + 4908 1554299509.044 * [exit]simplify: Simplified to (+ 2 (* 2 (- (* t t) t))) 1554299509.044 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (+ 2 (* 2 (- (* t t) t))))))))) 1554299509.045 * * * * [misc]progress: [ 84 / 85 ] simplifiying candidate # 1554299509.045 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1554299509.045 * * [misc]simplify: iters left: 6 (14 enodes) 1554299509.049 * * [misc]simplify: iters left: 5 (61 enodes) 1554299509.060 * * [misc]simplify: iters left: 4 (102 enodes) 1554299509.085 * * [misc]simplify: iters left: 3 (144 enodes) 1554299509.131 * * [misc]simplify: iters left: 2 (194 enodes) 1554299509.172 * * [misc]simplify: iters left: 1 (255 enodes) 1554299509.242 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299509.242 * * [misc]simplify: Extracting #1: cost 19 inf + 0 1554299509.243 * * [misc]simplify: Extracting #2: cost 72 inf + 1 1554299509.244 * * [misc]simplify: Extracting #3: cost 77 inf + 1398 1554299509.247 * * [misc]simplify: Extracting #4: cost 32 inf + 7046 1554299509.253 * * [misc]simplify: Extracting #5: cost 2 inf + 11908 1554299509.260 * * [misc]simplify: Extracting #6: cost 0 inf + 12112 1554299509.268 * [exit]simplify: Simplified to (- (/ (/ 2 t) (* t t)) (- (/ (/ 2 t) t) (/ 2 t))) 1554299509.268 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (- (/ (/ 2 t) (* t t)) (- (/ (/ 2 t) t) (/ 2 t))))))))) 1554299509.268 * * * * [misc]progress: [ 85 / 85 ] simplifiying candidate # 1554299509.268 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 t)) (* 2 (/ 1 (pow t 3)))) (* 2 (/ 1 (pow t 2)))) 1554299509.269 * * [misc]simplify: iters left: 6 (14 enodes) 1554299509.277 * * [misc]simplify: iters left: 5 (61 enodes) 1554299509.296 * * [misc]simplify: iters left: 4 (102 enodes) 1554299509.312 * * [misc]simplify: iters left: 3 (144 enodes) 1554299509.336 * * [misc]simplify: iters left: 2 (194 enodes) 1554299509.371 * * [misc]simplify: iters left: 1 (255 enodes) 1554299509.464 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299509.464 * * [misc]simplify: Extracting #1: cost 19 inf + 0 1554299509.464 * * [misc]simplify: Extracting #2: cost 72 inf + 1 1554299509.466 * * [misc]simplify: Extracting #3: cost 77 inf + 1398 1554299509.469 * * [misc]simplify: Extracting #4: cost 32 inf + 7046 1554299509.475 * * [misc]simplify: Extracting #5: cost 2 inf + 11908 1554299509.481 * * [misc]simplify: Extracting #6: cost 0 inf + 12112 1554299509.485 * [exit]simplify: Simplified to (- (/ (/ 2 t) (* t t)) (- (/ (/ 2 t) t) (/ 2 t))) 1554299509.485 * [misc]simplify: Simplified (2 2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (- (/ (/ 2 t) (* t t)) (- (/ (/ 2 t) t) (/ 2 t))))))))) 1554299509.485 * * * [misc]progress: adding candidates to table 1554299510.206 * [misc]progress: [Phase 3 of 3] Extracting. 1554299510.208 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1554299510.209 * * [misc]simplify: iters left: 6 (10 enodes) 1554299510.209 * * [misc]simplify: iters left: 5 (14 enodes) 1554299510.210 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299510.210 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554299510.210 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554299510.210 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1554299510.210 * * [misc]simplify: Extracting #4: cost 5 inf + 2 1554299510.210 * * [misc]simplify: Extracting #5: cost 6 inf + 2 1554299510.210 * * [misc]simplify: Extracting #6: cost 7 inf + 2 1554299510.210 * * [misc]simplify: Extracting #7: cost 8 inf + 2 1554299510.210 * * [misc]simplify: Extracting #8: cost 0 inf + 1143 1554299510.210 * [exit]simplify: Simplified to (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1554299512.288 * [misc]regime-testing: Baseline error score: 0.007250906363295412 1554299512.290 * [misc]regime-testing: Oracle error score: 0.007250906363295412 1554299512.290 * [misc]regime-testing: End program error score: 0.007250906363295412