1545988562.242 * [misc]progress:  [Phase 1 of 3] Setting up.
1545988562.242 * * * [misc]progress:  [1/2] Preparing points
1545988562.242 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545988562.312 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545988562.312 * * * * [exit]points:  Sampled 256 points with exact outputs
1545988562.312 * * * [misc]progress:  [2/2] Setting up program.
1545988562.315 * [misc]progress:  [Phase 2 of 3] Improving.
1545988562.315 * [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)))))))
1545988562.315 * * [misc]simplify:  iters left: 6 (12 enodes)
1545988562.317 * * [misc]simplify:  iters left: 5 (21 enodes)
1545988562.321 * * [misc]simplify:  iters left: 4 (36 enodes)
1545988562.334 * * [misc]simplify:  iters left: 3 (84 enodes)
1545988562.364 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988562.437 * [exit]simplify:  Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1545988562.444 * * [misc]progress:  iteration 1 / 4
1545988562.444 * * * [misc]progress:  picking best candidate
1545988562.446 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988562.446 * * * [misc]progress:  localizing error
1545988562.487 * * * [misc]progress:  generating rewritten candidates
1545988562.487 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1545988562.488 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1545988562.488 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1545988562.489 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1545988562.491 * * * [misc]progress:  generating series expansions
1545988562.491 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1545988562.491 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988562.491 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988562.491 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.491 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.491 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.491 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.491 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.491 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.491 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.491 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.491 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.491 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.491 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.491 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.491 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.492 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.492 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.492 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.492 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.492 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.492 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.492 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.492 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.492 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.492 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.492 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.492 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.492 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.492 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.492 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.492 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.493 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.493 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.493 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.493 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988562.493 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.493 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.494 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.494 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.494 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.494 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.494 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.494 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.495 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988562.495 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988562.495 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.495 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.495 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.496 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.496 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988562.496 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988562.496 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.497 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.497 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.497 * [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)))
1545988562.497 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988562.497 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988562.497 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.497 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.497 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.497 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.497 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.497 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.498 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.498 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.498 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.498 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.498 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.498 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.498 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.498 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.498 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.498 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.498 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.498 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.498 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.498 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.498 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.498 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.498 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.498 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.498 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.499 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.499 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.499 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.499 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.499 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.499 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.499 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.499 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.499 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.499 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.499 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.500 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.500 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.500 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.500 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.500 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.500 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.501 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.501 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.501 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.501 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.501 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.502 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.502 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988562.502 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988562.502 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.502 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.502 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.502 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.502 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.502 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.502 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.502 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.502 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.502 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.502 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.502 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.502 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.502 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.502 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.503 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.503 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.503 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.503 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.503 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.503 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.503 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.503 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.503 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.503 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.503 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.503 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.503 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.503 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.503 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.503 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.503 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.503 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.504 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.504 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.504 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.504 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.504 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.504 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988562.505 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.505 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.505 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.505 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.505 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988562.505 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.506 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988562.506 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988562.506 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.506 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.506 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.507 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.507 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1545988562.507 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988562.507 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988562.507 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.507 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.507 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.507 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.507 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.507 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.507 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.507 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.507 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.507 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.507 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.507 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.507 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.507 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.508 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.508 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.508 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.508 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.508 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.508 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.508 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.508 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.508 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.508 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.508 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.508 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.508 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.508 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.508 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.508 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.508 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.508 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.509 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988562.509 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.509 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.509 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.509 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.509 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.510 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.510 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.510 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.510 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988562.510 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988562.510 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.511 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.511 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.511 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.511 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988562.511 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988562.512 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.512 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.512 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.512 * [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)))
1545988562.512 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988562.512 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988562.512 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.512 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.512 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.512 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.512 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.512 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.513 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.513 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.513 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.513 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.513 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.513 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.513 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.513 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.513 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.513 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.513 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.513 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.513 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.513 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.513 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.513 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.514 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.514 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.514 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.514 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.514 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.514 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.515 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.515 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.515 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.515 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.515 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.515 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.516 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.516 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.516 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.516 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.516 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.516 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988562.517 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988562.517 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.517 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.517 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.517 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.517 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.517 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.517 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.517 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.517 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.517 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.517 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.517 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.517 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.517 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.517 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.517 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.517 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.517 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.517 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.518 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.518 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.518 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.518 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.518 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.518 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.518 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.518 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.518 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.518 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.518 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.518 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.518 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.518 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.518 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.518 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.518 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.519 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.519 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.519 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988562.519 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.519 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.519 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.519 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.520 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988562.520 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.526 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988562.526 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988562.526 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.526 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.526 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.527 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.527 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1545988562.527 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988562.527 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988562.527 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.527 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.527 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.527 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.527 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.527 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.527 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.527 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.527 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.527 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.527 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.527 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.527 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.528 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.528 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.528 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.528 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.528 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.528 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.528 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.528 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.528 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.528 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.528 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.528 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.528 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.528 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.528 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.528 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.528 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.529 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.529 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.529 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988562.529 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.529 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.529 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.529 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.530 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.530 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.530 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.530 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.530 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988562.530 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988562.531 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.531 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.531 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.531 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.531 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988562.531 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988562.532 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.532 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.532 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.532 * [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)))
1545988562.532 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988562.532 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988562.532 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.532 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.532 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.532 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.532 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.532 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.533 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.533 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.533 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.533 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.533 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.533 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.533 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.533 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.533 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.533 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.533 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.533 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.533 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.533 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.533 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.533 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.534 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.534 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.534 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.534 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.534 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.534 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.534 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.534 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.535 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.535 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.535 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.535 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.535 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.535 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.535 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.536 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.536 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.536 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.536 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.536 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988562.536 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988562.536 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.536 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.536 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.536 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.536 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.536 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.536 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.536 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.536 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.536 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.537 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.537 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.537 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.537 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.537 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.537 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.537 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.537 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.537 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.537 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.537 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.537 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.537 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.537 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.537 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.537 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.537 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.537 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.537 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.537 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.537 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.537 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.538 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.538 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.538 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.538 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.538 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.538 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.538 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988562.539 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.539 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.539 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.539 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.539 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988562.539 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.539 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988562.540 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988562.540 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.540 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.540 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.540 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.540 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1545988562.540 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988562.540 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988562.540 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.540 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.541 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.541 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.541 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.541 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.541 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.541 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.541 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.541 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.541 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.541 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.541 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.541 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.541 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.541 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.541 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988562.541 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.541 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.541 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.541 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.541 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.542 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.542 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.542 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.542 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.542 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988562.542 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.542 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.543 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.543 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.543 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.543 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.543 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.543 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.543 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988562.544 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988562.544 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.544 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.544 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.544 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988562.545 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988562.545 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988562.545 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.545 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.545 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.545 * [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)))
1545988562.546 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988562.546 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988562.546 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.546 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.546 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.546 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.546 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.546 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.546 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.546 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.546 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.546 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.546 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.546 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.546 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.546 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.546 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.546 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.547 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.547 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988562.547 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.547 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.547 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988562.547 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.547 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.547 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988562.547 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988562.547 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.547 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.547 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.547 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.547 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.547 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.547 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.547 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.547 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.548 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.548 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.548 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988562.548 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988562.548 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988562.548 * [misc]backup-simplify:  Simplify -2 into -2
1545988562.548 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.548 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988562.549 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988562.549 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988562.549 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.549 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.549 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.549 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.550 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988562.550 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988562.550 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.550 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.550 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.550 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.550 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.550 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.550 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.550 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.550 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.550 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.550 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.550 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.550 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.550 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.550 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.550 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.550 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.551 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.551 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988562.551 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.551 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.551 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988562.551 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988562.551 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.551 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988562.551 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988562.551 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988562.551 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.551 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988562.551 * [misc]taylor:  Taking taylor expansion of t in t
1545988562.551 * [misc]backup-simplify:  Simplify 0 into 0
1545988562.551 * [misc]backup-simplify:  Simplify 1 into 1
1545988562.551 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988562.551 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988562.551 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988562.551 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988562.552 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988562.552 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.552 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988562.552 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.552 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.552 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.552 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988562.552 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988562.553 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988562.553 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988562.553 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988562.553 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988562.553 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988562.553 * [misc]backup-simplify:  Simplify 2 into 2
1545988562.554 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988562.554 * * * [misc]progress:  simplifying candidates
1545988562.554 * * * * [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)))))>
1545988562.554 * * * * [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)))))))))>
1545988562.554 * * * * [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)))))))))>
1545988562.554 * * * * [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)))))))))>
1545988562.554 * * * * [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)))))))))>
1545988562.554 * * * * [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)))))))))>
1545988562.554 * * * * [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))))))))))>
1545988562.554 * * * * [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))))))))>
1545988562.554 * * * * [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))))))))>
1545988562.554 * * * * [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))))))))>
1545988562.554 * * * * [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))))))))>
1545988562.554 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.555 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.556 * * * * [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)))))))>
1545988562.557 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988562.557 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988562.560 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988562.569 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988562.588 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988562.645 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988562.807 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988563.077 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988563.078 * [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))))))
1545988563.078 * * * * [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)))))))>
1545988563.078 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988563.078 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988563.082 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988563.094 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988563.112 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988563.140 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988563.186 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988563.210 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988563.210 * [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)))))))
1545988563.211 * * * * [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)))))))>
1545988563.211 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988563.211 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988563.216 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988563.227 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988563.239 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988563.265 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988563.292 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988563.315 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988563.316 * [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)))))))
1545988563.316 * * * * [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)))))))>
1545988563.316 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988563.316 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988563.318 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988563.323 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988563.343 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988563.389 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988563.500 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988563.811 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988563.811 * [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)))))))
1545988563.811 * * * * [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)))))))>
1545988563.812 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988563.812 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988563.817 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988563.828 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988563.854 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988563.898 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988563.947 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988563.996 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988563.996 * [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)))))))
1545988563.996 * * * * [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)))))))>
1545988563.996 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988563.996 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988564.001 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988564.013 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988564.026 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988564.049 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988564.085 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988564.134 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988564.135 * [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)))))))
1545988564.135 * * * * [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)))))))>
1545988564.135 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988564.135 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988564.139 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988564.148 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988564.171 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988564.238 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988564.398 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988564.624 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988564.624 * [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)))))))
1545988564.624 * * * * [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)))))))>
1545988564.624 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988564.624 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988564.629 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988564.639 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988564.653 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988564.678 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988564.702 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988564.726 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988564.726 * [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)))))))
1545988564.726 * * * * [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)))))))>
1545988564.726 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988564.726 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988564.730 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988564.738 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988564.752 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988564.774 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988564.814 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988564.840 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988564.840 * [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)))))))
1545988564.840 * * * * [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)))))))>
1545988564.841 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988564.841 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988564.842 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988564.848 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988564.864 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988564.896 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988565.034 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988565.330 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988565.330 * [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)))))))
1545988565.330 * * * * [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)))))))>
1545988565.330 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988565.330 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988565.335 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988565.346 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988565.371 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988565.418 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988565.465 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988565.515 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988565.515 * [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)))))))
1545988565.515 * * * * [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)))))))>
1545988565.515 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988565.515 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988565.520 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988565.530 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988565.555 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988565.599 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988565.646 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988565.697 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988565.697 * [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)))))))
1545988565.697 * * * [misc]progress:  adding candidates to table
1545988566.298 * * [misc]progress:  iteration 2 / 4
1545988566.298 * * * [misc]progress:  picking best candidate
1545988566.304 * * * * [misc]pick:  Picked  #<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)))))))>
1545988566.304 * * * [misc]progress:  localizing error
1545988566.342 * * * [misc]progress:  generating rewritten candidates
1545988566.342 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1545988566.346 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1545988566.347 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1545988566.347 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1 1)
1545988566.350 * * * [misc]progress:  generating series expansions
1545988566.350 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1545988566.350 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988566.350 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988566.350 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988566.350 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.350 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.350 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988566.350 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.350 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.350 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988566.350 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.350 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.350 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.350 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.350 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.350 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.350 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.350 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.350 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988566.350 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.350 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.350 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988566.350 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.350 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.350 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988566.351 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.351 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.351 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.351 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.351 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.351 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.351 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.351 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.351 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988566.351 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.351 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988566.351 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.351 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.351 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988566.352 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988566.352 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.352 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.352 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.352 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.352 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988566.352 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988566.352 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.352 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988566.352 * [misc]backup-simplify:  Simplify -2 into -2
1545988566.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.353 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988566.353 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988566.353 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.353 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.353 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.353 * [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)))
1545988566.354 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988566.354 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988566.354 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.354 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.354 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.354 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.354 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.354 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.354 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.354 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.354 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.354 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.354 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.354 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.354 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.354 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.354 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.354 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.354 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.354 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.354 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.354 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.354 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.354 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.354 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.355 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.355 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.355 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988566.355 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.355 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988566.355 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.355 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988566.355 * [misc]backup-simplify:  Simplify -2 into -2
1545988566.355 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.355 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988566.356 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988566.356 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.356 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.356 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.356 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988566.356 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988566.356 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988566.356 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988566.356 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.356 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.356 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988566.356 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.356 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.356 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988566.356 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.356 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.356 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.356 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.356 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.356 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.356 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.357 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.357 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.357 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988566.357 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988566.357 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.357 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.357 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988566.357 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.357 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.357 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988566.357 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.357 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.357 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.357 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.357 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.357 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.357 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.357 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.358 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.358 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988566.358 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988566.358 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.358 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988566.358 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.358 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.358 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.358 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.358 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988566.359 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.359 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988566.359 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988566.359 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.359 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.359 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.359 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988566.359 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1545988566.359 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988566.359 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988566.360 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.360 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.360 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.360 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.360 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.360 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.360 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.360 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.360 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.360 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.360 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.360 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.360 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.360 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.360 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.360 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.360 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.361 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.361 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.361 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.361 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.361 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.361 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.361 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988566.361 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.361 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988566.362 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.362 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.362 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988566.362 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988566.362 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.362 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.363 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.363 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.363 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988566.363 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988566.363 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.364 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988566.364 * [misc]backup-simplify:  Simplify -2 into -2
1545988566.364 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.364 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988566.365 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988566.365 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.365 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.365 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.365 * [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)))
1545988566.366 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988566.366 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988566.366 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988566.366 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.366 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.366 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988566.366 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.366 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.366 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988566.366 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.366 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.366 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.366 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.366 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.366 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.366 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.366 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.366 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.367 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988566.367 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.367 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.367 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988566.367 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.367 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.367 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988566.367 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.367 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.367 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.367 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.367 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.367 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.367 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.367 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.368 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988566.368 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.368 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988566.368 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.368 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988566.368 * [misc]backup-simplify:  Simplify -2 into -2
1545988566.369 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.369 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.369 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988566.369 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988566.369 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.369 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.370 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.370 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988566.370 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988566.370 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988566.370 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988566.370 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.370 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.370 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988566.370 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.370 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.370 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988566.370 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.370 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.370 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.370 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.370 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.370 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.370 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.371 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.371 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.371 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988566.371 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988566.371 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.371 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.371 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988566.371 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.371 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.371 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988566.371 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.371 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.372 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.372 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.372 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.372 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.372 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.372 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.372 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.372 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.372 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988566.373 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988566.373 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.373 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988566.373 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.373 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.373 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.373 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.374 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988566.374 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.374 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988566.374 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988566.374 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.375 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.375 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.375 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988566.375 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1545988566.375 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1545988566.375 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1545988566.375 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988566.375 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.375 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.375 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988566.375 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.375 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.375 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988566.375 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.376 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.376 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.376 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.376 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.376 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.376 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.376 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.376 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1545988566.376 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.376 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.376 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1545988566.376 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.376 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.376 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1545988566.376 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.376 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.376 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.376 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.376 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.376 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.377 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.377 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.377 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988566.377 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.377 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1545988566.377 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.377 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.378 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988566.378 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988566.378 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.378 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.378 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.379 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.379 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1545988566.379 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1545988566.379 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.379 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988566.379 * [misc]backup-simplify:  Simplify -2 into -2
1545988566.380 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.380 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1545988566.380 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1545988566.381 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.381 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.381 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.381 * [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)))
1545988566.381 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1545988566.381 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1545988566.381 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988566.381 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.381 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.381 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988566.382 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.382 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.382 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988566.382 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.382 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.382 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.382 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.382 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.382 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.382 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.382 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.382 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.382 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.382 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1545988566.382 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.382 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.382 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1545988566.382 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.382 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.383 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1545988566.383 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.383 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.383 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.383 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.383 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.383 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.383 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.383 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.383 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.383 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.383 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988566.383 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.384 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1545988566.384 * [misc]backup-simplify:  Simplify (- 2) into -2
1545988566.384 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1545988566.384 * [misc]backup-simplify:  Simplify -2 into -2
1545988566.384 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.384 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.385 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1545988566.385 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1545988566.385 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.385 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.385 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.386 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988566.386 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1545988566.386 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1545988566.386 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988566.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.386 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.386 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988566.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.386 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.386 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988566.386 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.386 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.386 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.386 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.386 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.386 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.386 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.386 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.387 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.387 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.387 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988566.387 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1545988566.387 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.387 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.387 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1545988566.387 * [misc]taylor:  Taking taylor expansion of 2 in t
1545988566.387 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.387 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1545988566.387 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.387 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.387 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.387 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.387 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.387 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.387 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.387 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.388 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.388 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.388 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1545988566.388 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1545988566.388 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.388 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1545988566.389 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.389 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.389 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.389 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.389 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988566.389 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.390 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1545988566.390 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1545988566.390 * [misc]backup-simplify:  Simplify (- -2) into 2
1545988566.390 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1545988566.390 * [misc]backup-simplify:  Simplify 2 into 2
1545988566.391 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988566.391 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1 1)
1545988566.391 * [misc]backup-simplify:  Simplify (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) into (- 4 (* 4 (/ 1 (pow (+ t 1) 2))))
1545988566.391 * [misc]approximate:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (+ t 1) 2)))) in (t) around 0
1545988566.391 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (+ t 1) 2)))) in t
1545988566.391 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.391 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.391 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t
1545988566.391 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.391 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.391 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t
1545988566.391 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1545988566.391 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.391 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.391 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.391 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.391 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.391 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.392 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.392 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545988566.392 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.392 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (+ t 1) 2)))) in t
1545988566.392 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.392 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.392 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow (+ t 1) 2))) in t
1545988566.392 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.392 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.392 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t
1545988566.392 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1545988566.392 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1545988566.392 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.392 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.392 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.392 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.392 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.393 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.393 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545988566.393 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.393 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1545988566.393 * [misc]backup-simplify:  Simplify (- 4) into -4
1545988566.393 * [misc]backup-simplify:  Simplify (+ 4 -4) into 0
1545988566.394 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.394 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.394 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545988566.394 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 2 1)))) into -2
1545988566.394 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1545988566.395 * [misc]backup-simplify:  Simplify (- -8) into 8
1545988566.395 * [misc]backup-simplify:  Simplify (+ 0 8) into 8
1545988566.395 * [misc]backup-simplify:  Simplify 8 into 8
1545988566.395 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.395 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1545988566.396 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1545988566.396 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1545988566.396 * [misc]backup-simplify:  Simplify (- 12) into -12
1545988566.396 * [misc]backup-simplify:  Simplify (+ 0 -12) into -12
1545988566.396 * [misc]backup-simplify:  Simplify -12 into -12
1545988566.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.397 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1545988566.397 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)) (* 3 (/ 2 1)))) into -4
1545988566.397 * [misc]backup-simplify:  Simplify (+ (* 4 -4) (+ (* 0 3) (+ (* 0 -2) (* 0 1)))) into -16
1545988566.398 * [misc]backup-simplify:  Simplify (- -16) into 16
1545988566.398 * [misc]backup-simplify:  Simplify (+ 0 16) into 16
1545988566.398 * [misc]backup-simplify:  Simplify 16 into 16
1545988566.398 * [misc]backup-simplify:  Simplify (+ (* 16 (pow t 3)) (+ (* -12 (pow t 2)) (* 8 t))) into (- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2)))
1545988566.399 * [misc]backup-simplify:  Simplify (- (* 2 2) (* (/ 2 (+ 1 (/ 1 t))) (/ 2 (+ 1 (/ 1 t))))) into (- 4 (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))))
1545988566.399 * [misc]approximate:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2)))) in (t) around 0
1545988566.399 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2)))) in t
1545988566.399 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.399 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.399 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t
1545988566.399 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.399 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.399 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t
1545988566.399 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1545988566.399 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.399 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.399 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.399 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.399 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.399 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.399 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.399 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.399 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.399 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545988566.400 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.400 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2)))) in t
1545988566.400 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.400 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.400 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t
1545988566.400 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.400 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.400 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t
1545988566.400 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1545988566.400 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1545988566.400 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.400 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.400 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.400 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.400 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.400 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.400 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.400 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.401 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545988566.401 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.401 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1545988566.401 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.401 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.401 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.401 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1545988566.402 * [misc]backup-simplify:  Simplify (- 4) into -4
1545988566.402 * [misc]backup-simplify:  Simplify (+ 0 -4) into -4
1545988566.402 * [misc]backup-simplify:  Simplify -4 into -4
1545988566.402 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.402 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545988566.402 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1545988566.403 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 2 1)))) into -2
1545988566.403 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1545988566.403 * [misc]backup-simplify:  Simplify (- -8) into 8
1545988566.403 * [misc]backup-simplify:  Simplify (+ 0 8) into 8
1545988566.403 * [misc]backup-simplify:  Simplify 8 into 8
1545988566.404 * [misc]backup-simplify:  Simplify (+ (* 8 (pow (/ 1 t) 3)) (+ (* -4 (pow (/ 1 t) 2)) 4)) into (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545988566.404 * [misc]backup-simplify:  Simplify (- (* 2 2) (* (/ 2 (+ 1 (/ 1 (- t)))) (/ 2 (+ 1 (/ 1 (- t)))))) into (- 4 (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))))
1545988566.404 * [misc]approximate:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2)))) in (t) around 0
1545988566.404 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2)))) in t
1545988566.404 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.404 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.404 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t
1545988566.404 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.404 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.404 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t
1545988566.404 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1545988566.404 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.404 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.405 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.405 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.405 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.405 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.405 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.405 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.405 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.405 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.405 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1545988566.405 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.405 * [misc]taylor:  Taking taylor expansion of (- 4 (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2)))) in t
1545988566.406 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.406 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.406 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t
1545988566.406 * [misc]taylor:  Taking taylor expansion of 4 in t
1545988566.406 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.406 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t
1545988566.406 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1545988566.406 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1545988566.406 * [misc]taylor:  Taking taylor expansion of 1 in t
1545988566.406 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.406 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1545988566.406 * [misc]taylor:  Taking taylor expansion of t in t
1545988566.406 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.406 * [misc]backup-simplify:  Simplify 1 into 1
1545988566.406 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.406 * [misc]backup-simplify:  Simplify (- 1) into -1
1545988566.406 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545988566.407 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1545988566.407 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545988566.407 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1545988566.407 * [misc]backup-simplify:  Simplify 4 into 4
1545988566.408 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545988566.408 * [misc]backup-simplify:  Simplify 0 into 0
1545988566.408 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1545988566.408 * [misc]backup-simplify:  Simplify (- 4) into -4
1545988566.408 * [misc]backup-simplify:  Simplify (+ 0 -4) into -4
1545988566.408 * [misc]backup-simplify:  Simplify -4 into -4
1545988566.408 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545988566.409 * [misc]backup-simplify:  Simplify (- 0) into 0
1545988566.409 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545988566.409 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1545988566.409 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -2 1)))) into 2
1545988566.409 * [misc]backup-simplify:  Simplify (+ (* 4 2) (* 0 1)) into 8
1545988566.410 * [misc]backup-simplify:  Simplify (- 8) into -8
1545988566.410 * [misc]backup-simplify:  Simplify (+ 0 -8) into -8
1545988566.410 * [misc]backup-simplify:  Simplify -8 into -8
1545988566.410 * [misc]backup-simplify:  Simplify (+ (* -8 (pow (/ 1 (- t)) 3)) (+ (* -4 (pow (/ 1 (- t)) 2)) 4)) into (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545988566.410 * * * [misc]progress:  simplifying candidates
1545988566.410 * * * * [misc]progress:  [ 1 / 58 ] 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))) (pow (- 2 (/ 2 (+ 1 t))) 1)))))>
1545988566.411 * * * * [misc]progress:  [ 2 / 58 ] 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))) (exp (log (- 2 (/ 2 (+ 1 t)))))))))>
1545988566.411 * * * * [misc]progress:  [ 3 / 58 ] 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))) (log (exp (- 2 (/ 2 (+ 1 t)))))))))>
1545988566.411 * * * * [misc]progress:  [ 4 / 58 ] 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))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))>
1545988566.411 * * * * [misc]progress:  [ 5 / 58 ] 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))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))>
1545988566.411 * * * * [misc]progress:  [ 6 / 58 ] 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))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))>
1545988566.411 * * * * [misc]progress:  [ 7 / 58 ] 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))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))>
1545988566.411 * * * * [misc]progress:  [ 8 / 58 ] 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))))))))>
1545988566.411 * * * * [misc]progress:  [ 9 / 58 ] 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))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1545988566.411 * * * * [misc]progress:  [ 10 / 58 ] 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) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))>
1545988566.411 * * * * [misc]progress:  [ 11 / 58 ] 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))))))))>
1545988566.412 * * * * [misc]progress:  [ 12 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.412 * * * * [misc]progress:  [ 13 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.412 * * * * [misc]progress:  [ 14 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.412 * * * * [misc]progress:  [ 15 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.412 * * * * [misc]progress:  [ 16 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.412 * * * * [misc]progress:  [ 17 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.412 * * * * [misc]progress:  [ 18 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.412 * * * * [misc]progress:  [ 19 / 58 ] 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)))))))>
1545988566.412 * * * * [misc]progress:  [ 20 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.412 * * * * [misc]progress:  [ 21 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.412 * * * * [misc]progress:  [ 22 / 58 ] 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)))))))>
1545988566.412 * * * * [misc]progress:  [ 23 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (pow (- 2 (/ 2 (+ 1 t))) 1))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.413 * * * * [misc]progress:  [ 24 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.413 * * * * [misc]progress:  [ 25 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.413 * * * * [misc]progress:  [ 26 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.413 * * * * [misc]progress:  [ 27 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.413 * * * * [misc]progress:  [ 28 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.413 * * * * [misc]progress:  [ 29 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.413 * * * * [misc]progress:  [ 30 / 58 ] 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)))))))>
1545988566.413 * * * * [misc]progress:  [ 31 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.413 * * * * [misc]progress:  [ 32 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 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)))))))>
1545988566.413 * * * * [misc]progress:  [ 33 / 58 ] 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)))))))>
1545988566.413 * * * * [misc]progress:  [ 34 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (log (/ (exp (* 2 2)) (exp (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.414 * [enter]simplify:  Simplifying (/ (exp (* 2 2)) (exp (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
1545988566.414 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988566.419 * * [misc]simplify:  iters left: 5 (25 enodes)
1545988566.428 * * [misc]simplify:  iters left: 4 (38 enodes)
1545988566.439 * * [misc]simplify:  iters left: 3 (61 enodes)
1545988566.458 * * [misc]simplify:  iters left: 2 (112 enodes)
1545988566.499 * * [misc]simplify:  iters left: 1 (206 enodes)
1545988566.567 * [exit]simplify:  Simplified to (exp (+ 4 (/ (/ -4 (+ 1 t)) (+ 1 t))))
1545988566.567 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (t) (/ (+ 1 (* (/ (log (exp (+ 4 (/ (/ -4 (+ 1 t)) (+ 1 t))))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988566.567 * * * * [misc]progress:  [ 35 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (pow (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) 1) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988566.567 * * * * [misc]progress:  [ 36 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (exp (log (- (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 37 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (log (exp (- (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 38 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* (* (cbrt (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (cbrt (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))) (cbrt (- (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 39 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (cbrt (* (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (- (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 40 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* (sqrt (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (sqrt (- (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 41 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (- (pow (* 2 2) 3) (pow (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) 3)) (+ (* (* 2 2) (* 2 2)) (+ (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (* (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 42 / 58 ] 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 43 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 44 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (- (* (* 2 2) (* 2 2)) (* (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (+ (* 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)))))))>
1545988566.567 * * * * [misc]progress:  [ 45 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* (+ 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)))))))>
1545988566.567 * [enter]simplify:  Simplifying (+ 2 (/ 2 (+ 1 t)))
1545988566.567 * * [misc]simplify:  iters left: 6 (6 enodes)
1545988566.569 * * [misc]simplify:  iters left: 5 (10 enodes)
1545988566.570 * [exit]simplify:  Simplified to (+ 2 (/ 2 (+ 1 t)))
1545988566.570 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (t) (/ (+ 1 (* (/ (* (+ 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)))))))
1545988566.570 * [enter]simplify:  Simplifying (- 2 (/ 2 (+ 1 t)))
1545988566.570 * * [misc]simplify:  iters left: 6 (6 enodes)
1545988566.571 * * [misc]simplify:  iters left: 5 (11 enodes)
1545988566.573 * * [misc]simplify:  iters left: 4 (15 enodes)
1545988566.574 * [exit]simplify:  Simplified to (- 2 (/ 2 (+ 1 t)))
1545988566.574 * [misc]simplify:  Simplified (2 1 2 1 1 2) to (λ (t) (/ (+ 1 (* (/ (* (+ 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)))))))
1545988566.575 * * * * [misc]progress:  [ 46 / 58 ] 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)))))))>
1545988566.575 * * * * [misc]progress:  [ 47 / 58 ] 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 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1545988566.575 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988566.575 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988566.577 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988566.582 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988566.603 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988566.635 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988566.741 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988567.043 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988567.043 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (- (* t t) (- t 1)) (* t 2))))))
1545988567.043 * * * * [misc]progress:  [ 48 / 58 ] 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 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545988567.043 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988567.043 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988567.046 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988567.051 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988567.064 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988567.103 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988567.146 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988567.188 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988567.188 * [misc]simplify:  Simplified (2 2 2 2) to (λ (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 t)) (/ 2 (* t t)))))))
1545988567.188 * * * * [misc]progress:  [ 49 / 58 ] 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 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1545988567.189 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988567.189 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988567.193 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988567.202 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988567.223 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988567.244 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988567.268 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988567.300 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988567.300 * [misc]simplify:  Simplified (2 2 2 2) to (λ (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 t)) (/ 2 (* t t)))))))
1545988567.300 * * * * [misc]progress:  [ 50 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t)))))))>
1545988567.300 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988567.300 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988567.304 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988567.314 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988567.336 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988567.399 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988567.533 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988567.836 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988567.836 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (- (* t t) (- t 1)) (* t 2)) (- 2 (/ 2 (+ 1 t)))))))
1545988567.836 * * * * [misc]progress:  [ 51 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988567.836 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988567.837 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988567.842 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988567.849 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988567.864 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988567.886 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988567.917 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988567.945 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988567.945 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))
1545988567.945 * * * * [misc]progress:  [ 52 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988567.945 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988567.945 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988567.948 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988567.956 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988567.970 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988567.995 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988568.038 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988568.077 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988568.077 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (- 2 (/ 2 (+ 1 t)))))))
1545988568.077 * * * * [misc]progress:  [ 53 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988568.077 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1545988568.078 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988568.079 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988568.084 * * [misc]simplify:  iters left: 4 (56 enodes)
1545988568.095 * * [misc]simplify:  iters left: 3 (107 enodes)
1545988568.131 * * [misc]simplify:  iters left: 2 (205 enodes)
1545988568.236 * * [misc]simplify:  iters left: 1 (364 enodes)
1545988568.535 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1545988568.535 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (* (- (* t t) (- t 1)) (* t 2)))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988568.535 * * * * [misc]progress:  [ 54 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988568.535 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988568.535 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988568.538 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988568.543 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988568.556 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988568.595 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988568.623 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988568.662 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988568.662 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988568.662 * * * * [misc]progress:  [ 55 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988568.663 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1545988568.663 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988568.665 * * [misc]simplify:  iters left: 5 (23 enodes)
1545988568.671 * * [misc]simplify:  iters left: 4 (46 enodes)
1545988568.684 * * [misc]simplify:  iters left: 3 (83 enodes)
1545988568.708 * * [misc]simplify:  iters left: 2 (117 enodes)
1545988568.755 * * [misc]simplify:  iters left: 1 (165 enodes)
1545988568.779 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1545988568.779 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988568.779 * * * * [misc]progress:  [ 56 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988568.780 * [enter]simplify:  Simplifying (- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2)))
1545988568.780 * * [misc]simplify:  iters left: 6 (13 enodes)
1545988568.784 * * [misc]simplify:  iters left: 5 (24 enodes)
1545988568.794 * * [misc]simplify:  iters left: 4 (54 enodes)
1545988568.812 * * [misc]simplify:  iters left: 3 (97 enodes)
1545988568.839 * * [misc]simplify:  iters left: 2 (151 enodes)
1545988568.864 * * [misc]simplify:  iters left: 1 (206 enodes)
1545988568.890 * [exit]simplify:  Simplified to (- (* 8 t) (* (* t t) (- 12 (* 16 t))))
1545988568.890 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (/ (- (* 8 t) (* (* t t) (- 12 (* 16 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988568.890 * * * * [misc]progress:  [ 57 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988568.890 * [enter]simplify:  Simplifying (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545988568.890 * * [misc]simplify:  iters left: 6 (14 enodes)
1545988568.896 * * [misc]simplify:  iters left: 5 (30 enodes)
1545988568.903 * * [misc]simplify:  iters left: 4 (57 enodes)
1545988568.917 * * [misc]simplify:  iters left: 3 (91 enodes)
1545988568.949 * * [misc]simplify:  iters left: 2 (141 enodes)
1545988568.986 * * [misc]simplify:  iters left: 1 (207 enodes)
1545988569.043 * [exit]simplify:  Simplified to (- 4 (* (/ 1 (* t t)) (- 4 (/ 8 t))))
1545988569.043 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (/ (- 4 (* (/ 1 (* t t)) (- 4 (/ 8 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988569.043 * * * * [misc]progress:  [ 58 / 58 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1545988569.044 * [enter]simplify:  Simplifying (- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
1545988569.044 * * [misc]simplify:  iters left: 6 (14 enodes)
1545988569.051 * * [misc]simplify:  iters left: 5 (30 enodes)
1545988569.065 * * [misc]simplify:  iters left: 4 (57 enodes)
1545988569.078 * * [misc]simplify:  iters left: 3 (91 enodes)
1545988569.094 * * [misc]simplify:  iters left: 2 (141 enodes)
1545988569.112 * * [misc]simplify:  iters left: 1 (207 enodes)
1545988569.142 * [exit]simplify:  Simplified to (- 4 (* (/ 1 (* t t)) (- 4 (/ 8 t))))
1545988569.142 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (/ (- 4 (* (/ 1 (* t t)) (- 4 (/ 8 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1545988569.142 * * * [misc]progress:  adding candidates to table
1545988569.938 * [misc]progress:  [Phase 3 of 3] Extracting.
1545988569.938 * * [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) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>)
1545988569.938 * * * [misc]regime-changes:  Trying 1 branch expressions: (t)
1545988569.938 * * * * [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) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>)
1545988569.959 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545988569.959 * [enter]simplify:  Simplifying (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1545988569.959 * * [misc]simplify:  iters left: 6 (10 enodes)
1545988569.960 * * [misc]simplify:  iters left: 5 (15 enodes)
1545988569.961 * [exit]simplify:  Simplified to (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
1545988569.961 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545988573.195 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545988573.197 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545988573.479 * [misc]regime-testing:  Baseline error score: 0.008125
1545988573.481 * [misc]regime-testing:  Oracle error score: 0.007875
1545988573.484 * [misc]regime-testing:  End program error score: 0.008125