1548147699.352 * [misc]progress: [Phase 1 of 3] Setting up. 1548147699.352 * * * [misc]progress: [1/2] Preparing points 1548147699.422 * * * [misc]progress: [2/2] Setting up program. 1548147699.429 * [misc]progress: [Phase 2 of 3] Improving. 1548147699.429 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548147699.430 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) 1548147699.430 * * [misc]simplify: iters left: 6 (12 enodes) 1548147699.434 * * [misc]simplify: iters left: 5 (22 enodes) 1548147699.441 * * [misc]simplify: iters left: 4 (41 enodes) 1548147699.451 * * [misc]simplify: iters left: 3 (81 enodes) 1548147699.464 * * [misc]simplify: iters left: 2 (180 enodes) 1548147699.523 * * [misc]simplify: iters left: 1 (420 enodes) 1548147699.871 * [exit]simplify: Simplified to (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1548147699.871 * [misc]simplify: Simplified (2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1548147699.880 * * [misc]progress: iteration 1 / 4 1548147699.880 * * * [misc]progress: picking best candidate 1548147699.884 * * * * [misc]pick: Picked # 1548147699.884 * * * [misc]progress: localizing error 1548147699.907 * * * [misc]progress: generating rewritten candidates 1548147699.907 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2) 1548147699.908 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 1) 1548147699.908 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2) 1548147699.909 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 2) 1548147699.914 * * * [misc]progress: generating series expansions 1548147699.915 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2) 1548147699.915 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1548147699.915 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1548147699.915 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.915 * [misc]backup-simplify: Simplify 2 into 2 1548147699.915 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.915 * [misc]backup-simplify: Simplify 2 into 2 1548147699.915 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of t in t 1548147699.915 * [misc]backup-simplify: Simplify 0 into 0 1548147699.915 * [misc]backup-simplify: Simplify 1 into 1 1548147699.915 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.915 * [misc]backup-simplify: Simplify 1 into 1 1548147699.915 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.915 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.915 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.915 * [misc]backup-simplify: Simplify 2 into 2 1548147699.915 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.915 * [misc]backup-simplify: Simplify 2 into 2 1548147699.915 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.915 * [misc]taylor: Taking taylor expansion of t in t 1548147699.915 * [misc]backup-simplify: Simplify 0 into 0 1548147699.915 * [misc]backup-simplify: Simplify 1 into 1 1548147699.915 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.915 * [misc]backup-simplify: Simplify 1 into 1 1548147699.916 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.916 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.916 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.916 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.916 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1548147699.916 * [misc]backup-simplify: Simplify 0 into 0 1548147699.916 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.916 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.917 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.917 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.917 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.917 * [misc]backup-simplify: Simplify 2 into 2 1548147699.917 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.917 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1548147699.917 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1548147699.917 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.917 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1548147699.917 * [misc]backup-simplify: Simplify -2 into -2 1548147699.918 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.918 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1548147699.918 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1548147699.918 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.918 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.918 * [misc]backup-simplify: Simplify 2 into 2 1548147699.919 * [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))) 1548147699.919 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1548147699.919 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1548147699.919 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.919 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.919 * [misc]backup-simplify: Simplify 2 into 2 1548147699.919 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.919 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.919 * [misc]backup-simplify: Simplify 2 into 2 1548147699.919 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.919 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.919 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.919 * [misc]taylor: Taking taylor expansion of t in t 1548147699.919 * [misc]backup-simplify: Simplify 0 into 0 1548147699.919 * [misc]backup-simplify: Simplify 1 into 1 1548147699.919 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.919 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.919 * [misc]backup-simplify: Simplify 1 into 1 1548147699.919 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.920 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.920 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.920 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.920 * [misc]backup-simplify: Simplify 2 into 2 1548147699.920 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.920 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.920 * [misc]backup-simplify: Simplify 2 into 2 1548147699.920 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.920 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.920 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.920 * [misc]taylor: Taking taylor expansion of t in t 1548147699.920 * [misc]backup-simplify: Simplify 0 into 0 1548147699.920 * [misc]backup-simplify: Simplify 1 into 1 1548147699.920 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.920 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.920 * [misc]backup-simplify: Simplify 1 into 1 1548147699.920 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.920 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.920 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.920 * [misc]backup-simplify: Simplify 2 into 2 1548147699.920 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.920 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.921 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1548147699.921 * [misc]backup-simplify: Simplify -2 into -2 1548147699.921 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.921 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.921 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.921 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.921 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.921 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.921 * [misc]backup-simplify: Simplify 2 into 2 1548147699.921 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147699.922 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1548147699.922 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1548147699.922 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.922 * [misc]backup-simplify: Simplify 2 into 2 1548147699.922 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.922 * [misc]backup-simplify: Simplify 2 into 2 1548147699.922 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.922 * [misc]backup-simplify: Simplify 1 into 1 1548147699.922 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of t in t 1548147699.922 * [misc]backup-simplify: Simplify 0 into 0 1548147699.922 * [misc]backup-simplify: Simplify 1 into 1 1548147699.922 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.922 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.922 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.922 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.922 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.922 * [misc]backup-simplify: Simplify 2 into 2 1548147699.922 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.922 * [misc]backup-simplify: Simplify 2 into 2 1548147699.922 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.922 * [misc]backup-simplify: Simplify 1 into 1 1548147699.922 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.922 * [misc]taylor: Taking taylor expansion of t in t 1548147699.922 * [misc]backup-simplify: Simplify 0 into 0 1548147699.922 * [misc]backup-simplify: Simplify 1 into 1 1548147699.923 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.923 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.923 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.923 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.923 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.923 * [misc]backup-simplify: Simplify 2 into 2 1548147699.923 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1548147699.923 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.923 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.923 * [misc]backup-simplify: Simplify 2 into 2 1548147699.923 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.924 * [misc]backup-simplify: Simplify (- 0) into 0 1548147699.924 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.924 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1548147699.924 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1548147699.924 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.924 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.924 * [misc]backup-simplify: Simplify 2 into 2 1548147699.924 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147699.924 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 1) 1548147699.925 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1548147699.925 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1548147699.925 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1548147699.925 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.925 * [misc]backup-simplify: Simplify 2 into 2 1548147699.925 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1548147699.925 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.925 * [misc]backup-simplify: Simplify 2 into 2 1548147699.925 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.925 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.925 * [misc]taylor: Taking taylor expansion of t in t 1548147699.925 * [misc]backup-simplify: Simplify 0 into 0 1548147699.925 * [misc]backup-simplify: Simplify 1 into 1 1548147699.925 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.925 * [misc]backup-simplify: Simplify 1 into 1 1548147699.925 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.925 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.925 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1548147699.925 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.925 * [misc]backup-simplify: Simplify 2 into 2 1548147699.926 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1548147699.926 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.926 * [misc]backup-simplify: Simplify 2 into 2 1548147699.926 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.926 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.926 * [misc]taylor: Taking taylor expansion of t in t 1548147699.926 * [misc]backup-simplify: Simplify 0 into 0 1548147699.926 * [misc]backup-simplify: Simplify 1 into 1 1548147699.926 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.926 * [misc]backup-simplify: Simplify 1 into 1 1548147699.926 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.926 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.926 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.927 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.927 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1548147699.927 * [misc]backup-simplify: Simplify 0 into 0 1548147699.927 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.927 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.927 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.928 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.928 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.928 * [misc]backup-simplify: Simplify 2 into 2 1548147699.928 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.928 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1548147699.929 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1548147699.929 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.929 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1548147699.929 * [misc]backup-simplify: Simplify -2 into -2 1548147699.929 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.929 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1548147699.930 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1548147699.930 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.930 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.930 * [misc]backup-simplify: Simplify 2 into 2 1548147699.931 * [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))) 1548147699.931 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1548147699.931 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1548147699.931 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.931 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.931 * [misc]backup-simplify: Simplify 2 into 2 1548147699.931 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.931 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.931 * [misc]backup-simplify: Simplify 2 into 2 1548147699.931 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.931 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.931 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.931 * [misc]taylor: Taking taylor expansion of t in t 1548147699.931 * [misc]backup-simplify: Simplify 0 into 0 1548147699.931 * [misc]backup-simplify: Simplify 1 into 1 1548147699.931 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.931 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.931 * [misc]backup-simplify: Simplify 1 into 1 1548147699.932 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.932 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.932 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.932 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.932 * [misc]backup-simplify: Simplify 2 into 2 1548147699.932 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.932 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.932 * [misc]backup-simplify: Simplify 2 into 2 1548147699.932 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.932 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.932 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.932 * [misc]taylor: Taking taylor expansion of t in t 1548147699.932 * [misc]backup-simplify: Simplify 0 into 0 1548147699.932 * [misc]backup-simplify: Simplify 1 into 1 1548147699.932 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.932 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.932 * [misc]backup-simplify: Simplify 1 into 1 1548147699.933 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.933 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.933 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.933 * [misc]backup-simplify: Simplify 2 into 2 1548147699.933 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.933 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.933 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1548147699.934 * [misc]backup-simplify: Simplify -2 into -2 1548147699.934 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.934 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.934 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.934 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.935 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.935 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.935 * [misc]backup-simplify: Simplify 2 into 2 1548147699.935 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147699.936 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1548147699.936 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1548147699.936 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.936 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.936 * [misc]backup-simplify: Simplify 2 into 2 1548147699.936 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.936 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.936 * [misc]backup-simplify: Simplify 2 into 2 1548147699.936 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.936 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.936 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.936 * [misc]backup-simplify: Simplify 1 into 1 1548147699.936 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.936 * [misc]taylor: Taking taylor expansion of t in t 1548147699.936 * [misc]backup-simplify: Simplify 0 into 0 1548147699.936 * [misc]backup-simplify: Simplify 1 into 1 1548147699.936 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.936 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.937 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.937 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.937 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.937 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.937 * [misc]backup-simplify: Simplify 2 into 2 1548147699.937 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.937 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.937 * [misc]backup-simplify: Simplify 2 into 2 1548147699.937 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.937 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.937 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.937 * [misc]backup-simplify: Simplify 1 into 1 1548147699.937 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.937 * [misc]taylor: Taking taylor expansion of t in t 1548147699.937 * [misc]backup-simplify: Simplify 0 into 0 1548147699.937 * [misc]backup-simplify: Simplify 1 into 1 1548147699.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.937 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.938 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.938 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.938 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.938 * [misc]backup-simplify: Simplify 2 into 2 1548147699.938 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1548147699.938 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.938 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.938 * [misc]backup-simplify: Simplify 2 into 2 1548147699.939 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.939 * [misc]backup-simplify: Simplify (- 0) into 0 1548147699.939 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.939 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1548147699.940 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1548147699.940 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.940 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.940 * [misc]backup-simplify: Simplify 2 into 2 1548147699.940 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147699.940 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2) 1548147699.941 * [misc]backup-simplify: Simplify (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) 1548147699.941 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in (t) around 0 1548147699.941 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of 4 in t 1548147699.941 * [misc]backup-simplify: Simplify 4 into 4 1548147699.941 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.941 * [misc]taylor: Taking taylor expansion of t in t 1548147699.941 * [misc]backup-simplify: Simplify 0 into 0 1548147699.941 * [misc]backup-simplify: Simplify 1 into 1 1548147699.941 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.941 * [misc]backup-simplify: Simplify 1 into 1 1548147699.941 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.942 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548147699.942 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.942 * [misc]taylor: Taking taylor expansion of 6 in t 1548147699.942 * [misc]backup-simplify: Simplify 6 into 6 1548147699.942 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1548147699.942 * [misc]taylor: Taking taylor expansion of 8 in t 1548147699.942 * [misc]backup-simplify: Simplify 8 into 8 1548147699.942 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.942 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.942 * [misc]taylor: Taking taylor expansion of t in t 1548147699.942 * [misc]backup-simplify: Simplify 0 into 0 1548147699.942 * [misc]backup-simplify: Simplify 1 into 1 1548147699.942 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.942 * [misc]backup-simplify: Simplify 1 into 1 1548147699.943 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.943 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.943 * [misc]backup-simplify: Simplify (* 4 1) into 4 1548147699.943 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1548147699.943 * [misc]backup-simplify: Simplify (* 8 1) into 8 1548147699.943 * [misc]backup-simplify: Simplify (- 8) into -8 1548147699.944 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1548147699.944 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1548147699.944 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of 4 in t 1548147699.944 * [misc]backup-simplify: Simplify 4 into 4 1548147699.944 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.944 * [misc]taylor: Taking taylor expansion of t in t 1548147699.944 * [misc]backup-simplify: Simplify 0 into 0 1548147699.944 * [misc]backup-simplify: Simplify 1 into 1 1548147699.944 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.944 * [misc]backup-simplify: Simplify 1 into 1 1548147699.944 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.944 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548147699.945 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.945 * [misc]taylor: Taking taylor expansion of 6 in t 1548147699.945 * [misc]backup-simplify: Simplify 6 into 6 1548147699.945 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1548147699.945 * [misc]taylor: Taking taylor expansion of 8 in t 1548147699.945 * [misc]backup-simplify: Simplify 8 into 8 1548147699.945 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.945 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.945 * [misc]taylor: Taking taylor expansion of t in t 1548147699.945 * [misc]backup-simplify: Simplify 0 into 0 1548147699.945 * [misc]backup-simplify: Simplify 1 into 1 1548147699.945 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.945 * [misc]backup-simplify: Simplify 1 into 1 1548147699.945 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.945 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.945 * [misc]backup-simplify: Simplify (* 4 1) into 4 1548147699.946 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1548147699.946 * [misc]backup-simplify: Simplify (* 8 1) into 8 1548147699.946 * [misc]backup-simplify: Simplify (- 8) into -8 1548147699.946 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1548147699.946 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1548147699.946 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548147699.946 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.947 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1548147699.947 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 2 1)))) into -2 1548147699.947 * [misc]backup-simplify: Simplify (+ (* 4 -2) (* 0 1)) into -8 1548147699.947 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1548147699.947 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.948 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.948 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1548147699.948 * [misc]backup-simplify: Simplify (- -8) into 8 1548147699.948 * [misc]backup-simplify: Simplify (+ -8 8) into 0 1548147699.948 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 1548147699.949 * [misc]backup-simplify: Simplify 0 into 0 1548147699.949 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.949 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1548147699.949 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3 1548147699.950 * [misc]backup-simplify: Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12 1548147699.950 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1548147699.950 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.950 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1548147699.950 * [misc]backup-simplify: Simplify (+ (* 8 1) (+ (* 0 -1) (* 0 1))) into 8 1548147699.951 * [misc]backup-simplify: Simplify (- 8) into -8 1548147699.951 * [misc]backup-simplify: Simplify (+ 12 -8) into 4 1548147699.951 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 4 2)) (* 0 (/ 0 2)))) into -1 1548147699.951 * [misc]backup-simplify: Simplify -1 into -1 1548147699.951 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.952 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1548147699.952 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4 1548147699.953 * [misc]backup-simplify: Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16 1548147699.953 * [misc]backup-simplify: Simplify (+ -16 0) into -16 1548147699.953 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.953 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1548147699.954 * [misc]backup-simplify: Simplify (+ (* 8 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -8 1548147699.954 * [misc]backup-simplify: Simplify (- -8) into 8 1548147699.954 * [misc]backup-simplify: Simplify (+ -16 8) into -8 1548147699.954 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ -8 2)) (* 0 (/ 4 2)) (* -1 (/ 0 2)))) into 2 1548147699.955 * [misc]backup-simplify: Simplify 2 into 2 1548147699.955 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -1 (pow t 2)) 1/2)) into (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1548147699.955 * [misc]backup-simplify: Simplify (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) 1548147699.955 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in (t) around 0 1548147699.955 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1548147699.955 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of 4 in t 1548147699.956 * [misc]backup-simplify: Simplify 4 into 4 1548147699.956 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.956 * [misc]taylor: Taking taylor expansion of t in t 1548147699.956 * [misc]backup-simplify: Simplify 0 into 0 1548147699.956 * [misc]backup-simplify: Simplify 1 into 1 1548147699.956 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.956 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.956 * [misc]backup-simplify: Simplify 1 into 1 1548147699.957 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.957 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548147699.957 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.957 * [misc]taylor: Taking taylor expansion of 6 in t 1548147699.957 * [misc]backup-simplify: Simplify 6 into 6 1548147699.957 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.957 * [misc]taylor: Taking taylor expansion of 8 in t 1548147699.957 * [misc]backup-simplify: Simplify 8 into 8 1548147699.957 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.957 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.957 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.957 * [misc]taylor: Taking taylor expansion of t in t 1548147699.957 * [misc]backup-simplify: Simplify 0 into 0 1548147699.957 * [misc]backup-simplify: Simplify 1 into 1 1548147699.958 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.958 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.958 * [misc]backup-simplify: Simplify 1 into 1 1548147699.958 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.958 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.958 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1548147699.959 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1548147699.959 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1548147699.959 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of 4 in t 1548147699.959 * [misc]backup-simplify: Simplify 4 into 4 1548147699.959 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.959 * [misc]taylor: Taking taylor expansion of t in t 1548147699.959 * [misc]backup-simplify: Simplify 0 into 0 1548147699.959 * [misc]backup-simplify: Simplify 1 into 1 1548147699.959 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.959 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.959 * [misc]backup-simplify: Simplify 1 into 1 1548147699.960 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.960 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548147699.960 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.960 * [misc]taylor: Taking taylor expansion of 6 in t 1548147699.960 * [misc]backup-simplify: Simplify 6 into 6 1548147699.960 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.960 * [misc]taylor: Taking taylor expansion of 8 in t 1548147699.960 * [misc]backup-simplify: Simplify 8 into 8 1548147699.960 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.960 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.960 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.960 * [misc]taylor: Taking taylor expansion of t in t 1548147699.960 * [misc]backup-simplify: Simplify 0 into 0 1548147699.960 * [misc]backup-simplify: Simplify 1 into 1 1548147699.960 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.960 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.960 * [misc]backup-simplify: Simplify 1 into 1 1548147699.961 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.961 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.961 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1548147699.961 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1548147699.961 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1548147699.961 * [misc]backup-simplify: Simplify 1/6 into 1/6 1548147699.962 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.962 * [misc]backup-simplify: Simplify (* 8 1) into 8 1548147699.962 * [misc]backup-simplify: Simplify (- 8) into -8 1548147699.962 * [misc]backup-simplify: Simplify (+ 0 -8) into -8 1548147699.962 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ -8 6)))) into 2/9 1548147699.962 * [misc]backup-simplify: Simplify 2/9 into 2/9 1548147699.962 * [misc]backup-simplify: Simplify (* 4 1) into 4 1548147699.963 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1548147699.963 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.963 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.963 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.963 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1548147699.964 * [misc]backup-simplify: Simplify (- -8) into 8 1548147699.964 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1548147699.964 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* 2/9 (/ -8 6)))) into -1/27 1548147699.964 * [misc]backup-simplify: Simplify -1/27 into -1/27 1548147699.964 * [misc]backup-simplify: Simplify (+ (* -1/27 (pow (/ 1 t) 2)) (+ (* 2/9 (/ 1 t)) 1/6)) into (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1548147699.965 * [misc]backup-simplify: Simplify (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))))) into (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) 1548147699.965 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in (t) around 0 1548147699.965 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of 4 in t 1548147699.965 * [misc]backup-simplify: Simplify 4 into 4 1548147699.965 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.965 * [misc]backup-simplify: Simplify 1 into 1 1548147699.965 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.965 * [misc]taylor: Taking taylor expansion of t in t 1548147699.965 * [misc]backup-simplify: Simplify 0 into 0 1548147699.965 * [misc]backup-simplify: Simplify 1 into 1 1548147699.966 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.966 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.966 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.966 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1548147699.966 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.966 * [misc]taylor: Taking taylor expansion of 6 in t 1548147699.966 * [misc]backup-simplify: Simplify 6 into 6 1548147699.966 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.966 * [misc]taylor: Taking taylor expansion of 8 in t 1548147699.966 * [misc]backup-simplify: Simplify 8 into 8 1548147699.966 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.966 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.966 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.966 * [misc]backup-simplify: Simplify 1 into 1 1548147699.966 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.967 * [misc]taylor: Taking taylor expansion of t in t 1548147699.967 * [misc]backup-simplify: Simplify 0 into 0 1548147699.967 * [misc]backup-simplify: Simplify 1 into 1 1548147699.967 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.967 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.967 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.967 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.967 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1548147699.967 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1548147699.968 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1548147699.968 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of 4 in t 1548147699.968 * [misc]backup-simplify: Simplify 4 into 4 1548147699.968 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.968 * [misc]backup-simplify: Simplify 1 into 1 1548147699.968 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.968 * [misc]taylor: Taking taylor expansion of t in t 1548147699.968 * [misc]backup-simplify: Simplify 0 into 0 1548147699.968 * [misc]backup-simplify: Simplify 1 into 1 1548147699.968 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.968 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.969 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.969 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1548147699.969 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.969 * [misc]taylor: Taking taylor expansion of 6 in t 1548147699.969 * [misc]backup-simplify: Simplify 6 into 6 1548147699.969 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.969 * [misc]taylor: Taking taylor expansion of 8 in t 1548147699.969 * [misc]backup-simplify: Simplify 8 into 8 1548147699.969 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.969 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.969 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.969 * [misc]backup-simplify: Simplify 1 into 1 1548147699.969 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.969 * [misc]taylor: Taking taylor expansion of t in t 1548147699.969 * [misc]backup-simplify: Simplify 0 into 0 1548147699.969 * [misc]backup-simplify: Simplify 1 into 1 1548147699.969 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.970 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.970 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.970 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.970 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1548147699.970 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1548147699.970 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1548147699.970 * [misc]backup-simplify: Simplify 1/6 into 1/6 1548147699.971 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.971 * [misc]backup-simplify: Simplify (* 8 -1) into -8 1548147699.971 * [misc]backup-simplify: Simplify (- -8) into 8 1548147699.971 * [misc]backup-simplify: Simplify (+ 0 8) into 8 1548147699.971 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 8 6)))) into -2/9 1548147699.971 * [misc]backup-simplify: Simplify -2/9 into -2/9 1548147699.971 * [misc]backup-simplify: Simplify (* 4 1) into 4 1548147699.972 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1548147699.972 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.972 * [misc]backup-simplify: Simplify (- 0) into 0 1548147699.972 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.972 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1548147699.973 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 -1)) into -8 1548147699.973 * [misc]backup-simplify: Simplify (- -8) into 8 1548147699.973 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1548147699.978 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* -2/9 (/ 8 6)))) into -1/27 1548147699.978 * [misc]backup-simplify: Simplify -1/27 into -1/27 1548147699.979 * [misc]backup-simplify: Simplify (+ (* -1/27 (pow (/ 1 (- t)) 2)) (+ (* -2/9 (/ 1 (- t))) 1/6)) into (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1548147699.979 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 2) 1548147699.979 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) into (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) 1548147699.979 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in (t) around 0 1548147699.979 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1548147699.979 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1548147699.979 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.979 * [misc]backup-simplify: Simplify 2 into 2 1548147699.979 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1548147699.979 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.979 * [misc]backup-simplify: Simplify 2 into 2 1548147699.979 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.979 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.979 * [misc]taylor: Taking taylor expansion of t in t 1548147699.979 * [misc]backup-simplify: Simplify 0 into 0 1548147699.979 * [misc]backup-simplify: Simplify 1 into 1 1548147699.979 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.979 * [misc]backup-simplify: Simplify 1 into 1 1548147699.980 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.980 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.980 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.980 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.980 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1548147699.980 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.981 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.981 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.981 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.981 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.981 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1548147699.981 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1548147699.981 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.981 * [misc]backup-simplify: Simplify 2 into 2 1548147699.981 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1548147699.981 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.981 * [misc]backup-simplify: Simplify 2 into 2 1548147699.981 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1548147699.981 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1548147699.982 * [misc]taylor: Taking taylor expansion of t in t 1548147699.982 * [misc]backup-simplify: Simplify 0 into 0 1548147699.982 * [misc]backup-simplify: Simplify 1 into 1 1548147699.982 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.982 * [misc]backup-simplify: Simplify 1 into 1 1548147699.982 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.982 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.982 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.982 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.982 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1548147699.983 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.983 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.983 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.983 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.983 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.984 * [misc]backup-simplify: Simplify (* 2 2) into 4 1548147699.984 * [misc]backup-simplify: Simplify 4 into 4 1548147699.984 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.984 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1548147699.984 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1548147699.984 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.985 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1548147699.985 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1548147699.985 * [misc]backup-simplify: Simplify -8 into -8 1548147699.985 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548147699.985 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1548147699.986 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1548147699.986 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.986 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.986 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1548147699.986 * [misc]backup-simplify: Simplify 12 into 12 1548147699.987 * [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))) 1548147699.987 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))) into (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) 1548147699.987 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in (t) around 0 1548147699.987 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1548147699.987 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.987 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.987 * [misc]backup-simplify: Simplify 2 into 2 1548147699.987 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.987 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.987 * [misc]backup-simplify: Simplify 2 into 2 1548147699.987 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.988 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.988 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.988 * [misc]taylor: Taking taylor expansion of t in t 1548147699.988 * [misc]backup-simplify: Simplify 0 into 0 1548147699.988 * [misc]backup-simplify: Simplify 1 into 1 1548147699.988 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.988 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.988 * [misc]backup-simplify: Simplify 1 into 1 1548147699.988 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.988 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.988 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.988 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1548147699.988 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1548147699.988 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.988 * [misc]backup-simplify: Simplify 2 into 2 1548147699.988 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1548147699.989 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.989 * [misc]backup-simplify: Simplify 2 into 2 1548147699.989 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1548147699.989 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1548147699.989 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.989 * [misc]taylor: Taking taylor expansion of t in t 1548147699.989 * [misc]backup-simplify: Simplify 0 into 0 1548147699.989 * [misc]backup-simplify: Simplify 1 into 1 1548147699.989 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.989 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.989 * [misc]backup-simplify: Simplify 1 into 1 1548147699.989 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.989 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.989 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.990 * [misc]backup-simplify: Simplify (* 2 2) into 4 1548147699.990 * [misc]backup-simplify: Simplify 4 into 4 1548147699.990 * [misc]backup-simplify: Simplify (* 2 1) into 2 1548147699.990 * [misc]backup-simplify: Simplify (- 2) into -2 1548147699.990 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1548147699.990 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1548147699.990 * [misc]backup-simplify: Simplify -8 into -8 1548147699.991 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.991 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548147699.991 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1548147699.991 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1548147699.991 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.992 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.992 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1548147699.992 * [misc]backup-simplify: Simplify 12 into 12 1548147699.992 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1548147699.992 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))) into (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) 1548147699.992 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in (t) around 0 1548147699.992 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1548147699.993 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.993 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.993 * [misc]backup-simplify: Simplify 2 into 2 1548147699.993 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.993 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.993 * [misc]backup-simplify: Simplify 2 into 2 1548147699.993 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.993 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.993 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.993 * [misc]backup-simplify: Simplify 1 into 1 1548147699.993 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.993 * [misc]taylor: Taking taylor expansion of t in t 1548147699.993 * [misc]backup-simplify: Simplify 0 into 0 1548147699.993 * [misc]backup-simplify: Simplify 1 into 1 1548147699.993 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.993 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.993 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.994 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.994 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.994 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1548147699.994 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1548147699.994 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.994 * [misc]backup-simplify: Simplify 2 into 2 1548147699.994 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1548147699.994 * [misc]taylor: Taking taylor expansion of 2 in t 1548147699.994 * [misc]backup-simplify: Simplify 2 into 2 1548147699.994 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1548147699.994 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1548147699.994 * [misc]taylor: Taking taylor expansion of 1 in t 1548147699.994 * [misc]backup-simplify: Simplify 1 into 1 1548147699.994 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1548147699.994 * [misc]taylor: Taking taylor expansion of t in t 1548147699.994 * [misc]backup-simplify: Simplify 0 into 0 1548147699.994 * [misc]backup-simplify: Simplify 1 into 1 1548147699.994 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548147699.994 * [misc]backup-simplify: Simplify (- 1) into -1 1548147699.995 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548147699.995 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1548147699.995 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1548147699.995 * [misc]backup-simplify: Simplify (* 2 2) into 4 1548147699.995 * [misc]backup-simplify: Simplify 4 into 4 1548147699.995 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1548147699.995 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.996 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.996 * [misc]backup-simplify: Simplify (+ (* 2 2) (* 2 2)) into 8 1548147699.996 * [misc]backup-simplify: Simplify 8 into 8 1548147699.996 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548147699.996 * [misc]backup-simplify: Simplify (- 0) into 0 1548147699.996 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548147699.997 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1548147699.997 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1548147699.997 * [misc]backup-simplify: Simplify (- -2) into 2 1548147699.997 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548147699.997 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1548147699.997 * [misc]backup-simplify: Simplify 12 into 12 1548147699.998 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1548147699.998 * * * [misc]progress: simplifying candidates 1548147699.998 * * * * [misc]progress: [ 1 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 2 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 3 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 4 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 5 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 6 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 7 / 84 ] simplifiying candidate # 1548147699.998 * * * * [misc]progress: [ 8 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 9 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 10 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 11 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 12 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 13 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 14 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 15 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 16 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 17 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 18 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 19 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 20 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 21 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 22 / 84 ] simplifiying candidate # 1548147699.999 * * * * [misc]progress: [ 23 / 84 ] simplifiying candidate # 1548147700.000 * * * * [misc]progress: [ 24 / 84 ] simplifiying candidate # 1548147700.000 * [enter]simplify: Simplifying (- 1) 1548147700.000 * * [misc]simplify: iters left: 2 (2 enodes) 1548147700.001 * * [misc]simplify: iters left: 1 (5 enodes) 1548147700.002 * [exit]simplify: Simplified to -1 1548147700.002 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (pow (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) -1))) 1548147700.002 * * * * [misc]progress: [ 25 / 84 ] simplifiying candidate # 1548147700.002 * * * * [misc]progress: [ 26 / 84 ] simplifiying candidate # 1548147700.002 * * * * [misc]progress: [ 27 / 84 ] simplifiying candidate # 1548147700.002 * * * * [misc]progress: [ 28 / 84 ] simplifiying candidate # 1548147700.002 * * * * [misc]progress: [ 29 / 84 ] simplifiying candidate # 1548147700.002 * * * * [misc]progress: [ 30 / 84 ] simplifiying candidate # 1548147700.002 * * * * [misc]progress: [ 31 / 84 ] simplifiying candidate # 1548147700.003 * * * * [misc]progress: [ 32 / 84 ] simplifiying candidate # 1548147700.003 * * * * [misc]progress: [ 33 / 84 ] simplifiying candidate # 1548147700.003 * * * * [misc]progress: [ 34 / 84 ] simplifiying candidate # 1548147700.003 * * * * [misc]progress: [ 35 / 84 ] simplifiying candidate # 1548147700.003 * * * * [misc]progress: [ 36 / 84 ] simplifiying candidate # 1548147700.003 * [enter]simplify: Simplifying (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1548147700.003 * * [misc]simplify: iters left: 6 (9 enodes) 1548147700.006 * * [misc]simplify: iters left: 5 (15 enodes) 1548147700.011 * * [misc]simplify: iters left: 4 (25 enodes) 1548147700.020 * * [misc]simplify: iters left: 3 (56 enodes) 1548147700.040 * * [misc]simplify: iters left: 2 (138 enodes) 1548147700.104 * * [misc]simplify: iters left: 1 (296 enodes) 1548147700.331 * [exit]simplify: Simplified to (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1548147700.331 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 (* (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1548147700.331 * * * * [misc]progress: [ 37 / 84 ] simplifiying candidate # 1548147700.331 * [enter]simplify: Simplifying (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1548147700.331 * * [misc]simplify: iters left: 6 (9 enodes) 1548147700.334 * * [misc]simplify: iters left: 5 (15 enodes) 1548147700.339 * * [misc]simplify: iters left: 4 (25 enodes) 1548147700.347 * * [misc]simplify: iters left: 3 (56 enodes) 1548147700.365 * * [misc]simplify: iters left: 2 (138 enodes) 1548147700.407 * * [misc]simplify: iters left: 1 (296 enodes) 1548147700.616 * [exit]simplify: Simplified to (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1548147700.616 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))) 1548147700.616 * * * * [misc]progress: [ 38 / 84 ] simplifiying candidate # 1548147700.617 * [enter]simplify: Simplifying (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1548147700.618 * * [misc]simplify: iters left: 6 (8 enodes) 1548147700.619 * * [misc]simplify: iters left: 5 (14 enodes) 1548147700.621 * * [misc]simplify: iters left: 4 (24 enodes) 1548147700.626 * * [misc]simplify: iters left: 3 (55 enodes) 1548147700.636 * * [misc]simplify: iters left: 2 (138 enodes) 1548147700.676 * * [misc]simplify: iters left: 1 (294 enodes) 1548147700.866 * [exit]simplify: Simplified to (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1548147700.866 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 1) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1548147700.866 * * * * [misc]progress: [ 39 / 84 ] simplifiying candidate # 1548147700.866 * [enter]simplify: Simplifying (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1548147700.867 * * [misc]simplify: iters left: 6 (12 enodes) 1548147700.870 * * [misc]simplify: iters left: 5 (32 enodes) 1548147700.875 * * [misc]simplify: iters left: 4 (91 enodes) 1548147700.911 * * [misc]simplify: iters left: 3 (377 enodes) 1548147701.168 * [exit]simplify: Simplified to (+ 4 (+ (pow (- 2 (/ 2 (+ t 1))) 4) (* (- 2 (/ 2 (+ t 1))) (+ (/ 4 (+ t 1)) -4)))) 1548147701.168 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ 4 (+ (pow (- 2 (/ 2 (+ t 1))) 4) (* (- 2 (/ 2 (+ t 1))) (+ (/ 4 (+ t 1)) -4))))))) 1548147701.168 * * * * [misc]progress: [ 40 / 84 ] simplifiying candidate # 1548147701.168 * [enter]simplify: Simplifying (- 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1548147701.168 * * [misc]simplify: iters left: 6 (8 enodes) 1548147701.170 * * [misc]simplify: iters left: 5 (15 enodes) 1548147701.173 * * [misc]simplify: iters left: 4 (29 enodes) 1548147701.178 * * [misc]simplify: iters left: 3 (73 enodes) 1548147701.202 * * [misc]simplify: iters left: 2 (172 enodes) 1548147701.253 * * [misc]simplify: iters left: 1 (301 enodes) 1548147701.404 * [exit]simplify: Simplified to (- 2 (* (- -2 (/ -2 (+ 1 t))) (- -2 (/ -2 (+ 1 t))))) 1548147701.404 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (* (/ 1 (- (* 2 2) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) (- 2 (* (- -2 (/ -2 (+ 1 t))) (- -2 (/ -2 (+ 1 t)))))))) 1548147701.404 * * * * [misc]progress: [ 41 / 84 ] simplifiying candidate # 1548147701.404 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1548147701.405 * * [misc]simplify: iters left: 6 (6 enodes) 1548147701.405 * * [misc]simplify: iters left: 5 (11 enodes) 1548147701.407 * * [misc]simplify: iters left: 4 (15 enodes) 1548147701.409 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1548147701.409 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1548147701.409 * [enter]simplify: Simplifying (+ 1 1) 1548147701.409 * * [misc]simplify: iters left: 2 (2 enodes) 1548147701.410 * * [misc]simplify: iters left: 1 (5 enodes) 1548147701.410 * [exit]simplify: Simplified to 2 1548147701.410 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) 2))))) 1548147701.410 * * * * [misc]progress: [ 42 / 84 ] simplifiying candidate # 1548147701.410 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1548147701.410 * * [misc]simplify: iters left: 6 (7 enodes) 1548147701.412 * * [misc]simplify: iters left: 5 (12 enodes) 1548147701.414 * * [misc]simplify: iters left: 4 (22 enodes) 1548147701.419 * * [misc]simplify: iters left: 3 (45 enodes) 1548147701.433 * * [misc]simplify: iters left: 2 (102 enodes) 1548147701.465 * * [misc]simplify: iters left: 1 (188 enodes) 1548147701.527 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1548147701.527 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1))))) 1548147701.527 * * * * [misc]progress: [ 43 / 84 ] simplifiying candidate # 1548147701.528 * * * * [misc]progress: [ 44 / 84 ] simplifiying candidate # 1548147701.528 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1548147701.528 * * [misc]simplify: iters left: 6 (6 enodes) 1548147701.530 * * [misc]simplify: iters left: 5 (11 enodes) 1548147701.533 * * [misc]simplify: iters left: 4 (15 enodes) 1548147701.534 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1548147701.534 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1548147701.534 * * * * [misc]progress: [ 45 / 84 ] simplifiying candidate # 1548147701.535 * * * * [misc]progress: [ 46 / 84 ] simplifiying candidate # 1548147701.535 * [enter]simplify: Simplifying (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1548147701.535 * * [misc]simplify: iters left: 6 (8 enodes) 1548147701.536 * * [misc]simplify: iters left: 5 (13 enodes) 1548147701.538 * * [misc]simplify: iters left: 4 (17 enodes) 1548147701.542 * [exit]simplify: Simplified to (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1548147701.542 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (exp (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t)))))))))) 1548147701.542 * * * * [misc]progress: [ 47 / 84 ] simplifiying candidate # 1548147701.542 * * * * [misc]progress: [ 48 / 84 ] simplifiying candidate # 1548147701.542 * * * * [misc]progress: [ 49 / 84 ] simplifiying candidate # 1548147701.542 * [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))))) 1548147701.542 * * [misc]simplify: iters left: 6 (9 enodes) 1548147701.544 * * [misc]simplify: iters left: 5 (19 enodes) 1548147701.547 * * [misc]simplify: iters left: 4 (49 enodes) 1548147701.561 * * [misc]simplify: iters left: 3 (220 enodes) 1548147701.799 * [exit]simplify: Simplified to (* (pow (- 2 (/ 2 (+ 1 t))) 3) (pow (- 2 (/ 2 (+ 1 t))) 3)) 1548147701.799 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (cbrt (* (pow (- 2 (/ 2 (+ 1 t))) 3) (pow (- 2 (/ 2 (+ 1 t))) 3))))))) 1548147701.799 * * * * [misc]progress: [ 50 / 84 ] simplifiying candidate # 1548147701.799 * * * * [misc]progress: [ 51 / 84 ] simplifiying candidate # 1548147701.799 * * * * [misc]progress: [ 52 / 84 ] simplifiying candidate # 1548147701.799 * * * * [misc]progress: [ 53 / 84 ] simplifiying candidate # 1548147701.799 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1548147701.800 * * [misc]simplify: iters left: 6 (10 enodes) 1548147701.805 * * [misc]simplify: iters left: 5 (25 enodes) 1548147701.811 * * [misc]simplify: iters left: 4 (50 enodes) 1548147701.829 * * [misc]simplify: iters left: 3 (150 enodes) 1548147701.866 * * [misc]simplify: iters left: 2 (401 enodes) 1548147702.475 * [exit]simplify: Simplified to (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1548147702.475 * [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))))))))))) 1548147702.475 * [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)))))) 1548147702.475 * * [misc]simplify: iters left: 6 (11 enodes) 1548147702.478 * * [misc]simplify: iters left: 5 (31 enodes) 1548147702.485 * * [misc]simplify: iters left: 4 (110 enodes) 1548147702.551 * * [misc]simplify: iters left: 3 (471 enodes) 1548147703.043 * [exit]simplify: Simplified to (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4))) 1548147703.043 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)))))))) 1548147703.043 * * * * [misc]progress: [ 54 / 84 ] simplifiying candidate # 1548147703.043 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1548147703.043 * * [misc]simplify: iters left: 6 (13 enodes) 1548147703.046 * * [misc]simplify: iters left: 5 (36 enodes) 1548147703.051 * * [misc]simplify: iters left: 4 (90 enodes) 1548147703.073 * * [misc]simplify: iters left: 3 (291 enodes) 1548147703.267 * [exit]simplify: Simplified to (* (- 4 (/ (/ 4 (+ 1 t)) (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1548147703.267 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (/ (/ 4 (+ 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 (+ 1 t))))))))) 1548147703.268 * [enter]simplify: Simplifying (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))) 1548147703.268 * * [misc]simplify: iters left: 6 (12 enodes) 1548147703.273 * * [misc]simplify: iters left: 5 (33 enodes) 1548147703.286 * * [misc]simplify: iters left: 4 (100 enodes) 1548147703.338 * * [misc]simplify: iters left: 3 (278 enodes) 1548147703.420 * [exit]simplify: Simplified to (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 2 (+ t 1)) 2)) 1548147703.420 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (* (+ (/ 4 (* (+ t 1) (+ t 1))) (+ (/ 4 (+ t 1)) 4)) (+ (/ 2 (+ t 1)) 2))))))) 1548147703.420 * * * * [misc]progress: [ 55 / 84 ] simplifiying candidate # 1548147703.420 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1548147703.420 * * [misc]simplify: iters left: 6 (13 enodes) 1548147703.426 * * [misc]simplify: iters left: 5 (36 enodes) 1548147703.432 * * [misc]simplify: iters left: 4 (90 enodes) 1548147703.458 * * [misc]simplify: iters left: 3 (290 enodes) 1548147703.647 * [exit]simplify: Simplified to (* (- 8 (/ (/ 8 (+ t 1)) (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) 1548147703.647 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (/ (/ 8 (+ t 1)) (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))) 1548147703.647 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1548147703.648 * * [misc]simplify: iters left: 6 (12 enodes) 1548147703.653 * * [misc]simplify: iters left: 5 (33 enodes) 1548147703.666 * * [misc]simplify: iters left: 4 (104 enodes) 1548147703.720 * * [misc]simplify: iters left: 3 (325 enodes) 1548147703.964 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ (/ (/ 4 (+ 1 t)) (+ 1 t)) (+ 4 (/ 4 (+ 1 t))))) 1548147703.964 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (* (+ 2 (/ 2 (+ 1 t))) (+ (/ (/ 4 (+ 1 t)) (+ 1 t)) (+ 4 (/ 4 (+ 1 t)))))))))) 1548147703.964 * * * * [misc]progress: [ 56 / 84 ] simplifiying candidate # 1548147703.965 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1548147703.965 * * [misc]simplify: iters left: 6 (9 enodes) 1548147703.967 * * [misc]simplify: iters left: 5 (22 enodes) 1548147703.970 * * [misc]simplify: iters left: 4 (49 enodes) 1548147703.979 * * [misc]simplify: iters left: 3 (162 enodes) 1548147704.081 * [exit]simplify: Simplified to (* (- 4 (/ 4 (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) 1548147704.081 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (/ 4 (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1548147704.081 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1548147704.081 * * [misc]simplify: iters left: 6 (7 enodes) 1548147704.082 * * [misc]simplify: iters left: 5 (17 enodes) 1548147704.088 * * [misc]simplify: iters left: 4 (34 enodes) 1548147704.093 * * [misc]simplify: iters left: 3 (54 enodes) 1548147704.100 * * [misc]simplify: iters left: 2 (79 enodes) 1548147704.114 * * [misc]simplify: iters left: 1 (118 enodes) 1548147704.143 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1548147704.143 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (/ 4 (* (+ t 1) (+ t 1)))) (- 4 (/ 4 (* (+ t 1) (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1548147704.143 * * * * [misc]progress: [ 57 / 84 ] simplifiying candidate # 1548147704.143 * * * * [misc]progress: [ 58 / 84 ] simplifiying candidate # 1548147704.143 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1548147704.143 * * [misc]simplify: iters left: 6 (8 enodes) 1548147704.145 * * [misc]simplify: iters left: 5 (18 enodes) 1548147704.147 * * [misc]simplify: iters left: 4 (34 enodes) 1548147704.153 * * [misc]simplify: iters left: 3 (84 enodes) 1548147704.172 * * [misc]simplify: iters left: 2 (203 enodes) 1548147704.218 * * [misc]simplify: iters left: 1 (247 enodes) 1548147704.255 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1548147704.255 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1548147704.256 * * * * [misc]progress: [ 59 / 84 ] simplifiying candidate # 1548147704.256 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1548147704.256 * * [misc]simplify: iters left: 6 (8 enodes) 1548147704.259 * * [misc]simplify: iters left: 5 (18 enodes) 1548147704.264 * * [misc]simplify: iters left: 4 (34 enodes) 1548147704.277 * * [misc]simplify: iters left: 3 (84 enodes) 1548147704.298 * * [misc]simplify: iters left: 2 (203 enodes) 1548147704.346 * * [misc]simplify: iters left: 1 (247 enodes) 1548147704.379 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1548147704.379 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1548147704.380 * * * * [misc]progress: [ 60 / 84 ] simplifiying candidate # 1548147704.380 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1548147704.380 * * [misc]simplify: iters left: 6 (8 enodes) 1548147704.383 * * [misc]simplify: iters left: 5 (18 enodes) 1548147704.387 * * [misc]simplify: iters left: 4 (40 enodes) 1548147704.404 * * [misc]simplify: iters left: 3 (97 enodes) 1548147704.439 * * [misc]simplify: iters left: 2 (213 enodes) 1548147704.497 * * [misc]simplify: iters left: 1 (250 enodes) 1548147704.537 * [exit]simplify: Simplified to (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t))) 1548147704.537 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t)))))))) 1548147704.537 * * * * [misc]progress: [ 61 / 84 ] simplifiying candidate # 1548147704.537 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1548147704.537 * * [misc]simplify: iters left: 6 (8 enodes) 1548147704.540 * * [misc]simplify: iters left: 5 (18 enodes) 1548147704.546 * * [misc]simplify: iters left: 4 (40 enodes) 1548147704.564 * * [misc]simplify: iters left: 3 (97 enodes) 1548147704.599 * * [misc]simplify: iters left: 2 (213 enodes) 1548147704.654 * * [misc]simplify: iters left: 1 (250 enodes) 1548147704.705 * [exit]simplify: Simplified to (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t))) 1548147704.705 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (- (/ -4 (+ 1 t)) (/ (/ -4 (+ 1 t)) (+ 1 t)))))))) 1548147704.705 * * * * [misc]progress: [ 62 / 84 ] simplifiying candidate # 1548147704.706 * [enter]simplify: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 1548147704.706 * * [misc]simplify: iters left: 6 (7 enodes) 1548147704.707 * * [misc]simplify: iters left: 5 (12 enodes) 1548147704.708 * * [misc]simplify: iters left: 4 (16 enodes) 1548147704.710 * [exit]simplify: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 1548147704.710 * [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))))))))) 1548147704.710 * * * * [misc]progress: [ 63 / 84 ] simplifiying candidate # 1548147704.710 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1548147704.711 * * [misc]simplify: iters left: 6 (7 enodes) 1548147704.711 * * [misc]simplify: iters left: 5 (12 enodes) 1548147704.713 * * [misc]simplify: iters left: 4 (16 enodes) 1548147704.715 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1548147704.715 * [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))))))))) 1548147704.715 * * * * [misc]progress: [ 64 / 84 ] simplifiying candidate # 1548147704.715 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1548147704.715 * * [misc]simplify: iters left: 6 (6 enodes) 1548147704.716 * * [misc]simplify: iters left: 5 (11 enodes) 1548147704.718 * * [misc]simplify: iters left: 4 (15 enodes) 1548147704.719 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1548147704.720 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))) 1548147704.720 * * * * [misc]progress: [ 65 / 84 ] simplifiying candidate # 1548147704.720 * [enter]simplify: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1548147704.720 * * [misc]simplify: iters left: 6 (8 enodes) 1548147704.722 * * [misc]simplify: iters left: 5 (13 enodes) 1548147704.726 * * [misc]simplify: iters left: 4 (17 enodes) 1548147704.730 * [exit]simplify: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1548147704.730 * [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))))))))) 1548147704.730 * * * * [misc]progress: [ 66 / 84 ] simplifiying candidate # 1548147704.730 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1548147704.730 * * [misc]simplify: iters left: 6 (7 enodes) 1548147704.732 * * [misc]simplify: iters left: 5 (12 enodes) 1548147704.735 * * [misc]simplify: iters left: 4 (16 enodes) 1548147704.739 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1548147704.739 * [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))))))))) 1548147704.739 * * * * [misc]progress: [ 67 / 84 ] simplifiying candidate # 1548147704.739 * * * * [misc]progress: [ 68 / 84 ] simplifiying candidate # 1548147704.740 * [enter]simplify: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 1548147704.740 * * [misc]simplify: iters left: 6 (10 enodes) 1548147704.742 * * [misc]simplify: iters left: 5 (24 enodes) 1548147704.746 * * [misc]simplify: iters left: 4 (43 enodes) 1548147704.752 * * [misc]simplify: iters left: 3 (55 enodes) 1548147704.758 * * [misc]simplify: iters left: 2 (82 enodes) 1548147704.771 * * [misc]simplify: iters left: 1 (129 enodes) 1548147704.810 * [exit]simplify: Simplified to (+ (+ (/ 4 (+ t 1)) 4) (/ 4 (* (+ t 1) (+ t 1)))) 1548147704.811 * [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 (+ t 1)) 4) (/ 4 (* (+ t 1) (+ t 1))))))))) 1548147704.811 * * * * [misc]progress: [ 69 / 84 ] simplifiying candidate # 1548147704.811 * [enter]simplify: Simplifying (+ 2 (/ 2 (+ 1 t))) 1548147704.811 * * [misc]simplify: iters left: 6 (6 enodes) 1548147704.812 * * [misc]simplify: iters left: 5 (10 enodes) 1548147704.813 * [exit]simplify: Simplified to (+ 2 (/ 2 (+ 1 t))) 1548147704.813 * [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)))))))) 1548147704.813 * * * * [misc]progress: [ 70 / 84 ] simplifiying candidate # 1548147704.813 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- 2 (/ 2 (+ 1 t)))) 1548147704.813 * * [misc]simplify: iters left: 6 (11 enodes) 1548147704.816 * * [misc]simplify: iters left: 5 (29 enodes) 1548147704.820 * * [misc]simplify: iters left: 4 (63 enodes) 1548147704.832 * * [misc]simplify: iters left: 3 (186 enodes) 1548147704.919 * * [misc]simplify: iters left: 2 (477 enodes) 1548147705.428 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1548147705.428 * [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)))))))))) 1548147705.428 * * * * [misc]progress: [ 71 / 84 ] simplifiying candidate # 1548147705.428 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 1548147705.428 * * [misc]simplify: iters left: 6 (10 enodes) 1548147705.430 * * [misc]simplify: iters left: 5 (25 enodes) 1548147705.434 * * [misc]simplify: iters left: 4 (65 enodes) 1548147705.448 * * [misc]simplify: iters left: 3 (200 enodes) 1548147705.519 * [exit]simplify: Simplified to (* (+ (/ 2 (+ t 1)) 2) (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) 1548147705.520 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (+ (/ 2 (+ t 1)) 2) (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (/ 2 (+ 1 t)))))))) 1548147705.520 * * * * [misc]progress: [ 72 / 84 ] simplifiying candidate # 1548147705.520 * * * * [misc]progress: [ 73 / 84 ] simplifiying candidate # 1548147705.520 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1548147705.520 * * [misc]simplify: iters left: 6 (10 enodes) 1548147705.522 * * [misc]simplify: iters left: 5 (23 enodes) 1548147705.529 * * [misc]simplify: iters left: 4 (56 enodes) 1548147705.547 * * [misc]simplify: iters left: 3 (107 enodes) 1548147705.582 * * [misc]simplify: iters left: 2 (205 enodes) 1548147705.729 * * [misc]simplify: iters left: 1 (364 enodes) 1548147706.010 * [exit]simplify: Simplified to (* (- (* t t) (- t 1)) (* t 2)) 1548147706.010 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (- (* t t) (- t 1)) (* t 2))))))) 1548147706.010 * * * * [misc]progress: [ 74 / 84 ] simplifiying candidate # 1548147706.010 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147706.010 * * [misc]simplify: iters left: 6 (10 enodes) 1548147706.013 * * [misc]simplify: iters left: 5 (23 enodes) 1548147706.017 * * [misc]simplify: iters left: 4 (46 enodes) 1548147706.029 * * [misc]simplify: iters left: 3 (83 enodes) 1548147706.057 * * [misc]simplify: iters left: 2 (117 enodes) 1548147706.098 * * [misc]simplify: iters left: 1 (165 enodes) 1548147706.139 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1548147706.139 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))) 1548147706.140 * * * * [misc]progress: [ 75 / 84 ] simplifiying candidate # 1548147706.140 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147706.140 * * [misc]simplify: iters left: 6 (10 enodes) 1548147706.142 * * [misc]simplify: iters left: 5 (23 enodes) 1548147706.147 * * [misc]simplify: iters left: 4 (46 enodes) 1548147706.159 * * [misc]simplify: iters left: 3 (83 enodes) 1548147706.186 * * [misc]simplify: iters left: 2 (117 enodes) 1548147706.228 * * [misc]simplify: iters left: 1 (165 enodes) 1548147706.271 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1548147706.271 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))) 1548147706.271 * * * * [misc]progress: [ 76 / 84 ] simplifiying candidate # 1548147706.272 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1548147706.272 * * [misc]simplify: iters left: 6 (10 enodes) 1548147706.275 * * [misc]simplify: iters left: 5 (23 enodes) 1548147706.284 * * [misc]simplify: iters left: 4 (56 enodes) 1548147706.302 * * [misc]simplify: iters left: 3 (107 enodes) 1548147706.331 * * [misc]simplify: iters left: 2 (205 enodes) 1548147706.453 * * [misc]simplify: iters left: 1 (364 enodes) 1548147706.752 * [exit]simplify: Simplified to (* (- (* t t) (- t 1)) (* t 2)) 1548147706.753 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- (* t t) (- t 1)) (* t 2)) (- 2 (/ 2 (+ 1 t)))))))) 1548147706.753 * * * * [misc]progress: [ 77 / 84 ] simplifiying candidate # 1548147706.753 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147706.753 * * [misc]simplify: iters left: 6 (10 enodes) 1548147706.755 * * [misc]simplify: iters left: 5 (23 enodes) 1548147706.760 * * [misc]simplify: iters left: 4 (46 enodes) 1548147706.773 * * [misc]simplify: iters left: 3 (83 enodes) 1548147706.791 * * [misc]simplify: iters left: 2 (117 enodes) 1548147706.812 * * [misc]simplify: iters left: 1 (165 enodes) 1548147706.834 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1548147706.834 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))) 1548147706.834 * * * * [misc]progress: [ 78 / 84 ] simplifiying candidate # 1548147706.834 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1548147706.834 * * [misc]simplify: iters left: 6 (10 enodes) 1548147706.836 * * [misc]simplify: iters left: 5 (23 enodes) 1548147706.841 * * [misc]simplify: iters left: 4 (46 enodes) 1548147706.853 * * [misc]simplify: iters left: 3 (83 enodes) 1548147706.889 * * [misc]simplify: iters left: 2 (117 enodes) 1548147706.929 * * [misc]simplify: iters left: 1 (165 enodes) 1548147706.962 * [exit]simplify: Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t))) 1548147706.962 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))) 1548147706.962 * * * * [misc]progress: [ 79 / 84 ] simplifiying candidate # 1548147706.962 * [enter]simplify: Simplifying (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1548147706.962 * * [misc]simplify: iters left: 6 (9 enodes) 1548147706.963 * * [misc]simplify: iters left: 5 (18 enodes) 1548147706.966 * * [misc]simplify: iters left: 4 (40 enodes) 1548147706.972 * * [misc]simplify: iters left: 3 (61 enodes) 1548147706.979 * * [misc]simplify: iters left: 2 (75 enodes) 1548147706.988 * * [misc]simplify: iters left: 1 (96 enodes) 1548147707.003 * [exit]simplify: Simplified to (+ (- 1/2 (* t t)) (* (* 2 t) (* t t))) 1548147707.003 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (- 1/2 (* t t)) (* (* 2 t) (* t t))))) 1548147707.003 * * * * [misc]progress: [ 80 / 84 ] simplifiying candidate # 1548147707.003 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1548147707.003 * * [misc]simplify: iters left: 6 (13 enodes) 1548147707.009 * * [misc]simplify: iters left: 5 (27 enodes) 1548147707.020 * * [misc]simplify: iters left: 4 (49 enodes) 1548147707.034 * * [misc]simplify: iters left: 3 (77 enodes) 1548147707.052 * * [misc]simplify: iters left: 2 (104 enodes) 1548147707.071 * * [misc]simplify: iters left: 1 (136 enodes) 1548147707.086 * [exit]simplify: Simplified to (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))) 1548147707.086 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))))) 1548147707.086 * * * * [misc]progress: [ 81 / 84 ] simplifiying candidate # 1548147707.086 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1548147707.086 * * [misc]simplify: iters left: 6 (13 enodes) 1548147707.089 * * [misc]simplify: iters left: 5 (27 enodes) 1548147707.094 * * [misc]simplify: iters left: 4 (49 enodes) 1548147707.105 * * [misc]simplify: iters left: 3 (77 enodes) 1548147707.118 * * [misc]simplify: iters left: 2 (104 enodes) 1548147707.129 * * [misc]simplify: iters left: 1 (136 enodes) 1548147707.147 * [exit]simplify: Simplified to (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))) 1548147707.147 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (/ (/ -1/27 t) t) (+ 1/6 (/ 2/9 t))))) 1548147707.147 * * * * [misc]progress: [ 82 / 84 ] simplifiying candidate # 1548147707.147 * [enter]simplify: Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))) 1548147707.147 * * [misc]simplify: iters left: 6 (14 enodes) 1548147707.152 * * [misc]simplify: iters left: 5 (25 enodes) 1548147707.161 * * [misc]simplify: iters left: 4 (55 enodes) 1548147707.177 * * [misc]simplify: iters left: 3 (91 enodes) 1548147707.199 * * [misc]simplify: iters left: 2 (128 enodes) 1548147707.238 * * [misc]simplify: iters left: 1 (151 enodes) 1548147707.261 * [exit]simplify: Simplified to (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4))) 1548147707.261 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4))))))) 1548147707.261 * * * * [misc]progress: [ 83 / 84 ] simplifiying candidate # 1548147707.261 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1548147707.261 * * [misc]simplify: iters left: 6 (13 enodes) 1548147707.264 * * [misc]simplify: iters left: 5 (27 enodes) 1548147707.268 * * [misc]simplify: iters left: 4 (49 enodes) 1548147707.276 * * [misc]simplify: iters left: 3 (75 enodes) 1548147707.292 * * [misc]simplify: iters left: 2 (99 enodes) 1548147707.313 * * [misc]simplify: iters left: 1 (135 enodes) 1548147707.341 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1548147707.341 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1548147707.341 * * * * [misc]progress: [ 84 / 84 ] simplifiying candidate # 1548147707.341 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1548147707.341 * * [misc]simplify: iters left: 6 (13 enodes) 1548147707.346 * * [misc]simplify: iters left: 5 (27 enodes) 1548147707.355 * * [misc]simplify: iters left: 4 (49 enodes) 1548147707.369 * * [misc]simplify: iters left: 3 (75 enodes) 1548147707.387 * * [misc]simplify: iters left: 2 (99 enodes) 1548147707.406 * * [misc]simplify: iters left: 1 (135 enodes) 1548147707.427 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1548147707.427 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1548147707.427 * * * [misc]progress: adding candidates to table 1548147708.063 * [misc]progress: [Phase 3 of 3] Extracting. 1548147708.065 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1548147708.065 * * [misc]simplify: iters left: 6 (10 enodes) 1548147708.066 * * [misc]simplify: iters left: 5 (14 enodes) 1548147708.066 * [exit]simplify: Simplified to (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1548147710.188 * [misc]regime-testing: Baseline error score: 0.006375796974621828 1548147710.190 * [misc]regime-testing: Oracle error score: 0.006375796974621828 1548147710.190 * [misc]regime-testing: End program error score: 0.006375796974621828