1552122116.891 * [progress]: [Phase 1 of 3] Setting up.
1552122116.891 * * * [progress]: [1/2] Preparing points
1552122116.956 * * * [progress]: [2/2] Setting up program.
1552122116.961 * [progress]: [Phase 2 of 3] Improving.
1552122116.961 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1552122116.961 * [simplify]: Simplifying (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))
1552122116.961 * * [simplify]: iters left: 6 (12 enodes)
1552122116.970 * * [simplify]: iters left: 5 (45 enodes)
1552122116.985 * * [simplify]: iters left: 4 (66 enodes)
1552122117.008 * * [simplify]: iters left: 3 (130 enodes)
1552122117.049 * * [simplify]: iters left: 2 (288 enodes)
1552122117.125 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122117.125 * * [simplify]: Extracting #1: cost 6 inf + 0
1552122117.125 * * [simplify]: Extracting #2: cost 54 inf + 0
1552122117.125 * * [simplify]: Extracting #3: cost 161 inf + 3
1552122117.126 * * [simplify]: Extracting #4: cost 184 inf + 214
1552122117.129 * * [simplify]: Extracting #5: cost 120 inf + 12249
1552122117.140 * * [simplify]: Extracting #6: cost 16 inf + 32318
1552122117.158 * * [simplify]: Extracting #7: cost 0 inf + 32013
1552122117.170 * * [simplify]: Extracting #8: cost 0 inf + 31219
1552122117.178 * * [simplify]: Extracting #9: cost 0 inf + 31179
1552122117.187 * [simplify]: Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1552122117.187 * [simplify]: Simplified (2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122117.191 * * [progress]: iteration 1 / 4
1552122117.192 * * * [progress]: picking best candidate
1552122117.193 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.193 * * * [progress]: localizing error
1552122117.227 * * * [progress]: generating rewritten candidates
1552122117.227 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1552122117.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1552122117.229 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1552122117.230 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1552122117.230 * * * [progress]: generating series expansions
1552122117.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1552122117.231 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1552122117.231 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1552122117.231 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.231 * [taylor]: Taking taylor expansion of 2 in t
1552122117.231 * [backup-simplify]: Simplify 2 into 2
1552122117.231 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.231 * [taylor]: Taking taylor expansion of 2 in t
1552122117.231 * [backup-simplify]: Simplify 2 into 2
1552122117.231 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.231 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.231 * [taylor]: Taking taylor expansion of t in t
1552122117.231 * [backup-simplify]: Simplify 0 into 0
1552122117.231 * [backup-simplify]: Simplify 1 into 1
1552122117.231 * [taylor]: Taking taylor expansion of 1 in t
1552122117.231 * [backup-simplify]: Simplify 1 into 1
1552122117.231 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.231 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.232 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.232 * [taylor]: Taking taylor expansion of 2 in t
1552122117.232 * [backup-simplify]: Simplify 2 into 2
1552122117.232 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.232 * [taylor]: Taking taylor expansion of 2 in t
1552122117.232 * [backup-simplify]: Simplify 2 into 2
1552122117.232 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.232 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.232 * [taylor]: Taking taylor expansion of t in t
1552122117.232 * [backup-simplify]: Simplify 0 into 0
1552122117.232 * [backup-simplify]: Simplify 1 into 1
1552122117.232 * [taylor]: Taking taylor expansion of 1 in t
1552122117.232 * [backup-simplify]: Simplify 1 into 1
1552122117.232 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.232 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.233 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.233 * [backup-simplify]: Simplify (- 2) into -2
1552122117.233 * [backup-simplify]: Simplify (+ 2 -2) into 0
1552122117.233 * [backup-simplify]: Simplify 0 into 0
1552122117.233 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.234 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.235 * [backup-simplify]: Simplify (- -2) into 2
1552122117.235 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.235 * [backup-simplify]: Simplify 2 into 2
1552122117.235 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1552122117.236 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1552122117.240 * [backup-simplify]: Simplify (- 2) into -2
1552122117.240 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.240 * [backup-simplify]: Simplify -2 into -2
1552122117.240 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1552122117.242 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1552122117.242 * [backup-simplify]: Simplify (- -2) into 2
1552122117.243 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.243 * [backup-simplify]: Simplify 2 into 2
1552122117.243 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122117.243 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1552122117.243 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1552122117.243 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.243 * [taylor]: Taking taylor expansion of 2 in t
1552122117.243 * [backup-simplify]: Simplify 2 into 2
1552122117.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.243 * [taylor]: Taking taylor expansion of 2 in t
1552122117.243 * [backup-simplify]: Simplify 2 into 2
1552122117.243 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.243 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.243 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.243 * [taylor]: Taking taylor expansion of t in t
1552122117.243 * [backup-simplify]: Simplify 0 into 0
1552122117.243 * [backup-simplify]: Simplify 1 into 1
1552122117.244 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.244 * [taylor]: Taking taylor expansion of 1 in t
1552122117.244 * [backup-simplify]: Simplify 1 into 1
1552122117.244 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.244 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.244 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.244 * [taylor]: Taking taylor expansion of 2 in t
1552122117.244 * [backup-simplify]: Simplify 2 into 2
1552122117.244 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.244 * [taylor]: Taking taylor expansion of 2 in t
1552122117.244 * [backup-simplify]: Simplify 2 into 2
1552122117.244 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.244 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.244 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.244 * [taylor]: Taking taylor expansion of t in t
1552122117.244 * [backup-simplify]: Simplify 0 into 0
1552122117.244 * [backup-simplify]: Simplify 1 into 1
1552122117.245 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.245 * [taylor]: Taking taylor expansion of 1 in t
1552122117.245 * [backup-simplify]: Simplify 1 into 1
1552122117.245 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.245 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.245 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.245 * [backup-simplify]: Simplify 2 into 2
1552122117.246 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.246 * [backup-simplify]: Simplify (- 2) into -2
1552122117.246 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.246 * [backup-simplify]: Simplify -2 into -2
1552122117.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.247 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.248 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.248 * [backup-simplify]: Simplify (- -2) into 2
1552122117.248 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.248 * [backup-simplify]: Simplify 2 into 2
1552122117.248 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.249 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1552122117.249 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1552122117.249 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.249 * [taylor]: Taking taylor expansion of 2 in t
1552122117.249 * [backup-simplify]: Simplify 2 into 2
1552122117.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.249 * [taylor]: Taking taylor expansion of 2 in t
1552122117.249 * [backup-simplify]: Simplify 2 into 2
1552122117.249 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.249 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.249 * [taylor]: Taking taylor expansion of 1 in t
1552122117.249 * [backup-simplify]: Simplify 1 into 1
1552122117.249 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.249 * [taylor]: Taking taylor expansion of t in t
1552122117.249 * [backup-simplify]: Simplify 0 into 0
1552122117.249 * [backup-simplify]: Simplify 1 into 1
1552122117.249 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.249 * [backup-simplify]: Simplify (- 1) into -1
1552122117.249 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.250 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.250 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.250 * [taylor]: Taking taylor expansion of 2 in t
1552122117.250 * [backup-simplify]: Simplify 2 into 2
1552122117.250 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.250 * [taylor]: Taking taylor expansion of 2 in t
1552122117.250 * [backup-simplify]: Simplify 2 into 2
1552122117.250 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.250 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.250 * [taylor]: Taking taylor expansion of 1 in t
1552122117.250 * [backup-simplify]: Simplify 1 into 1
1552122117.250 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.250 * [taylor]: Taking taylor expansion of t in t
1552122117.250 * [backup-simplify]: Simplify 0 into 0
1552122117.250 * [backup-simplify]: Simplify 1 into 1
1552122117.250 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.250 * [backup-simplify]: Simplify (- 1) into -1
1552122117.251 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.251 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.251 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.251 * [backup-simplify]: Simplify 2 into 2
1552122117.252 * [backup-simplify]: Simplify (* 2 -1) into -2
1552122117.252 * [backup-simplify]: Simplify (- -2) into 2
1552122117.252 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.252 * [backup-simplify]: Simplify 2 into 2
1552122117.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.253 * [backup-simplify]: Simplify (- 0) into 0
1552122117.253 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.253 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1552122117.254 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1552122117.254 * [backup-simplify]: Simplify (- -2) into 2
1552122117.254 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.254 * [backup-simplify]: Simplify 2 into 2
1552122117.255 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.255 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1552122117.255 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1552122117.255 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1552122117.255 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.255 * [taylor]: Taking taylor expansion of 2 in t
1552122117.255 * [backup-simplify]: Simplify 2 into 2
1552122117.255 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.255 * [taylor]: Taking taylor expansion of 2 in t
1552122117.255 * [backup-simplify]: Simplify 2 into 2
1552122117.255 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.255 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.255 * [taylor]: Taking taylor expansion of t in t
1552122117.255 * [backup-simplify]: Simplify 0 into 0
1552122117.255 * [backup-simplify]: Simplify 1 into 1
1552122117.255 * [taylor]: Taking taylor expansion of 1 in t
1552122117.255 * [backup-simplify]: Simplify 1 into 1
1552122117.255 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.255 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.255 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.255 * [taylor]: Taking taylor expansion of 2 in t
1552122117.255 * [backup-simplify]: Simplify 2 into 2
1552122117.255 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.255 * [taylor]: Taking taylor expansion of 2 in t
1552122117.255 * [backup-simplify]: Simplify 2 into 2
1552122117.255 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.256 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.256 * [taylor]: Taking taylor expansion of t in t
1552122117.256 * [backup-simplify]: Simplify 0 into 0
1552122117.256 * [backup-simplify]: Simplify 1 into 1
1552122117.256 * [taylor]: Taking taylor expansion of 1 in t
1552122117.256 * [backup-simplify]: Simplify 1 into 1
1552122117.256 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.256 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.256 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.257 * [backup-simplify]: Simplify (- 2) into -2
1552122117.257 * [backup-simplify]: Simplify (+ 2 -2) into 0
1552122117.257 * [backup-simplify]: Simplify 0 into 0
1552122117.257 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.258 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.258 * [backup-simplify]: Simplify (- -2) into 2
1552122117.259 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.259 * [backup-simplify]: Simplify 2 into 2
1552122117.259 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1552122117.260 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1552122117.260 * [backup-simplify]: Simplify (- 2) into -2
1552122117.261 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.261 * [backup-simplify]: Simplify -2 into -2
1552122117.261 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1552122117.262 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1552122117.262 * [backup-simplify]: Simplify (- -2) into 2
1552122117.263 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.263 * [backup-simplify]: Simplify 2 into 2
1552122117.263 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122117.263 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1552122117.263 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1552122117.263 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.263 * [taylor]: Taking taylor expansion of 2 in t
1552122117.263 * [backup-simplify]: Simplify 2 into 2
1552122117.263 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.263 * [taylor]: Taking taylor expansion of 2 in t
1552122117.263 * [backup-simplify]: Simplify 2 into 2
1552122117.263 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.263 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.263 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.263 * [taylor]: Taking taylor expansion of t in t
1552122117.263 * [backup-simplify]: Simplify 0 into 0
1552122117.263 * [backup-simplify]: Simplify 1 into 1
1552122117.263 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.263 * [taylor]: Taking taylor expansion of 1 in t
1552122117.263 * [backup-simplify]: Simplify 1 into 1
1552122117.264 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.264 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.264 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.264 * [taylor]: Taking taylor expansion of 2 in t
1552122117.264 * [backup-simplify]: Simplify 2 into 2
1552122117.264 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.264 * [taylor]: Taking taylor expansion of 2 in t
1552122117.264 * [backup-simplify]: Simplify 2 into 2
1552122117.264 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.264 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.264 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.264 * [taylor]: Taking taylor expansion of t in t
1552122117.264 * [backup-simplify]: Simplify 0 into 0
1552122117.264 * [backup-simplify]: Simplify 1 into 1
1552122117.264 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.264 * [taylor]: Taking taylor expansion of 1 in t
1552122117.264 * [backup-simplify]: Simplify 1 into 1
1552122117.265 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.265 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.265 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.265 * [backup-simplify]: Simplify 2 into 2
1552122117.266 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.266 * [backup-simplify]: Simplify (- 2) into -2
1552122117.266 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.266 * [backup-simplify]: Simplify -2 into -2
1552122117.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.267 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.268 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.268 * [backup-simplify]: Simplify (- -2) into 2
1552122117.268 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.268 * [backup-simplify]: Simplify 2 into 2
1552122117.268 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.268 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1552122117.268 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1552122117.268 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.268 * [taylor]: Taking taylor expansion of 2 in t
1552122117.268 * [backup-simplify]: Simplify 2 into 2
1552122117.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.268 * [taylor]: Taking taylor expansion of 2 in t
1552122117.268 * [backup-simplify]: Simplify 2 into 2
1552122117.268 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.269 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.269 * [taylor]: Taking taylor expansion of 1 in t
1552122117.269 * [backup-simplify]: Simplify 1 into 1
1552122117.269 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.269 * [taylor]: Taking taylor expansion of t in t
1552122117.269 * [backup-simplify]: Simplify 0 into 0
1552122117.269 * [backup-simplify]: Simplify 1 into 1
1552122117.269 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.269 * [backup-simplify]: Simplify (- 1) into -1
1552122117.269 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.270 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.270 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.270 * [taylor]: Taking taylor expansion of 2 in t
1552122117.270 * [backup-simplify]: Simplify 2 into 2
1552122117.270 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.270 * [taylor]: Taking taylor expansion of 2 in t
1552122117.270 * [backup-simplify]: Simplify 2 into 2
1552122117.270 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.270 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.270 * [taylor]: Taking taylor expansion of 1 in t
1552122117.270 * [backup-simplify]: Simplify 1 into 1
1552122117.270 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.270 * [taylor]: Taking taylor expansion of t in t
1552122117.270 * [backup-simplify]: Simplify 0 into 0
1552122117.270 * [backup-simplify]: Simplify 1 into 1
1552122117.270 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.270 * [backup-simplify]: Simplify (- 1) into -1
1552122117.271 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.271 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.271 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.271 * [backup-simplify]: Simplify 2 into 2
1552122117.271 * [backup-simplify]: Simplify (* 2 -1) into -2
1552122117.272 * [backup-simplify]: Simplify (- -2) into 2
1552122117.272 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.272 * [backup-simplify]: Simplify 2 into 2
1552122117.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.273 * [backup-simplify]: Simplify (- 0) into 0
1552122117.273 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.273 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1552122117.274 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1552122117.274 * [backup-simplify]: Simplify (- -2) into 2
1552122117.275 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.275 * [backup-simplify]: Simplify 2 into 2
1552122117.276 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.276 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1552122117.276 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1552122117.276 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1552122117.276 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.276 * [taylor]: Taking taylor expansion of 2 in t
1552122117.276 * [backup-simplify]: Simplify 2 into 2
1552122117.276 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.276 * [taylor]: Taking taylor expansion of 2 in t
1552122117.276 * [backup-simplify]: Simplify 2 into 2
1552122117.276 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.276 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.276 * [taylor]: Taking taylor expansion of t in t
1552122117.276 * [backup-simplify]: Simplify 0 into 0
1552122117.276 * [backup-simplify]: Simplify 1 into 1
1552122117.276 * [taylor]: Taking taylor expansion of 1 in t
1552122117.276 * [backup-simplify]: Simplify 1 into 1
1552122117.277 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.277 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.277 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.277 * [taylor]: Taking taylor expansion of 2 in t
1552122117.277 * [backup-simplify]: Simplify 2 into 2
1552122117.277 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.277 * [taylor]: Taking taylor expansion of 2 in t
1552122117.277 * [backup-simplify]: Simplify 2 into 2
1552122117.277 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.277 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.277 * [taylor]: Taking taylor expansion of t in t
1552122117.277 * [backup-simplify]: Simplify 0 into 0
1552122117.277 * [backup-simplify]: Simplify 1 into 1
1552122117.277 * [taylor]: Taking taylor expansion of 1 in t
1552122117.277 * [backup-simplify]: Simplify 1 into 1
1552122117.278 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.278 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.279 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.279 * [backup-simplify]: Simplify (- 2) into -2
1552122117.279 * [backup-simplify]: Simplify (+ 2 -2) into 0
1552122117.279 * [backup-simplify]: Simplify 0 into 0
1552122117.280 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.281 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.282 * [backup-simplify]: Simplify (- -2) into 2
1552122117.282 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.282 * [backup-simplify]: Simplify 2 into 2
1552122117.282 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1552122117.284 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1552122117.284 * [backup-simplify]: Simplify (- 2) into -2
1552122117.284 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.284 * [backup-simplify]: Simplify -2 into -2
1552122117.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1552122117.286 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1552122117.286 * [backup-simplify]: Simplify (- -2) into 2
1552122117.286 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.286 * [backup-simplify]: Simplify 2 into 2
1552122117.286 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122117.286 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1552122117.287 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1552122117.287 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.287 * [taylor]: Taking taylor expansion of 2 in t
1552122117.287 * [backup-simplify]: Simplify 2 into 2
1552122117.287 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.287 * [taylor]: Taking taylor expansion of 2 in t
1552122117.287 * [backup-simplify]: Simplify 2 into 2
1552122117.287 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.287 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.287 * [taylor]: Taking taylor expansion of t in t
1552122117.287 * [backup-simplify]: Simplify 0 into 0
1552122117.287 * [backup-simplify]: Simplify 1 into 1
1552122117.287 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.287 * [taylor]: Taking taylor expansion of 1 in t
1552122117.287 * [backup-simplify]: Simplify 1 into 1
1552122117.287 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.287 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.287 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.288 * [taylor]: Taking taylor expansion of 2 in t
1552122117.288 * [backup-simplify]: Simplify 2 into 2
1552122117.288 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.288 * [taylor]: Taking taylor expansion of 2 in t
1552122117.288 * [backup-simplify]: Simplify 2 into 2
1552122117.288 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.288 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.288 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.288 * [taylor]: Taking taylor expansion of t in t
1552122117.288 * [backup-simplify]: Simplify 0 into 0
1552122117.288 * [backup-simplify]: Simplify 1 into 1
1552122117.288 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.288 * [taylor]: Taking taylor expansion of 1 in t
1552122117.288 * [backup-simplify]: Simplify 1 into 1
1552122117.288 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.288 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.289 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.289 * [backup-simplify]: Simplify 2 into 2
1552122117.289 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.289 * [backup-simplify]: Simplify (- 2) into -2
1552122117.290 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.290 * [backup-simplify]: Simplify -2 into -2
1552122117.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.290 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.291 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.291 * [backup-simplify]: Simplify (- -2) into 2
1552122117.292 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.292 * [backup-simplify]: Simplify 2 into 2
1552122117.292 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.292 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1552122117.292 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1552122117.292 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.292 * [taylor]: Taking taylor expansion of 2 in t
1552122117.292 * [backup-simplify]: Simplify 2 into 2
1552122117.292 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.292 * [taylor]: Taking taylor expansion of 2 in t
1552122117.292 * [backup-simplify]: Simplify 2 into 2
1552122117.292 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.292 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.292 * [taylor]: Taking taylor expansion of 1 in t
1552122117.292 * [backup-simplify]: Simplify 1 into 1
1552122117.292 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.292 * [taylor]: Taking taylor expansion of t in t
1552122117.292 * [backup-simplify]: Simplify 0 into 0
1552122117.292 * [backup-simplify]: Simplify 1 into 1
1552122117.293 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.293 * [backup-simplify]: Simplify (- 1) into -1
1552122117.293 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.294 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.294 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.294 * [taylor]: Taking taylor expansion of 2 in t
1552122117.294 * [backup-simplify]: Simplify 2 into 2
1552122117.294 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.294 * [taylor]: Taking taylor expansion of 2 in t
1552122117.294 * [backup-simplify]: Simplify 2 into 2
1552122117.294 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.294 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.294 * [taylor]: Taking taylor expansion of 1 in t
1552122117.294 * [backup-simplify]: Simplify 1 into 1
1552122117.294 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.294 * [taylor]: Taking taylor expansion of t in t
1552122117.294 * [backup-simplify]: Simplify 0 into 0
1552122117.294 * [backup-simplify]: Simplify 1 into 1
1552122117.294 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.294 * [backup-simplify]: Simplify (- 1) into -1
1552122117.295 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.295 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.295 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.295 * [backup-simplify]: Simplify 2 into 2
1552122117.296 * [backup-simplify]: Simplify (* 2 -1) into -2
1552122117.296 * [backup-simplify]: Simplify (- -2) into 2
1552122117.296 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.296 * [backup-simplify]: Simplify 2 into 2
1552122117.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.297 * [backup-simplify]: Simplify (- 0) into 0
1552122117.297 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.297 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1552122117.298 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1552122117.298 * [backup-simplify]: Simplify (- -2) into 2
1552122117.298 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.298 * [backup-simplify]: Simplify 2 into 2
1552122117.299 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.299 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1552122117.299 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1552122117.299 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1552122117.299 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.299 * [taylor]: Taking taylor expansion of 2 in t
1552122117.299 * [backup-simplify]: Simplify 2 into 2
1552122117.299 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.299 * [taylor]: Taking taylor expansion of 2 in t
1552122117.299 * [backup-simplify]: Simplify 2 into 2
1552122117.299 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.299 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.299 * [taylor]: Taking taylor expansion of t in t
1552122117.299 * [backup-simplify]: Simplify 0 into 0
1552122117.299 * [backup-simplify]: Simplify 1 into 1
1552122117.299 * [taylor]: Taking taylor expansion of 1 in t
1552122117.299 * [backup-simplify]: Simplify 1 into 1
1552122117.299 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.299 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.300 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1552122117.300 * [taylor]: Taking taylor expansion of 2 in t
1552122117.300 * [backup-simplify]: Simplify 2 into 2
1552122117.300 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1552122117.300 * [taylor]: Taking taylor expansion of 2 in t
1552122117.300 * [backup-simplify]: Simplify 2 into 2
1552122117.300 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1552122117.300 * [taylor]: Taking taylor expansion of (+ t 1) in t
1552122117.300 * [taylor]: Taking taylor expansion of t in t
1552122117.300 * [backup-simplify]: Simplify 0 into 0
1552122117.300 * [backup-simplify]: Simplify 1 into 1
1552122117.300 * [taylor]: Taking taylor expansion of 1 in t
1552122117.300 * [backup-simplify]: Simplify 1 into 1
1552122117.300 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.300 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.301 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.301 * [backup-simplify]: Simplify (- 2) into -2
1552122117.301 * [backup-simplify]: Simplify (+ 2 -2) into 0
1552122117.301 * [backup-simplify]: Simplify 0 into 0
1552122117.301 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.302 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.302 * [backup-simplify]: Simplify (- -2) into 2
1552122117.303 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.303 * [backup-simplify]: Simplify 2 into 2
1552122117.303 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1552122117.304 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1552122117.304 * [backup-simplify]: Simplify (- 2) into -2
1552122117.305 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.305 * [backup-simplify]: Simplify -2 into -2
1552122117.305 * [backup-simplify]: Simplify (+ 0 0) into 0
1552122117.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1552122117.306 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1552122117.306 * [backup-simplify]: Simplify (- -2) into 2
1552122117.307 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.307 * [backup-simplify]: Simplify 2 into 2
1552122117.307 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122117.307 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1552122117.307 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1552122117.307 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.307 * [taylor]: Taking taylor expansion of 2 in t
1552122117.307 * [backup-simplify]: Simplify 2 into 2
1552122117.307 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.307 * [taylor]: Taking taylor expansion of 2 in t
1552122117.307 * [backup-simplify]: Simplify 2 into 2
1552122117.307 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.307 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.307 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.307 * [taylor]: Taking taylor expansion of t in t
1552122117.307 * [backup-simplify]: Simplify 0 into 0
1552122117.307 * [backup-simplify]: Simplify 1 into 1
1552122117.308 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.308 * [taylor]: Taking taylor expansion of 1 in t
1552122117.308 * [backup-simplify]: Simplify 1 into 1
1552122117.308 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.308 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.308 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1552122117.308 * [taylor]: Taking taylor expansion of 2 in t
1552122117.308 * [backup-simplify]: Simplify 2 into 2
1552122117.308 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1552122117.308 * [taylor]: Taking taylor expansion of 2 in t
1552122117.308 * [backup-simplify]: Simplify 2 into 2
1552122117.308 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1552122117.308 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1552122117.308 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.308 * [taylor]: Taking taylor expansion of t in t
1552122117.308 * [backup-simplify]: Simplify 0 into 0
1552122117.308 * [backup-simplify]: Simplify 1 into 1
1552122117.308 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.308 * [taylor]: Taking taylor expansion of 1 in t
1552122117.308 * [backup-simplify]: Simplify 1 into 1
1552122117.309 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.309 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.309 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.309 * [backup-simplify]: Simplify 2 into 2
1552122117.310 * [backup-simplify]: Simplify (* 2 1) into 2
1552122117.310 * [backup-simplify]: Simplify (- 2) into -2
1552122117.310 * [backup-simplify]: Simplify (+ 0 -2) into -2
1552122117.310 * [backup-simplify]: Simplify -2 into -2
1552122117.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.311 * [backup-simplify]: Simplify (+ 0 1) into 1
1552122117.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1552122117.312 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1552122117.312 * [backup-simplify]: Simplify (- -2) into 2
1552122117.312 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.312 * [backup-simplify]: Simplify 2 into 2
1552122117.313 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.313 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1552122117.313 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1552122117.313 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.313 * [taylor]: Taking taylor expansion of 2 in t
1552122117.313 * [backup-simplify]: Simplify 2 into 2
1552122117.313 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.313 * [taylor]: Taking taylor expansion of 2 in t
1552122117.313 * [backup-simplify]: Simplify 2 into 2
1552122117.313 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.313 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.313 * [taylor]: Taking taylor expansion of 1 in t
1552122117.313 * [backup-simplify]: Simplify 1 into 1
1552122117.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.313 * [taylor]: Taking taylor expansion of t in t
1552122117.313 * [backup-simplify]: Simplify 0 into 0
1552122117.313 * [backup-simplify]: Simplify 1 into 1
1552122117.313 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.314 * [backup-simplify]: Simplify (- 1) into -1
1552122117.314 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.315 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.315 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1552122117.315 * [taylor]: Taking taylor expansion of 2 in t
1552122117.315 * [backup-simplify]: Simplify 2 into 2
1552122117.315 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1552122117.315 * [taylor]: Taking taylor expansion of 2 in t
1552122117.315 * [backup-simplify]: Simplify 2 into 2
1552122117.315 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1552122117.315 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1552122117.315 * [taylor]: Taking taylor expansion of 1 in t
1552122117.315 * [backup-simplify]: Simplify 1 into 1
1552122117.315 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1552122117.315 * [taylor]: Taking taylor expansion of t in t
1552122117.315 * [backup-simplify]: Simplify 0 into 0
1552122117.315 * [backup-simplify]: Simplify 1 into 1
1552122117.315 * [backup-simplify]: Simplify (/ 1 1) into 1
1552122117.316 * [backup-simplify]: Simplify (- 1) into -1
1552122117.316 * [backup-simplify]: Simplify (+ 0 -1) into -1
1552122117.317 * [backup-simplify]: Simplify (/ 1 -1) into -1
1552122117.317 * [backup-simplify]: Simplify (+ 2 0) into 2
1552122117.317 * [backup-simplify]: Simplify 2 into 2
1552122117.318 * [backup-simplify]: Simplify (* 2 -1) into -2
1552122117.318 * [backup-simplify]: Simplify (- -2) into 2
1552122117.318 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.318 * [backup-simplify]: Simplify 2 into 2
1552122117.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1552122117.320 * [backup-simplify]: Simplify (- 0) into 0
1552122117.320 * [backup-simplify]: Simplify (+ 1 0) into 1
1552122117.321 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1552122117.322 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1552122117.322 * [backup-simplify]: Simplify (- -2) into 2
1552122117.322 * [backup-simplify]: Simplify (+ 0 2) into 2
1552122117.322 * [backup-simplify]: Simplify 2 into 2
1552122117.323 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.323 * * * [progress]: simplifying candidates
1552122117.323 * * * * [progress]: [ 1 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1)))))>
1552122117.323 * * * * [progress]: [ 2 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t)))))))))>
1552122117.323 * * * * [progress]: [ 3 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t)))))))))>
1552122117.323 * * * * [progress]: [ 4 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))>
1552122117.323 * * * * [progress]: [ 5 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))>
1552122117.323 * * * * [progress]: [ 6 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))>
1552122117.323 * * * * [progress]: [ 7 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))>
1552122117.323 * * * * [progress]: [ 8 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1552122117.323 * * * * [progress]: [ 9 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1552122117.323 * * * * [progress]: [ 10 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))>
1552122117.324 * * * * [progress]: [ 11 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1552122117.324 * * * * [progress]: [ 12 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
1552122117.324 * * * * [progress]: [ 13 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 14 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 15 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 16 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 17 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 18 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 19 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 20 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 21 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 22 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 23 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.324 * * * * [progress]: [ 24 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 25 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 26 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 27 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 28 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 29 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 31 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 32 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 33 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 34 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.325 * * * * [progress]: [ 35 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 36 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 37 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 38 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 39 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 40 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 41 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 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)))))))>
1552122117.326 * * * * [progress]: [ 42 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 43 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 44 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 45 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 46 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 47 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 48 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.326 * * * * [progress]: [ 49 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1552122117.327 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122117.327 * * [simplify]: iters left: 6 (10 enodes)
1552122117.333 * * [simplify]: iters left: 5 (43 enodes)
1552122117.347 * * [simplify]: iters left: 4 (82 enodes)
1552122117.364 * * [simplify]: iters left: 3 (149 enodes)
1552122117.418 * * [simplify]: iters left: 2 (280 enodes)
1552122117.509 * * [simplify]: iters left: 1 (403 enodes)
1552122117.634 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122117.634 * * [simplify]: Extracting #1: cost 20 inf + 0
1552122117.635 * * [simplify]: Extracting #2: cost 59 inf + 2
1552122117.636 * * [simplify]: Extracting #3: cost 58 inf + 1311
1552122117.640 * * [simplify]: Extracting #4: cost 10 inf + 6671
1552122117.643 * * [simplify]: Extracting #5: cost 0 inf + 7926
1552122117.645 * [simplify]: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))
1552122117.646 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))))))
1552122117.646 * * * * [progress]: [ 50 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1552122117.646 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.646 * * [simplify]: iters left: 6 (10 enodes)
1552122117.650 * * [simplify]: iters left: 5 (43 enodes)
1552122117.659 * * [simplify]: iters left: 4 (72 enodes)
1552122117.673 * * [simplify]: iters left: 3 (105 enodes)
1552122117.709 * * [simplify]: iters left: 2 (141 enodes)
1552122117.757 * * [simplify]: iters left: 1 (187 enodes)
1552122117.810 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122117.810 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122117.811 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122117.811 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122117.813 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122117.816 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122117.820 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122117.823 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122117.823 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))
1552122117.823 * * * * [progress]: [ 51 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1552122117.823 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122117.823 * * [simplify]: iters left: 6 (10 enodes)
1552122117.830 * * [simplify]: iters left: 5 (43 enodes)
1552122117.844 * * [simplify]: iters left: 4 (72 enodes)
1552122117.867 * * [simplify]: iters left: 3 (105 enodes)
1552122117.901 * * [simplify]: iters left: 2 (141 enodes)
1552122117.926 * * [simplify]: iters left: 1 (187 enodes)
1552122117.955 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122117.955 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122117.955 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122117.956 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122117.958 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122117.960 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122117.963 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122117.967 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122117.967 * [simplify]: Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t))))))
1552122117.967 * * * * [progress]: [ 52 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t)))))))>
1552122117.967 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122117.967 * * [simplify]: iters left: 6 (10 enodes)
1552122117.973 * * [simplify]: iters left: 5 (43 enodes)
1552122117.987 * * [simplify]: iters left: 4 (82 enodes)
1552122118.004 * * [simplify]: iters left: 3 (149 enodes)
1552122118.050 * * [simplify]: iters left: 2 (280 enodes)
1552122118.125 * * [simplify]: iters left: 1 (403 enodes)
1552122118.234 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122118.234 * * [simplify]: Extracting #1: cost 20 inf + 0
1552122118.235 * * [simplify]: Extracting #2: cost 59 inf + 2
1552122118.236 * * [simplify]: Extracting #3: cost 58 inf + 1311
1552122118.240 * * [simplify]: Extracting #4: cost 10 inf + 6671
1552122118.245 * * [simplify]: Extracting #5: cost 0 inf + 7926
1552122118.248 * [simplify]: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))
1552122118.248 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) (- 2 (/ 2 (+ 1 t)))))))
1552122118.248 * * * * [progress]: [ 53 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122118.248 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122118.248 * * [simplify]: iters left: 6 (10 enodes)
1552122118.252 * * [simplify]: iters left: 5 (43 enodes)
1552122118.261 * * [simplify]: iters left: 4 (72 enodes)
1552122118.275 * * [simplify]: iters left: 3 (105 enodes)
1552122118.308 * * [simplify]: iters left: 2 (141 enodes)
1552122118.353 * * [simplify]: iters left: 1 (187 enodes)
1552122118.383 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122118.383 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122118.384 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122118.385 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122118.387 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122118.390 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122118.393 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122118.396 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122118.396 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))
1552122118.397 * * * * [progress]: [ 54 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122118.397 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122118.397 * * [simplify]: iters left: 6 (10 enodes)
1552122118.403 * * [simplify]: iters left: 5 (43 enodes)
1552122118.418 * * [simplify]: iters left: 4 (72 enodes)
1552122118.440 * * [simplify]: iters left: 3 (105 enodes)
1552122118.466 * * [simplify]: iters left: 2 (141 enodes)
1552122118.490 * * [simplify]: iters left: 1 (187 enodes)
1552122118.543 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122118.543 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122118.544 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122118.544 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122118.546 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122118.549 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122118.553 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122118.556 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122118.556 * [simplify]: Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t)))))))
1552122118.556 * * * * [progress]: [ 55 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122118.557 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122118.557 * * [simplify]: iters left: 6 (10 enodes)
1552122118.563 * * [simplify]: iters left: 5 (43 enodes)
1552122118.582 * * [simplify]: iters left: 4 (82 enodes)
1552122118.614 * * [simplify]: iters left: 3 (149 enodes)
1552122118.664 * * [simplify]: iters left: 2 (280 enodes)
1552122118.739 * * [simplify]: iters left: 1 (403 enodes)
1552122118.882 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122118.882 * * [simplify]: Extracting #1: cost 20 inf + 0
1552122118.883 * * [simplify]: Extracting #2: cost 59 inf + 2
1552122118.884 * * [simplify]: Extracting #3: cost 58 inf + 1311
1552122118.888 * * [simplify]: Extracting #4: cost 10 inf + 6671
1552122118.893 * * [simplify]: Extracting #5: cost 0 inf + 7926
1552122118.898 * [simplify]: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))
1552122118.898 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ (* 2 t) (* (- (* 2 t) 2) (* t t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122118.899 * * * * [progress]: [ 56 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122118.899 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122118.899 * * [simplify]: iters left: 6 (10 enodes)
1552122118.906 * * [simplify]: iters left: 5 (43 enodes)
1552122118.917 * * [simplify]: iters left: 4 (72 enodes)
1552122118.930 * * [simplify]: iters left: 3 (105 enodes)
1552122118.956 * * [simplify]: iters left: 2 (141 enodes)
1552122118.994 * * [simplify]: iters left: 1 (187 enodes)
1552122119.029 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122119.029 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122119.029 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122119.030 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122119.032 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122119.035 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122119.038 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122119.041 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122119.042 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122119.042 * * * * [progress]: [ 57 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122119.042 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122119.042 * * [simplify]: iters left: 6 (10 enodes)
1552122119.047 * * [simplify]: iters left: 5 (43 enodes)
1552122119.056 * * [simplify]: iters left: 4 (72 enodes)
1552122119.069 * * [simplify]: iters left: 3 (105 enodes)
1552122119.094 * * [simplify]: iters left: 2 (141 enodes)
1552122119.119 * * [simplify]: iters left: 1 (187 enodes)
1552122119.164 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122119.164 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122119.164 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122119.165 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122119.166 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122119.167 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122119.169 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122119.171 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122119.171 * [simplify]: Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (/ 2 (* t t)) 2) (/ 2 t)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122119.171 * * * * [progress]: [ 58 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122119.171 * [simplify]: Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1552122119.171 * * [simplify]: iters left: 6 (10 enodes)
1552122119.175 * * [simplify]: iters left: 5 (43 enodes)
1552122119.185 * * [simplify]: iters left: 4 (82 enodes)
1552122119.205 * * [simplify]: iters left: 3 (149 enodes)
1552122119.260 * * [simplify]: iters left: 2 (280 enodes)
1552122119.381 * * [simplify]: iters left: 1 (403 enodes)
1552122119.513 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122119.513 * * [simplify]: Extracting #1: cost 20 inf + 0
1552122119.513 * * [simplify]: Extracting #2: cost 59 inf + 2
1552122119.514 * * [simplify]: Extracting #3: cost 58 inf + 1311
1552122119.518 * * [simplify]: Extracting #4: cost 10 inf + 6671
1552122119.523 * * [simplify]: Extracting #5: cost 0 inf + 7926
1552122119.528 * [simplify]: Simplified to (+ (* 2 t) (* (- (* 2 t) 2) (* t t)))
1552122119.528 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (* 2 t) (* (- (* 2 t) 2) (* t t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122119.528 * * * * [progress]: [ 59 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122119.528 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122119.528 * * [simplify]: iters left: 6 (10 enodes)
1552122119.535 * * [simplify]: iters left: 5 (43 enodes)
1552122119.551 * * [simplify]: iters left: 4 (72 enodes)
1552122119.573 * * [simplify]: iters left: 3 (105 enodes)
1552122119.606 * * [simplify]: iters left: 2 (141 enodes)
1552122119.651 * * [simplify]: iters left: 1 (187 enodes)
1552122119.708 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122119.708 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122119.708 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122119.709 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122119.711 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122119.714 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122119.718 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122119.721 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122119.722 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122119.722 * * * * [progress]: [ 60 / 60 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1552122119.722 * [simplify]: Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1552122119.722 * * [simplify]: iters left: 6 (10 enodes)
1552122119.729 * * [simplify]: iters left: 5 (43 enodes)
1552122119.744 * * [simplify]: iters left: 4 (72 enodes)
1552122119.766 * * [simplify]: iters left: 3 (105 enodes)
1552122119.801 * * [simplify]: iters left: 2 (141 enodes)
1552122119.827 * * [simplify]: iters left: 1 (187 enodes)
1552122119.868 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122119.868 * * [simplify]: Extracting #1: cost 17 inf + 0
1552122119.869 * * [simplify]: Extracting #2: cost 49 inf + 1
1552122119.869 * * [simplify]: Extracting #3: cost 42 inf + 1233
1552122119.871 * * [simplify]: Extracting #4: cost 15 inf + 3967
1552122119.873 * * [simplify]: Extracting #5: cost 1 inf + 5796
1552122119.876 * * [simplify]: Extracting #6: cost 0 inf + 5998
1552122119.879 * [simplify]: Simplified to (- (+ (/ 2 (* t t)) 2) (/ 2 t))
1552122119.879 * [simplify]: Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (- (+ (/ 2 (* t t)) 2) (/ 2 t)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1552122119.879 * * * [progress]: adding candidates to table
1552122120.362 * [progress]: [Phase 3 of 3] Extracting.
1552122120.365 * [simplify]: Simplifying (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1552122120.365 * * [simplify]: iters left: 6 (10 enodes)
1552122120.366 * * [simplify]: iters left: 5 (15 enodes)
1552122120.367 * * [simplify]: Extracting #0: cost 1 inf + 0
1552122120.367 * * [simplify]: Extracting #1: cost 3 inf + 0
1552122120.367 * * [simplify]: Extracting #2: cost 6 inf + 0
1552122120.367 * * [simplify]: Extracting #3: cost 5 inf + 2
1552122120.367 * * [simplify]: Extracting #4: cost 6 inf + 2
1552122120.367 * * [simplify]: Extracting #5: cost 7 inf + 2
1552122120.367 * * [simplify]: Extracting #6: cost 8 inf + 2
1552122120.367 * * [simplify]: Extracting #7: cost 0 inf + 1103
1552122120.367 * [simplify]: Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1552122122.095 * [regime-testing]: Baseline error score: 0.00900112514064258
1552122122.098 * [regime-testing]: Oracle error score: 0.00900112514064258
1552122122.098 * [regime-testing]: End program error score: 0.00900112514064258