1546938608.903 * [misc]progress:  [Phase 1 of 3] Setting up.
1546938608.903 * * * [misc]progress:  [1/2] Preparing points
1546938608.903 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546938608.935 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546938608.935 * * * * [exit]points:  Sampled 256 points with exact outputs
1546938608.935 * * * [misc]progress:  [2/2] Setting up program.
1546938608.939 * [misc]progress:  [Phase 2 of 3] Improving.
1546938608.939 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938608.939 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1546938608.939 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938608.943 * * [misc]simplify:  iters left: 5 (22 enodes)
1546938608.949 * * [misc]simplify:  iters left: 4 (43 enodes)
1546938608.964 * * [misc]simplify:  iters left: 3 (93 enodes)
1546938609.001 * * [misc]simplify:  iters left: 2 (206 enodes)
1546938609.097 * * [misc]simplify:  iters left: 1 (399 enodes)
1546938609.399 * [exit]simplify:  Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
1546938609.399 * [misc]simplify:  Simplified (2) to (λ (t) (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))))))
1546938609.404 * * [misc]progress:  iteration 1 / 4
1546938609.404 * * * [misc]progress:  picking best candidate
1546938609.407 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.407 * * * [misc]progress:  localizing error
1546938609.441 * * * [misc]progress:  generating rewritten candidates
1546938609.441 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 2)
1546938609.449 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1546938609.452 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1546938609.455 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1546938609.459 * * * [misc]progress:  generating series expansions
1546938609.459 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 2)
1546938609.459 * [misc]backup-simplify:  Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1546938609.459 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1546938609.459 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.459 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.459 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.459 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.459 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.459 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.459 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.459 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.459 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.459 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.459 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.459 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.459 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.460 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.460 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.460 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.460 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.460 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.460 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.460 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.460 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.460 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.460 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.460 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.460 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.460 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.460 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.460 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.460 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.460 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.460 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1546938609.460 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.461 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.461 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1546938609.461 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1546938609.461 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.461 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.461 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1546938609.461 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1546938609.461 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.462 * [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)))
1546938609.462 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1546938609.462 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1546938609.462 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.462 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.462 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.462 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.462 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.462 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.462 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.462 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.462 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.462 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.462 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.462 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.462 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.462 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.462 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.462 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.462 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.462 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.463 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.463 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.463 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.463 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.463 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.463 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.463 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.463 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.463 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.463 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.463 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.463 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.463 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.463 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.463 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.463 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.463 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.463 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.463 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.463 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.463 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.464 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.464 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.464 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.464 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.464 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.464 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1546938609.464 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1546938609.464 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.465 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.465 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.465 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1546938609.465 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1546938609.465 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.465 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.465 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1546938609.466 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1546938609.466 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.466 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.466 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.466 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.466 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.466 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.466 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.466 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.466 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.466 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.466 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.466 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.466 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.466 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.466 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.466 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.466 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.466 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.466 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.466 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.466 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.467 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.467 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.467 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.467 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.467 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.467 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.467 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.467 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.467 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.467 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.467 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.467 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.467 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.467 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.467 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.467 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.467 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.467 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.467 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.467 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.467 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.468 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.468 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.468 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.468 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.468 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.468 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.468 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.468 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.468 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546938609.469 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1546938609.469 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.469 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.469 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.469 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.469 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546938609.469 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1546938609.469 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.470 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.470 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1546938609.470 * [misc]backup-simplify:  Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1546938609.470 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1546938609.470 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.470 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.470 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.470 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.470 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.470 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.470 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.470 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.470 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.470 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.470 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.470 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.470 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.470 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.470 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.470 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.470 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.470 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.470 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.470 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.470 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.470 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.470 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.470 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.470 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.470 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.470 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.470 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.471 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.471 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.471 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1546938609.471 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.471 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.471 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1546938609.471 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1546938609.471 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.471 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.472 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1546938609.472 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1546938609.472 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.472 * [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)))
1546938609.473 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1546938609.473 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1546938609.473 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.473 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.473 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.473 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.473 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.473 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.473 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.473 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.473 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.473 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.473 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.473 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.473 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.473 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.473 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.473 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.474 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.474 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.474 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.474 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.474 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.474 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.474 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.474 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.475 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.475 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.475 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.475 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.475 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.475 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.475 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.475 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.475 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.475 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.475 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.475 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.475 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.475 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.475 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.476 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.476 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.476 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.476 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.476 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.477 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.477 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1546938609.477 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1546938609.477 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.477 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.478 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.478 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1546938609.478 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1546938609.478 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.479 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.479 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1546938609.479 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1546938609.479 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.479 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.479 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.479 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.479 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.479 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.479 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.479 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.479 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.479 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.479 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.479 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.479 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.479 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.479 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.480 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.480 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.480 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.480 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.480 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.480 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.481 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.481 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.481 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.481 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.481 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.481 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.481 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.481 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.481 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.481 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.481 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.481 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.481 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.481 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.481 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.481 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.481 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.482 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.482 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.482 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.482 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.482 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.482 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.483 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.483 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.483 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.483 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.483 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.484 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.484 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546938609.484 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1546938609.484 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.485 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.485 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.485 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.485 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546938609.486 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1546938609.486 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.486 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.486 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1546938609.486 * [misc]backup-simplify:  Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1546938609.486 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1546938609.486 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.486 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.486 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.486 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.486 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.486 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.486 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.486 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.486 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.486 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.486 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.486 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.486 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.487 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.487 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.487 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.487 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.487 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.487 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.487 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.487 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.487 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.487 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.487 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.487 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.487 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.487 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.487 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.487 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.487 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.488 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1546938609.488 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.488 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.488 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1546938609.488 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1546938609.488 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.489 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.489 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1546938609.489 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1546938609.489 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.490 * [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)))
1546938609.490 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1546938609.490 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1546938609.490 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.490 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.490 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.490 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.490 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.490 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.490 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.490 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.490 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.490 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.490 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.490 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.490 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.490 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.490 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.491 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.491 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.491 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.491 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.491 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.491 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.491 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.492 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.492 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.492 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.492 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.492 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.492 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.492 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.492 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.492 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.492 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.492 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.492 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.492 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.492 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.492 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.492 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.493 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.493 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.493 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.493 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.493 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.493 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.494 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.494 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1546938609.494 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1546938609.494 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.494 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.495 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.495 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1546938609.495 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1546938609.495 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.496 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.496 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1546938609.496 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1546938609.496 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.496 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.496 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.496 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.496 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.496 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.496 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.496 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.496 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.496 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.496 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.496 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.496 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.496 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.497 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.497 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.497 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.497 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.497 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.497 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.498 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.498 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.498 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.498 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.498 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.498 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.498 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.498 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.498 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.498 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.498 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.498 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.498 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.498 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.498 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.498 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.498 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.499 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.499 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.499 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.499 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.499 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.500 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.500 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.500 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.500 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.500 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.501 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.501 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.501 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.501 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546938609.501 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1546938609.501 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.502 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.502 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.502 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.503 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546938609.503 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1546938609.503 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.503 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.503 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1546938609.504 * [misc]backup-simplify:  Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1546938609.504 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1546938609.504 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.504 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.504 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.504 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.504 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.504 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.504 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.504 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.504 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.504 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.504 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.504 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.504 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.504 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.504 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.504 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546938609.504 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.504 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.504 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546938609.504 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.504 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.504 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.504 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546938609.504 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.504 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.504 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.504 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.505 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.505 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.505 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.505 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1546938609.505 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.505 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.506 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1546938609.506 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1546938609.506 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.506 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.506 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1546938609.507 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1546938609.507 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.507 * [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)))
1546938609.507 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1546938609.507 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1546938609.508 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.508 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.508 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.508 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.508 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.508 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.508 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.508 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.508 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.508 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.508 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.508 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.508 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.508 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.508 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.508 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.508 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.509 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.509 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.509 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.509 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.509 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546938609.509 * [misc]taylor:  Taking taylor expansion of 2 in t
1546938609.509 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.509 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546938609.509 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.509 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.509 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.509 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546938609.509 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.509 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.509 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.509 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.510 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.510 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.510 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.510 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.510 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546938609.510 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.510 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546938609.510 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546938609.511 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546938609.511 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.511 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.511 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.511 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1546938609.512 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1546938609.512 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.512 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.512 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.513 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1546938609.513 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1546938609.513 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.513 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.513 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1546938609.513 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1546938609.513 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.514 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.514 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.514 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.514 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.514 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.514 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.514 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.514 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.514 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.514 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.514 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.514 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.514 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.514 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.514 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.515 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.515 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.515 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.515 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.515 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.516 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.516 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546938609.516 * [misc]taylor:  Taking taylor expansion of -2 in t
1546938609.516 * [misc]backup-simplify:  Simplify -2 into -2
1546938609.516 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546938609.516 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.516 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.516 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.516 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546938609.516 * [misc]taylor:  Taking taylor expansion of 1 in t
1546938609.516 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.516 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546938609.516 * [misc]taylor:  Taking taylor expansion of t in t
1546938609.516 * [misc]backup-simplify:  Simplify 0 into 0
1546938609.516 * [misc]backup-simplify:  Simplify 1 into 1
1546938609.516 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546938609.516 * [misc]backup-simplify:  Simplify (- 1) into -1
1546938609.516 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546938609.516 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546938609.517 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546938609.517 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.517 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546938609.517 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546938609.517 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546938609.517 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.518 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.518 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.518 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.518 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546938609.518 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1546938609.519 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.519 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546938609.519 * [misc]backup-simplify:  Simplify (- 0) into 0
1546938609.519 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546938609.519 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546938609.520 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1546938609.520 * [misc]backup-simplify:  Simplify 2 into 2
1546938609.520 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938609.520 * * * [misc]progress:  simplifying candidates
1546938609.520 * * * * [misc]progress:  [ 1 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (pow (/ (* 2 t) (+ 1 t)) 1)))))>
1546938609.520 * * * * [misc]progress:  [ 2 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ 1 t))))))))>
1546938609.521 * [enter]simplify:  Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1546938609.521 * * [misc]simplify:  iters left: 5 (8 enodes)
1546938609.524 * * [misc]simplify:  iters left: 4 (17 enodes)
1546938609.528 * * [misc]simplify:  iters left: 3 (23 enodes)
1546938609.535 * * [misc]simplify:  iters left: 2 (31 enodes)
1546938609.543 * * [misc]simplify:  iters left: 1 (35 enodes)
1546938609.552 * [exit]simplify:  Simplified to (- (log (* 2 t)) (log (+ t 1)))
1546938609.552 * [misc]simplify:  Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ t 1))))))))
1546938609.552 * * * * [misc]progress:  [ 3 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (log (/ (* 2 t) (+ 1 t))))))))>
1546938609.552 * * * * [misc]progress:  [ 4 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (log (exp (/ (* 2 t) (+ 1 t))))))))>
1546938609.552 * * * * [misc]progress:  [ 5 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
1546938609.553 * [enter]simplify:  Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1546938609.553 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938609.556 * * [misc]simplify:  iters left: 5 (41 enodes)
1546938609.566 * * [misc]simplify:  iters left: 4 (130 enodes)
1546938609.657 * [exit]simplify:  Simplified to (pow (/ (* 2 t) (+ t 1)) 3)
1546938609.657 * [misc]simplify:  Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (pow (/ (* 2 t) (+ t 1)) 3))))))
1546938609.657 * * * * [misc]progress:  [ 6 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t))))))))>
1546938609.658 * * * * [misc]progress:  [ 7 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))))>
1546938609.658 * * * * [misc]progress:  [ 8 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t))))))))>
1546938609.658 * * * * [misc]progress:  [ 9 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (- (* 2 t)) (- (+ 1 t)))))))>
1546938609.658 * * * * [misc]progress:  [ 10 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t))))))))>
1546938609.658 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546938609.658 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938609.660 * * [misc]simplify:  iters left: 5 (12 enodes)
1546938609.663 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546938609.663 * [misc]simplify:  Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t))))))))
1546938609.664 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546938609.664 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938609.666 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938609.667 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546938609.667 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t))))))))
1546938609.667 * * * * [misc]progress:  [ 11 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t))))))))>
1546938609.668 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546938609.668 * * [misc]simplify:  iters left: 5 (6 enodes)
1546938609.668 * * [misc]simplify:  iters left: 4 (9 enodes)
1546938609.670 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546938609.670 * [misc]simplify:  Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t))))))))
1546938609.670 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546938609.670 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938609.670 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938609.671 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546938609.671 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t))))))))
1546938609.671 * * * * [misc]progress:  [ 12 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t)))))))>
1546938609.672 * [enter]simplify:  Simplifying (/ 2 1)
1546938609.672 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938609.672 * * [misc]simplify:  iters left: 1 (5 enodes)
1546938609.672 * [exit]simplify:  Simplified to 2
1546938609.672 * [misc]simplify:  Simplified (2 2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t)))))))
1546938609.673 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546938609.673 * * [misc]simplify:  iters left: 4 (4 enodes)
1546938609.673 * * [misc]simplify:  iters left: 3 (7 enodes)
1546938609.674 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546938609.674 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t)))))))
1546938609.674 * * * * [misc]progress:  [ 13 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 1 (/ (* 2 t) (+ 1 t)))))))>
1546938609.674 * * * * [misc]progress:  [ 14 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (* 2 t) (/ 1 (+ 1 t)))))))>
1546938609.674 * * * * [misc]progress:  [ 15 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ 1 (/ (+ 1 t) (* 2 t)))))))>
1546938609.674 * * * * [misc]progress:  [ 16 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t)))))))>
1546938609.674 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1546938609.674 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938609.675 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938609.676 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1546938609.676 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1)))))))
1546938609.676 * * * * [misc]progress:  [ 17 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t)))))))>
1546938609.676 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1546938609.676 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938609.676 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938609.677 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1546938609.677 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1)))))))
1546938609.677 * * * * [misc]progress:  [ 18 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t))))))>
1546938609.677 * [enter]simplify:  Simplifying (+ 1 t)
1546938609.678 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938609.678 * * [misc]simplify:  iters left: 1 (6 enodes)
1546938609.679 * [exit]simplify:  Simplified to (+ t 1)
1546938609.679 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ t 1))))))
1546938609.679 * * * * [misc]progress:  [ 19 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ 2 (/ (+ 1 t) t))))))>
1546938609.679 * * * * [misc]progress:  [ 20 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t))))))))>
1546938609.679 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546938609.679 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938609.680 * * [misc]simplify:  iters left: 5 (14 enodes)
1546938609.682 * * [misc]simplify:  iters left: 4 (25 enodes)
1546938609.686 * * [misc]simplify:  iters left: 3 (37 enodes)
1546938609.689 * * [misc]simplify:  iters left: 2 (41 enodes)
1546938609.694 * * [misc]simplify:  iters left: 1 (54 enodes)
1546938609.701 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546938609.701 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (- (* t t) (- t 1)))))))
1546938609.701 * * * * [misc]progress:  [ 21 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t))))))>
1546938609.701 * [enter]simplify:  Simplifying (- 1 t)
1546938609.701 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938609.702 * * [misc]simplify:  iters left: 1 (7 enodes)
1546938609.704 * [exit]simplify:  Simplified to (- 1 t)
1546938609.704 * [misc]simplify:  Simplified (2 2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t))))))
1546938609.704 * * * * [misc]progress:  [ 22 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (pow (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t))))))>
1546938609.704 * * * * [misc]progress:  [ 23 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (- (log (* 2 t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.704 * [enter]simplify:  Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1546938609.705 * * [misc]simplify:  iters left: 5 (8 enodes)
1546938609.708 * * [misc]simplify:  iters left: 4 (17 enodes)
1546938609.713 * * [misc]simplify:  iters left: 3 (23 enodes)
1546938609.719 * * [misc]simplify:  iters left: 2 (31 enodes)
1546938609.728 * * [misc]simplify:  iters left: 1 (35 enodes)
1546938609.734 * [exit]simplify:  Simplified to (- (log (* 2 t)) (log (+ t 1)))
1546938609.734 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (- (log (* 2 t)) (log (+ t 1)))) (/ (* 2 t) (+ 1 t))))))
1546938609.734 * * * * [misc]progress:  [ 24 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (log (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.734 * * * * [misc]progress:  [ 25 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (log (exp (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.734 * * * * [misc]progress:  [ 26 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.734 * [enter]simplify:  Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1546938609.734 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938609.736 * * [misc]simplify:  iters left: 5 (41 enodes)
1546938609.746 * * [misc]simplify:  iters left: 4 (130 enodes)
1546938609.865 * [exit]simplify:  Simplified to (pow (/ (* 2 t) (+ t 1)) 3)
1546938609.865 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (pow (/ (* 2 t) (+ t 1)) 3)) (/ (* 2 t) (+ 1 t))))))
1546938609.865 * * * * [misc]progress:  [ 27 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.866 * * * * [misc]progress:  [ 28 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.866 * * * * [misc]progress:  [ 29 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.866 * * * * [misc]progress:  [ 30 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (- (* 2 t)) (- (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.866 * * * * [misc]progress:  [ 31 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.866 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546938609.866 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938609.868 * * [misc]simplify:  iters left: 5 (12 enodes)
1546938609.871 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546938609.871 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1546938609.872 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546938609.872 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938609.873 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938609.875 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546938609.875 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1546938609.875 * * * * [misc]progress:  [ 32 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.876 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546938609.876 * * [misc]simplify:  iters left: 5 (6 enodes)
1546938609.877 * * [misc]simplify:  iters left: 4 (9 enodes)
1546938609.879 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546938609.880 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1546938609.880 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546938609.880 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938609.881 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938609.884 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546938609.884 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))
1546938609.884 * * * * [misc]progress:  [ 33 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.884 * [enter]simplify:  Simplifying (/ 2 1)
1546938609.884 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938609.885 * * [misc]simplify:  iters left: 1 (5 enodes)
1546938609.886 * [exit]simplify:  Simplified to 2
1546938609.886 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))
1546938609.886 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546938609.887 * * [misc]simplify:  iters left: 4 (4 enodes)
1546938609.888 * * [misc]simplify:  iters left: 3 (7 enodes)
1546938609.890 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546938609.890 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))
1546938609.890 * * * * [misc]progress:  [ 34 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 1 (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.890 * * * * [misc]progress:  [ 35 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (* 2 t) (/ 1 (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.890 * * * * [misc]progress:  [ 36 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 1 (/ (+ 1 t) (* 2 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.890 * * * * [misc]progress:  [ 37 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.890 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1546938609.890 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938609.891 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938609.893 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1546938609.893 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* 2 t) (+ 1 t))))))
1546938609.893 * * * * [misc]progress:  [ 38 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938609.893 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1546938609.893 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938609.895 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938609.896 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1546938609.896 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* 2 t) (+ 1 t))))))
1546938609.896 * * * * [misc]progress:  [ 39 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.897 * [enter]simplify:  Simplifying (+ 1 t)
1546938609.897 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938609.898 * * [misc]simplify:  iters left: 1 (6 enodes)
1546938609.899 * [exit]simplify:  Simplified to (+ t 1)
1546938609.899 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ t 1)) (/ (* 2 t) (+ 1 t))))))
1546938609.899 * * * * [misc]progress:  [ 40 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (/ (+ 1 t) t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.899 * * * * [misc]progress:  [ 41 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546938609.899 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546938609.899 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938609.902 * * [misc]simplify:  iters left: 5 (14 enodes)
1546938609.906 * * [misc]simplify:  iters left: 4 (25 enodes)
1546938609.913 * * [misc]simplify:  iters left: 3 (37 enodes)
1546938609.921 * * [misc]simplify:  iters left: 2 (41 enodes)
1546938609.931 * * [misc]simplify:  iters left: 1 (54 enodes)
1546938609.942 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546938609.942 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (- (* t t) (- t 1))) (/ (* 2 t) (+ 1 t))))))
1546938609.942 * * * * [misc]progress:  [ 42 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.942 * [enter]simplify:  Simplifying (- 1 t)
1546938609.942 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938609.943 * * [misc]simplify:  iters left: 1 (7 enodes)
1546938609.945 * [exit]simplify:  Simplified to (- 1 t)
1546938609.945 * [misc]simplify:  Simplified (2 2 2 1 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938609.945 * * * * [misc]progress:  [ 43 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (pow (/ (* 2 t) (+ 1 t)) 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.945 * * * * [misc]progress:  [ 44 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.946 * [enter]simplify:  Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1546938609.946 * * [misc]simplify:  iters left: 5 (8 enodes)
1546938609.949 * * [misc]simplify:  iters left: 4 (17 enodes)
1546938609.953 * * [misc]simplify:  iters left: 3 (23 enodes)
1546938609.960 * * [misc]simplify:  iters left: 2 (31 enodes)
1546938609.968 * * [misc]simplify:  iters left: 1 (35 enodes)
1546938609.976 * [exit]simplify:  Simplified to (- (log (* 2 t)) (log (+ t 1)))
1546938609.976 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (- (log (* 2 t)) (log (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938609.976 * * * * [misc]progress:  [ 45 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (exp (log (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.976 * * * * [misc]progress:  [ 46 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (log (exp (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.976 * * * * [misc]progress:  [ 47 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938609.976 * [enter]simplify:  Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1546938609.976 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938609.981 * * [misc]simplify:  iters left: 5 (41 enodes)
1546938610.001 * * [misc]simplify:  iters left: 4 (130 enodes)
1546938610.134 * [exit]simplify:  Simplified to (pow (/ (* 2 t) (+ t 1)) 3)
1546938610.134 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (pow (/ (* 2 t) (+ t 1)) 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.134 * * * * [misc]progress:  [ 48 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.134 * * * * [misc]progress:  [ 49 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.134 * * * * [misc]progress:  [ 50 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.134 * * * * [misc]progress:  [ 51 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (- (* 2 t)) (- (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.134 * * * * [misc]progress:  [ 52 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.135 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546938610.135 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938610.137 * * [misc]simplify:  iters left: 5 (12 enodes)
1546938610.139 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546938610.139 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.140 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546938610.140 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938610.141 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938610.143 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546938610.143 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.143 * * * * [misc]progress:  [ 53 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.143 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546938610.143 * * [misc]simplify:  iters left: 5 (6 enodes)
1546938610.145 * * [misc]simplify:  iters left: 4 (9 enodes)
1546938610.147 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546938610.147 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.147 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546938610.147 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938610.148 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938610.150 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546938610.150 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.150 * * * * [misc]progress:  [ 54 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.150 * [enter]simplify:  Simplifying (/ 2 1)
1546938610.150 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938610.151 * * [misc]simplify:  iters left: 1 (5 enodes)
1546938610.152 * [exit]simplify:  Simplified to 2
1546938610.152 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.152 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546938610.152 * * [misc]simplify:  iters left: 4 (4 enodes)
1546938610.153 * * [misc]simplify:  iters left: 3 (7 enodes)
1546938610.155 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546938610.155 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 2 (/ t (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.155 * * * * [misc]progress:  [ 55 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* 1 (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.155 * * * * [misc]progress:  [ 56 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (* 2 t) (/ 1 (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.155 * * * * [misc]progress:  [ 57 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ 1 (/ (+ 1 t) (* 2 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.155 * * * * [misc]progress:  [ 58 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.155 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1546938610.155 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938610.156 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938610.158 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1546938610.158 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.158 * * * * [misc]progress:  [ 59 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.158 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1546938610.158 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938610.159 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938610.161 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1546938610.161 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.161 * * * * [misc]progress:  [ 60 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.161 * [enter]simplify:  Simplifying (+ 1 t)
1546938610.161 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938610.162 * * [misc]simplify:  iters left: 1 (6 enodes)
1546938610.164 * [exit]simplify:  Simplified to (+ t 1)
1546938610.164 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.164 * * * * [misc]progress:  [ 61 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ 2 (/ (+ 1 t) t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.164 * * * * [misc]progress:  [ 62 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.164 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546938610.164 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938610.167 * * [misc]simplify:  iters left: 5 (14 enodes)
1546938610.171 * * [misc]simplify:  iters left: 4 (25 enodes)
1546938610.178 * * [misc]simplify:  iters left: 3 (37 enodes)
1546938610.186 * * [misc]simplify:  iters left: 2 (41 enodes)
1546938610.197 * * [misc]simplify:  iters left: 1 (54 enodes)
1546938610.208 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546938610.208 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (- (* t t) (- t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.208 * * * * [misc]progress:  [ 63 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.209 * [enter]simplify:  Simplifying (- 1 t)
1546938610.209 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938610.210 * * [misc]simplify:  iters left: 1 (7 enodes)
1546938610.211 * [exit]simplify:  Simplified to (- 1 t)
1546938610.211 * [misc]simplify:  Simplified (2 1 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.211 * * * * [misc]progress:  [ 64 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.212 * * * * [misc]progress:  [ 65 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (- (log (* 2 t)) (log (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.212 * [enter]simplify:  Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1546938610.212 * * [misc]simplify:  iters left: 5 (8 enodes)
1546938610.215 * * [misc]simplify:  iters left: 4 (17 enodes)
1546938610.219 * * [misc]simplify:  iters left: 3 (23 enodes)
1546938610.226 * * [misc]simplify:  iters left: 2 (31 enodes)
1546938610.234 * * [misc]simplify:  iters left: 1 (35 enodes)
1546938610.242 * [exit]simplify:  Simplified to (- (log (* 2 t)) (log (+ t 1)))
1546938610.242 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (exp (- (log (* 2 t)) (log (+ t 1)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.242 * * * * [misc]progress:  [ 66 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.242 * * * * [misc]progress:  [ 67 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.242 * * * * [misc]progress:  [ 68 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.242 * [enter]simplify:  Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1546938610.242 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938610.246 * * [misc]simplify:  iters left: 5 (41 enodes)
1546938610.264 * * [misc]simplify:  iters left: 4 (130 enodes)
1546938610.380 * [exit]simplify:  Simplified to (pow (/ (* 2 t) (+ t 1)) 3)
1546938610.380 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (cbrt (pow (/ (* 2 t) (+ t 1)) 3)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.382 * * * * [misc]progress:  [ 69 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (cbrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.382 * * * * [misc]progress:  [ 70 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.382 * * * * [misc]progress:  [ 71 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (/ (* 2 t) (+ 1 t))) (sqrt (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.382 * * * * [misc]progress:  [ 72 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 t)) (- (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.382 * * * * [misc]progress:  [ 73 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.382 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546938610.382 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938610.385 * * [misc]simplify:  iters left: 5 (12 enodes)
1546938610.388 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546938610.388 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.388 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546938610.388 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938610.390 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938610.392 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546938610.392 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ t (cbrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.392 * * * * [misc]progress:  [ 74 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.392 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546938610.392 * * [misc]simplify:  iters left: 5 (6 enodes)
1546938610.394 * * [misc]simplify:  iters left: 4 (9 enodes)
1546938610.396 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546938610.396 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.396 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546938610.396 * * [misc]simplify:  iters left: 5 (5 enodes)
1546938610.398 * * [misc]simplify:  iters left: 4 (8 enodes)
1546938610.400 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546938610.400 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ 2 (sqrt (+ 1 t))) (/ t (sqrt (+ 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.400 * * * * [misc]progress:  [ 75 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.400 * [enter]simplify:  Simplifying (/ 2 1)
1546938610.400 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938610.401 * * [misc]simplify:  iters left: 1 (5 enodes)
1546938610.402 * [exit]simplify:  Simplified to 2
1546938610.402 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (t) (/ (+ 1 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.402 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546938610.402 * * [misc]simplify:  iters left: 4 (4 enodes)
1546938610.404 * * [misc]simplify:  iters left: 3 (7 enodes)
1546938610.405 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546938610.405 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* 2 (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.406 * * * * [misc]progress:  [ 76 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.406 * * * * [misc]progress:  [ 77 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* 2 t) (/ 1 (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.406 * * * * [misc]progress:  [ 78 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 1 (/ (+ 1 t) (* 2 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.406 * * * * [misc]progress:  [ 79 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.406 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1546938610.406 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938610.407 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938610.409 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1546938610.409 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.409 * * * * [misc]progress:  [ 80 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.409 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1546938610.409 * * [misc]simplify:  iters left: 3 (4 enodes)
1546938610.411 * * [misc]simplify:  iters left: 2 (7 enodes)
1546938610.412 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1546938610.412 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.412 * * * * [misc]progress:  [ 81 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.413 * [enter]simplify:  Simplifying (+ 1 t)
1546938610.413 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938610.414 * * [misc]simplify:  iters left: 1 (6 enodes)
1546938610.415 * [exit]simplify:  Simplified to (+ t 1)
1546938610.415 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (/ (/ (* 2 t) 1) (+ t 1)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.415 * * * * [misc]progress:  [ 82 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 2 (/ (+ 1 t) t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.415 * * * * [misc]progress:  [ 83 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.415 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546938610.415 * * [misc]simplify:  iters left: 6 (7 enodes)
1546938610.418 * * [misc]simplify:  iters left: 5 (14 enodes)
1546938610.421 * * [misc]simplify:  iters left: 4 (25 enodes)
1546938610.429 * * [misc]simplify:  iters left: 3 (37 enodes)
1546938610.436 * * [misc]simplify:  iters left: 2 (41 enodes)
1546938610.445 * * [misc]simplify:  iters left: 1 (54 enodes)
1546938610.450 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546938610.450 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (- (* t t) (- t 1))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.450 * * * * [misc]progress:  [ 84 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938610.450 * [enter]simplify:  Simplifying (- 1 t)
1546938610.450 * * [misc]simplify:  iters left: 2 (3 enodes)
1546938610.451 * * [misc]simplify:  iters left: 1 (7 enodes)
1546938610.452 * [exit]simplify:  Simplified to (- 1 t)
1546938610.452 * [misc]simplify:  Simplified (2 1 2 1 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (- (* 1 1) (* t t))) (- 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938610.452 * * * * [misc]progress:  [ 85 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1546938610.452 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1546938610.452 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938610.454 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938610.458 * * [misc]simplify:  iters left: 4 (56 enodes)
1546938610.472 * * [misc]simplify:  iters left: 3 (107 enodes)
1546938610.530 * * [misc]simplify:  iters left: 2 (205 enodes)
1546938610.693 * * [misc]simplify:  iters left: 1 (364 enodes)
1546938611.039 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1546938611.039 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (- (* t t) (- t 1)) (* t 2))))))
1546938611.039 * * * * [misc]progress:  [ 86 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1546938611.039 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938611.039 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938611.041 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938611.046 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938611.057 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938611.093 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938611.131 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938611.153 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938611.153 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))
1546938611.154 * * * * [misc]progress:  [ 87 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1546938611.154 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938611.154 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938611.156 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938611.161 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938611.180 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938611.200 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938611.240 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938611.283 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938611.283 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (+ (- 2 (/ 2 t)) (/ 2 (* t t)))))))
1546938611.283 * * * * [misc]progress:  [ 88 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (* 2 t) (+ 1 t))))))>
1546938611.283 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1546938611.283 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938611.287 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938611.298 * * [misc]simplify:  iters left: 4 (56 enodes)
1546938611.317 * * [misc]simplify:  iters left: 3 (107 enodes)
1546938611.374 * * [misc]simplify:  iters left: 2 (205 enodes)
1546938611.507 * * [misc]simplify:  iters left: 1 (364 enodes)
1546938611.761 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1546938611.762 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (- (* t t) (- t 1)) (* t 2)) (/ (* 2 t) (+ 1 t))))))
1546938611.762 * * * * [misc]progress:  [ 89 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938611.762 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938611.762 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938611.764 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938611.769 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938611.780 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938611.816 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938611.839 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938611.861 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938611.861 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (/ (* 2 t) (+ 1 t))))))
1546938611.861 * * * * [misc]progress:  [ 90 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546938611.861 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938611.861 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938611.864 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938611.869 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938611.883 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938611.902 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938611.932 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938611.971 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938611.971 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (/ (* 2 t) (+ 1 t))))))
1546938611.971 * * * * [misc]progress:  [ 91 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938611.971 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1546938611.971 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938611.973 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938611.978 * * [misc]simplify:  iters left: 4 (56 enodes)
1546938611.988 * * [misc]simplify:  iters left: 3 (107 enodes)
1546938612.038 * * [misc]simplify:  iters left: 2 (205 enodes)
1546938612.154 * * [misc]simplify:  iters left: 1 (364 enodes)
1546938612.401 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1546938612.401 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (* (- (* t t) (- t 1)) (* t 2)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938612.401 * * * * [misc]progress:  [ 92 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938612.401 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938612.401 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938612.404 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938612.409 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938612.421 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938612.440 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938612.461 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938612.498 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938612.498 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938612.499 * * * * [misc]progress:  [ 93 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938612.499 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938612.499 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938612.504 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938612.512 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938612.523 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938612.542 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938612.563 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938612.586 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938612.587 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (+ (- 2 (/ 2 t)) (/ 2 (* t t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938612.587 * * * * [misc]progress:  [ 94 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938612.587 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1546938612.587 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938612.589 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938612.593 * * [misc]simplify:  iters left: 4 (56 enodes)
1546938612.603 * * [misc]simplify:  iters left: 3 (107 enodes)
1546938612.636 * * [misc]simplify:  iters left: 2 (205 enodes)
1546938612.736 * * [misc]simplify:  iters left: 1 (364 enodes)
1546938612.978 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1546938612.978 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* (- (* t t) (- t 1)) (* t 2)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938612.978 * * * * [misc]progress:  [ 95 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938612.978 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938612.978 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938612.984 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938612.993 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938613.015 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938613.053 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938613.097 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938613.143 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938613.143 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938613.143 * * * * [misc]progress:  [ 96 / 96 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546938613.143 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546938613.144 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938613.148 * * [misc]simplify:  iters left: 5 (23 enodes)
1546938613.158 * * [misc]simplify:  iters left: 4 (46 enodes)
1546938613.180 * * [misc]simplify:  iters left: 3 (83 enodes)
1546938613.198 * * [misc]simplify:  iters left: 2 (117 enodes)
1546938613.236 * * [misc]simplify:  iters left: 1 (165 enodes)
1546938613.266 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546938613.266 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (+ (- 2 (/ 2 t)) (/ 2 (* t t))) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546938613.267 * * * [misc]progress:  adding candidates to table
1546938614.006 * [misc]progress:  [Phase 3 of 3] Extracting.
1546938614.008 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1546938614.008 * * [misc]simplify:  iters left: 6 (10 enodes)
1546938614.009 * * [misc]simplify:  iters left: 5 (16 enodes)
1546938614.009 * [exit]simplify:  Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
1546938614.009 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546938615.147 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546938615.149 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546938615.340 * [misc]regime-testing:  Baseline error score: 0.02437529339768983
1546938615.342 * [misc]regime-testing:  Oracle error score: 0.02437529339768983
1546938615.342 * [misc]regime-testing:  End program error score: 0.02437529339768983