1550608040.885 * [misc]progress: [Phase 1 of 3] Setting up. 1550608040.885 * * * [misc]progress: [1/2] Preparing points 1550608040.985 * * * [misc]progress: [2/2] Setting up program. 1550608040.989 * [misc]progress: [Phase 2 of 3] Improving. 1550608040.989 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550608040.989 * [enter]simplify: Simplifying (- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) 1550608040.989 * * [misc]simplify: iters left: 6 (12 enodes) 1550608040.996 * * [misc]simplify: iters left: 5 (46 enodes) 1550608041.011 * * [misc]simplify: iters left: 4 (73 enodes) 1550608041.025 * * [misc]simplify: iters left: 3 (131 enodes) 1550608041.055 * * [misc]simplify: iters left: 2 (261 enodes) 1550608041.161 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.161 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550608041.161 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550608041.161 * * [misc]simplify: Extracting #3: cost 38 inf + 2 1550608041.161 * * [misc]simplify: Extracting #4: cost 138 inf + 4 1550608041.162 * * [misc]simplify: Extracting #5: cost 161 inf + 216 1550608041.163 * * [misc]simplify: Extracting #6: cost 106 inf + 7183 1550608041.169 * * [misc]simplify: Extracting #7: cost 11 inf + 24389 1550608041.176 * * [misc]simplify: Extracting #8: cost 0 inf + 26668 1550608041.183 * [exit]simplify: Simplified to (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))) 1550608041.183 * [misc]simplify: Simplified (2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1550608041.192 * * [misc]progress: iteration 1 / 4 1550608041.192 * * * [misc]progress: picking best candidate 1550608041.195 * * * * [misc]pick: Picked # 1550608041.195 * * * [misc]progress: localizing error 1550608041.221 * * * [misc]progress: generating rewritten candidates 1550608041.221 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2) 1550608041.222 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 1) 1550608041.222 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2) 1550608041.228 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2) 1550608041.229 * * * [misc]progress: generating series expansions 1550608041.229 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2) 1550608041.229 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1550608041.230 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1550608041.230 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.230 * [misc]backup-simplify: Simplify 2 into 2 1550608041.230 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.230 * [misc]backup-simplify: Simplify 2 into 2 1550608041.230 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of t in t 1550608041.230 * [misc]backup-simplify: Simplify 0 into 0 1550608041.230 * [misc]backup-simplify: Simplify 1 into 1 1550608041.230 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.230 * [misc]backup-simplify: Simplify 1 into 1 1550608041.230 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.230 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.230 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.230 * [misc]backup-simplify: Simplify 2 into 2 1550608041.230 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.230 * [misc]backup-simplify: Simplify 2 into 2 1550608041.230 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.230 * [misc]taylor: Taking taylor expansion of t in t 1550608041.230 * [misc]backup-simplify: Simplify 0 into 0 1550608041.230 * [misc]backup-simplify: Simplify 1 into 1 1550608041.230 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.230 * [misc]backup-simplify: Simplify 1 into 1 1550608041.230 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.231 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.231 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.231 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.231 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608041.231 * [misc]backup-simplify: Simplify 0 into 0 1550608041.231 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.231 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.231 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.231 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.232 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.232 * [misc]backup-simplify: Simplify 2 into 2 1550608041.232 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.232 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608041.232 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608041.232 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.232 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608041.232 * [misc]backup-simplify: Simplify -2 into -2 1550608041.232 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.233 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608041.233 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608041.233 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.233 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.233 * [misc]backup-simplify: Simplify 2 into 2 1550608041.234 * [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))) 1550608041.234 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1550608041.234 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1550608041.234 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.234 * [misc]backup-simplify: Simplify 2 into 2 1550608041.234 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.234 * [misc]backup-simplify: Simplify 2 into 2 1550608041.234 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of t in t 1550608041.234 * [misc]backup-simplify: Simplify 0 into 0 1550608041.234 * [misc]backup-simplify: Simplify 1 into 1 1550608041.234 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.234 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.234 * [misc]backup-simplify: Simplify 1 into 1 1550608041.234 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.234 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.234 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.234 * [misc]backup-simplify: Simplify 2 into 2 1550608041.234 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.234 * [misc]backup-simplify: Simplify 2 into 2 1550608041.234 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.234 * [misc]taylor: Taking taylor expansion of t in t 1550608041.234 * [misc]backup-simplify: Simplify 0 into 0 1550608041.235 * [misc]backup-simplify: Simplify 1 into 1 1550608041.235 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.235 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.235 * [misc]backup-simplify: Simplify 1 into 1 1550608041.235 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.235 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.235 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.235 * [misc]backup-simplify: Simplify 2 into 2 1550608041.235 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.235 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.235 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608041.235 * [misc]backup-simplify: Simplify -2 into -2 1550608041.235 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.236 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.236 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.236 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.236 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.236 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.236 * [misc]backup-simplify: Simplify 2 into 2 1550608041.236 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608041.236 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1550608041.236 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1550608041.236 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.236 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.236 * [misc]backup-simplify: Simplify 2 into 2 1550608041.236 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.236 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.236 * [misc]backup-simplify: Simplify 2 into 2 1550608041.236 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.236 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.236 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.236 * [misc]backup-simplify: Simplify 1 into 1 1550608041.236 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.236 * [misc]taylor: Taking taylor expansion of t in t 1550608041.236 * [misc]backup-simplify: Simplify 0 into 0 1550608041.237 * [misc]backup-simplify: Simplify 1 into 1 1550608041.237 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.237 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.237 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.237 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.237 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.237 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.237 * [misc]backup-simplify: Simplify 2 into 2 1550608041.237 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.237 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.237 * [misc]backup-simplify: Simplify 2 into 2 1550608041.237 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.237 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.237 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.237 * [misc]backup-simplify: Simplify 1 into 1 1550608041.237 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.237 * [misc]taylor: Taking taylor expansion of t in t 1550608041.237 * [misc]backup-simplify: Simplify 0 into 0 1550608041.237 * [misc]backup-simplify: Simplify 1 into 1 1550608041.237 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.237 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.237 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.238 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.238 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.238 * [misc]backup-simplify: Simplify 2 into 2 1550608041.238 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608041.238 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.238 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.238 * [misc]backup-simplify: Simplify 2 into 2 1550608041.238 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.238 * [misc]backup-simplify: Simplify (- 0) into 0 1550608041.238 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.238 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608041.239 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608041.239 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.239 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.239 * [misc]backup-simplify: Simplify 2 into 2 1550608041.239 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608041.239 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 1) 1550608041.239 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1550608041.239 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1550608041.239 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608041.239 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.239 * [misc]backup-simplify: Simplify 2 into 2 1550608041.239 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608041.239 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.239 * [misc]backup-simplify: Simplify 2 into 2 1550608041.239 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.239 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.239 * [misc]taylor: Taking taylor expansion of t in t 1550608041.239 * [misc]backup-simplify: Simplify 0 into 0 1550608041.239 * [misc]backup-simplify: Simplify 1 into 1 1550608041.239 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.239 * [misc]backup-simplify: Simplify 1 into 1 1550608041.239 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.240 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.240 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608041.240 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.240 * [misc]backup-simplify: Simplify 2 into 2 1550608041.240 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608041.240 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.240 * [misc]backup-simplify: Simplify 2 into 2 1550608041.240 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.240 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.240 * [misc]taylor: Taking taylor expansion of t in t 1550608041.240 * [misc]backup-simplify: Simplify 0 into 0 1550608041.240 * [misc]backup-simplify: Simplify 1 into 1 1550608041.240 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.240 * [misc]backup-simplify: Simplify 1 into 1 1550608041.240 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.240 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.240 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.240 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.240 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608041.240 * [misc]backup-simplify: Simplify 0 into 0 1550608041.240 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.241 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.241 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.241 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.241 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.241 * [misc]backup-simplify: Simplify 2 into 2 1550608041.241 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.241 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608041.242 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608041.242 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.242 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608041.242 * [misc]backup-simplify: Simplify -2 into -2 1550608041.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608041.242 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608041.242 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.242 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.242 * [misc]backup-simplify: Simplify 2 into 2 1550608041.243 * [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))) 1550608041.243 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1550608041.243 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1550608041.243 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.243 * [misc]backup-simplify: Simplify 2 into 2 1550608041.243 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.243 * [misc]backup-simplify: Simplify 2 into 2 1550608041.243 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of t in t 1550608041.243 * [misc]backup-simplify: Simplify 0 into 0 1550608041.243 * [misc]backup-simplify: Simplify 1 into 1 1550608041.243 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.243 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.243 * [misc]backup-simplify: Simplify 1 into 1 1550608041.243 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.243 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.243 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.243 * [misc]backup-simplify: Simplify 2 into 2 1550608041.243 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.243 * [misc]backup-simplify: Simplify 2 into 2 1550608041.243 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.243 * [misc]taylor: Taking taylor expansion of t in t 1550608041.243 * [misc]backup-simplify: Simplify 0 into 0 1550608041.244 * [misc]backup-simplify: Simplify 1 into 1 1550608041.244 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.244 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.244 * [misc]backup-simplify: Simplify 1 into 1 1550608041.244 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.244 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.244 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.244 * [misc]backup-simplify: Simplify 2 into 2 1550608041.244 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.244 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.244 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608041.244 * [misc]backup-simplify: Simplify -2 into -2 1550608041.245 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.245 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.245 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.245 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.245 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.245 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.245 * [misc]backup-simplify: Simplify 2 into 2 1550608041.245 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608041.245 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1550608041.245 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1550608041.245 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.245 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.245 * [misc]backup-simplify: Simplify 2 into 2 1550608041.245 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.245 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.245 * [misc]backup-simplify: Simplify 2 into 2 1550608041.245 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.245 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.245 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.246 * [misc]backup-simplify: Simplify 1 into 1 1550608041.246 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.246 * [misc]taylor: Taking taylor expansion of t in t 1550608041.246 * [misc]backup-simplify: Simplify 0 into 0 1550608041.246 * [misc]backup-simplify: Simplify 1 into 1 1550608041.246 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.246 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.246 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.246 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.246 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.246 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.246 * [misc]backup-simplify: Simplify 2 into 2 1550608041.246 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.246 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.246 * [misc]backup-simplify: Simplify 2 into 2 1550608041.246 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.246 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.246 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.246 * [misc]backup-simplify: Simplify 1 into 1 1550608041.246 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.246 * [misc]taylor: Taking taylor expansion of t in t 1550608041.246 * [misc]backup-simplify: Simplify 0 into 0 1550608041.246 * [misc]backup-simplify: Simplify 1 into 1 1550608041.246 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.246 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.246 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.247 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.247 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.247 * [misc]backup-simplify: Simplify 2 into 2 1550608041.247 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608041.247 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.247 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.247 * [misc]backup-simplify: Simplify 2 into 2 1550608041.247 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.247 * [misc]backup-simplify: Simplify (- 0) into 0 1550608041.247 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.248 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608041.248 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608041.248 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.248 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.248 * [misc]backup-simplify: Simplify 2 into 2 1550608041.248 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608041.248 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2) 1550608041.248 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) into (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) 1550608041.248 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in (t) around 0 1550608041.248 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1550608041.248 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608041.248 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.248 * [misc]backup-simplify: Simplify 2 into 2 1550608041.248 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608041.248 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.248 * [misc]backup-simplify: Simplify 2 into 2 1550608041.248 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.248 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.248 * [misc]taylor: Taking taylor expansion of t in t 1550608041.248 * [misc]backup-simplify: Simplify 0 into 0 1550608041.248 * [misc]backup-simplify: Simplify 1 into 1 1550608041.248 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.248 * [misc]backup-simplify: Simplify 1 into 1 1550608041.249 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.249 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.249 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.249 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.249 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608041.249 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.249 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.249 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.249 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.249 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.249 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ t 1)))) 2) in t 1550608041.250 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608041.250 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.250 * [misc]backup-simplify: Simplify 2 into 2 1550608041.250 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608041.250 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.250 * [misc]backup-simplify: Simplify 2 into 2 1550608041.250 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.250 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.250 * [misc]taylor: Taking taylor expansion of t in t 1550608041.250 * [misc]backup-simplify: Simplify 0 into 0 1550608041.250 * [misc]backup-simplify: Simplify 1 into 1 1550608041.250 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.250 * [misc]backup-simplify: Simplify 1 into 1 1550608041.250 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.250 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.250 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.250 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.250 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608041.250 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.251 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.251 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.251 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.251 * [misc]backup-simplify: Simplify (* 2 2) into 4 1550608041.251 * [misc]backup-simplify: Simplify 4 into 4 1550608041.251 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.251 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608041.251 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608041.251 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.251 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608041.252 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1550608041.252 * [misc]backup-simplify: Simplify -8 into -8 1550608041.252 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.252 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608041.252 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608041.252 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.252 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.252 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1550608041.253 * [misc]backup-simplify: Simplify 12 into 12 1550608041.253 * [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))) 1550608041.253 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 t)))) (- 2 (/ 2 (+ 1 (/ 1 t))))) into (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) 1550608041.253 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in (t) around 0 1550608041.253 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1550608041.253 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.253 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.253 * [misc]backup-simplify: Simplify 2 into 2 1550608041.253 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.253 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.253 * [misc]backup-simplify: Simplify 2 into 2 1550608041.253 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.253 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.253 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.253 * [misc]taylor: Taking taylor expansion of t in t 1550608041.253 * [misc]backup-simplify: Simplify 0 into 0 1550608041.253 * [misc]backup-simplify: Simplify 1 into 1 1550608041.253 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.253 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.253 * [misc]backup-simplify: Simplify 1 into 1 1550608041.253 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.254 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.254 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.254 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 2) in t 1550608041.254 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.254 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.254 * [misc]backup-simplify: Simplify 2 into 2 1550608041.254 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.254 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.254 * [misc]backup-simplify: Simplify 2 into 2 1550608041.254 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.254 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.254 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.254 * [misc]taylor: Taking taylor expansion of t in t 1550608041.254 * [misc]backup-simplify: Simplify 0 into 0 1550608041.254 * [misc]backup-simplify: Simplify 1 into 1 1550608041.254 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.254 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.254 * [misc]backup-simplify: Simplify 1 into 1 1550608041.254 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.254 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.254 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.254 * [misc]backup-simplify: Simplify (* 2 2) into 4 1550608041.254 * [misc]backup-simplify: Simplify 4 into 4 1550608041.255 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608041.255 * [misc]backup-simplify: Simplify (- 2) into -2 1550608041.255 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608041.255 * [misc]backup-simplify: Simplify (+ (* 2 -2) (* -2 2)) into -8 1550608041.255 * [misc]backup-simplify: Simplify -8 into -8 1550608041.255 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.255 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.255 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.255 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608041.256 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.256 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.256 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* -2 -2) (* 2 2))) into 12 1550608041.256 * [misc]backup-simplify: Simplify 12 into 12 1550608041.256 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1550608041.256 * [misc]backup-simplify: Simplify (* (- 2 (/ 2 (+ 1 (/ 1 (- t))))) (- 2 (/ 2 (+ 1 (/ 1 (- t)))))) into (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) 1550608041.256 * [misc]approximate: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in (t) around 0 1550608041.256 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1550608041.256 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.256 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.256 * [misc]backup-simplify: Simplify 2 into 2 1550608041.256 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.256 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.256 * [misc]backup-simplify: Simplify 2 into 2 1550608041.256 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.256 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.256 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.256 * [misc]backup-simplify: Simplify 1 into 1 1550608041.256 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.256 * [misc]taylor: Taking taylor expansion of t in t 1550608041.256 * [misc]backup-simplify: Simplify 0 into 0 1550608041.256 * [misc]backup-simplify: Simplify 1 into 1 1550608041.256 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.257 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.257 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.257 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.257 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.257 * [misc]taylor: Taking taylor expansion of (pow (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 2) in t 1550608041.257 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.257 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.257 * [misc]backup-simplify: Simplify 2 into 2 1550608041.257 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.257 * [misc]taylor: Taking taylor expansion of 2 in t 1550608041.257 * [misc]backup-simplify: Simplify 2 into 2 1550608041.257 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.257 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.257 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.257 * [misc]backup-simplify: Simplify 1 into 1 1550608041.257 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.257 * [misc]taylor: Taking taylor expansion of t in t 1550608041.257 * [misc]backup-simplify: Simplify 0 into 0 1550608041.257 * [misc]backup-simplify: Simplify 1 into 1 1550608041.257 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.257 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.257 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.257 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.258 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608041.258 * [misc]backup-simplify: Simplify (* 2 2) into 4 1550608041.258 * [misc]backup-simplify: Simplify 4 into 4 1550608041.258 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608041.258 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.258 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.258 * [misc]backup-simplify: Simplify (+ (* 2 2) (* 2 2)) into 8 1550608041.258 * [misc]backup-simplify: Simplify 8 into 8 1550608041.258 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.258 * [misc]backup-simplify: Simplify (- 0) into 0 1550608041.259 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.259 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608041.259 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608041.259 * [misc]backup-simplify: Simplify (- -2) into 2 1550608041.259 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608041.259 * [misc]backup-simplify: Simplify (+ (* 2 2) (+ (* 2 2) (* 2 2))) into 12 1550608041.259 * [misc]backup-simplify: Simplify 12 into 12 1550608041.259 * [misc]backup-simplify: Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1550608041.259 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2) 1550608041.260 * [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))))) 1550608041.260 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in (t) around 0 1550608041.260 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of 4 in t 1550608041.260 * [misc]backup-simplify: Simplify 4 into 4 1550608041.260 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of t in t 1550608041.260 * [misc]backup-simplify: Simplify 0 into 0 1550608041.260 * [misc]backup-simplify: Simplify 1 into 1 1550608041.260 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.260 * [misc]backup-simplify: Simplify 1 into 1 1550608041.260 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.260 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550608041.260 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.260 * [misc]taylor: Taking taylor expansion of 6 in t 1550608041.260 * [misc]backup-simplify: Simplify 6 into 6 1550608041.260 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of 8 in t 1550608041.260 * [misc]backup-simplify: Simplify 8 into 8 1550608041.260 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.260 * [misc]taylor: Taking taylor expansion of t in t 1550608041.260 * [misc]backup-simplify: Simplify 0 into 0 1550608041.260 * [misc]backup-simplify: Simplify 1 into 1 1550608041.260 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.260 * [misc]backup-simplify: Simplify 1 into 1 1550608041.260 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.261 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.261 * [misc]backup-simplify: Simplify (* 4 1) into 4 1550608041.261 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1550608041.261 * [misc]backup-simplify: Simplify (* 8 1) into 8 1550608041.261 * [misc]backup-simplify: Simplify (- 8) into -8 1550608041.261 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1550608041.261 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1550608041.261 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1))))) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) (* 8 (/ 1 (+ t 1)))) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ t 1) 2))) 6) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of 4 in t 1550608041.261 * [misc]backup-simplify: Simplify 4 into 4 1550608041.261 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of (pow (+ t 1) 2) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.261 * [misc]taylor: Taking taylor expansion of t in t 1550608041.261 * [misc]backup-simplify: Simplify 0 into 0 1550608041.261 * [misc]backup-simplify: Simplify 1 into 1 1550608041.261 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.261 * [misc]backup-simplify: Simplify 1 into 1 1550608041.261 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.262 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550608041.262 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.262 * [misc]taylor: Taking taylor expansion of 6 in t 1550608041.262 * [misc]backup-simplify: Simplify 6 into 6 1550608041.262 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ t 1))) in t 1550608041.262 * [misc]taylor: Taking taylor expansion of 8 in t 1550608041.262 * [misc]backup-simplify: Simplify 8 into 8 1550608041.262 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608041.262 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608041.262 * [misc]taylor: Taking taylor expansion of t in t 1550608041.262 * [misc]backup-simplify: Simplify 0 into 0 1550608041.262 * [misc]backup-simplify: Simplify 1 into 1 1550608041.262 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.262 * [misc]backup-simplify: Simplify 1 into 1 1550608041.262 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.262 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.262 * [misc]backup-simplify: Simplify (* 4 1) into 4 1550608041.262 * [misc]backup-simplify: Simplify (+ 4 6) into 10 1550608041.262 * [misc]backup-simplify: Simplify (* 8 1) into 8 1550608041.262 * [misc]backup-simplify: Simplify (- 8) into -8 1550608041.262 * [misc]backup-simplify: Simplify (+ 10 -8) into 2 1550608041.263 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1550608041.263 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550608041.263 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.263 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1550608041.263 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 2 1)))) into -2 1550608041.263 * [misc]backup-simplify: Simplify (+ (* 4 -2) (* 0 1)) into -8 1550608041.263 * [misc]backup-simplify: Simplify (+ -8 0) into -8 1550608041.263 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.263 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.264 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1550608041.264 * [misc]backup-simplify: Simplify (- -8) into 8 1550608041.264 * [misc]backup-simplify: Simplify (+ -8 8) into 0 1550608041.264 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 1550608041.264 * [misc]backup-simplify: Simplify 0 into 0 1550608041.264 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.264 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1 1550608041.264 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3 1550608041.265 * [misc]backup-simplify: Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12 1550608041.265 * [misc]backup-simplify: Simplify (+ 12 0) into 12 1550608041.265 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.265 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608041.265 * [misc]backup-simplify: Simplify (+ (* 8 1) (+ (* 0 -1) (* 0 1))) into 8 1550608041.265 * [misc]backup-simplify: Simplify (- 8) into -8 1550608041.265 * [misc]backup-simplify: Simplify (+ 12 -8) into 4 1550608041.265 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 4 2)) (* 0 (/ 0 2)))) into -1 1550608041.265 * [misc]backup-simplify: Simplify -1 into -1 1550608041.266 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.266 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 1550608041.266 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4 1550608041.266 * [misc]backup-simplify: Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16 1550608041.266 * [misc]backup-simplify: Simplify (+ -16 0) into -16 1550608041.266 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.267 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608041.267 * [misc]backup-simplify: Simplify (+ (* 8 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -8 1550608041.267 * [misc]backup-simplify: Simplify (- -8) into 8 1550608041.267 * [misc]backup-simplify: Simplify (+ -16 8) into -8 1550608041.267 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ -8 2)) (* 0 (/ 4 2)) (* -1 (/ 0 2)))) into 2 1550608041.267 * [misc]backup-simplify: Simplify 2 into 2 1550608041.267 * [misc]backup-simplify: Simplify (+ (* 2 (pow t 3)) (+ (* -1 (pow t 2)) 1/2)) into (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1550608041.268 * [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))))) 1550608041.268 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in (t) around 0 1550608041.268 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of 4 in t 1550608041.268 * [misc]backup-simplify: Simplify 4 into 4 1550608041.268 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of t in t 1550608041.268 * [misc]backup-simplify: Simplify 0 into 0 1550608041.268 * [misc]backup-simplify: Simplify 1 into 1 1550608041.268 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.268 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.268 * [misc]backup-simplify: Simplify 1 into 1 1550608041.268 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.268 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550608041.268 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.268 * [misc]taylor: Taking taylor expansion of 6 in t 1550608041.268 * [misc]backup-simplify: Simplify 6 into 6 1550608041.268 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of 8 in t 1550608041.268 * [misc]backup-simplify: Simplify 8 into 8 1550608041.268 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.268 * [misc]taylor: Taking taylor expansion of t in t 1550608041.268 * [misc]backup-simplify: Simplify 0 into 0 1550608041.268 * [misc]backup-simplify: Simplify 1 into 1 1550608041.269 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.269 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.269 * [misc]backup-simplify: Simplify 1 into 1 1550608041.269 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.269 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.269 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1550608041.269 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1550608041.269 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1550608041.269 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1))))) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) (* 8 (/ 1 (+ (/ 1 t) 1)))) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of 4 in t 1550608041.269 * [misc]backup-simplify: Simplify 4 into 4 1550608041.269 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.269 * [misc]taylor: Taking taylor expansion of t in t 1550608041.269 * [misc]backup-simplify: Simplify 0 into 0 1550608041.269 * [misc]backup-simplify: Simplify 1 into 1 1550608041.269 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.269 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.269 * [misc]backup-simplify: Simplify 1 into 1 1550608041.269 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.270 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550608041.270 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.270 * [misc]taylor: Taking taylor expansion of 6 in t 1550608041.270 * [misc]backup-simplify: Simplify 6 into 6 1550608041.270 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (+ (/ 1 t) 1))) in t 1550608041.270 * [misc]taylor: Taking taylor expansion of 8 in t 1550608041.270 * [misc]backup-simplify: Simplify 8 into 8 1550608041.270 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608041.270 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608041.270 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.270 * [misc]taylor: Taking taylor expansion of t in t 1550608041.270 * [misc]backup-simplify: Simplify 0 into 0 1550608041.270 * [misc]backup-simplify: Simplify 1 into 1 1550608041.270 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.270 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.270 * [misc]backup-simplify: Simplify 1 into 1 1550608041.270 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.270 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.270 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1550608041.270 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1550608041.270 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1550608041.271 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550608041.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.271 * [misc]backup-simplify: Simplify (* 8 1) into 8 1550608041.271 * [misc]backup-simplify: Simplify (- 8) into -8 1550608041.271 * [misc]backup-simplify: Simplify (+ 0 -8) into -8 1550608041.271 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ -8 6)))) into 2/9 1550608041.271 * [misc]backup-simplify: Simplify 2/9 into 2/9 1550608041.271 * [misc]backup-simplify: Simplify (* 4 1) into 4 1550608041.272 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1550608041.272 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.272 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608041.272 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608041.272 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 1)) into -8 1550608041.272 * [misc]backup-simplify: Simplify (- -8) into 8 1550608041.272 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1550608041.273 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* 2/9 (/ -8 6)))) into -1/27 1550608041.273 * [misc]backup-simplify: Simplify -1/27 into -1/27 1550608041.273 * [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)))) 1550608041.273 * [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)))))) 1550608041.273 * [misc]approximate: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in (t) around 0 1550608041.273 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1550608041.273 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.273 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1550608041.273 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1550608041.273 * [misc]taylor: Taking taylor expansion of 4 in t 1550608041.274 * [misc]backup-simplify: Simplify 4 into 4 1550608041.274 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1550608041.274 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1550608041.274 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.274 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.274 * [misc]backup-simplify: Simplify 1 into 1 1550608041.274 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.274 * [misc]taylor: Taking taylor expansion of t in t 1550608041.274 * [misc]backup-simplify: Simplify 0 into 0 1550608041.274 * [misc]backup-simplify: Simplify 1 into 1 1550608041.274 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.274 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.274 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.274 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1550608041.275 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.275 * [misc]taylor: Taking taylor expansion of 6 in t 1550608041.275 * [misc]backup-simplify: Simplify 6 into 6 1550608041.275 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.275 * [misc]taylor: Taking taylor expansion of 8 in t 1550608041.275 * [misc]backup-simplify: Simplify 8 into 8 1550608041.275 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.275 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.275 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.275 * [misc]backup-simplify: Simplify 1 into 1 1550608041.275 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.275 * [misc]taylor: Taking taylor expansion of t in t 1550608041.275 * [misc]backup-simplify: Simplify 0 into 0 1550608041.275 * [misc]backup-simplify: Simplify 1 into 1 1550608041.275 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.275 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.275 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.276 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.276 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1550608041.276 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1550608041.276 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1550608041.276 * [misc]taylor: Taking taylor expansion of (/ 1 (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t)))))) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of (- (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) (* 8 (/ 1 (- 1 (/ 1 t))))) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of (+ (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of 4 in t 1550608041.276 * [misc]backup-simplify: Simplify 4 into 4 1550608041.276 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.276 * [misc]backup-simplify: Simplify 1 into 1 1550608041.276 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.276 * [misc]taylor: Taking taylor expansion of t in t 1550608041.276 * [misc]backup-simplify: Simplify 0 into 0 1550608041.276 * [misc]backup-simplify: Simplify 1 into 1 1550608041.277 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.277 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.277 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.277 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1550608041.277 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.277 * [misc]taylor: Taking taylor expansion of 6 in t 1550608041.277 * [misc]backup-simplify: Simplify 6 into 6 1550608041.277 * [misc]taylor: Taking taylor expansion of (* 8 (/ 1 (- 1 (/ 1 t)))) in t 1550608041.277 * [misc]taylor: Taking taylor expansion of 8 in t 1550608041.277 * [misc]backup-simplify: Simplify 8 into 8 1550608041.277 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608041.277 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608041.277 * [misc]taylor: Taking taylor expansion of 1 in t 1550608041.277 * [misc]backup-simplify: Simplify 1 into 1 1550608041.277 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608041.277 * [misc]taylor: Taking taylor expansion of t in t 1550608041.277 * [misc]backup-simplify: Simplify 0 into 0 1550608041.277 * [misc]backup-simplify: Simplify 1 into 1 1550608041.278 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608041.278 * [misc]backup-simplify: Simplify (- 1) into -1 1550608041.278 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608041.278 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608041.278 * [misc]backup-simplify: Simplify (+ 0 6) into 6 1550608041.278 * [misc]backup-simplify: Simplify (+ 6 0) into 6 1550608041.279 * [misc]backup-simplify: Simplify (/ 1 6) into 1/6 1550608041.279 * [misc]backup-simplify: Simplify 1/6 into 1/6 1550608041.279 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608041.279 * [misc]backup-simplify: Simplify (* 8 -1) into -8 1550608041.279 * [misc]backup-simplify: Simplify (- -8) into 8 1550608041.279 * [misc]backup-simplify: Simplify (+ 0 8) into 8 1550608041.279 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 8 6)))) into -2/9 1550608041.280 * [misc]backup-simplify: Simplify -2/9 into -2/9 1550608041.280 * [misc]backup-simplify: Simplify (* 4 1) into 4 1550608041.280 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1550608041.280 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608041.280 * [misc]backup-simplify: Simplify (- 0) into 0 1550608041.280 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608041.281 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608041.281 * [misc]backup-simplify: Simplify (+ (* 8 -1) (* 0 -1)) into -8 1550608041.281 * [misc]backup-simplify: Simplify (- -8) into 8 1550608041.281 * [misc]backup-simplify: Simplify (+ 4 8) into 12 1550608041.281 * [misc]backup-simplify: Simplify (- (+ (* 1/6 (/ 12 6)) (* -2/9 (/ 8 6)))) into -1/27 1550608041.282 * [misc]backup-simplify: Simplify -1/27 into -1/27 1550608041.282 * [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)))) 1550608041.282 * * * [misc]progress: simplifying candidates 1550608041.282 * * * * [misc]progress: [ 1 / 88 ] simplifiying candidate # 1550608041.282 * * * * [misc]progress: [ 2 / 88 ] simplifiying candidate # 1550608041.282 * * * * [misc]progress: [ 3 / 88 ] simplifiying candidate # 1550608041.282 * * * * [misc]progress: [ 4 / 88 ] simplifiying candidate # 1550608041.282 * * * * [misc]progress: [ 5 / 88 ] simplifiying candidate # 1550608041.282 * * * * [misc]progress: [ 6 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 7 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 8 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 9 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 10 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 11 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 12 / 88 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))))))))> 1550608041.283 * * * * [misc]progress: [ 13 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 14 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 15 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 16 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 17 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 18 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 19 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 20 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 21 / 88 ] simplifiying candidate # 1550608041.283 * * * * [misc]progress: [ 22 / 88 ] simplifiying candidate # 1550608041.284 * * * * [misc]progress: [ 23 / 88 ] simplifiying candidate # 1550608041.284 * * * * [misc]progress: [ 24 / 88 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))))> 1550608041.284 * * * * [misc]progress: [ 25 / 88 ] simplifiying candidate # 1550608041.284 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1550608041.284 * * [misc]simplify: iters left: 6 (6 enodes) 1550608041.288 * * [misc]simplify: iters left: 5 (23 enodes) 1550608041.296 * * [misc]simplify: iters left: 4 (31 enodes) 1550608041.310 * * [misc]simplify: iters left: 3 (33 enodes) 1550608041.320 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.320 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550608041.321 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550608041.321 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550608041.321 * * [misc]simplify: Extracting #4: cost 8 inf + 4 1550608041.321 * * [misc]simplify: Extracting #5: cost 2 inf + 460 1550608041.322 * * [misc]simplify: Extracting #6: cost 0 inf + 666 1550608041.322 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1550608041.322 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1550608041.323 * [enter]simplify: Simplifying (+ 1 1) 1550608041.323 * * [misc]simplify: iters left: 2 (2 enodes) 1550608041.325 * * [misc]simplify: iters left: 1 (9 enodes) 1550608041.328 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.328 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550608041.328 * [exit]simplify: Simplified to 2 1550608041.329 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) 2))))) 1550608041.329 * * * * [misc]progress: [ 26 / 88 ] simplifiying candidate # 1550608041.329 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1550608041.329 * * [misc]simplify: iters left: 6 (7 enodes) 1550608041.333 * * [misc]simplify: iters left: 5 (26 enodes) 1550608041.342 * * [misc]simplify: iters left: 4 (40 enodes) 1550608041.356 * * [misc]simplify: iters left: 3 (69 enodes) 1550608041.380 * * [misc]simplify: iters left: 2 (124 enodes) 1550608041.421 * * [misc]simplify: iters left: 1 (209 enodes) 1550608041.477 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.478 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608041.478 * * [misc]simplify: Extracting #2: cost 66 inf + 1 1550608041.479 * * [misc]simplify: Extracting #3: cost 76 inf + 4 1550608041.479 * * [misc]simplify: Extracting #4: cost 74 inf + 6 1550608041.481 * * [misc]simplify: Extracting #5: cost 44 inf + 3616 1550608041.486 * * [misc]simplify: Extracting #6: cost 2 inf + 9825 1550608041.492 * * [misc]simplify: Extracting #7: cost 0 inf + 10152 1550608041.496 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1550608041.496 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1))))) 1550608041.496 * * * * [misc]progress: [ 27 / 88 ] simplifiying candidate # 1550608041.496 * * * * [misc]progress: [ 28 / 88 ] simplifiying candidate # 1550608041.496 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1550608041.496 * * [misc]simplify: iters left: 6 (6 enodes) 1550608041.498 * * [misc]simplify: iters left: 5 (23 enodes) 1550608041.503 * * [misc]simplify: iters left: 4 (31 enodes) 1550608041.508 * * [misc]simplify: iters left: 3 (33 enodes) 1550608041.513 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.513 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550608041.513 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550608041.513 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550608041.513 * * [misc]simplify: Extracting #4: cost 8 inf + 4 1550608041.513 * * [misc]simplify: Extracting #5: cost 2 inf + 460 1550608041.513 * * [misc]simplify: Extracting #6: cost 0 inf + 666 1550608041.514 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1550608041.514 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (pow (- 2 (/ 2 (+ 1 t))) (+ 1 1)))))) 1550608041.514 * * * * [misc]progress: [ 29 / 88 ] simplifiying candidate # 1550608041.514 * * * * [misc]progress: [ 30 / 88 ] simplifiying candidate # 1550608041.514 * [enter]simplify: Simplifying (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1550608041.514 * * [misc]simplify: iters left: 6 (8 enodes) 1550608041.516 * * [misc]simplify: iters left: 5 (29 enodes) 1550608041.522 * * [misc]simplify: iters left: 4 (37 enodes) 1550608041.533 * * [misc]simplify: iters left: 3 (39 enodes) 1550608041.544 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.544 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608041.544 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550608041.544 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550608041.545 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1550608041.545 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550608041.545 * * [misc]simplify: Extracting #6: cost 11 inf + 46 1550608041.545 * * [misc]simplify: Extracting #7: cost 5 inf + 543 1550608041.546 * * [misc]simplify: Extracting #8: cost 0 inf + 1518 1550608041.546 * [exit]simplify: Simplified to (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t))))) 1550608041.546 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (exp (+ (log (- 2 (/ 2 (+ 1 t)))) (log (- 2 (/ 2 (+ 1 t)))))))))) 1550608041.546 * * * * [misc]progress: [ 31 / 88 ] simplifiying candidate # 1550608041.546 * * * * [misc]progress: [ 32 / 88 ] simplifiying candidate # 1550608041.546 * * * * [misc]progress: [ 33 / 88 ] simplifiying candidate # 1550608041.547 * [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))))) 1550608041.547 * * [misc]simplify: iters left: 6 (9 enodes) 1550608041.554 * * [misc]simplify: iters left: 5 (37 enodes) 1550608041.561 * * [misc]simplify: iters left: 4 (76 enodes) 1550608041.582 * * [misc]simplify: iters left: 3 (266 enodes) 1550608041.759 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608041.759 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550608041.760 * * [misc]simplify: Extracting #2: cost 117 inf + 1 1550608041.761 * * [misc]simplify: Extracting #3: cost 287 inf + 4 1550608041.769 * * [misc]simplify: Extracting #4: cost 202 inf + 18057 1550608041.795 * * [misc]simplify: Extracting #5: cost 8 inf + 72061 1550608041.817 * * [misc]simplify: Extracting #6: cost 0 inf + 73948 1550608041.857 * [exit]simplify: Simplified to (* (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1550608041.857 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))) 1550608041.858 * * * * [misc]progress: [ 34 / 88 ] simplifiying candidate # 1550608041.858 * * * * [misc]progress: [ 35 / 88 ] simplifiying candidate # 1550608041.858 * * * * [misc]progress: [ 36 / 88 ] simplifiying candidate # 1550608041.858 * * * * [misc]progress: [ 37 / 88 ] simplifiying candidate # 1550608041.858 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1550608041.859 * * [misc]simplify: iters left: 6 (10 enodes) 1550608041.864 * * [misc]simplify: iters left: 5 (45 enodes) 1550608041.872 * * [misc]simplify: iters left: 4 (80 enodes) 1550608041.890 * * [misc]simplify: iters left: 3 (197 enodes) 1550608041.957 * * [misc]simplify: iters left: 2 (468 enodes) 1550608042.310 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608042.310 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550608042.311 * * [misc]simplify: Extracting #2: cost 218 inf + 1 1550608042.312 * * [misc]simplify: Extracting #3: cost 388 inf + 8 1550608042.317 * * [misc]simplify: Extracting #4: cost 277 inf + 29218 1550608042.352 * * [misc]simplify: Extracting #5: cost 26 inf + 88746 1550608042.385 * * [misc]simplify: Extracting #6: cost 0 inf + 82448 1550608042.438 * * [misc]simplify: Extracting #7: cost 0 inf + 81042 1550608042.468 * * [misc]simplify: Extracting #8: cost 0 inf + 80842 1550608042.518 * [exit]simplify: Simplified to (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1550608042.518 * [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))))))))))) 1550608042.519 * [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)))))) 1550608042.519 * * [misc]simplify: iters left: 6 (11 enodes) 1550608042.526 * * [misc]simplify: iters left: 5 (53 enodes) 1550608042.543 * * [misc]simplify: iters left: 4 (152 enodes) 1550608042.606 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608042.606 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550608042.606 * * [misc]simplify: Extracting #2: cost 131 inf + 0 1550608042.607 * * [misc]simplify: Extracting #3: cost 156 inf + 3 1550608042.607 * * [misc]simplify: Extracting #4: cost 139 inf + 1973 1550608042.615 * * [misc]simplify: Extracting #5: cost 33 inf + 25887 1550608042.625 * * [misc]simplify: Extracting #6: cost 0 inf + 33080 1550608042.643 * * [misc]simplify: Extracting #7: cost 0 inf + 32880 1550608042.662 * [exit]simplify: Simplified to (* (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2))) (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2)))) 1550608042.662 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t)))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2))) (+ 4 (* (/ 2 (+ t 1)) (+ (/ 2 (+ t 1)) 2))))))))) 1550608042.662 * * * * [misc]progress: [ 38 / 88 ] simplifiying candidate # 1550608042.662 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1550608042.663 * * [misc]simplify: iters left: 6 (13 enodes) 1550608042.672 * * [misc]simplify: iters left: 5 (62 enodes) 1550608042.693 * * [misc]simplify: iters left: 4 (130 enodes) 1550608042.742 * * [misc]simplify: iters left: 3 (349 enodes) 1550608042.896 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608042.896 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1550608042.896 * * [misc]simplify: Extracting #2: cost 214 inf + 0 1550608042.897 * * [misc]simplify: Extracting #3: cost 339 inf + 4 1550608042.900 * * [misc]simplify: Extracting #4: cost 292 inf + 11666 1550608042.928 * * [misc]simplify: Extracting #5: cost 40 inf + 71196 1550608042.951 * * [misc]simplify: Extracting #6: cost 0 inf + 75365 1550608042.995 * * [misc]simplify: Extracting #7: cost 0 inf + 75322 1550608043.038 * [exit]simplify: Simplified to (- (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (/ (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 1 t) (+ 1 t)))) 1550608043.038 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (- (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (/ (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 1 t) (+ 1 t)))) (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t))))))))) 1550608043.039 * [enter]simplify: Simplifying (* (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))) 1550608043.039 * * [misc]simplify: iters left: 6 (12 enodes) 1550608043.047 * * [misc]simplify: iters left: 5 (57 enodes) 1550608043.066 * * [misc]simplify: iters left: 4 (136 enodes) 1550608043.101 * * [misc]simplify: iters left: 3 (348 enodes) 1550608043.231 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608043.231 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1550608043.232 * * [misc]simplify: Extracting #2: cost 116 inf + 1 1550608043.232 * * [misc]simplify: Extracting #3: cost 133 inf + 4 1550608043.234 * * [misc]simplify: Extracting #4: cost 121 inf + 955 1550608043.246 * * [misc]simplify: Extracting #5: cost 36 inf + 18568 1550608043.256 * * [misc]simplify: Extracting #6: cost 0 inf + 26100 1550608043.264 * * [misc]simplify: Extracting #7: cost 0 inf + 26056 1550608043.272 * [exit]simplify: Simplified to (+ (/ (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1))) (+ t 1)) (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1)))) 1550608043.272 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (- (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (/ (* 4 (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) (* (+ 1 t) (+ 1 t)))) (+ (/ (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1))) (+ t 1)) (+ (+ 8 (/ 8 (+ t 1))) (/ (/ 8 (+ t 1)) (+ t 1))))))))) 1550608043.273 * * * * [misc]progress: [ 39 / 88 ] simplifiying candidate # 1550608043.273 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) 1550608043.273 * * [misc]simplify: iters left: 6 (13 enodes) 1550608043.278 * * [misc]simplify: iters left: 5 (62 enodes) 1550608043.289 * * [misc]simplify: iters left: 4 (130 enodes) 1550608043.315 * * [misc]simplify: iters left: 3 (349 enodes) 1550608043.526 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608043.526 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1550608043.527 * * [misc]simplify: Extracting #2: cost 214 inf + 0 1550608043.529 * * [misc]simplify: Extracting #3: cost 339 inf + 4 1550608043.535 * * [misc]simplify: Extracting #4: cost 281 inf + 10794 1550608043.568 * * [misc]simplify: Extracting #5: cost 42 inf + 66112 1550608043.610 * * [misc]simplify: Extracting #6: cost 0 inf + 74425 1550608043.635 * * [misc]simplify: Extracting #7: cost 0 inf + 73820 1550608043.656 * [exit]simplify: Simplified to (* (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) 1550608043.656 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))) 1550608043.656 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1550608043.656 * * [misc]simplify: iters left: 6 (12 enodes) 1550608043.660 * * [misc]simplify: iters left: 5 (57 enodes) 1550608043.672 * * [misc]simplify: iters left: 4 (140 enodes) 1550608043.733 * * [misc]simplify: iters left: 3 (364 enodes) 1550608043.928 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608043.928 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1550608043.929 * * [misc]simplify: Extracting #2: cost 121 inf + 1 1550608043.930 * * [misc]simplify: Extracting #3: cost 136 inf + 4 1550608043.931 * * [misc]simplify: Extracting #4: cost 122 inf + 1402 1550608043.940 * * [misc]simplify: Extracting #5: cost 44 inf + 16717 1550608043.955 * * [misc]simplify: Extracting #6: cost 0 inf + 26395 1550608043.969 * * [misc]simplify: Extracting #7: cost 0 inf + 25817 1550608043.984 * * [misc]simplify: Extracting #8: cost 0 inf + 25774 1550608044.003 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ 4 (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t)))))) 1550608044.003 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 4 (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t))))))))))) 1550608044.004 * * * * [misc]progress: [ 40 / 88 ] simplifiying candidate # 1550608044.004 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) 1550608044.004 * * [misc]simplify: iters left: 6 (9 enodes) 1550608044.010 * * [misc]simplify: iters left: 5 (40 enodes) 1550608044.024 * * [misc]simplify: iters left: 4 (77 enodes) 1550608044.053 * * [misc]simplify: iters left: 3 (197 enodes) 1550608044.168 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608044.168 * * [misc]simplify: Extracting #1: cost 30 inf + 0 1550608044.169 * * [misc]simplify: Extracting #2: cost 159 inf + 0 1550608044.171 * * [misc]simplify: Extracting #3: cost 230 inf + 3 1550608044.175 * * [misc]simplify: Extracting #4: cost 172 inf + 8949 1550608044.194 * * [misc]simplify: Extracting #5: cost 14 inf + 41685 1550608044.218 * * [misc]simplify: Extracting #6: cost 0 inf + 44491 1550608044.246 * [exit]simplify: Simplified to (* (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) 1550608044.247 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1550608044.247 * [enter]simplify: Simplifying (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1550608044.247 * * [misc]simplify: iters left: 6 (7 enodes) 1550608044.251 * * [misc]simplify: iters left: 5 (31 enodes) 1550608044.263 * * [misc]simplify: iters left: 4 (58 enodes) 1550608044.280 * * [misc]simplify: iters left: 3 (85 enodes) 1550608044.303 * * [misc]simplify: iters left: 2 (119 enodes) 1550608044.338 * * [misc]simplify: iters left: 1 (174 enodes) 1550608044.386 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608044.386 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550608044.387 * * [misc]simplify: Extracting #2: cost 45 inf + 2 1550608044.387 * * [misc]simplify: Extracting #3: cost 66 inf + 2 1550608044.387 * * [misc]simplify: Extracting #4: cost 66 inf + 4 1550608044.388 * * [misc]simplify: Extracting #5: cost 35 inf + 3572 1550608044.390 * * [misc]simplify: Extracting #6: cost 3 inf + 8748 1550608044.392 * * [misc]simplify: Extracting #7: cost 0 inf + 9279 1550608044.395 * [exit]simplify: Simplified to (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) 1550608044.395 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t))))))))) 1550608044.395 * * * * [misc]progress: [ 41 / 88 ] simplifiying candidate # 1550608044.395 * * * * [misc]progress: [ 42 / 88 ] simplifiying candidate # 1550608044.395 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1550608044.395 * * [misc]simplify: iters left: 6 (8 enodes) 1550608044.398 * * [misc]simplify: iters left: 5 (34 enodes) 1550608044.404 * * [misc]simplify: iters left: 4 (52 enodes) 1550608044.414 * * [misc]simplify: iters left: 3 (96 enodes) 1550608044.445 * * [misc]simplify: iters left: 2 (146 enodes) 1550608044.494 * * [misc]simplify: iters left: 1 (206 enodes) 1550608044.549 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608044.549 * * [misc]simplify: Extracting #1: cost 28 inf + 0 1550608044.549 * * [misc]simplify: Extracting #2: cost 58 inf + 2 1550608044.549 * * [misc]simplify: Extracting #3: cost 72 inf + 6 1550608044.550 * * [misc]simplify: Extracting #4: cost 29 inf + 4892 1550608044.553 * * [misc]simplify: Extracting #5: cost 0 inf + 9100 1550608044.556 * * [misc]simplify: Extracting #6: cost 0 inf + 9060 1550608044.558 * [exit]simplify: Simplified to (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t)) 1550608044.558 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t))))))) 1550608044.558 * * * * [misc]progress: [ 43 / 88 ] simplifiying candidate # 1550608044.559 * [enter]simplify: Simplifying (* (- 2 (/ 2 (+ 1 t))) (- (/ 2 (+ 1 t)))) 1550608044.559 * * [misc]simplify: iters left: 6 (8 enodes) 1550608044.561 * * [misc]simplify: iters left: 5 (34 enodes) 1550608044.569 * * [misc]simplify: iters left: 4 (52 enodes) 1550608044.582 * * [misc]simplify: iters left: 3 (96 enodes) 1550608044.598 * * [misc]simplify: iters left: 2 (146 enodes) 1550608044.642 * * [misc]simplify: iters left: 1 (206 enodes) 1550608044.714 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608044.714 * * [misc]simplify: Extracting #1: cost 28 inf + 0 1550608044.714 * * [misc]simplify: Extracting #2: cost 58 inf + 2 1550608044.715 * * [misc]simplify: Extracting #3: cost 72 inf + 6 1550608044.716 * * [misc]simplify: Extracting #4: cost 29 inf + 4892 1550608044.718 * * [misc]simplify: Extracting #5: cost 0 inf + 9100 1550608044.721 * * [misc]simplify: Extracting #6: cost 0 inf + 9060 1550608044.724 * [exit]simplify: Simplified to (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t)) 1550608044.724 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* (- 2 (/ 2 (+ 1 t))) 2) (/ (- -4 (/ -4 (+ 1 t))) (+ 1 t))))))) 1550608044.724 * * * * [misc]progress: [ 44 / 88 ] simplifiying candidate # 1550608044.724 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1550608044.724 * * [misc]simplify: iters left: 6 (8 enodes) 1550608044.727 * * [misc]simplify: iters left: 5 (34 enodes) 1550608044.733 * * [misc]simplify: iters left: 4 (58 enodes) 1550608044.748 * * [misc]simplify: iters left: 3 (112 enodes) 1550608044.782 * * [misc]simplify: iters left: 2 (156 enodes) 1550608044.806 * * [misc]simplify: iters left: 1 (192 enodes) 1550608044.859 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608044.860 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550608044.860 * * [misc]simplify: Extracting #2: cost 57 inf + 2 1550608044.860 * * [misc]simplify: Extracting #3: cost 71 inf + 6 1550608044.862 * * [misc]simplify: Extracting #4: cost 39 inf + 3459 1550608044.866 * * [misc]simplify: Extracting #5: cost 3 inf + 8374 1550608044.871 * * [misc]simplify: Extracting #6: cost 0 inf + 8824 1550608044.877 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1550608044.877 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1550608044.877 * * * * [misc]progress: [ 45 / 88 ] simplifiying candidate # 1550608044.877 * [enter]simplify: Simplifying (* (- (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 1550608044.877 * * [misc]simplify: iters left: 6 (8 enodes) 1550608044.882 * * [misc]simplify: iters left: 5 (34 enodes) 1550608044.894 * * [misc]simplify: iters left: 4 (58 enodes) 1550608044.916 * * [misc]simplify: iters left: 3 (112 enodes) 1550608044.955 * * [misc]simplify: iters left: 2 (156 enodes) 1550608044.999 * * [misc]simplify: iters left: 1 (192 enodes) 1550608045.038 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.038 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550608045.039 * * [misc]simplify: Extracting #2: cost 57 inf + 2 1550608045.039 * * [misc]simplify: Extracting #3: cost 71 inf + 6 1550608045.040 * * [misc]simplify: Extracting #4: cost 39 inf + 3459 1550608045.043 * * [misc]simplify: Extracting #5: cost 3 inf + 8374 1550608045.048 * * [misc]simplify: Extracting #6: cost 0 inf + 8824 1550608045.053 * [exit]simplify: Simplified to (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2)) 1550608045.054 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 2 (- 2 (/ 2 (+ 1 t)))) (* (/ 2 (+ 1 t)) (- (/ 2 (+ 1 t)) 2))))))) 1550608045.054 * * * * [misc]progress: [ 46 / 88 ] simplifiying candidate # 1550608045.054 * [enter]simplify: Simplifying (cbrt (- 2 (/ 2 (+ 1 t)))) 1550608045.054 * * [misc]simplify: iters left: 6 (7 enodes) 1550608045.059 * * [misc]simplify: iters left: 5 (26 enodes) 1550608045.067 * * [misc]simplify: iters left: 4 (34 enodes) 1550608045.078 * * [misc]simplify: iters left: 3 (36 enodes) 1550608045.088 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.088 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608045.088 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550608045.088 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1550608045.089 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550608045.089 * * [misc]simplify: Extracting #5: cost 6 inf + 254 1550608045.089 * * [misc]simplify: Extracting #6: cost 4 inf + 460 1550608045.089 * * [misc]simplify: Extracting #7: cost 1 inf + 869 1550608045.090 * * [misc]simplify: Extracting #8: cost 0 inf + 1072 1550608045.090 * [exit]simplify: Simplified to (cbrt (- 2 (/ 2 (+ 1 t)))) 1550608045.090 * [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))))))))) 1550608045.091 * * * * [misc]progress: [ 47 / 88 ] simplifiying candidate # 1550608045.091 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1550608045.091 * * [misc]simplify: iters left: 6 (7 enodes) 1550608045.095 * * [misc]simplify: iters left: 5 (26 enodes) 1550608045.104 * * [misc]simplify: iters left: 4 (34 enodes) 1550608045.114 * * [misc]simplify: iters left: 3 (36 enodes) 1550608045.124 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.124 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608045.124 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550608045.124 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1550608045.124 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550608045.125 * * [misc]simplify: Extracting #5: cost 6 inf + 254 1550608045.125 * * [misc]simplify: Extracting #6: cost 4 inf + 460 1550608045.125 * * [misc]simplify: Extracting #7: cost 1 inf + 829 1550608045.125 * * [misc]simplify: Extracting #8: cost 0 inf + 992 1550608045.125 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1550608045.125 * [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))))))))) 1550608045.125 * * * * [misc]progress: [ 48 / 88 ] simplifiying candidate # 1550608045.126 * [enter]simplify: Simplifying (- 2 (/ 2 (+ 1 t))) 1550608045.126 * * [misc]simplify: iters left: 6 (6 enodes) 1550608045.128 * * [misc]simplify: iters left: 5 (23 enodes) 1550608045.132 * * [misc]simplify: iters left: 4 (31 enodes) 1550608045.136 * * [misc]simplify: iters left: 3 (33 enodes) 1550608045.141 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.141 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550608045.141 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1550608045.141 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1550608045.141 * * [misc]simplify: Extracting #4: cost 8 inf + 4 1550608045.142 * * [misc]simplify: Extracting #5: cost 2 inf + 460 1550608045.142 * * [misc]simplify: Extracting #6: cost 0 inf + 666 1550608045.142 * [exit]simplify: Simplified to (- 2 (/ 2 (+ 1 t))) 1550608045.142 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (* (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))) 1550608045.142 * * * * [misc]progress: [ 49 / 88 ] simplifiying candidate # 1550608045.142 * [enter]simplify: Simplifying (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1550608045.142 * * [misc]simplify: iters left: 6 (8 enodes) 1550608045.145 * * [misc]simplify: iters left: 5 (29 enodes) 1550608045.150 * * [misc]simplify: iters left: 4 (37 enodes) 1550608045.158 * * [misc]simplify: iters left: 3 (39 enodes) 1550608045.172 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.172 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608045.172 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550608045.172 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550608045.172 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1550608045.172 * * [misc]simplify: Extracting #5: cost 14 inf + 2 1550608045.172 * * [misc]simplify: Extracting #6: cost 11 inf + 46 1550608045.173 * * [misc]simplify: Extracting #7: cost 5 inf + 543 1550608045.173 * * [misc]simplify: Extracting #8: cost 0 inf + 1558 1550608045.174 * [exit]simplify: Simplified to (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1550608045.174 * [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))))))))) 1550608045.174 * * * * [misc]progress: [ 50 / 88 ] simplifiying candidate # 1550608045.174 * [enter]simplify: Simplifying (sqrt (- 2 (/ 2 (+ 1 t)))) 1550608045.174 * * [misc]simplify: iters left: 6 (7 enodes) 1550608045.178 * * [misc]simplify: iters left: 5 (26 enodes) 1550608045.187 * * [misc]simplify: iters left: 4 (34 enodes) 1550608045.195 * * [misc]simplify: iters left: 3 (36 enodes) 1550608045.200 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.201 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608045.201 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550608045.201 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1550608045.201 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1550608045.201 * * [misc]simplify: Extracting #5: cost 6 inf + 254 1550608045.201 * * [misc]simplify: Extracting #6: cost 4 inf + 460 1550608045.201 * * [misc]simplify: Extracting #7: cost 1 inf + 829 1550608045.201 * * [misc]simplify: Extracting #8: cost 0 inf + 992 1550608045.201 * [exit]simplify: Simplified to (sqrt (- 2 (/ 2 (+ 1 t)))) 1550608045.202 * [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))))))))) 1550608045.202 * * * * [misc]progress: [ 51 / 88 ] simplifiying candidate # 1550608045.202 * * * * [misc]progress: [ 52 / 88 ] simplifiying candidate # 1550608045.202 * [enter]simplify: Simplifying (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))) 1550608045.202 * * [misc]simplify: iters left: 6 (10 enodes) 1550608045.206 * * [misc]simplify: iters left: 5 (44 enodes) 1550608045.213 * * [misc]simplify: iters left: 4 (69 enodes) 1550608045.226 * * [misc]simplify: iters left: 3 (88 enodes) 1550608045.244 * * [misc]simplify: iters left: 2 (115 enodes) 1550608045.261 * * [misc]simplify: iters left: 1 (154 enodes) 1550608045.306 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.306 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550608045.306 * * [misc]simplify: Extracting #2: cost 32 inf + 2 1550608045.307 * * [misc]simplify: Extracting #3: cost 46 inf + 3 1550608045.308 * * [misc]simplify: Extracting #4: cost 33 inf + 1771 1550608045.311 * * [misc]simplify: Extracting #5: cost 5 inf + 5412 1550608045.314 * * [misc]simplify: Extracting #6: cost 0 inf + 6186 1550608045.318 * [exit]simplify: Simplified to (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1)))) 1550608045.318 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (- 2 (/ 2 (+ 1 t))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))) (+ 4 (* (+ (/ 2 (+ t 1)) 2) (/ 2 (+ t 1))))))))) 1550608045.318 * * * * [misc]progress: [ 53 / 88 ] simplifiying candidate # 1550608045.318 * [enter]simplify: Simplifying (+ 2 (/ 2 (+ 1 t))) 1550608045.318 * * [misc]simplify: iters left: 6 (6 enodes) 1550608045.322 * * [misc]simplify: iters left: 5 (22 enodes) 1550608045.329 * * [misc]simplify: iters left: 4 (24 enodes) 1550608045.336 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.336 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550608045.336 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550608045.336 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550608045.337 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1550608045.337 * * [misc]simplify: Extracting #5: cost 0 inf + 499 1550608045.337 * [exit]simplify: Simplified to (+ 2 (/ 2 (+ 1 t))) 1550608045.337 * [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)))))))) 1550608045.337 * * * * [misc]progress: [ 54 / 88 ] simplifiying candidate # 1550608045.338 * [enter]simplify: Simplifying (* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- 2 (/ 2 (+ 1 t)))) 1550608045.338 * * [misc]simplify: iters left: 6 (11 enodes) 1550608045.345 * * [misc]simplify: iters left: 5 (51 enodes) 1550608045.362 * * [misc]simplify: iters left: 4 (97 enodes) 1550608045.399 * * [misc]simplify: iters left: 3 (239 enodes) 1550608045.486 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.486 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608045.486 * * [misc]simplify: Extracting #2: cost 93 inf + 0 1550608045.487 * * [misc]simplify: Extracting #3: cost 143 inf + 4 1550608045.488 * * [misc]simplify: Extracting #4: cost 133 inf + 1848 1550608045.491 * * [misc]simplify: Extracting #5: cost 40 inf + 20556 1550608045.504 * * [misc]simplify: Extracting #6: cost 0 inf + 25647 1550608045.519 * * [misc]simplify: Extracting #7: cost 0 inf + 25132 1550608045.532 * [exit]simplify: Simplified to (* (- 2 (/ 2 (+ 1 t))) (- 8 (/ (/ 8 (+ 1 t)) (* (+ 1 t) (+ 1 t))))) 1550608045.532 * [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)))))))))) 1550608045.532 * * * * [misc]progress: [ 55 / 88 ] simplifiying candidate # 1550608045.532 * [enter]simplify: Simplifying (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) 1550608045.532 * * [misc]simplify: iters left: 6 (10 enodes) 1550608045.536 * * [misc]simplify: iters left: 5 (45 enodes) 1550608045.544 * * [misc]simplify: iters left: 4 (95 enodes) 1550608045.564 * * [misc]simplify: iters left: 3 (252 enodes) 1550608045.668 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.668 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550608045.669 * * [misc]simplify: Extracting #2: cost 137 inf + 0 1550608045.669 * * [misc]simplify: Extracting #3: cost 172 inf + 5 1550608045.670 * * [misc]simplify: Extracting #4: cost 153 inf + 2018 1550608045.675 * * [misc]simplify: Extracting #5: cost 44 inf + 21372 1550608045.683 * * [misc]simplify: Extracting #6: cost 1 inf + 30055 1550608045.692 * * [misc]simplify: Extracting #7: cost 0 inf + 30054 1550608045.709 * [exit]simplify: Simplified to (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (+ (/ 2 (+ t 1)) 2)) 1550608045.709 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (/ (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (+ (/ 2 (+ t 1)) 2)) (+ 2 (/ 2 (+ 1 t)))))))) 1550608045.709 * * * * [misc]progress: [ 56 / 88 ] simplifiying candidate #real (real->posit16 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))> 1550608045.709 * * * * [misc]progress: [ 57 / 88 ] simplifiying candidate # 1550608045.709 * * * * [misc]progress: [ 58 / 88 ] simplifiying candidate # 1550608045.709 * * * * [misc]progress: [ 59 / 88 ] simplifiying candidate # 1550608045.710 * [enter]simplify: Simplifying (- 1) 1550608045.710 * * [misc]simplify: iters left: 2 (2 enodes) 1550608045.715 * * [misc]simplify: iters left: 1 (9 enodes) 1550608045.719 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.719 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550608045.719 * [exit]simplify: Simplified to -1 1550608045.719 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (pow (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) -1))) 1550608045.719 * * * * [misc]progress: [ 60 / 88 ] simplifiying candidate # 1550608045.719 * * * * [misc]progress: [ 61 / 88 ] simplifiying candidate # 1550608045.719 * * * * [misc]progress: [ 62 / 88 ] simplifiying candidate # 1550608045.719 * * * * [misc]progress: [ 63 / 88 ] simplifiying candidate # 1550608045.719 * * * * [misc]progress: [ 64 / 88 ] simplifiying candidate # 1550608045.719 * * * * [misc]progress: [ 65 / 88 ] simplifiying candidate # 1550608045.720 * * * * [misc]progress: [ 66 / 88 ] simplifiying candidate # 1550608045.720 * * * * [misc]progress: [ 67 / 88 ] simplifiying candidate # 1550608045.720 * * * * [misc]progress: [ 68 / 88 ] simplifiying candidate # 1550608045.720 * * * * [misc]progress: [ 69 / 88 ] simplifiying candidate # 1550608045.720 * * * * [misc]progress: [ 70 / 88 ] simplifiying candidate # 1550608045.720 * * * * [misc]progress: [ 71 / 88 ] simplifiying candidate # 1550608045.720 * [enter]simplify: Simplifying (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1550608045.720 * * [misc]simplify: iters left: 6 (9 enodes) 1550608045.725 * * [misc]simplify: iters left: 5 (33 enodes) 1550608045.736 * * [misc]simplify: iters left: 4 (47 enodes) 1550608045.751 * * [misc]simplify: iters left: 3 (84 enodes) 1550608045.765 * * [misc]simplify: iters left: 2 (168 enodes) 1550608045.810 * * [misc]simplify: iters left: 1 (334 enodes) 1550608045.907 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608045.907 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608045.907 * * [misc]simplify: Extracting #2: cost 42 inf + 0 1550608045.907 * * [misc]simplify: Extracting #3: cost 111 inf + 3 1550608045.907 * * [misc]simplify: Extracting #4: cost 131 inf + 5 1550608045.908 * * [misc]simplify: Extracting #5: cost 113 inf + 2425 1550608045.916 * * [misc]simplify: Extracting #6: cost 31 inf + 15226 1550608045.928 * * [misc]simplify: Extracting #7: cost 0 inf + 20887 1550608045.941 * * [misc]simplify: Extracting #8: cost 0 inf + 20846 1550608045.954 * [exit]simplify: Simplified to (cbrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1550608045.954 * [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))))))))) 1550608045.954 * * * * [misc]progress: [ 72 / 88 ] simplifiying candidate # 1550608045.954 * [enter]simplify: Simplifying (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1550608045.955 * * [misc]simplify: iters left: 6 (9 enodes) 1550608045.959 * * [misc]simplify: iters left: 5 (33 enodes) 1550608045.970 * * [misc]simplify: iters left: 4 (47 enodes) 1550608045.986 * * [misc]simplify: iters left: 3 (84 enodes) 1550608046.014 * * [misc]simplify: iters left: 2 (168 enodes) 1550608046.049 * * [misc]simplify: iters left: 1 (334 enodes) 1550608046.164 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608046.164 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608046.164 * * [misc]simplify: Extracting #2: cost 42 inf + 0 1550608046.165 * * [misc]simplify: Extracting #3: cost 111 inf + 3 1550608046.166 * * [misc]simplify: Extracting #4: cost 131 inf + 5 1550608046.167 * * [misc]simplify: Extracting #5: cost 113 inf + 2385 1550608046.175 * * [misc]simplify: Extracting #6: cost 31 inf + 15146 1550608046.187 * * [misc]simplify: Extracting #7: cost 0 inf + 20807 1550608046.203 * * [misc]simplify: Extracting #8: cost 0 inf + 20766 1550608046.212 * [exit]simplify: Simplified to (sqrt (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))) 1550608046.212 * [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))))))))) 1550608046.212 * * * * [misc]progress: [ 73 / 88 ] simplifiying candidate # 1550608046.212 * [enter]simplify: Simplifying (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1550608046.212 * * [misc]simplify: iters left: 6 (8 enodes) 1550608046.215 * * [misc]simplify: iters left: 5 (30 enodes) 1550608046.220 * * [misc]simplify: iters left: 4 (44 enodes) 1550608046.227 * * [misc]simplify: iters left: 3 (81 enodes) 1550608046.242 * * [misc]simplify: iters left: 2 (166 enodes) 1550608046.302 * * [misc]simplify: iters left: 1 (336 enodes) 1550608046.441 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608046.441 * * [misc]simplify: Extracting #1: cost 40 inf + 0 1550608046.441 * * [misc]simplify: Extracting #2: cost 111 inf + 3 1550608046.442 * * [misc]simplify: Extracting #3: cost 131 inf + 5 1550608046.444 * * [misc]simplify: Extracting #4: cost 117 inf + 1768 1550608046.450 * * [misc]simplify: Extracting #5: cost 39 inf + 13433 1550608046.463 * * [misc]simplify: Extracting #6: cost 0 inf + 20411 1550608046.476 * * [misc]simplify: Extracting #7: cost 0 inf + 20409 1550608046.488 * [exit]simplify: Simplified to (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1550608046.488 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (/ (/ 1 1) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))) 1550608046.489 * * * * [misc]progress: [ 74 / 88 ] simplifiying candidate # 1550608046.489 * [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))))))) 1550608046.489 * * [misc]simplify: iters left: 6 (12 enodes) 1550608046.493 * * [misc]simplify: iters left: 5 (56 enodes) 1550608046.503 * * [misc]simplify: iters left: 4 (129 enodes) 1550608046.545 * * [misc]simplify: iters left: 3 (429 enodes) 1550608046.712 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608046.712 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550608046.713 * * [misc]simplify: Extracting #2: cost 174 inf + 1 1550608046.714 * * [misc]simplify: Extracting #3: cost 274 inf + 6 1550608046.717 * * [misc]simplify: Extracting #4: cost 270 inf + 8572 1550608046.736 * * [misc]simplify: Extracting #5: cost 51 inf + 66250 1550608046.771 * * [misc]simplify: Extracting #6: cost 0 inf + 80585 1550608046.796 * * [misc]simplify: Extracting #7: cost 0 inf + 80182 1550608046.839 * [exit]simplify: Simplified to (+ 4 (* (- (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) 2) (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))) 1550608046.839 * [misc]simplify: Simplified (2 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ 4 (* (- (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) 2) (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))))))) 1550608046.839 * * * * [misc]progress: [ 75 / 88 ] simplifiying candidate # 1550608046.840 * [enter]simplify: Simplifying (- 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1550608046.840 * * [misc]simplify: iters left: 6 (8 enodes) 1550608046.844 * * [misc]simplify: iters left: 5 (31 enodes) 1550608046.855 * * [misc]simplify: iters left: 4 (51 enodes) 1550608046.873 * * [misc]simplify: iters left: 3 (103 enodes) 1550608046.903 * * [misc]simplify: iters left: 2 (190 enodes) 1550608046.944 * * [misc]simplify: iters left: 1 (309 enodes) 1550608047.036 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608047.036 * * [misc]simplify: Extracting #1: cost 44 inf + 0 1550608047.036 * * [misc]simplify: Extracting #2: cost 114 inf + 4 1550608047.037 * * [misc]simplify: Extracting #3: cost 131 inf + 4 1550608047.037 * * [misc]simplify: Extracting #4: cost 106 inf + 2634 1550608047.042 * * [misc]simplify: Extracting #5: cost 28 inf + 15545 1550608047.048 * * [misc]simplify: Extracting #6: cost 0 inf + 20759 1550608047.054 * * [misc]simplify: Extracting #7: cost 0 inf + 20595 1550608047.069 * [exit]simplify: Simplified to (- 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) 1550608047.069 * [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)))))))) 1550608047.069 * * * * [misc]progress: [ 76 / 88 ] simplifiying candidate #real (real->posit16 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))> 1550608047.069 * * * * [misc]progress: [ 77 / 88 ] simplifiying candidate # 1550608047.069 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1550608047.069 * * [misc]simplify: iters left: 6 (10 enodes) 1550608047.075 * * [misc]simplify: iters left: 5 (43 enodes) 1550608047.086 * * [misc]simplify: iters left: 4 (82 enodes) 1550608047.101 * * [misc]simplify: iters left: 3 (149 enodes) 1550608047.149 * * [misc]simplify: iters left: 2 (280 enodes) 1550608047.224 * * [misc]simplify: iters left: 1 (403 enodes) 1550608047.354 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608047.354 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608047.354 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1550608047.355 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1550608047.359 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1550608047.365 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1550608047.370 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1550608047.370 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))))))) 1550608047.370 * * * * [misc]progress: [ 78 / 88 ] simplifiying candidate # 1550608047.370 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608047.370 * * [misc]simplify: iters left: 6 (10 enodes) 1550608047.377 * * [misc]simplify: iters left: 5 (43 enodes) 1550608047.392 * * [misc]simplify: iters left: 4 (72 enodes) 1550608047.413 * * [misc]simplify: iters left: 3 (105 enodes) 1550608047.431 * * [misc]simplify: iters left: 2 (141 enodes) 1550608047.462 * * [misc]simplify: iters left: 1 (187 enodes) 1550608047.512 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608047.512 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608047.513 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608047.513 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608047.515 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608047.518 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608047.521 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608047.522 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608047.522 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))) 1550608047.523 * * * * [misc]progress: [ 79 / 88 ] simplifiying candidate # 1550608047.523 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608047.523 * * [misc]simplify: iters left: 6 (10 enodes) 1550608047.526 * * [misc]simplify: iters left: 5 (43 enodes) 1550608047.534 * * [misc]simplify: iters left: 4 (72 enodes) 1550608047.546 * * [misc]simplify: iters left: 3 (105 enodes) 1550608047.562 * * [misc]simplify: iters left: 2 (141 enodes) 1550608047.583 * * [misc]simplify: iters left: 1 (187 enodes) 1550608047.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608047.634 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608047.634 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608047.635 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608047.637 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608047.642 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608047.645 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608047.648 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608047.648 * [misc]simplify: Simplified (2 2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))) 1550608047.648 * * * * [misc]progress: [ 80 / 88 ] simplifiying candidate # 1550608047.648 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1550608047.649 * * [misc]simplify: iters left: 6 (10 enodes) 1550608047.654 * * [misc]simplify: iters left: 5 (43 enodes) 1550608047.668 * * [misc]simplify: iters left: 4 (82 enodes) 1550608047.695 * * [misc]simplify: iters left: 3 (149 enodes) 1550608047.749 * * [misc]simplify: iters left: 2 (280 enodes) 1550608047.842 * * [misc]simplify: iters left: 1 (403 enodes) 1550608047.968 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608047.968 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608047.968 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1550608047.969 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1550608047.970 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1550608047.973 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1550608047.976 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1550608047.976 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) (- 2 (/ 2 (+ 1 t)))))))) 1550608047.976 * * * * [misc]progress: [ 81 / 88 ] simplifiying candidate # 1550608047.976 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608047.976 * * [misc]simplify: iters left: 6 (10 enodes) 1550608047.980 * * [misc]simplify: iters left: 5 (43 enodes) 1550608047.990 * * [misc]simplify: iters left: 4 (72 enodes) 1550608048.012 * * [misc]simplify: iters left: 3 (105 enodes) 1550608048.044 * * [misc]simplify: iters left: 2 (141 enodes) 1550608048.073 * * [misc]simplify: iters left: 1 (187 enodes) 1550608048.114 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.114 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608048.114 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608048.115 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608048.117 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608048.120 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608048.123 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608048.126 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608048.126 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))) 1550608048.126 * * * * [misc]progress: [ 82 / 88 ] simplifiying candidate # 1550608048.127 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608048.127 * * [misc]simplify: iters left: 6 (10 enodes) 1550608048.133 * * [misc]simplify: iters left: 5 (43 enodes) 1550608048.148 * * [misc]simplify: iters left: 4 (72 enodes) 1550608048.172 * * [misc]simplify: iters left: 3 (105 enodes) 1550608048.203 * * [misc]simplify: iters left: 2 (141 enodes) 1550608048.239 * * [misc]simplify: iters left: 1 (187 enodes) 1550608048.268 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.268 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608048.268 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608048.269 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608048.271 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608048.276 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608048.279 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608048.282 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608048.282 * [misc]simplify: Simplified (2 2 2 2 1) to (λ (t) (- 1 (/ 1 (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))) 1550608048.283 * * * * [misc]progress: [ 83 / 88 ] simplifiying candidate # 1550608048.283 * [enter]simplify: Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))) 1550608048.283 * * [misc]simplify: iters left: 6 (14 enodes) 1550608048.292 * * [misc]simplify: iters left: 5 (53 enodes) 1550608048.310 * * [misc]simplify: iters left: 4 (87 enodes) 1550608048.340 * * [misc]simplify: iters left: 3 (148 enodes) 1550608048.366 * * [misc]simplify: iters left: 2 (203 enodes) 1550608048.396 * * [misc]simplify: iters left: 1 (236 enodes) 1550608048.432 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.433 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550608048.433 * * [misc]simplify: Extracting #2: cost 52 inf + 0 1550608048.433 * * [misc]simplify: Extracting #3: cost 66 inf + 48 1550608048.434 * * [misc]simplify: Extracting #4: cost 35 inf + 3347 1550608048.435 * * [misc]simplify: Extracting #5: cost 2 inf + 8996 1550608048.437 * * [misc]simplify: Extracting #6: cost 0 inf + 9162 1550608048.439 * [exit]simplify: Simplified to (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t)))) 1550608048.439 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t)))))))) 1550608048.439 * * * * [misc]progress: [ 84 / 88 ] simplifiying candidate # 1550608048.440 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1550608048.440 * * [misc]simplify: iters left: 6 (13 enodes) 1550608048.444 * * [misc]simplify: iters left: 5 (53 enodes) 1550608048.454 * * [misc]simplify: iters left: 4 (81 enodes) 1550608048.468 * * [misc]simplify: iters left: 3 (99 enodes) 1550608048.489 * * [misc]simplify: iters left: 2 (112 enodes) 1550608048.517 * * [misc]simplify: iters left: 1 (132 enodes) 1550608048.554 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.554 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550608048.554 * * [misc]simplify: Extracting #2: cost 42 inf + 1 1550608048.554 * * [misc]simplify: Extracting #3: cost 39 inf + 423 1550608048.555 * * [misc]simplify: Extracting #4: cost 20 inf + 1581 1550608048.557 * * [misc]simplify: Extracting #5: cost 3 inf + 3629 1550608048.559 * * [misc]simplify: Extracting #6: cost 0 inf + 3956 1550608048.561 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1550608048.561 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1550608048.561 * * * * [misc]progress: [ 85 / 88 ] simplifiying candidate # 1550608048.562 * [enter]simplify: Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))) 1550608048.562 * * [misc]simplify: iters left: 6 (13 enodes) 1550608048.571 * * [misc]simplify: iters left: 5 (53 enodes) 1550608048.590 * * [misc]simplify: iters left: 4 (81 enodes) 1550608048.615 * * [misc]simplify: iters left: 3 (99 enodes) 1550608048.642 * * [misc]simplify: iters left: 2 (112 enodes) 1550608048.659 * * [misc]simplify: iters left: 1 (132 enodes) 1550608048.679 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.679 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550608048.679 * * [misc]simplify: Extracting #2: cost 42 inf + 1 1550608048.680 * * [misc]simplify: Extracting #3: cost 39 inf + 423 1550608048.681 * * [misc]simplify: Extracting #4: cost 20 inf + 1581 1550608048.682 * * [misc]simplify: Extracting #5: cost 3 inf + 3629 1550608048.684 * * [misc]simplify: Extracting #6: cost 0 inf + 3956 1550608048.686 * [exit]simplify: Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t))) 1550608048.687 * [misc]simplify: Simplified (2 2 2 2) to (λ (t) (- 1 (/ 1 (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))) 1550608048.687 * * * * [misc]progress: [ 86 / 88 ] simplifiying candidate # 1550608048.687 * [enter]simplify: Simplifying (- (+ (* 2 (pow t 3)) 1/2) (pow t 2)) 1550608048.687 * * [misc]simplify: iters left: 6 (9 enodes) 1550608048.692 * * [misc]simplify: iters left: 5 (36 enodes) 1550608048.705 * * [misc]simplify: iters left: 4 (62 enodes) 1550608048.727 * * [misc]simplify: iters left: 3 (98 enodes) 1550608048.752 * * [misc]simplify: iters left: 2 (117 enodes) 1550608048.767 * * [misc]simplify: iters left: 1 (142 enodes) 1550608048.792 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.792 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550608048.792 * * [misc]simplify: Extracting #2: cost 36 inf + 1 1550608048.793 * * [misc]simplify: Extracting #3: cost 42 inf + 87 1550608048.793 * * [misc]simplify: Extracting #4: cost 18 inf + 2593 1550608048.794 * * [misc]simplify: Extracting #5: cost 0 inf + 4726 1550608048.796 * * [misc]simplify: Extracting #6: cost 0 inf + 4686 1550608048.797 * [exit]simplify: Simplified to (+ (* (- (* t (* 2 t)) t) t) 1/2) 1550608048.797 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (+ (* (- (* t (* 2 t)) t) t) 1/2))) 1550608048.797 * * * * [misc]progress: [ 87 / 88 ] simplifiying candidate # 1550608048.797 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1550608048.797 * * [misc]simplify: iters left: 6 (13 enodes) 1550608048.802 * * [misc]simplify: iters left: 5 (53 enodes) 1550608048.814 * * [misc]simplify: iters left: 4 (81 enodes) 1550608048.826 * * [misc]simplify: iters left: 3 (101 enodes) 1550608048.840 * * [misc]simplify: iters left: 2 (117 enodes) 1550608048.855 * * [misc]simplify: iters left: 1 (133 enodes) 1550608048.874 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.874 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550608048.874 * * [misc]simplify: Extracting #2: cost 39 inf + 1 1550608048.874 * * [misc]simplify: Extracting #3: cost 39 inf + 173 1550608048.875 * * [misc]simplify: Extracting #4: cost 15 inf + 1946 1550608048.875 * * [misc]simplify: Extracting #5: cost 0 inf + 3666 1550608048.876 * [exit]simplify: Simplified to (- (+ 1/6 (/ -1/27 (* t t))) (/ -2/9 t)) 1550608048.876 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (- (+ 1/6 (/ -1/27 (* t t))) (/ -2/9 t)))) 1550608048.877 * * * * [misc]progress: [ 88 / 88 ] simplifiying candidate # 1550608048.877 * [enter]simplify: Simplifying (- (+ (* 2/9 (/ 1 t)) 1/6) (* 1/27 (/ 1 (pow t 2)))) 1550608048.877 * * [misc]simplify: iters left: 6 (13 enodes) 1550608048.881 * * [misc]simplify: iters left: 5 (53 enodes) 1550608048.899 * * [misc]simplify: iters left: 4 (81 enodes) 1550608048.910 * * [misc]simplify: iters left: 3 (101 enodes) 1550608048.924 * * [misc]simplify: iters left: 2 (117 enodes) 1550608048.939 * * [misc]simplify: iters left: 1 (133 enodes) 1550608048.960 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608048.960 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550608048.960 * * [misc]simplify: Extracting #2: cost 39 inf + 1 1550608048.960 * * [misc]simplify: Extracting #3: cost 39 inf + 173 1550608048.961 * * [misc]simplify: Extracting #4: cost 15 inf + 1946 1550608048.963 * * [misc]simplify: Extracting #5: cost 0 inf + 3666 1550608048.965 * [exit]simplify: Simplified to (- (+ 1/6 (/ -1/27 (* t t))) (/ -2/9 t)) 1550608048.965 * [misc]simplify: Simplified (2 2) to (λ (t) (- 1 (- (+ 1/6 (/ -1/27 (* t t))) (/ -2/9 t)))) 1550608048.965 * * * [misc]progress: adding candidates to table 1550608049.683 * * [misc]progress: iteration 2 / 4 1550608049.683 * * * [misc]progress: picking best candidate 1550608049.687 * * * * [misc]pick: Picked # 1550608049.687 * * * [misc]progress: localizing error 1550608049.720 * * * [misc]progress: generating rewritten candidates 1550608049.720 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 2) 1550608049.721 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 2 2 1) 1550608049.722 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2) 1550608049.723 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 1) 1550608049.725 * * * [misc]progress: generating series expansions 1550608049.725 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2 2 2) 1550608049.725 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1550608049.725 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1550608049.725 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.725 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.725 * [misc]backup-simplify: Simplify 2 into 2 1550608049.725 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.725 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.725 * [misc]backup-simplify: Simplify 2 into 2 1550608049.725 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.725 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.725 * [misc]taylor: Taking taylor expansion of t in t 1550608049.725 * [misc]backup-simplify: Simplify 0 into 0 1550608049.725 * [misc]backup-simplify: Simplify 1 into 1 1550608049.725 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.725 * [misc]backup-simplify: Simplify 1 into 1 1550608049.726 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.726 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.726 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.726 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.726 * [misc]backup-simplify: Simplify 2 into 2 1550608049.726 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.726 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.726 * [misc]backup-simplify: Simplify 2 into 2 1550608049.726 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.726 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.726 * [misc]taylor: Taking taylor expansion of t in t 1550608049.726 * [misc]backup-simplify: Simplify 0 into 0 1550608049.726 * [misc]backup-simplify: Simplify 1 into 1 1550608049.726 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.726 * [misc]backup-simplify: Simplify 1 into 1 1550608049.726 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.726 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.727 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.727 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.727 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608049.727 * [misc]backup-simplify: Simplify 0 into 0 1550608049.727 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.728 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.728 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.728 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.728 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.728 * [misc]backup-simplify: Simplify 2 into 2 1550608049.728 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.728 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608049.729 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608049.729 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.729 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.729 * [misc]backup-simplify: Simplify -2 into -2 1550608049.729 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.729 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608049.729 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608049.729 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.729 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.730 * [misc]backup-simplify: Simplify 2 into 2 1550608049.730 * [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))) 1550608049.730 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1550608049.730 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1550608049.730 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.730 * [misc]backup-simplify: Simplify 2 into 2 1550608049.730 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.730 * [misc]backup-simplify: Simplify 2 into 2 1550608049.730 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of t in t 1550608049.730 * [misc]backup-simplify: Simplify 0 into 0 1550608049.730 * [misc]backup-simplify: Simplify 1 into 1 1550608049.730 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.730 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.730 * [misc]backup-simplify: Simplify 1 into 1 1550608049.730 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.730 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.730 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.730 * [misc]backup-simplify: Simplify 2 into 2 1550608049.730 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.730 * [misc]backup-simplify: Simplify 2 into 2 1550608049.730 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.730 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.731 * [misc]taylor: Taking taylor expansion of t in t 1550608049.731 * [misc]backup-simplify: Simplify 0 into 0 1550608049.731 * [misc]backup-simplify: Simplify 1 into 1 1550608049.731 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.731 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.731 * [misc]backup-simplify: Simplify 1 into 1 1550608049.731 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.731 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.731 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.731 * [misc]backup-simplify: Simplify 2 into 2 1550608049.731 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.731 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.731 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.731 * [misc]backup-simplify: Simplify -2 into -2 1550608049.731 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.732 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.732 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.732 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.732 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.732 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.732 * [misc]backup-simplify: Simplify 2 into 2 1550608049.732 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.732 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1550608049.732 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1550608049.732 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.732 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.732 * [misc]backup-simplify: Simplify 2 into 2 1550608049.732 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.732 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.732 * [misc]backup-simplify: Simplify 2 into 2 1550608049.732 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.732 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.732 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.732 * [misc]backup-simplify: Simplify 1 into 1 1550608049.732 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.733 * [misc]taylor: Taking taylor expansion of t in t 1550608049.733 * [misc]backup-simplify: Simplify 0 into 0 1550608049.733 * [misc]backup-simplify: Simplify 1 into 1 1550608049.733 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.733 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.733 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.733 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.733 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.733 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.733 * [misc]backup-simplify: Simplify 2 into 2 1550608049.733 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.733 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.733 * [misc]backup-simplify: Simplify 2 into 2 1550608049.733 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.733 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.733 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.733 * [misc]backup-simplify: Simplify 1 into 1 1550608049.733 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.733 * [misc]taylor: Taking taylor expansion of t in t 1550608049.733 * [misc]backup-simplify: Simplify 0 into 0 1550608049.733 * [misc]backup-simplify: Simplify 1 into 1 1550608049.733 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.733 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.733 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.734 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.734 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.734 * [misc]backup-simplify: Simplify 2 into 2 1550608049.734 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608049.734 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.734 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.734 * [misc]backup-simplify: Simplify 2 into 2 1550608049.734 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.734 * [misc]backup-simplify: Simplify (- 0) into 0 1550608049.734 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.734 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608049.735 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608049.735 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.735 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.735 * [misc]backup-simplify: Simplify 2 into 2 1550608049.735 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.735 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 2 2 1) 1550608049.735 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1550608049.735 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1550608049.735 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.735 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.735 * [misc]backup-simplify: Simplify 2 into 2 1550608049.735 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.735 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.735 * [misc]backup-simplify: Simplify 2 into 2 1550608049.735 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.735 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.736 * [misc]taylor: Taking taylor expansion of t in t 1550608049.736 * [misc]backup-simplify: Simplify 0 into 0 1550608049.736 * [misc]backup-simplify: Simplify 1 into 1 1550608049.736 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.736 * [misc]backup-simplify: Simplify 1 into 1 1550608049.736 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.736 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.736 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.736 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.736 * [misc]backup-simplify: Simplify 2 into 2 1550608049.736 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.736 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.736 * [misc]backup-simplify: Simplify 2 into 2 1550608049.736 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.736 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.736 * [misc]taylor: Taking taylor expansion of t in t 1550608049.736 * [misc]backup-simplify: Simplify 0 into 0 1550608049.736 * [misc]backup-simplify: Simplify 1 into 1 1550608049.736 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.736 * [misc]backup-simplify: Simplify 1 into 1 1550608049.736 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.736 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.736 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.736 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.737 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608049.737 * [misc]backup-simplify: Simplify 0 into 0 1550608049.737 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.737 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.737 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.737 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.737 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.737 * [misc]backup-simplify: Simplify 2 into 2 1550608049.737 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.737 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608049.738 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608049.738 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.738 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.738 * [misc]backup-simplify: Simplify -2 into -2 1550608049.738 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.738 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608049.738 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608049.738 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.738 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.738 * [misc]backup-simplify: Simplify 2 into 2 1550608049.739 * [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))) 1550608049.739 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1550608049.739 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1550608049.739 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.739 * [misc]backup-simplify: Simplify 2 into 2 1550608049.739 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.739 * [misc]backup-simplify: Simplify 2 into 2 1550608049.739 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of t in t 1550608049.739 * [misc]backup-simplify: Simplify 0 into 0 1550608049.739 * [misc]backup-simplify: Simplify 1 into 1 1550608049.739 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.739 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.739 * [misc]backup-simplify: Simplify 1 into 1 1550608049.739 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.739 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.739 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.739 * [misc]backup-simplify: Simplify 2 into 2 1550608049.739 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.739 * [misc]backup-simplify: Simplify 2 into 2 1550608049.739 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.739 * [misc]taylor: Taking taylor expansion of t in t 1550608049.739 * [misc]backup-simplify: Simplify 0 into 0 1550608049.739 * [misc]backup-simplify: Simplify 1 into 1 1550608049.740 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.740 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.740 * [misc]backup-simplify: Simplify 1 into 1 1550608049.740 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.740 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.740 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.740 * [misc]backup-simplify: Simplify 2 into 2 1550608049.740 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.740 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.740 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.740 * [misc]backup-simplify: Simplify -2 into -2 1550608049.740 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.741 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.741 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.741 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.741 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.741 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.741 * [misc]backup-simplify: Simplify 2 into 2 1550608049.741 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.741 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1550608049.741 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1550608049.741 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.741 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.741 * [misc]backup-simplify: Simplify 2 into 2 1550608049.741 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.741 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.741 * [misc]backup-simplify: Simplify 2 into 2 1550608049.741 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.741 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.741 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.741 * [misc]backup-simplify: Simplify 1 into 1 1550608049.741 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.741 * [misc]taylor: Taking taylor expansion of t in t 1550608049.741 * [misc]backup-simplify: Simplify 0 into 0 1550608049.741 * [misc]backup-simplify: Simplify 1 into 1 1550608049.742 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.742 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.742 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.742 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.742 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.742 * [misc]backup-simplify: Simplify 2 into 2 1550608049.742 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.742 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.742 * [misc]backup-simplify: Simplify 2 into 2 1550608049.742 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.742 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.742 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.742 * [misc]backup-simplify: Simplify 1 into 1 1550608049.742 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.742 * [misc]taylor: Taking taylor expansion of t in t 1550608049.742 * [misc]backup-simplify: Simplify 0 into 0 1550608049.742 * [misc]backup-simplify: Simplify 1 into 1 1550608049.742 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.742 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.742 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.742 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.743 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.743 * [misc]backup-simplify: Simplify 2 into 2 1550608049.743 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608049.743 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.743 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.743 * [misc]backup-simplify: Simplify 2 into 2 1550608049.743 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.743 * [misc]backup-simplify: Simplify (- 0) into 0 1550608049.743 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.744 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608049.744 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608049.744 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.744 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.744 * [misc]backup-simplify: Simplify 2 into 2 1550608049.744 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.744 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2) 1550608049.744 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1550608049.744 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1550608049.744 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.744 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.744 * [misc]backup-simplify: Simplify 2 into 2 1550608049.744 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.744 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.744 * [misc]backup-simplify: Simplify 2 into 2 1550608049.744 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.744 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.744 * [misc]taylor: Taking taylor expansion of t in t 1550608049.744 * [misc]backup-simplify: Simplify 0 into 0 1550608049.744 * [misc]backup-simplify: Simplify 1 into 1 1550608049.744 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.744 * [misc]backup-simplify: Simplify 1 into 1 1550608049.745 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.745 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.745 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.745 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.745 * [misc]backup-simplify: Simplify 2 into 2 1550608049.745 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.745 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.745 * [misc]backup-simplify: Simplify 2 into 2 1550608049.745 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.745 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.745 * [misc]taylor: Taking taylor expansion of t in t 1550608049.745 * [misc]backup-simplify: Simplify 0 into 0 1550608049.745 * [misc]backup-simplify: Simplify 1 into 1 1550608049.745 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.745 * [misc]backup-simplify: Simplify 1 into 1 1550608049.745 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.745 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.745 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.745 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.745 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608049.745 * [misc]backup-simplify: Simplify 0 into 0 1550608049.745 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.746 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.746 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.746 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.746 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.746 * [misc]backup-simplify: Simplify 2 into 2 1550608049.746 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.746 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608049.746 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608049.746 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.747 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.747 * [misc]backup-simplify: Simplify -2 into -2 1550608049.747 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.747 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608049.747 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608049.747 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.747 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.747 * [misc]backup-simplify: Simplify 2 into 2 1550608049.747 * [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))) 1550608049.748 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1550608049.748 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1550608049.748 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.748 * [misc]backup-simplify: Simplify 2 into 2 1550608049.748 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.748 * [misc]backup-simplify: Simplify 2 into 2 1550608049.748 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of t in t 1550608049.748 * [misc]backup-simplify: Simplify 0 into 0 1550608049.748 * [misc]backup-simplify: Simplify 1 into 1 1550608049.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.748 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.748 * [misc]backup-simplify: Simplify 1 into 1 1550608049.748 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.748 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.748 * [misc]backup-simplify: Simplify 2 into 2 1550608049.748 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.748 * [misc]backup-simplify: Simplify 2 into 2 1550608049.748 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.748 * [misc]taylor: Taking taylor expansion of t in t 1550608049.748 * [misc]backup-simplify: Simplify 0 into 0 1550608049.748 * [misc]backup-simplify: Simplify 1 into 1 1550608049.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.748 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.748 * [misc]backup-simplify: Simplify 1 into 1 1550608049.749 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.749 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.749 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.749 * [misc]backup-simplify: Simplify 2 into 2 1550608049.749 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.749 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.749 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.749 * [misc]backup-simplify: Simplify -2 into -2 1550608049.749 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.749 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.750 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.750 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.750 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.750 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.750 * [misc]backup-simplify: Simplify 2 into 2 1550608049.750 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.750 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1550608049.750 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1550608049.750 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.750 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.750 * [misc]backup-simplify: Simplify 2 into 2 1550608049.750 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.750 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.750 * [misc]backup-simplify: Simplify 2 into 2 1550608049.750 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.750 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.750 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.750 * [misc]backup-simplify: Simplify 1 into 1 1550608049.750 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.750 * [misc]taylor: Taking taylor expansion of t in t 1550608049.750 * [misc]backup-simplify: Simplify 0 into 0 1550608049.750 * [misc]backup-simplify: Simplify 1 into 1 1550608049.750 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.751 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.751 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.751 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.751 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.751 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.751 * [misc]backup-simplify: Simplify 2 into 2 1550608049.751 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.751 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.751 * [misc]backup-simplify: Simplify 2 into 2 1550608049.751 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.751 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.751 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.751 * [misc]backup-simplify: Simplify 1 into 1 1550608049.751 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.751 * [misc]taylor: Taking taylor expansion of t in t 1550608049.751 * [misc]backup-simplify: Simplify 0 into 0 1550608049.751 * [misc]backup-simplify: Simplify 1 into 1 1550608049.751 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.751 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.751 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.751 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.751 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.752 * [misc]backup-simplify: Simplify 2 into 2 1550608049.752 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608049.752 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.752 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.752 * [misc]backup-simplify: Simplify 2 into 2 1550608049.752 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.752 * [misc]backup-simplify: Simplify (- 0) into 0 1550608049.752 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.752 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608049.752 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608049.753 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.753 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.753 * [misc]backup-simplify: Simplify 2 into 2 1550608049.753 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.753 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 2 1 2 1) 1550608049.753 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1)))) 1550608049.753 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0 1550608049.753 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.753 * [misc]backup-simplify: Simplify 2 into 2 1550608049.753 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.753 * [misc]backup-simplify: Simplify 2 into 2 1550608049.753 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of t in t 1550608049.753 * [misc]backup-simplify: Simplify 0 into 0 1550608049.753 * [misc]backup-simplify: Simplify 1 into 1 1550608049.753 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.753 * [misc]backup-simplify: Simplify 1 into 1 1550608049.753 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.753 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.753 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.753 * [misc]backup-simplify: Simplify 2 into 2 1550608049.753 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.753 * [misc]backup-simplify: Simplify 2 into 2 1550608049.753 * [misc]taylor: Taking taylor expansion of (/ 1 (+ t 1)) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of (+ t 1) in t 1550608049.753 * [misc]taylor: Taking taylor expansion of t in t 1550608049.753 * [misc]backup-simplify: Simplify 0 into 0 1550608049.754 * [misc]backup-simplify: Simplify 1 into 1 1550608049.754 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.754 * [misc]backup-simplify: Simplify 1 into 1 1550608049.754 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.754 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.754 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.754 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.754 * [misc]backup-simplify: Simplify (+ 2 -2) into 0 1550608049.754 * [misc]backup-simplify: Simplify 0 into 0 1550608049.754 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.754 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.754 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.755 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.755 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.755 * [misc]backup-simplify: Simplify 2 into 2 1550608049.755 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.755 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1 1550608049.755 * [misc]backup-simplify: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2 1550608049.755 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.755 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.755 * [misc]backup-simplify: Simplify -2 into -2 1550608049.755 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550608049.756 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1 1550608049.756 * [misc]backup-simplify: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2 1550608049.756 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.756 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.756 * [misc]backup-simplify: Simplify 2 into 2 1550608049.756 * [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))) 1550608049.756 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) 1550608049.756 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 1550608049.756 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.756 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.756 * [misc]backup-simplify: Simplify 2 into 2 1550608049.756 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.756 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.757 * [misc]backup-simplify: Simplify 2 into 2 1550608049.757 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of t in t 1550608049.757 * [misc]backup-simplify: Simplify 0 into 0 1550608049.757 * [misc]backup-simplify: Simplify 1 into 1 1550608049.757 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.757 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.757 * [misc]backup-simplify: Simplify 1 into 1 1550608049.757 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.757 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.757 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.757 * [misc]backup-simplify: Simplify 2 into 2 1550608049.757 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.757 * [misc]backup-simplify: Simplify 2 into 2 1550608049.757 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of (+ (/ 1 t) 1) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.757 * [misc]taylor: Taking taylor expansion of t in t 1550608049.757 * [misc]backup-simplify: Simplify 0 into 0 1550608049.757 * [misc]backup-simplify: Simplify 1 into 1 1550608049.758 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.758 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.758 * [misc]backup-simplify: Simplify 1 into 1 1550608049.758 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.758 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.758 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.758 * [misc]backup-simplify: Simplify 2 into 2 1550608049.758 * [misc]backup-simplify: Simplify (* 2 1) into 2 1550608049.759 * [misc]backup-simplify: Simplify (- 2) into -2 1550608049.759 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 1550608049.759 * [misc]backup-simplify: Simplify -2 into -2 1550608049.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.759 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1550608049.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1550608049.760 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 1)) into -2 1550608049.760 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.760 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.760 * [misc]backup-simplify: Simplify 2 into 2 1550608049.760 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.760 * [misc]backup-simplify: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) 1550608049.760 * [misc]approximate: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 1550608049.760 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.760 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.760 * [misc]backup-simplify: Simplify 2 into 2 1550608049.760 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.760 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.760 * [misc]backup-simplify: Simplify 2 into 2 1550608049.760 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.761 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.761 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.761 * [misc]backup-simplify: Simplify 1 into 1 1550608049.761 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.761 * [misc]taylor: Taking taylor expansion of t in t 1550608049.761 * [misc]backup-simplify: Simplify 0 into 0 1550608049.761 * [misc]backup-simplify: Simplify 1 into 1 1550608049.761 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.761 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.761 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.761 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.761 * [misc]taylor: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t 1550608049.761 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.761 * [misc]backup-simplify: Simplify 2 into 2 1550608049.761 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t 1550608049.761 * [misc]taylor: Taking taylor expansion of 2 in t 1550608049.761 * [misc]backup-simplify: Simplify 2 into 2 1550608049.761 * [misc]taylor: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 1550608049.761 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 t)) in t 1550608049.762 * [misc]taylor: Taking taylor expansion of 1 in t 1550608049.762 * [misc]backup-simplify: Simplify 1 into 1 1550608049.762 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t 1550608049.762 * [misc]taylor: Taking taylor expansion of t in t 1550608049.762 * [misc]backup-simplify: Simplify 0 into 0 1550608049.762 * [misc]backup-simplify: Simplify 1 into 1 1550608049.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550608049.762 * [misc]backup-simplify: Simplify (- 1) into -1 1550608049.762 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550608049.762 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 1550608049.762 * [misc]backup-simplify: Simplify (+ 2 0) into 2 1550608049.762 * [misc]backup-simplify: Simplify 2 into 2 1550608049.763 * [misc]backup-simplify: Simplify (* 2 -1) into -2 1550608049.763 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.763 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.763 * [misc]backup-simplify: Simplify 2 into 2 1550608049.763 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550608049.763 * [misc]backup-simplify: Simplify (- 0) into 0 1550608049.764 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550608049.764 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 1 -1)))) into -1 1550608049.764 * [misc]backup-simplify: Simplify (+ (* 2 -1) (* 0 -1)) into -2 1550608049.764 * [misc]backup-simplify: Simplify (- -2) into 2 1550608049.764 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1550608049.764 * [misc]backup-simplify: Simplify 2 into 2 1550608049.765 * [misc]backup-simplify: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608049.765 * * * [misc]progress: simplifying candidates 1550608049.765 * * * * [misc]progress: [ 1 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 2 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 3 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 4 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 5 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 6 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 7 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 8 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 9 / 60 ] simplifiying candidate # 1550608049.765 * * * * [misc]progress: [ 10 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 11 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 12 / 60 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))))))))))> 1550608049.766 * * * * [misc]progress: [ 13 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 14 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 15 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 16 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 17 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 18 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 19 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 20 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 21 / 60 ] simplifiying candidate # 1550608049.766 * * * * [misc]progress: [ 22 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 23 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 24 / 60 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))))))))> 1550608049.767 * * * * [misc]progress: [ 25 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 26 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 27 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 28 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 29 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 30 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 31 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 32 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 33 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 34 / 60 ] simplifiying candidate # 1550608049.767 * * * * [misc]progress: [ 35 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 36 / 60 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))> 1550608049.768 * * * * [misc]progress: [ 37 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 38 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 39 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 40 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 41 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 42 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 43 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 44 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 45 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 46 / 60 ] simplifiying candidate # 1550608049.768 * * * * [misc]progress: [ 47 / 60 ] simplifiying candidate # 1550608049.769 * * * * [misc]progress: [ 48 / 60 ] simplifiying candidate #real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))))))> 1550608049.769 * * * * [misc]progress: [ 49 / 60 ] simplifiying candidate # 1550608049.769 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1550608049.769 * * [misc]simplify: iters left: 6 (10 enodes) 1550608049.775 * * [misc]simplify: iters left: 5 (43 enodes) 1550608049.791 * * [misc]simplify: iters left: 4 (82 enodes) 1550608049.818 * * [misc]simplify: iters left: 3 (149 enodes) 1550608049.849 * * [misc]simplify: iters left: 2 (280 enodes) 1550608049.907 * * [misc]simplify: iters left: 1 (403 enodes) 1550608050.054 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608050.054 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608050.054 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1550608050.055 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1550608050.062 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1550608050.067 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1550608050.072 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1550608050.072 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))))))))) 1550608050.072 * * * * [misc]progress: [ 50 / 60 ] simplifiying candidate # 1550608050.073 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608050.073 * * [misc]simplify: iters left: 6 (10 enodes) 1550608050.079 * * [misc]simplify: iters left: 5 (43 enodes) 1550608050.094 * * [misc]simplify: iters left: 4 (72 enodes) 1550608050.115 * * [misc]simplify: iters left: 3 (105 enodes) 1550608050.146 * * [misc]simplify: iters left: 2 (141 enodes) 1550608050.168 * * [misc]simplify: iters left: 1 (187 enodes) 1550608050.215 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608050.216 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608050.216 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608050.217 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608050.219 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608050.222 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608050.225 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608050.228 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608050.228 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))))) 1550608050.229 * * * * [misc]progress: [ 51 / 60 ] simplifiying candidate # 1550608050.229 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608050.229 * * [misc]simplify: iters left: 6 (10 enodes) 1550608050.235 * * [misc]simplify: iters left: 5 (43 enodes) 1550608050.250 * * [misc]simplify: iters left: 4 (72 enodes) 1550608050.272 * * [misc]simplify: iters left: 3 (105 enodes) 1550608050.290 * * [misc]simplify: iters left: 2 (141 enodes) 1550608050.314 * * [misc]simplify: iters left: 1 (187 enodes) 1550608050.349 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608050.349 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608050.349 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608050.350 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608050.352 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608050.355 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608050.358 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608050.361 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608050.361 * [misc]simplify: Simplified (2 2 2 2 2 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))))) 1550608050.362 * * * * [misc]progress: [ 52 / 60 ] simplifiying candidate # 1550608050.362 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1550608050.362 * * [misc]simplify: iters left: 6 (10 enodes) 1550608050.368 * * [misc]simplify: iters left: 5 (43 enodes) 1550608050.384 * * [misc]simplify: iters left: 4 (82 enodes) 1550608050.416 * * [misc]simplify: iters left: 3 (149 enodes) 1550608050.478 * * [misc]simplify: iters left: 2 (280 enodes) 1550608050.563 * * [misc]simplify: iters left: 1 (403 enodes) 1550608050.675 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608050.675 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608050.675 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1550608050.676 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1550608050.679 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1550608050.681 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1550608050.684 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1550608050.684 * [misc]simplify: Simplified (2 2 2 2 2 2 1) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608050.684 * * * * [misc]progress: [ 53 / 60 ] simplifiying candidate # 1550608050.685 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608050.685 * * [misc]simplify: iters left: 6 (10 enodes) 1550608050.691 * * [misc]simplify: iters left: 5 (43 enodes) 1550608050.706 * * [misc]simplify: iters left: 4 (72 enodes) 1550608050.728 * * [misc]simplify: iters left: 3 (105 enodes) 1550608050.753 * * [misc]simplify: iters left: 2 (141 enodes) 1550608050.776 * * [misc]simplify: iters left: 1 (187 enodes) 1550608050.832 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608050.832 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608050.832 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608050.833 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608050.835 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608050.838 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608050.841 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608050.845 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608050.845 * [misc]simplify: Simplified (2 2 2 2 2 2 1) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))))) 1550608050.845 * * * * [misc]progress: [ 54 / 60 ] simplifiying candidate # 1550608050.845 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608050.846 * * [misc]simplify: iters left: 6 (10 enodes) 1550608050.852 * * [misc]simplify: iters left: 5 (43 enodes) 1550608050.867 * * [misc]simplify: iters left: 4 (72 enodes) 1550608050.888 * * [misc]simplify: iters left: 3 (105 enodes) 1550608050.908 * * [misc]simplify: iters left: 2 (141 enodes) 1550608050.931 * * [misc]simplify: iters left: 1 (187 enodes) 1550608050.963 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608050.963 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608050.963 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608050.964 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608050.966 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608050.969 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608050.972 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608050.976 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608050.976 * [misc]simplify: Simplified (2 2 2 2 2 2 1) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))))) 1550608050.976 * * * * [misc]progress: [ 55 / 60 ] simplifiying candidate # 1550608050.977 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1550608050.977 * * [misc]simplify: iters left: 6 (10 enodes) 1550608050.982 * * [misc]simplify: iters left: 5 (43 enodes) 1550608050.990 * * [misc]simplify: iters left: 4 (82 enodes) 1550608051.007 * * [misc]simplify: iters left: 3 (149 enodes) 1550608051.039 * * [misc]simplify: iters left: 2 (280 enodes) 1550608051.113 * * [misc]simplify: iters left: 1 (403 enodes) 1550608051.265 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608051.265 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608051.266 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1550608051.266 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1550608051.270 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1550608051.272 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1550608051.275 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1550608051.275 * [misc]simplify: Simplified (2 2 2 2 1 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (+ (* 2 t) (* (- (* 2 t) 2) (* t t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608051.275 * * * * [misc]progress: [ 56 / 60 ] simplifiying candidate # 1550608051.275 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608051.276 * * [misc]simplify: iters left: 6 (10 enodes) 1550608051.279 * * [misc]simplify: iters left: 5 (43 enodes) 1550608051.289 * * [misc]simplify: iters left: 4 (72 enodes) 1550608051.311 * * [misc]simplify: iters left: 3 (105 enodes) 1550608051.329 * * [misc]simplify: iters left: 2 (141 enodes) 1550608051.356 * * [misc]simplify: iters left: 1 (187 enodes) 1550608051.411 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608051.411 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608051.412 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608051.412 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608051.414 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608051.417 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608051.421 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608051.424 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608051.424 * [misc]simplify: Simplified (2 2 2 2 1 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608051.424 * * * * [misc]progress: [ 57 / 60 ] simplifiying candidate # 1550608051.425 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608051.425 * * [misc]simplify: iters left: 6 (10 enodes) 1550608051.431 * * [misc]simplify: iters left: 5 (43 enodes) 1550608051.442 * * [misc]simplify: iters left: 4 (72 enodes) 1550608051.453 * * [misc]simplify: iters left: 3 (105 enodes) 1550608051.474 * * [misc]simplify: iters left: 2 (141 enodes) 1550608051.508 * * [misc]simplify: iters left: 1 (187 enodes) 1550608051.539 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608051.540 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608051.540 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608051.541 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608051.542 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608051.545 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608051.549 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608051.552 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608051.552 * [misc]simplify: Simplified (2 2 2 2 1 2 2) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608051.553 * * * * [misc]progress: [ 58 / 60 ] simplifiying candidate # 1550608051.553 * [enter]simplify: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1550608051.553 * * [misc]simplify: iters left: 6 (10 enodes) 1550608051.559 * * [misc]simplify: iters left: 5 (43 enodes) 1550608051.568 * * [misc]simplify: iters left: 4 (82 enodes) 1550608051.585 * * [misc]simplify: iters left: 3 (149 enodes) 1550608051.630 * * [misc]simplify: iters left: 2 (280 enodes) 1550608051.716 * * [misc]simplify: iters left: 1 (403 enodes) 1550608051.810 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608051.810 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1550608051.811 * * [misc]simplify: Extracting #2: cost 59 inf + 2 1550608051.812 * * [misc]simplify: Extracting #3: cost 58 inf + 1311 1550608051.818 * * [misc]simplify: Extracting #4: cost 10 inf + 6671 1550608051.823 * * [misc]simplify: Extracting #5: cost 0 inf + 7926 1550608051.828 * [exit]simplify: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) 1550608051.828 * [misc]simplify: Simplified (2 2 2 2 1 2 1) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608051.829 * * * * [misc]progress: [ 59 / 60 ] simplifiying candidate # 1550608051.829 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608051.829 * * [misc]simplify: iters left: 6 (10 enodes) 1550608051.836 * * [misc]simplify: iters left: 5 (43 enodes) 1550608051.844 * * [misc]simplify: iters left: 4 (72 enodes) 1550608051.855 * * [misc]simplify: iters left: 3 (105 enodes) 1550608051.872 * * [misc]simplify: iters left: 2 (141 enodes) 1550608051.905 * * [misc]simplify: iters left: 1 (187 enodes) 1550608051.961 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608051.961 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608051.961 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608051.961 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608051.962 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608051.964 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608051.965 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608051.967 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608051.967 * [misc]simplify: Simplified (2 2 2 2 1 2 1) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608051.967 * * * * [misc]progress: [ 60 / 60 ] simplifiying candidate # 1550608051.967 * [enter]simplify: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1550608051.967 * * [misc]simplify: iters left: 6 (10 enodes) 1550608051.971 * * [misc]simplify: iters left: 5 (43 enodes) 1550608051.979 * * [misc]simplify: iters left: 4 (72 enodes) 1550608051.991 * * [misc]simplify: iters left: 3 (105 enodes) 1550608052.024 * * [misc]simplify: iters left: 2 (141 enodes) 1550608052.068 * * [misc]simplify: iters left: 1 (187 enodes) 1550608052.121 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608052.122 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550608052.122 * * [misc]simplify: Extracting #2: cost 49 inf + 1 1550608052.123 * * [misc]simplify: Extracting #3: cost 42 inf + 1233 1550608052.125 * * [misc]simplify: Extracting #4: cost 15 inf + 3967 1550608052.128 * * [misc]simplify: Extracting #5: cost 1 inf + 5796 1550608052.131 * * [misc]simplify: Extracting #6: cost 0 inf + 5998 1550608052.134 * [exit]simplify: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t)) 1550608052.134 * [misc]simplify: Simplified (2 2 2 2 1 2 1) to (λ (t) (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 2 2) (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (* 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))))) 1550608052.135 * * * [misc]progress: adding candidates to table 1550608053.044 * [misc]progress: [Phase 3 of 3] Extracting. 1550608053.050 * [enter]simplify: Simplifying (- 1 (* (/ 1 (+ (pow 2 3) (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (* 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))))))))) 1550608053.050 * * [misc]simplify: iters left: 6 (19 enodes) 1550608053.051 * * [misc]simplify: iters left: 5 (28 enodes) 1550608053.052 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550608053.052 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550608053.052 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1550608053.052 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550608053.052 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1550608053.052 * * [misc]simplify: Extracting #5: cost 12 inf + 3 1550608053.053 * * [misc]simplify: Extracting #6: cost 11 inf + 5 1550608053.053 * * [misc]simplify: Extracting #7: cost 12 inf + 5 1550608053.053 * * [misc]simplify: Extracting #8: cost 13 inf + 5 1550608053.053 * * [misc]simplify: Extracting #9: cost 14 inf + 5 1550608053.053 * * [misc]simplify: Extracting #10: cost 12 inf + 48 1550608053.053 * * [misc]simplify: Extracting #11: cost 10 inf + 254 1550608053.053 * * [misc]simplify: Extracting #12: cost 5 inf + 1480 1550608053.053 * * [misc]simplify: Extracting #13: cost 2 inf + 2674 1550608053.054 * * [misc]simplify: Extracting #14: cost 0 inf + 4026 1550608053.054 * [exit]simplify: Simplified to (- 1 (* (/ 1 (+ 8 (pow (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 3))) (+ (- (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) 2)) 4))) 1550608054.993 * [misc]regime-testing: Baseline error score: 0.009376172021502687 1550608054.994 * [misc]regime-testing: Oracle error score: 0.009376172021502687 1550608054.994 * [misc]regime-testing: End program error score: 0.009376172021502687