1545384173.984 * [misc]progress:  [Phase 1 of 3] Setting up.
1545384173.984 * * * [misc]progress:  [1/2] Preparing points
1545384173.984 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545384174.064 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545384174.065 * * * * [exit]points:  Sampled 256 points with exact outputs
1545384174.065 * * * [misc]progress:  [2/2] Setting up program.
1545384174.071 * [misc]progress:  [Phase 2 of 3] Improving.
1545384174.071 * [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)))))))
1545384174.071 * * [misc]simplify:  iters left: 6 (12 enodes)
1545384174.076 * * [misc]simplify:  iters left: 5 (21 enodes)
1545384174.082 * * [misc]simplify:  iters left: 4 (36 enodes)
1545384174.125 * * [misc]simplify:  iters left: 3 (84 enodes)
1545384174.161 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384174.557 * [exit]simplify:  Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1545384174.569 * * [misc]progress:  iteration 1 / 4
1545384174.569 * * * [misc]progress:  picking best candidate
1545384174.572 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.572 * * * [misc]progress:  localizing error
1545384174.591 * * * [misc]progress:  generating rewritten candidates
1545384174.591 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1545384174.596 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1545384174.601 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1545384174.606 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545384174.611 * * * [misc]progress:  generating series expansions
1545384174.611 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1545384174.612 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384174.612 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384174.612 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.612 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.612 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.612 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.612 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.612 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.612 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.612 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.612 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.612 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.612 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.612 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.612 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.612 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.612 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.612 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.612 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.612 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.612 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.612 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.612 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.613 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.613 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.613 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.613 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.613 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384174.613 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.613 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.613 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.613 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.614 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.614 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.614 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.614 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.614 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384174.614 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384174.614 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.614 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.614 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.615 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.615 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384174.615 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384174.615 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.615 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.615 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.616 * [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)))
1545384174.616 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384174.616 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384174.616 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.616 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.616 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.616 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.616 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.616 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.616 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.616 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.616 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.616 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.616 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.616 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.616 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.616 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.616 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.616 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.617 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.617 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.617 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.617 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.617 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.617 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.617 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.617 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.617 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.617 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.617 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.617 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.617 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.617 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.617 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.617 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.617 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.617 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.618 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.618 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.618 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.618 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.618 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.618 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.618 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.618 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.618 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384174.618 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384174.618 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.619 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.619 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.619 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.619 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.619 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.619 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.619 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.619 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.619 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.619 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.619 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.619 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.619 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.619 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.619 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.619 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.619 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.619 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.619 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.619 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.619 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.619 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.619 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.620 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.620 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.620 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.620 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.620 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.620 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384174.620 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.620 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.620 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.620 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.621 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384174.621 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.621 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384174.621 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384174.621 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.621 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.621 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.621 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.621 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1545384174.628 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384174.628 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384174.628 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.628 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.628 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.628 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.628 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.628 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.628 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.628 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.628 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.628 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.628 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.628 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.628 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.628 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.628 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.628 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.628 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.628 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.628 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.628 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.628 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.629 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.629 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.629 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.629 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.629 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384174.629 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.629 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.629 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.629 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.630 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.630 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.630 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.630 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.630 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384174.630 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384174.630 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.630 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.630 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.630 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.631 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384174.631 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384174.631 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.631 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.631 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.631 * [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)))
1545384174.631 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384174.631 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384174.631 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.632 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.632 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.632 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.632 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.632 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.632 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.632 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.632 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.632 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.632 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.632 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.632 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.632 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.632 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.632 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.632 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.632 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.632 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.632 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.632 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.632 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.632 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.632 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.633 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.633 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.633 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.633 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.633 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.633 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.633 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.633 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.633 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.634 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.634 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.634 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.634 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.634 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.634 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.634 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384174.634 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384174.634 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.634 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.634 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.634 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.634 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.634 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.634 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.634 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.634 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.634 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.634 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.634 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.634 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.634 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.635 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.635 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.635 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.635 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.635 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.635 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.635 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.635 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.635 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.635 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.635 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.635 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.635 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.635 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.635 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.635 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.635 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.635 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.635 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.635 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.636 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.636 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.636 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.636 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.636 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384174.636 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.636 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.636 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.637 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.637 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384174.637 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.637 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384174.637 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384174.638 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.638 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.638 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.638 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.638 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1545384174.638 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384174.638 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384174.638 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.638 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.638 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.638 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.638 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.638 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.638 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.638 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.638 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.639 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.639 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.639 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.639 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.639 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.639 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.639 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.639 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.639 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.639 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.639 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.639 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.639 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.639 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.639 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.639 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.639 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.639 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.639 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.639 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.640 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.640 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.640 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.640 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384174.640 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.640 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.641 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.641 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.641 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.641 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.641 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.641 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384174.642 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384174.642 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.642 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.642 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.642 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.643 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384174.643 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384174.643 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.643 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.643 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.643 * [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)))
1545384174.644 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384174.644 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384174.644 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.644 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.644 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.644 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.644 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.644 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.644 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.644 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.644 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.644 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.644 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.644 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.644 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.644 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.644 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.644 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.645 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.645 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.645 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.645 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.645 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.645 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.645 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.645 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.645 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.645 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.645 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.645 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.645 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.645 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.645 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.645 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.645 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.645 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.646 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.646 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.646 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.646 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.646 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.646 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.646 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.646 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.647 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.647 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.647 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.647 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.647 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.648 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384174.648 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384174.648 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.648 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.648 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.648 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.648 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.648 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.648 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.648 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.648 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.648 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.648 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.648 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.648 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.648 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.648 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.648 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.649 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.649 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.649 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.649 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.649 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.649 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.649 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.649 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.649 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.649 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.649 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.649 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.649 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.649 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.649 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.649 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.649 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.649 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.649 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.650 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.650 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.650 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.650 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384174.650 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.650 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.650 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.651 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.651 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384174.651 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.651 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384174.652 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384174.652 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.652 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.652 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.652 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.652 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545384174.652 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384174.652 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384174.652 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.652 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.652 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.652 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.652 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.652 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.652 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.652 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.652 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.652 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.652 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.652 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.652 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.652 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.653 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.653 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384174.653 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.653 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.653 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384174.653 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.653 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.653 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384174.653 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384174.653 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.653 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.653 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.653 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.653 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.653 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.653 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.653 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.653 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.653 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384174.653 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.653 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.654 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.654 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.654 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.654 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.654 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.654 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.654 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384174.654 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384174.654 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.655 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.655 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.655 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384174.655 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384174.655 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384174.655 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.655 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.655 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.656 * [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)))
1545384174.656 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384174.656 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384174.656 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.656 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.656 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.656 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.656 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.656 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.656 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.656 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.656 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.656 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.656 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.656 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.656 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.656 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.656 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.656 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.656 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.656 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.656 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.656 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.657 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.657 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.657 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.657 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.657 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.657 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.657 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.657 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384174.657 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384174.657 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384174.657 * [misc]backup-simplify:  Simplify -2 into -2
1545384174.658 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.658 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384174.658 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384174.658 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384174.658 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.658 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.658 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.658 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.659 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384174.659 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384174.659 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.659 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.659 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.659 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.659 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.659 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.659 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.659 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.659 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.659 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.659 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.659 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.659 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.659 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.659 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.659 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.659 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.659 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.659 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384174.659 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.659 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.659 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384174.660 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384174.660 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.660 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384174.660 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384174.660 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384174.660 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.660 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384174.660 * [misc]taylor:  Taking taylor expansion of t in t
1545384174.660 * [misc]backup-simplify:  Simplify 0 into 0
1545384174.660 * [misc]backup-simplify:  Simplify 1 into 1
1545384174.660 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384174.660 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384174.660 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384174.660 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384174.660 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384174.660 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.660 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384174.660 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.661 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.661 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.661 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384174.661 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384174.661 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384174.661 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384174.661 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384174.661 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384174.661 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384174.661 * [misc]backup-simplify:  Simplify 2 into 2
1545384174.662 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384174.662 * * * [misc]progress:  simplifying candidates
1545384174.662 * * * * [misc]progress:  [ 1 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1)))))>
1545384174.662 * * * * [misc]progress:  [ 2 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t)))))))))>
1545384174.662 * * * * [misc]progress:  [ 3 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t)))))))))>
1545384174.662 * * * * [misc]progress:  [ 4 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))>
1545384174.662 * * * * [misc]progress:  [ 5 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))>
1545384174.662 * * * * [misc]progress:  [ 6 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))>
1545384174.662 * * * * [misc]progress:  [ 7 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))>
1545384174.662 * * * * [misc]progress:  [ 8 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1545384174.662 * * * * [misc]progress:  [ 9 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1545384174.662 * * * * [misc]progress:  [ 10 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))>
1545384174.662 * * * * [misc]progress:  [ 11 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1545384174.662 * * * * [misc]progress:  [ 12 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.662 * * * * [misc]progress:  [ 13 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.662 * * * * [misc]progress:  [ 14 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.662 * * * * [misc]progress:  [ 15 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.662 * * * * [misc]progress:  [ 16 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 17 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 18 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 19 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 20 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 21 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 22 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 23 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 24 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 25 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 26 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 27 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 28 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 29 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 30 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 31 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 32 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 33 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 34 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 35 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 36 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 37 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 38 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 39 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.663 * * * * [misc]progress:  [ 40 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.664 * * * * [misc]progress:  [ 41 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.664 * * * * [misc]progress:  [ 42 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.664 * * * * [misc]progress:  [ 43 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.664 * * * * [misc]progress:  [ 44 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384174.664 * * * * [misc]progress:  [ 45 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1545384174.664 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384174.664 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384174.666 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384174.671 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384174.683 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384174.724 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384174.869 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384175.191 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384175.191 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (- (* t t) (- t 1)) (* t 2))))))
1545384175.191 * * * * [misc]progress:  [ 46 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545384175.191 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384175.191 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384175.194 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384175.202 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384175.214 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384175.246 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384175.276 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384175.313 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384175.313 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))
1545384175.313 * * * * [misc]progress:  [ 47 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545384175.314 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384175.314 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384175.317 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384175.322 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384175.339 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384175.380 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384175.429 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384175.458 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384175.458 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))
1545384175.458 * * * * [misc]progress:  [ 48 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t)))))))>
1545384175.458 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384175.459 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384175.460 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384175.465 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384175.483 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384175.523 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384175.654 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384175.983 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384175.983 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (- (* t t) (- t 1)) (* t 2)) (- 2 (/ 2 (+ 1 t)))))))
1545384175.983 * * * * [misc]progress:  [ 49 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384175.983 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384175.984 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384175.986 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384175.993 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384176.006 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384176.040 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384176.067 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384176.097 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384176.098 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))
1545384176.098 * * * * [misc]progress:  [ 50 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384176.098 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384176.098 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384176.101 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384176.106 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384176.119 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384176.143 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384176.167 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384176.205 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384176.205 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))
1545384176.205 * * * * [misc]progress:  [ 51 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384176.206 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384176.206 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384176.210 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384176.220 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384176.243 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384176.280 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384176.434 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384176.735 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384176.735 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (- (* t t) (- t 1)) (* t 2)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545384176.735 * * * * [misc]progress:  [ 52 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384176.735 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384176.736 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384176.738 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384176.744 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384176.756 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384176.780 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384176.817 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384176.866 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384176.866 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545384176.866 * * * * [misc]progress:  [ 53 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384176.867 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384176.867 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384176.872 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384176.881 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384176.895 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384176.923 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384176.947 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384176.997 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384176.997 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545384176.998 * * * * [misc]progress:  [ 54 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384176.998 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384176.999 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384177.003 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384177.013 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384177.033 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384177.080 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384177.201 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384177.515 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384177.515 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* (- (* t t) (- t 1)) (* t 2)) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545384177.515 * * * * [misc]progress:  [ 55 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384177.516 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384177.516 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384177.519 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384177.525 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384177.540 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384177.565 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384177.593 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384177.639 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384177.639 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545384177.639 * * * * [misc]progress:  [ 56 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545384177.639 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384177.639 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384177.644 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384177.654 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384177.680 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384177.711 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384177.751 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384177.801 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384177.801 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545384177.801 * * * [misc]progress:  adding candidates to table
1545384178.375 * * [misc]progress:  iteration 2 / 4
1545384178.376 * * * [misc]progress:  picking best candidate
1545384178.379 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.379 * * * [misc]progress:  localizing error
1545384178.415 * * * [misc]progress:  generating rewritten candidates
1545384178.415 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1545384178.425 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
1545384178.436 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2 1 1 2 1)
1545384178.446 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1 1 1 1)
1545384178.457 * * * [misc]progress:  generating series expansions
1545384178.457 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1545384178.458 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384178.458 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384178.458 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.458 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.458 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.458 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.458 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.458 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.458 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.458 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.458 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.458 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.458 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.458 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.458 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.458 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.459 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.459 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.459 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.459 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.459 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.459 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.459 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.459 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.459 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.459 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.459 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.459 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.459 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.459 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.459 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.459 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.460 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.460 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.460 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384178.460 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.460 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.460 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.461 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.461 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.461 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.461 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.461 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.461 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384178.462 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384178.462 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.462 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.462 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.462 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.463 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384178.463 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384178.463 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.463 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.463 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.464 * [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)))
1545384178.464 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384178.464 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384178.464 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.464 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.464 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.464 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.464 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.464 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.464 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.464 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.464 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.464 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.464 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.464 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.465 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.465 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.465 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.465 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.465 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.465 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.465 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.465 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.465 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.465 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.465 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.465 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.465 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.465 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.465 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.465 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.465 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.466 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.466 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.466 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.466 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.466 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.466 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.466 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.466 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.467 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.467 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.467 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.467 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.467 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.467 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.468 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.468 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.468 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.468 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.468 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.469 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384178.469 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384178.469 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.469 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.469 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.469 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.469 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.469 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.469 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.469 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.469 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.469 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.469 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.469 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.469 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.469 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.469 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.469 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.470 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.470 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.470 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.470 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.470 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.470 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.470 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.470 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.470 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.470 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.470 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.470 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.470 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.470 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.470 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.470 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.470 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.470 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.471 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.471 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.471 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.471 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.471 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384178.471 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.472 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.472 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.472 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.472 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384178.472 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.472 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384178.473 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384178.473 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.473 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.473 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.473 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.473 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1 2 1)
1545384178.474 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384178.474 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384178.474 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.474 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.474 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.474 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.474 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.474 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.474 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.474 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.474 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.474 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.474 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.474 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.474 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.474 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.474 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.474 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.474 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.475 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.475 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.475 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.475 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.475 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.475 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.475 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.475 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.475 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384178.475 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.476 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.476 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.476 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.476 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.476 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.476 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.476 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.477 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384178.477 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384178.477 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.477 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.477 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.477 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.478 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384178.478 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384178.478 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.478 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.478 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.479 * [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)))
1545384178.479 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384178.479 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384178.479 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.479 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.479 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.479 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.479 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.479 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.479 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.479 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.479 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.479 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.479 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.479 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.479 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.479 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.479 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.479 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.480 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.480 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.480 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.480 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.480 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.480 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.480 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.480 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.480 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.480 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.480 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.480 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.480 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.480 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.480 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.480 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.480 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.480 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.480 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.480 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.480 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.480 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.481 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.481 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.481 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.481 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.481 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.481 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.481 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.481 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.481 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.482 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.482 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384178.482 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384178.482 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.482 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.482 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.482 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.482 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.482 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.482 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.482 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.482 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.482 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.482 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.482 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.482 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.482 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.482 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.482 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.482 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.483 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.483 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.483 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.483 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.483 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.483 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.483 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.483 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.483 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.483 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.483 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.483 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.483 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.483 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.483 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.483 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384178.483 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.484 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.484 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.484 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.484 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384178.484 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.484 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384178.484 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384178.484 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.484 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.484 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.485 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.485 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2 1 1 2 1)
1545384178.485 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384178.485 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384178.485 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.485 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.485 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.485 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.485 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.485 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.485 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.485 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.485 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.485 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.485 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.485 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.485 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.485 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.485 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.485 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.485 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.485 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.485 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.485 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.485 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.485 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.486 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.486 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.486 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.486 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384178.486 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.486 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.486 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.486 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.486 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.486 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.486 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.487 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.487 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384178.487 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384178.487 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.487 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.487 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.487 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.487 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384178.488 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384178.488 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.488 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.488 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.488 * [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)))
1545384178.488 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384178.488 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384178.488 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.488 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.488 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.488 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.488 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.488 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.488 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.488 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.488 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.488 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.488 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.488 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.488 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.489 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.489 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.489 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.489 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.489 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.489 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.489 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.489 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.489 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.489 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.489 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.489 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.489 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.489 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.489 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.489 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.489 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.489 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.489 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.489 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.489 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.489 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.489 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.490 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.490 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.490 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.490 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.490 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.490 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.490 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.490 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.490 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.490 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.490 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.491 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.491 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384178.491 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384178.491 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.491 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.491 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.491 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.491 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.491 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.491 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.491 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.491 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.491 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.491 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.491 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.491 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.491 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.491 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.491 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.491 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.491 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.491 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.491 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.491 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.492 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.492 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.492 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.492 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.492 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.492 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.492 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.492 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.492 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.492 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.492 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.492 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.492 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.492 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.492 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.492 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.492 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.493 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384178.493 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.493 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.493 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.493 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.493 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384178.493 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.493 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384178.493 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384178.494 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.494 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.494 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.494 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.494 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1 1 1 1)
1545384178.494 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545384178.494 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545384178.494 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.494 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.494 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.494 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.494 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.494 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.494 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.494 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.494 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.494 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.494 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.494 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.494 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.494 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.494 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.494 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545384178.494 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.494 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.495 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545384178.495 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.495 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.495 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545384178.495 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545384178.495 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.495 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.495 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.495 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.495 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.495 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.495 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.495 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.495 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.495 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545384178.495 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.495 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.496 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.496 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.496 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.496 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.496 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.496 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.497 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545384178.497 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545384178.497 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.497 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.497 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.497 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545384178.498 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545384178.498 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545384178.498 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.498 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.498 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.498 * [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)))
1545384178.499 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545384178.499 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545384178.499 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.499 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.499 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.499 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.499 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.499 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.499 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.499 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.499 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.499 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.499 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.499 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.499 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.499 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.499 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.499 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.500 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.500 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545384178.500 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.500 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.500 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545384178.500 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.500 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.500 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545384178.500 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545384178.500 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.500 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.500 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.500 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.500 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.500 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.500 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.500 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.501 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.501 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.501 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.501 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545384178.501 * [misc]backup-simplify:  Simplify (- 2) into -2
1545384178.501 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545384178.501 * [misc]backup-simplify:  Simplify -2 into -2
1545384178.502 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.502 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545384178.502 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545384178.502 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545384178.502 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.502 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.502 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.503 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.503 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545384178.503 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545384178.503 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.503 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.503 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.503 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.503 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.503 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.503 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.503 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.503 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.503 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.503 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.503 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.503 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.503 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.503 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.504 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.504 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.504 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.504 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545384178.504 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.504 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.504 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545384178.504 * [misc]taylor:  Taking taylor expansion of 2 in t
1545384178.504 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.504 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545384178.504 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545384178.504 * [misc]taylor:  Taking taylor expansion of 1 in t
1545384178.504 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.504 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545384178.504 * [misc]taylor:  Taking taylor expansion of t in t
1545384178.504 * [misc]backup-simplify:  Simplify 0 into 0
1545384178.504 * [misc]backup-simplify:  Simplify 1 into 1
1545384178.504 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545384178.505 * [misc]backup-simplify:  Simplify (- 1) into -1
1545384178.505 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545384178.505 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545384178.505 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545384178.505 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.505 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545384178.505 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.505 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.505 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.506 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545384178.506 * [misc]backup-simplify:  Simplify (- 0) into 0
1545384178.506 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545384178.506 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545384178.506 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545384178.506 * [misc]backup-simplify:  Simplify (- -2) into 2
1545384178.507 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545384178.507 * [misc]backup-simplify:  Simplify 2 into 2
1545384178.507 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384178.507 * * * [misc]progress:  simplifying candidates
1545384178.507 * * * * [misc]progress:  [ 1 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (pow (- 2 (/ 2 (+ 1 t))) 1)))))>
1545384178.507 * * * * [misc]progress:  [ 2 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (exp (log (- 2 (/ 2 (+ 1 t)))))))))>
1545384178.507 * * * * [misc]progress:  [ 3 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (log (exp (- 2 (/ 2 (+ 1 t)))))))))>
1545384178.507 * * * * [misc]progress:  [ 4 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))>
1545384178.507 * * * * [misc]progress:  [ 5 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))>
1545384178.507 * * * * [misc]progress:  [ 6 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))>
1545384178.507 * * * * [misc]progress:  [ 7 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))>
1545384178.508 * * * * [misc]progress:  [ 8 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1545384178.508 * * * * [misc]progress:  [ 9 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1545384178.508 * * * * [misc]progress:  [ 10 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))>
1545384178.508 * * * * [misc]progress:  [ 11 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1545384178.508 * * * * [misc]progress:  [ 12 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (pow (- 2 (/ 2 (+ 1 t))) 1))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 13 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (exp (log (- 2 (/ 2 (+ 1 t))))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 14 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (log (exp (- 2 (/ 2 (+ 1 t))))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 15 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 16 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 17 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 18 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 19 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (+ 2 (- (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 20 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (* 1 (- 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 21 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 22 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (+ 2 (- (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.508 * * * * [misc]progress:  [ 23 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (pow (- 2 (/ 2 (+ 1 t))) 1))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 24 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (exp (log (- 2 (/ 2 (+ 1 t))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 25 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (log (exp (- 2 (/ 2 (+ 1 t))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 26 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 27 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 28 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 29 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 30 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (+ 2 (- (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 31 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (* 1 (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 32 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 33 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (+ 2 (- (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 34 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (pow (- 2 (/ 2 (+ 1 t))) 1)) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 35 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (exp (log (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 36 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (log (exp (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 37 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 38 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.509 * * * * [misc]progress:  [ 39 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.510 * * * * [misc]progress:  [ 40 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.510 * * * * [misc]progress:  [ 41 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (+ 2 (- (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.510 * * * * [misc]progress:  [ 42 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (* 1 (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.510 * * * * [misc]progress:  [ 43 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.510 * * * * [misc]progress:  [ 44 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (+ 2 (- (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384178.510 * * * * [misc]progress:  [ 45 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1545384178.510 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384178.510 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384178.514 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384178.524 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384178.534 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384178.569 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384178.707 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384179.021 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384179.021 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (* (- (* t t) (- t 1)) (* t 2))))))
1545384179.021 * * * * [misc]progress:  [ 46 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545384179.022 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384179.022 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384179.027 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384179.038 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384179.065 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384179.109 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384179.163 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384179.210 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384179.210 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))
1545384179.211 * * * * [misc]progress:  [ 47 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545384179.211 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384179.211 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384179.216 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384179.226 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384179.247 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384179.270 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384179.301 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384179.350 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384179.351 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))
1545384179.351 * * * * [misc]progress:  [ 48 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384179.351 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384179.351 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384179.355 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384179.365 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384179.385 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384179.446 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384179.554 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384179.832 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384179.833 * [misc]simplify:  Simplified (2 2 2 1 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (* (- (* t t) (- t 1)) (* t 2)))) (- 2 (/ 2 (+ 1 t)))))))
1545384179.833 * * * * [misc]progress:  [ 49 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384179.833 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384179.833 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384179.838 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384179.848 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384179.872 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384179.908 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384179.933 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384179.961 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384179.961 * [misc]simplify:  Simplified (2 2 2 1 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384179.961 * * * * [misc]progress:  [ 50 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384179.961 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384179.961 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384179.966 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384179.972 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384179.994 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384180.030 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384180.054 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384180.079 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384180.079 * [misc]simplify:  Simplified (2 2 2 1 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384180.080 * * * * [misc]progress:  [ 51 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384180.080 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384180.080 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384180.082 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384180.086 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384180.098 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384180.165 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384180.296 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384180.535 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384180.535 * [misc]simplify:  Simplified (2 2 2 1 1 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (* (- (* t t) (- t 1)) (* t 2)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384180.535 * * * * [misc]progress:  [ 52 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384180.535 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384180.535 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384180.538 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384180.545 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384180.557 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384180.583 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384180.631 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384180.683 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384180.684 * [misc]simplify:  Simplified (2 2 2 1 1 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384180.684 * * * * [misc]progress:  [ 53 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384180.684 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384180.684 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384180.690 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384180.701 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384180.726 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384180.769 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384180.819 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384180.868 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384180.868 * [misc]simplify:  Simplified (2 2 2 1 1 2 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384180.868 * * * * [misc]progress:  [ 54 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384180.868 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545384180.868 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384180.872 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384180.883 * * [misc]simplify:  iters left: 4 (56 enodes)
1545384180.905 * * [misc]simplify:  iters left: 3 (107 enodes)
1545384180.966 * * [misc]simplify:  iters left: 2 (205 enodes)
1545384181.093 * * [misc]simplify:  iters left: 1 (364 enodes)
1545384181.356 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545384181.356 * [misc]simplify:  Simplified (2 2 2 1 1 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (* (- (* t t) (- t 1)) (* t 2))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384181.356 * * * * [misc]progress:  [ 55 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384181.356 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384181.356 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384181.359 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384181.365 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384181.378 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384181.412 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384181.464 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384181.512 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384181.512 * [misc]simplify:  Simplified (2 2 2 1 1 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (+ (- 2 (/ 2 t)) (/ 2 (* t t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384181.512 * * * * [misc]progress:  [ 56 / 56 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545384181.513 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545384181.513 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384181.518 * * [misc]simplify:  iters left: 5 (23 enodes)
1545384181.529 * * [misc]simplify:  iters left: 4 (46 enodes)
1545384181.554 * * [misc]simplify:  iters left: 3 (83 enodes)
1545384181.593 * * [misc]simplify:  iters left: 2 (117 enodes)
1545384181.617 * * [misc]simplify:  iters left: 1 (165 enodes)
1545384181.640 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545384181.641 * [misc]simplify:  Simplified (2 2 2 1 1 1 1) to (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (+ (- 2 (/ 2 t)) (/ 2 (* t t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))
1545384181.641 * * * [misc]progress:  adding candidates to table
1545384182.322 * [misc]progress:  [Phase 3 of 3] Extracting.
1545384182.322 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))> #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>)
1545384182.323 * * * [misc]regime-changes:  Trying 1 branch expressions: (t)
1545384182.323 * * * * [misc]regimes:  Trying to branch on t from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))> #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>)
1545384182.350 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545384182.350 * [enter]simplify:  Simplifying (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1545384182.350 * * [misc]simplify:  iters left: 6 (10 enodes)
1545384182.350 * * [misc]simplify:  iters left: 5 (15 enodes)
1545384182.351 * [exit]simplify:  Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1545384182.351 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545384185.912 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545384185.916 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545384186.201 * [misc]regime-testing:  Baseline error score: 0.009
1545384186.202 * [misc]regime-testing:  End program error score: 0.009
1545384186.203 * [misc]regime-testing:  Oracle error score: 0.00875