1545992470.695 * [misc]progress:  [Phase 1 of 3] Setting up.
1545992470.696 * * * [misc]progress:  [1/2] Preparing points
1545992470.696 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545992470.775 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992470.776 * * * * [exit]points:  Sampled 256 points with exact outputs
1545992470.776 * * * [misc]progress:  [2/2] Setting up program.
1545992470.782 * [misc]progress:  [Phase 2 of 3] Improving.
1545992470.782 * [enter]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)))))))
1545992470.782 * * [misc]simplify:  iters left: 6 (12 enodes)
1545992470.787 * * [misc]simplify:  iters left: 5 (21 enodes)
1545992470.818 * * [misc]simplify:  iters left: 4 (38 enodes)
1545992470.825 * * [misc]simplify:  iters left: 3 (88 enodes)
1545992470.847 * * [misc]simplify:  iters left: 2 (226 enodes)
1545992471.268 * [exit]simplify:  Simplified to (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
1545992471.282 * * [misc]progress:  iteration 1 / 4
1545992471.282 * * * [misc]progress:  picking best candidate
1545992471.288 * * * * [misc]pick:  Picked  #<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))))))))>
1545992471.288 * * * [misc]progress:  localizing error
1545992471.340 * * * [misc]progress:  generating rewritten candidates
1545992471.340 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1545992471.341 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1545992471.342 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1545992471.343 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545992471.351 * * * [misc]progress:  generating series expansions
1545992471.352 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1545992471.352 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992471.352 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992471.352 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.352 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.352 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.352 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.352 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.352 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.352 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.352 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.352 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.352 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.352 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.352 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.352 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.352 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.352 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.352 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.352 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.352 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.352 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.352 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.353 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.353 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.353 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.353 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.353 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.353 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.353 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.353 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.353 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.353 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.353 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.353 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.353 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.353 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.353 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.353 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.353 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.353 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.353 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.353 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.353 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.353 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.353 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.354 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.354 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.354 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.354 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.354 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.354 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.354 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.354 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.354 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.355 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992471.355 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.355 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.355 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.355 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992471.355 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992471.355 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.355 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.355 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.355 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.356 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.356 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992471.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992471.357 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992471.357 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.357 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.357 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.357 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.357 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.357 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992471.358 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992471.358 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992471.358 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.358 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.358 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.359 * [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)))
1545992471.359 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992471.359 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992471.359 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.359 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.359 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.359 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.359 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.359 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.359 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.359 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.359 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.359 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.359 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.359 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.359 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.359 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.359 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.359 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.359 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.359 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.359 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.359 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.359 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.359 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.360 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.360 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.360 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.360 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.360 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.360 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.360 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.360 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.360 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.360 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.360 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.360 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.360 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.360 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.360 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.361 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992471.361 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.361 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.361 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.361 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.361 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.361 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992471.361 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992471.361 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.361 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.361 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.361 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.361 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.361 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.361 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.361 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.361 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.361 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.361 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.361 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.361 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.361 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.362 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.362 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.362 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.362 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.362 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.362 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.362 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.362 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.362 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.362 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.362 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.362 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.362 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.362 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.362 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.362 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.362 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.362 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.362 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.362 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.362 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.362 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.362 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.362 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.363 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.363 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.363 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.363 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.363 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.363 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992471.363 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992471.363 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992471.363 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992471.363 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.363 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.364 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.364 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1545992471.364 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992471.364 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992471.364 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.364 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.364 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.364 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.364 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.364 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.364 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.364 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.364 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.364 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.364 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.364 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.364 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.364 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.364 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.364 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.364 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.364 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.364 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.364 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.364 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.365 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.365 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.365 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.365 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.365 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.365 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.365 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.365 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.365 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.365 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.365 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.365 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.365 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.365 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.365 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.365 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.365 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.365 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.365 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.365 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.365 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.365 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.365 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.365 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.365 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.366 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.366 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.366 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.366 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.366 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.366 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.366 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992471.366 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.366 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.367 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.367 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992471.367 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992471.367 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.367 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.367 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.367 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.367 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.368 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.368 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992471.368 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992471.368 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992471.368 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.368 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.368 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.368 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.369 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.369 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992471.369 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992471.369 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992471.369 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.369 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.369 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.370 * [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)))
1545992471.370 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992471.370 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992471.370 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.370 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.370 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.370 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.370 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.370 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.370 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.370 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.370 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.370 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.370 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.370 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.370 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.370 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.370 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.370 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.370 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.370 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.370 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.370 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.370 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.370 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.370 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.370 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.370 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.370 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.370 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.371 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.371 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.371 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.371 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.371 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.371 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.371 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.371 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.371 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992471.372 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.372 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.372 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.372 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.372 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.372 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992471.372 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992471.372 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.372 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.372 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.372 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.372 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.372 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.372 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.372 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.372 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.372 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.372 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.372 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.372 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.372 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.372 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.373 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.373 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.373 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.373 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.373 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.373 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.373 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.373 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.373 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.373 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.373 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.373 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.373 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.373 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.373 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.373 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.373 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.373 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.373 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.373 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.373 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.373 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.373 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.373 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.373 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.374 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.374 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.374 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.374 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992471.374 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992471.374 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992471.374 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992471.374 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.374 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.374 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.375 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1545992471.375 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992471.375 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992471.375 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.375 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.375 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.375 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.375 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.375 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.375 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.375 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.375 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.375 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.375 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.375 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.375 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.375 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.375 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.375 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.375 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.375 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.375 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.375 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.375 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.376 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.376 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.376 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.376 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.376 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.376 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.376 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.376 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.376 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.376 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.376 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.376 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.377 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.377 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.377 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.377 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.377 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.377 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.377 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.377 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.377 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.377 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.377 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.377 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.378 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.378 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.378 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.378 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.378 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.379 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.379 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.379 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992471.379 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.379 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.379 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.380 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992471.380 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992471.380 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.380 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.380 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.381 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.381 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.381 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.381 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992471.382 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992471.382 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992471.382 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.382 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.382 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.383 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.383 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.383 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992471.384 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992471.384 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992471.384 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.384 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.384 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.385 * [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)))
1545992471.385 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992471.385 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992471.385 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.385 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.385 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.385 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.385 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.385 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.385 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.385 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.385 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.385 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.385 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.385 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.385 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.386 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.386 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.386 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.386 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.386 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.386 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.386 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.386 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.386 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.386 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.386 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.386 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.386 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.386 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.386 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.386 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.386 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.386 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.386 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.387 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.387 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.387 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.387 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.387 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.387 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.388 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.388 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.388 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.388 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992471.388 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.388 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.389 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.389 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.389 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.389 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992471.389 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992471.389 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.389 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.389 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.389 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.389 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.389 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.389 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.389 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.389 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.389 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.389 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.390 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.390 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.390 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.390 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.390 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.390 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.390 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.390 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.390 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.390 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.390 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.390 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.390 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.390 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.390 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.390 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.390 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.390 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.390 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.390 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.391 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.391 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.391 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.391 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.391 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.391 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.391 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.391 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.391 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.392 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.392 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.392 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.392 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992471.392 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992471.392 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992471.393 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992471.393 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.393 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.393 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.393 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545992471.393 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992471.393 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992471.393 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.393 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.393 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.393 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.394 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.394 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.394 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.394 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.394 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.394 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.394 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.394 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.394 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.394 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.394 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.394 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.394 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.394 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.394 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.394 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.394 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.395 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.395 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.395 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.395 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.395 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992471.395 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.395 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.395 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992471.395 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.395 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.395 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992471.395 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992471.395 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.395 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.395 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.395 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992471.395 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992471.395 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.396 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.396 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.396 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.396 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.396 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.396 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.396 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992471.396 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992471.396 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.397 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992471.397 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.397 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.397 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.397 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992471.397 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.398 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.398 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.398 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992471.398 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992471.398 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.399 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.399 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.399 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.399 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.400 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992471.400 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992471.400 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992471.400 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.401 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.401 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.401 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992471.401 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992471.402 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992471.402 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992471.402 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992471.402 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.403 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.403 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.403 * [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)))
1545992471.403 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992471.403 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992471.403 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.403 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.403 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.403 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.403 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.403 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.403 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.403 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.403 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.403 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.404 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.404 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.404 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.404 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.404 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.404 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.404 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.404 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.404 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992471.404 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.404 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.404 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992471.404 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.404 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.404 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992471.404 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.404 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.404 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.404 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992471.404 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.404 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.404 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.404 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.404 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.405 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992471.405 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.405 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.405 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.405 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.405 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992471.406 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992471.406 * [misc]backup-simplify:  Simplify -2 into -2
1545992471.406 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.406 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992471.406 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992471.406 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992471.407 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.407 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.407 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.407 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992471.407 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992471.407 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.407 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.407 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.407 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.407 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.407 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.407 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.407 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.407 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.407 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.407 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.407 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.408 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.408 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.408 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.408 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.408 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.408 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.408 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992471.408 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992471.408 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.408 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.408 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992471.408 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.408 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.408 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.408 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992471.408 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992471.408 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.408 * [misc]taylor:  Taking taylor expansion of t in t
1545992471.408 * [misc]backup-simplify:  Simplify 0 into 0
1545992471.408 * [misc]backup-simplify:  Simplify 1 into 1
1545992471.409 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992471.409 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992471.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992471.409 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992471.409 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.409 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992471.409 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.409 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992471.410 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.410 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.410 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992471.410 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992471.410 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992471.410 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992471.410 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992471.411 * [misc]backup-simplify:  Simplify 2 into 2
1545992471.411 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992471.411 * * * [misc]progress:  simplifying candidates
1545992471.411 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (log1p (expm1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.411 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (expm1 (log1p (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.411 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1)))))>
1545992471.411 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (exp (log (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.411 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (log (exp (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.411 * * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.411 * * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.411 * * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992471.412 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))))))>
1545992471.412 * * * * [misc]progress:  [ 10 / 64 ] 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)))))))))>
1545992471.412 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))))>
1545992471.412 * * * * [misc]progress:  [ 12 / 64 ] 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) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))))>
1545992471.412 * * * * [misc]progress:  [ 13 / 64 ] 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)))))))))>
1545992471.412 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (log1p (expm1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (expm1 (log1p (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (exp (log (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (log (exp (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.412 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 23 / 64 ] 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))))))))>
1545992471.413 * * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (* 1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 26 / 64 ] 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))))))))>
1545992471.413 * * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (log1p (expm1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (expm1 (log1p (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (exp (log (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (log (exp (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 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))))))))>
1545992471.413 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.413 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.414 * * * * [misc]progress:  [ 36 / 64 ] 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.414 * * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.414 * * * * [misc]progress:  [ 39 / 64 ] 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log1p (expm1 (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (expm1 (log1p (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992471.414 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 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))))))))>
1545992471.414 * * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 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))))))))>
1545992471.415 * * * * [misc]progress:  [ 49 / 64 ] 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))))))))>
1545992471.415 * * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 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))))))))>
1545992471.415 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 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))))))))>
1545992471.415 * * * * [misc]progress:  [ 52 / 64 ] 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))))))))>
1545992471.415 * * * * [misc]progress:  [ 53 / 64 ] 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 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1545992471.415 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992471.415 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992471.419 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992471.429 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992471.444 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992471.605 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992472.171 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992472.171 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (fma (* t t) (fma 2 t -2) (* 2 t))))))
1545992472.171 * * * * [misc]progress:  [ 54 / 64 ] 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 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545992472.172 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992472.172 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992472.177 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992472.188 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992472.207 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992472.274 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992472.336 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992472.396 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992472.396 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ (/ 2 (* t t)) (- 2 (/ 2 t)))))))
1545992472.396 * * * * [misc]progress:  [ 55 / 64 ] 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 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545992472.396 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992472.396 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992472.399 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992472.405 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992472.422 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992472.500 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992472.560 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992472.652 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992472.652 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ (/ 2 (* t t)) (- 2 (/ 2 t)))))))
1545992472.652 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992472.653 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992472.653 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992472.657 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992472.668 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992472.698 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992472.797 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992473.446 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992473.446 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (fma (* t t) (fma 2 t -2) (* 2 t)) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992473.447 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992473.447 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992473.447 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992473.450 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992473.456 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992473.488 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992473.594 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992473.688 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992473.785 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992473.785 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992473.785 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992473.786 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992473.786 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992473.788 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992473.796 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992473.815 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992473.919 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992474.021 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992474.082 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992474.083 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992474.083 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992474.083 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992474.083 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992474.085 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992474.090 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992474.107 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992474.223 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992474.757 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992474.758 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (fma (* t t) (fma 2 t -2) (* 2 t)))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992474.758 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992474.758 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992474.758 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992474.763 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992474.777 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992474.815 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992474.918 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992475.025 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992475.116 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992475.116 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ (/ 2 (* t t)) (- 2 (/ 2 t))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992475.116 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992475.116 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992475.116 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992475.119 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992475.125 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992475.142 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992475.223 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992475.301 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992475.386 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992475.386 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ (/ 2 (* t t)) (- 2 (/ 2 t))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992475.386 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992475.386 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992475.386 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992475.390 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992475.401 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992475.430 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992475.537 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992476.156 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992476.156 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (fma (* t t) (fma 2 t -2) (* 2 t)) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992476.156 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992476.156 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992476.156 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992476.159 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992476.165 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992476.183 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992476.236 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992476.342 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992476.426 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992476.426 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992476.426 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992476.426 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992476.426 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992476.429 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992476.435 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992476.452 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992476.539 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992476.640 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992476.728 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992476.729 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992476.729 * * * [misc]progress:  adding candidates to table
1545992477.587 * * [misc]progress:  iteration 2 / 4
1545992477.587 * * * [misc]progress:  picking best candidate
1545992477.590 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.590 * * * [misc]progress:  localizing error
1545992477.642 * * * [misc]progress:  generating rewritten candidates
1545992477.642 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1545992477.643 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1545992477.644 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1)
1545992477.645 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2 1)
1545992477.651 * * * [misc]progress:  generating series expansions
1545992477.651 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1545992477.651 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992477.651 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992477.651 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992477.651 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.651 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.651 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992477.651 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.651 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.651 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992477.651 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992477.651 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.651 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.651 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.652 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.652 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.652 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.652 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.652 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.652 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.652 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.652 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.652 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.652 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992477.653 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.653 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.653 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992477.653 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.653 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992477.653 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.653 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.653 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992477.653 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.653 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.653 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992477.653 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992477.653 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.653 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.654 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.654 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.654 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.654 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.654 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.654 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.654 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.654 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.654 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.654 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.654 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992477.654 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.655 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.655 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992477.655 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.655 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.655 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.656 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992477.656 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.656 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.656 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.656 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992477.657 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992477.657 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992477.657 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.657 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.657 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.658 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.658 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.658 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992477.658 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992477.659 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992477.659 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.659 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992477.659 * [misc]backup-simplify:  Simplify -2 into -2
1545992477.659 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.660 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.660 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992477.660 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992477.661 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992477.661 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.661 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.661 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.661 * [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)))
1545992477.662 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992477.662 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992477.662 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992477.662 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.662 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.662 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992477.662 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.662 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.662 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992477.662 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.662 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.662 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.662 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.662 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.662 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.662 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.662 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.662 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.662 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.662 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.662 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992477.662 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.663 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.663 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992477.663 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.663 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.663 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992477.663 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.663 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.663 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.663 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.663 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.663 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.663 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.663 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.663 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.663 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.663 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.663 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.663 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.663 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.664 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.664 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992477.664 * [misc]backup-simplify:  Simplify -2 into -2
1545992477.664 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.664 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992477.664 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992477.664 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.664 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.664 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.665 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992477.665 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992477.665 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992477.665 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.665 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.665 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.665 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.665 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.665 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.665 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.665 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.665 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.665 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.665 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.665 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.665 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.665 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.665 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.665 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.665 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.665 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.665 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.665 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.665 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.665 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.665 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.665 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.666 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.666 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.666 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.666 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.666 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.666 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.666 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.666 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.666 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.666 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.666 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.666 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.666 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992477.666 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992477.667 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992477.667 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992477.667 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.667 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.667 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992477.667 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1545992477.667 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992477.667 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992477.667 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992477.667 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.667 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.667 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992477.667 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.667 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.667 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992477.667 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992477.667 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.667 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.667 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.668 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.668 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.668 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.668 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.668 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.668 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.668 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.668 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.668 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.668 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992477.668 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.668 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.668 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992477.668 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.668 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992477.668 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.668 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.669 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992477.669 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.669 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.669 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992477.669 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992477.669 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.669 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.669 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.669 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.669 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.669 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.669 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.669 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.669 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.669 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.669 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.669 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.669 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992477.669 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.669 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.669 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992477.670 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.670 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.670 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.670 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992477.670 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.670 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.670 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.670 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992477.670 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992477.671 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992477.671 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.671 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.671 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.671 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.671 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.671 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992477.672 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992477.672 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992477.672 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.672 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992477.672 * [misc]backup-simplify:  Simplify -2 into -2
1545992477.672 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.672 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.673 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992477.673 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992477.673 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992477.673 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.673 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.673 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.674 * [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)))
1545992477.674 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992477.674 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992477.674 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.674 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.674 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.674 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.674 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.674 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.674 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.674 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.674 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.674 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.674 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.674 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.674 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.674 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.674 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.674 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.674 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.674 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.674 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992477.674 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.675 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.675 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.675 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.675 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.675 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.675 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.675 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.675 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.675 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.675 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.675 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.675 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.675 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.675 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.675 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992477.675 * [misc]backup-simplify:  Simplify -2 into -2
1545992477.675 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.676 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992477.676 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992477.676 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.676 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.676 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.676 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992477.676 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992477.676 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992477.676 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992477.676 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992477.676 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.676 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.676 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992477.676 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.676 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.676 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.676 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.676 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.676 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.677 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.677 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.677 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.677 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.677 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.677 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.677 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.677 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.677 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992477.677 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992477.677 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.677 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.677 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992477.677 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.677 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.677 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.677 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.677 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.677 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.677 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.677 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.677 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.677 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.677 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.677 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.677 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.677 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.678 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.678 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.678 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.678 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.678 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.678 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992477.678 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992477.678 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992477.678 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992477.678 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.678 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.679 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992477.679 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1)
1545992477.679 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1)))))
1545992477.679 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in (t) around 0
1545992477.679 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992477.679 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.679 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.679 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992477.679 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.679 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.679 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992477.679 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992477.679 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.679 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.679 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.679 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.679 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.679 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.679 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.679 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.679 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.679 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.679 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.679 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992477.680 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.680 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.680 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992477.680 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.680 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (* t (+ (/ 1 t) 1))))) in t
1545992477.680 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.680 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.680 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* t (+ (/ 1 t) 1)))) in t
1545992477.680 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.680 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.680 * [misc]taylor:  Taking taylor expansion of (/ 1 (* t (+ (/ 1 t) 1))) in t
1545992477.680 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1545992477.680 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.680 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.680 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.680 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.680 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.680 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.680 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.680 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.680 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.680 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.680 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.680 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.681 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1545992477.681 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.681 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.681 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1545992477.681 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.681 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.681 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.681 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545992477.681 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.682 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.682 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1545992477.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545992477.682 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992477.682 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.682 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.682 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.683 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.683 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992477.683 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545992477.683 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545992477.683 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.683 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992477.683 * [misc]backup-simplify:  Simplify -2 into -2
1545992477.684 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.684 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.684 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1545992477.684 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545992477.684 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545992477.684 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.684 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.684 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.685 * [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)))
1545992477.685 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t))))) into (- 2 (* 2 (/ t (+ t 1))))
1545992477.685 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in (t) around 0
1545992477.685 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992477.685 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.685 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.685 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992477.685 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.685 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.685 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992477.685 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.685 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.685 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.685 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.685 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.685 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.685 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.685 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.685 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.685 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.685 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.685 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ t (+ t 1)))) in t
1545992477.685 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.685 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.685 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1545992477.685 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.686 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.686 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1545992477.686 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.686 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.686 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.686 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.686 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.686 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.686 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.686 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.686 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.686 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.686 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.686 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.686 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.686 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.686 * [misc]backup-simplify:  Simplify (- 2) into -2
1545992477.686 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545992477.686 * [misc]backup-simplify:  Simplify -2 into -2
1545992477.687 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.687 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1545992477.687 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545992477.687 * [misc]backup-simplify:  Simplify (- -2) into 2
1545992477.687 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.687 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.687 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992477.687 * [misc]backup-simplify:  Simplify (- 2 (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t)))))) into (+ (* 2 (/ t (- 1 t))) 2)
1545992477.687 * [misc]approximate:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in (t) around 0
1545992477.688 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.688 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.688 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.688 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.688 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.688 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.688 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.688 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.688 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.688 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.688 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.688 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.688 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.688 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.688 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.688 * [misc]taylor:  Taking taylor expansion of (+ (* 2 (/ t (- 1 t))) 2) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (- 1 t))) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.688 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.688 * [misc]taylor:  Taking taylor expansion of (/ t (- 1 t)) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.688 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.688 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.688 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.688 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.688 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.688 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.688 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.688 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.689 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.689 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.689 * [misc]taylor:  Taking taylor expansion of 2 in t
1545992477.689 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.689 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545992477.689 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.689 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545992477.689 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.689 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.689 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992477.689 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992477.690 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -1 1)))) into 1
1545992477.690 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 1)) into 2
1545992477.690 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545992477.690 * [misc]backup-simplify:  Simplify 2 into 2
1545992477.690 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992477.690 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2 1)
1545992477.690 * [misc]backup-simplify:  Simplify (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) into (- 4 (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))))
1545992477.690 * [misc]approximate:  Taking taylor expansion of (- 4 (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))))) in (t) around 0
1545992477.690 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))))) in t
1545992477.690 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.690 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.690 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) in t
1545992477.690 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.690 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.690 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.691 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.691 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.691 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.691 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.691 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.691 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.691 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.691 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.691 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.691 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.691 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.691 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.691 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.691 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))))) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.691 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.691 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.691 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.691 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1545992477.691 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1545992477.692 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.692 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.692 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.692 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1545992477.692 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545992477.692 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545992477.692 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.692 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.692 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.692 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.692 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.692 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.692 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.692 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.692 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.692 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.692 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.692 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1545992477.693 * [misc]backup-simplify:  Simplify (- 4) into -4
1545992477.693 * [misc]backup-simplify:  Simplify (+ 4 -4) into 0
1545992477.693 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.693 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545992477.693 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.693 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545992477.693 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992477.693 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1545992477.693 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 2 1)))) into -2
1545992477.694 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1545992477.694 * [misc]backup-simplify:  Simplify (- -8) into 8
1545992477.694 * [misc]backup-simplify:  Simplify (+ 0 8) into 8
1545992477.694 * [misc]backup-simplify:  Simplify 8 into 8
1545992477.694 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.694 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.694 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1545992477.694 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545992477.695 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1545992477.695 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1545992477.695 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1545992477.695 * [misc]backup-simplify:  Simplify (- 12) into -12
1545992477.695 * [misc]backup-simplify:  Simplify (+ 0 -12) into -12
1545992477.695 * [misc]backup-simplify:  Simplify -12 into -12
1545992477.695 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545992477.695 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.696 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545992477.696 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545992477.696 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 1) (+ (* 0 2) (* 0 1)))) into 0
1545992477.696 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4
1545992477.696 * [misc]backup-simplify:  Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16
1545992477.696 * [misc]backup-simplify:  Simplify (- -16) into 16
1545992477.697 * [misc]backup-simplify:  Simplify (+ 0 16) into 16
1545992477.697 * [misc]backup-simplify:  Simplify 16 into 16
1545992477.697 * [misc]backup-simplify:  Simplify (+ (* 16 (pow t 3)) (+ (* -12 (pow t 2)) (* 8 t))) into (- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2)))
1545992477.697 * [misc]backup-simplify:  Simplify (- (* 2 2) (* (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t)))) (/ (/ 2 (/ 1 t)) (+ 1 (/ 1 (/ 1 t)))))) into (- 4 (* 4 (/ (pow t 2) (pow (+ t 1) 2))))
1545992477.697 * [misc]approximate:  Taking taylor expansion of (- 4 (* 4 (/ (pow t 2) (pow (+ t 1) 2)))) in (t) around 0
1545992477.697 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ (pow t 2) (pow (+ t 1) 2)))) in t
1545992477.697 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.697 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.697 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1545992477.697 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.697 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.697 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1545992477.697 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1545992477.697 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.697 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.697 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.697 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1545992477.697 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.697 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.697 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.697 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.697 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.697 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.698 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.698 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.698 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.698 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.698 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ (pow t 2) (pow (+ t 1) 2)))) in t
1545992477.698 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.698 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.698 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1545992477.698 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.698 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.698 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1545992477.698 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1545992477.698 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.698 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.698 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.698 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1545992477.698 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545992477.698 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.698 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.698 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.698 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.698 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.698 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545992477.698 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.699 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.699 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.699 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1545992477.699 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.699 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.699 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1545992477.699 * [misc]backup-simplify:  Simplify (- 4) into -4
1545992477.699 * [misc]backup-simplify:  Simplify (+ 0 -4) into -4
1545992477.699 * [misc]backup-simplify:  Simplify -4 into -4
1545992477.699 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992477.699 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.700 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545992477.700 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1545992477.700 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1545992477.700 * [misc]backup-simplify:  Simplify (- -8) into 8
1545992477.700 * [misc]backup-simplify:  Simplify (+ 0 8) into 8
1545992477.700 * [misc]backup-simplify:  Simplify 8 into 8
1545992477.700 * [misc]backup-simplify:  Simplify (+ (* 8 (pow (/ 1 t) 3)) (+ (* -4 (pow (/ 1 t) 2)) 4)) into (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545992477.701 * [misc]backup-simplify:  Simplify (- (* 2 2) (* (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t))))) (/ (/ 2 (/ 1 (- t))) (+ 1 (/ 1 (/ 1 (- t))))))) into (- 4 (* 4 (/ (pow t 2) (pow (- 1 t) 2))))
1545992477.701 * [misc]approximate:  Taking taylor expansion of (- 4 (* 4 (/ (pow t 2) (pow (- 1 t) 2)))) in (t) around 0
1545992477.701 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ (pow t 2) (pow (- 1 t) 2)))) in t
1545992477.701 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.701 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.701 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (- 1 t) 2))) in t
1545992477.701 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.701 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.701 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (- 1 t) 2)) in t
1545992477.701 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1545992477.701 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.701 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.701 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.701 * [misc]taylor:  Taking taylor expansion of (pow (- 1 t) 2) in t
1545992477.701 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.701 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.701 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.701 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.701 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.701 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.701 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.701 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.701 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.702 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.702 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ (pow t 2) (pow (- 1 t) 2)))) in t
1545992477.702 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.702 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.702 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (- 1 t) 2))) in t
1545992477.702 * [misc]taylor:  Taking taylor expansion of 4 in t
1545992477.702 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.702 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (- 1 t) 2)) in t
1545992477.702 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1545992477.702 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.702 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.702 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.702 * [misc]taylor:  Taking taylor expansion of (pow (- 1 t) 2) in t
1545992477.702 * [misc]taylor:  Taking taylor expansion of (- 1 t) in t
1545992477.702 * [misc]taylor:  Taking taylor expansion of 1 in t
1545992477.702 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.702 * [misc]taylor:  Taking taylor expansion of t in t
1545992477.702 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.702 * [misc]backup-simplify:  Simplify 1 into 1
1545992477.702 * [misc]backup-simplify:  Simplify (- 0) into 0
1545992477.702 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545992477.702 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.702 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545992477.703 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545992477.703 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1545992477.703 * [misc]backup-simplify:  Simplify 4 into 4
1545992477.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545992477.703 * [misc]backup-simplify:  Simplify 0 into 0
1545992477.703 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1545992477.703 * [misc]backup-simplify:  Simplify (- 4) into -4
1545992477.703 * [misc]backup-simplify:  Simplify (+ 0 -4) into -4
1545992477.703 * [misc]backup-simplify:  Simplify -4 into -4
1545992477.703 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545992477.703 * [misc]backup-simplify:  Simplify (- 1) into -1
1545992477.703 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545992477.704 * [misc]backup-simplify:  Simplify (+ (* 1 -1) (* -1 1)) into -2
1545992477.704 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ -2 1)))) into 2
1545992477.704 * [misc]backup-simplify:  Simplify (+ (* 4 2) (* 0 1)) into 8
1545992477.704 * [misc]backup-simplify:  Simplify (- 8) into -8
1545992477.704 * [misc]backup-simplify:  Simplify (+ 0 -8) into -8
1545992477.704 * [misc]backup-simplify:  Simplify -8 into -8
1545992477.704 * [misc]backup-simplify:  Simplify (+ (* -8 (pow (/ 1 (- t)) 3)) (+ (* -4 (pow (/ 1 (- t)) 2)) 4)) into (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545992477.704 * * * [misc]progress:  simplifying candidates
1545992477.704 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (log1p (expm1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (expm1 (log1p (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1)))))>
1545992477.705 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (exp (log (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (log (exp (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))))>
1545992477.705 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))))))>
1545992477.705 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ 2 (- (/ (/ 2 t) (+ 1 (/ 1 t)))))))))>
1545992477.705 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))))>
1545992477.705 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))))>
1545992477.705 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ 2 (- (/ (/ 2 t) (+ 1 (/ 1 t)))))))))>
1545992477.705 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (log1p (expm1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (expm1 (log1p (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (exp (log (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (log (exp (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.705 * * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (+ 2 (- (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (* 1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (+ 2 (- (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log1p (expm1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (expm1 (log1p (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) 1) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (sqrt (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ (/ 2 t) (+ 1 (/ 1 t))) 3)) (+ (* 2 2) (+ (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ (/ 2 t) (+ 1 (/ 1 t))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ (/ 2 t) (+ 1 (/ 1 t))))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.706 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (+ (fma 2 2 (- (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (fma (- (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (/ 2 t) (+ 1 (/ 1 t))) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992477.707 * [enter]simplify:  Simplifying (fma 2 2 (- (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))
1545992477.707 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992477.709 * * [misc]simplify:  iters left: 5 (25 enodes)
1545992477.713 * * [misc]simplify:  iters left: 4 (62 enodes)
1545992477.724 * * [misc]simplify:  iters left: 3 (158 enodes)
1545992477.772 * * [misc]simplify:  iters left: 2 (355 enodes)
1545992477.957 * [exit]simplify:  Simplified to (fma (/ 2 (+ t 1)) (/ -2 (+ t 1)) 4)
1545992477.958 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (+ (fma (/ 2 (+ t 1)) (/ -2 (+ t 1)) 4) (fma (- (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (/ 2 t) (+ 1 (/ 1 t))) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992477.958 * [enter]simplify:  Simplifying (fma (- (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (/ 2 t) (+ 1 (/ 1 t))) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))
1545992477.958 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992477.962 * * [misc]simplify:  iters left: 5 (23 enodes)
1545992477.970 * * [misc]simplify:  iters left: 4 (55 enodes)
1545992477.992 * * [misc]simplify:  iters left: 3 (159 enodes)
1545992478.093 * * [misc]simplify:  iters left: 2 (382 enodes)
1545992478.278 * [exit]simplify:  Simplified to 0
1545992478.278 * [misc]simplify:  Simplified (2 1 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (+ (fma (/ 2 (+ t 1)) (/ -2 (+ t 1)) 4) 0) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992478.278 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (log1p (expm1 (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.278 * * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (expm1 (log1p (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.278 * * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (fma 2 2 (- (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.278 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (log (/ (exp (* 2 2)) (exp (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.279 * [enter]simplify:  Simplifying (/ (exp (* 2 2)) (exp (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))
1545992478.279 * * [misc]simplify:  iters left: 6 (12 enodes)
1545992478.289 * * [misc]simplify:  iters left: 5 (29 enodes)
1545992478.299 * * [misc]simplify:  iters left: 4 (55 enodes)
1545992478.316 * * [misc]simplify:  iters left: 3 (128 enodes)
1545992478.383 * * [misc]simplify:  iters left: 2 (313 enodes)
1545992478.509 * [exit]simplify:  Simplified to (exp (fma (/ -2 (+ t 1)) (/ 2 (+ t 1)) 4))
1545992478.509 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (log (exp (fma (/ -2 (+ t 1)) (/ 2 (+ t 1)) 4))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992478.509 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (pow (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) 1) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.509 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (exp (log (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.509 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (log (exp (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.509 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (* (* (cbrt (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (cbrt (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (cbrt (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.509 * * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (cbrt (* (* (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.510 * * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (* (sqrt (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (sqrt (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.510 * * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (/ (- (pow (* 2 2) 3) (pow (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) 3)) (+ (* (* 2 2) (* 2 2)) (+ (* (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (* (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.510 * * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (+ (* 2 2) (- (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.510 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (* 1 (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.510 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (/ (- (* (* 2 2) (* 2 2)) (* (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.510 * * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (* (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 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))))))))>
1545992478.510 * [enter]simplify:  Simplifying (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
1545992478.510 * * [misc]simplify:  iters left: 6 (8 enodes)
1545992478.513 * * [misc]simplify:  iters left: 5 (14 enodes)
1545992478.516 * * [misc]simplify:  iters left: 4 (17 enodes)
1545992478.518 * * [misc]simplify:  iters left: 3 (25 enodes)
1545992478.523 * * [misc]simplify:  iters left: 2 (29 enodes)
1545992478.526 * [exit]simplify:  Simplified to (+ 2 (/ 2 (+ t 1)))
1545992478.526 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (* (+ 2 (/ 2 (+ 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))))))))
1545992478.526 * [enter]simplify:  Simplifying (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
1545992478.526 * * [misc]simplify:  iters left: 6 (8 enodes)
1545992478.528 * * [misc]simplify:  iters left: 5 (15 enodes)
1545992478.530 * * [misc]simplify:  iters left: 4 (24 enodes)
1545992478.533 * * [misc]simplify:  iters left: 3 (33 enodes)
1545992478.539 * * [misc]simplify:  iters left: 2 (37 enodes)
1545992478.543 * [exit]simplify:  Simplified to (- 2 (/ 2 (+ t 1)))
1545992478.543 * [misc]simplify:  Simplified (2 1 2 2 1 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (* (+ 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992478.543 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (+ (* 2 2) (- (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992478.543 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1545992478.543 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992478.543 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992478.545 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992478.551 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992478.567 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992478.710 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992479.383 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992479.383 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (fma (* t t) (fma 2 t -2) (* 2 t))))))
1545992479.383 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545992479.384 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992479.384 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992479.390 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992479.402 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992479.436 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992479.508 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992479.592 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992479.653 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992479.653 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ (/ 2 (* t t)) (- 2 (/ 2 t)))))))
1545992479.653 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545992479.653 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992479.653 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992479.659 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992479.671 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992479.702 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992479.778 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992479.860 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992479.979 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992479.979 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (+ (/ 2 (* t t)) (- 2 (/ 2 t)))))))
1545992479.979 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992479.980 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992479.980 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992479.983 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992479.995 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992480.024 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992480.131 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992480.733 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992480.733 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (fma (* t t) (fma 2 t -2) (* 2 t)) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992480.733 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992480.733 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992480.733 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992480.737 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992480.746 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992480.764 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992480.839 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992480.915 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992481.006 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992481.006 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992481.006 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992481.006 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992481.007 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992481.012 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992481.018 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992481.039 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992481.099 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992481.176 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992481.254 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992481.254 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992481.254 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992481.254 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545992481.254 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992481.258 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992481.270 * * [misc]simplify:  iters left: 4 (65 enodes)
1545992481.290 * * [misc]simplify:  iters left: 3 (150 enodes)
1545992481.397 * * [misc]simplify:  iters left: 2 (297 enodes)
1545992481.960 * [exit]simplify:  Simplified to (fma (* t t) (fma 2 t -2) (* 2 t))
1545992481.960 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (fma (* t t) (fma 2 t -2) (* 2 t)) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992481.960 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992481.961 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992481.961 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992481.966 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992481.977 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992482.014 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992482.094 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992482.168 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992482.248 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992482.248 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992482.249 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992482.249 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545992482.249 * * [misc]simplify:  iters left: 6 (10 enodes)
1545992482.253 * * [misc]simplify:  iters left: 5 (24 enodes)
1545992482.260 * * [misc]simplify:  iters left: 4 (50 enodes)
1545992482.279 * * [misc]simplify:  iters left: 3 (100 enodes)
1545992482.371 * * [misc]simplify:  iters left: 2 (157 enodes)
1545992482.442 * * [misc]simplify:  iters left: 1 (223 enodes)
1545992482.549 * [exit]simplify:  Simplified to (+ (/ 2 (* t t)) (- 2 (/ 2 t)))
1545992482.549 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (/ 2 (* t t)) (- 2 (/ 2 t))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992482.549 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992482.549 * [enter]simplify:  Simplifying (- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2)))
1545992482.549 * * [misc]simplify:  iters left: 6 (13 enodes)
1545992482.554 * * [misc]simplify:  iters left: 5 (25 enodes)
1545992482.564 * * [misc]simplify:  iters left: 4 (62 enodes)
1545992482.578 * * [misc]simplify:  iters left: 3 (124 enodes)
1545992482.600 * * [misc]simplify:  iters left: 2 (229 enodes)
1545992482.655 * * [misc]simplify:  iters left: 1 (323 enodes)
1545992482.790 * [exit]simplify:  Simplified to (fma (fma t 16 -12) (* t t) (* 8 t))
1545992482.790 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (fma (fma t 16 -12) (* t t) (* 8 t)) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992482.791 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2)))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992482.791 * [enter]simplify:  Simplifying (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545992482.791 * * [misc]simplify:  iters left: 6 (14 enodes)
1545992482.795 * * [misc]simplify:  iters left: 5 (31 enodes)
1545992482.805 * * [misc]simplify:  iters left: 4 (61 enodes)
1545992482.818 * * [misc]simplify:  iters left: 3 (105 enodes)
1545992482.846 * * [misc]simplify:  iters left: 2 (173 enodes)
1545992482.904 * * [misc]simplify:  iters left: 1 (249 enodes)
1545992482.986 * [exit]simplify:  Simplified to (fma (/ 1 (* t t)) (- (/ 8 t) 4) 4)
1545992482.986 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (fma (/ 1 (* t t)) (- (/ 8 t) 4) 4) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992482.986 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2)))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1545992482.986 * [enter]simplify:  Simplifying (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545992482.986 * * [misc]simplify:  iters left: 6 (14 enodes)
1545992482.993 * * [misc]simplify:  iters left: 5 (31 enodes)
1545992483.001 * * [misc]simplify:  iters left: 4 (61 enodes)
1545992483.014 * * [misc]simplify:  iters left: 3 (105 enodes)
1545992483.054 * * [misc]simplify:  iters left: 2 (173 enodes)
1545992483.093 * * [misc]simplify:  iters left: 1 (249 enodes)
1545992483.154 * [exit]simplify:  Simplified to (fma (/ 1 (* t t)) (- (/ 8 t) 4) 4)
1545992483.154 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (fma (/ 1 (* t t)) (- (/ 8 t) 4) 4) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
1545992483.154 * * * [misc]progress:  adding candidates to table
1545992484.067 * [misc]progress:  [Phase 3 of 3] Extracting.
1545992484.067 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))> #<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))))))))>)
1545992484.069 * * * [misc]regime-changes:  Trying 5 branch expressions: (t (/ (/ 2 t) (+ 1 (/ 1 t))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 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))))))))
1545992484.069 * * * * [misc]regimes:  Trying to branch on t from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))> #<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))))))))>)
1545992484.092 * * * * [misc]regimes:  Trying to branch on (/ (/ 2 t) (+ 1 (/ 1 t))) from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))> #<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))))))))>)
1545992484.120 * * * * [misc]regimes:  Trying to branch on (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))> #<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))))))))>)
1545992484.168 * * * * [misc]regimes:  Trying to branch on (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))) from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))> #<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))))))))>)
1545992484.214 * * * * [misc]regimes:  Trying to branch on (/ (+ 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))))))) from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (/ (- (* 2 2) (* (/ (/ 2 t) (+ 1 (/ 1 t))) (/ (/ 2 t) (+ 1 (/ 1 t))))) (+ 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))> #<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))))))))>)
1545992484.265 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545992484.265 * [enter]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)))))))
1545992484.265 * * [misc]simplify:  iters left: 6 (12 enodes)
1545992484.267 * * [misc]simplify:  iters left: 5 (17 enodes)
1545992484.269 * [exit]simplify:  Simplified to (/ (+ 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)))))))
1545992484.269 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545992487.892 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545992487.896 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545992488.236 * [misc]regime-testing:  Baseline error score: 0.023625527944119967
1545992488.239 * [misc]regime-testing:  Oracle error score: 0.023375527944119966
1545992488.243 * [misc]regime-testing:  End program error score: 0.023625527944119967